[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / Mips / machineverifier.ll
blobd496b833a6c6bae652f0009410bfa6735c3446f9
1 ; RUN: llc < %s -march=mipsel -verify-machineinstrs
2 ; Make sure machine verifier understands the last instruction of a basic block
3 ; is not the terminator instruction after delay slot filler pass is run.
5 @g = external global i32
7 define void @foo() nounwind {
8 entry:
9   %0 = load i32, i32* @g, align 4
10   %tobool = icmp eq i32 %0, 0
11   br i1 %tobool, label %if.end, label %if.then
13 if.then:                                          ; preds = %entry
14   %add = add nsw i32 %0, 10
15   store i32 %add, i32* @g, align 4
16   br label %if.end
18 if.end:                                           ; preds = %entry, %if.then
19   ret void