[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / ARM / fast-isel-br-const.ll
blob988664b86b801229315392c9f50e065dee13f199
1 ; RUN: llc < %s -O0 -verify-machineinstrs -fast-isel-abort=1 -relocation-model=dynamic-no-pic -mtriple=armv7-apple-ios | FileCheck %s --check-prefix=ARM
2 ; RUN: llc < %s -O0 -verify-machineinstrs -fast-isel-abort=1 -relocation-model=dynamic-no-pic -mtriple=armv7-linux-gnueabi | FileCheck %s --check-prefix=ARM
3 ; RUN: llc < %s -O0 -verify-machineinstrs -fast-isel-abort=1 -relocation-model=dynamic-no-pic -mtriple=thumbv7-apple-ios | FileCheck %s --check-prefix=THUMB
5 define i32 @t1(i32 %a, i32 %b) nounwind uwtable ssp {
6 entry:
7 ; THUMB-LABEL: t1:
8 ; ARM-LABEL: t1:
9   %x = add i32 %a, %b  
10   br i1 1, label %if.then, label %if.else
11 ; THUMB-NOT: b {{\.?}}LBB0_1
12 ; ARM-NOT:  b {{\.?}}LBB0_1
14 if.then:                                          ; preds = %entry
15   call void @foo1()
16   br label %if.end7
18 if.else:                                          ; preds = %entry
19   br i1 0, label %if.then2, label %if.else3
20 ; THUMB: b {{\.?}}LBB0_4
21 ; ARM:  b {{\.?}}LBB0_4
23 if.then2:                                         ; preds = %if.else
24   call void @foo2()
25   br label %if.end6
27 if.else3:                                         ; preds = %if.else
28   %y = sub i32 %a, %b
29   br i1 1, label %if.then5, label %if.end
30 ; THUMB-NOT: b {{\.?}}LBB0_5
31 ; ARM-NOT:  b {{\.?}}LBB0_5
33 if.then5:                                         ; preds = %if.else3
34   call void @foo1()
35   br label %if.end
37 if.end:                                           ; preds = %if.then5, %if.else3
38   br label %if.end6
40 if.end6:                                          ; preds = %if.end, %if.then2
41   br label %if.end7
43 if.end7:                                          ; preds = %if.end6, %if.then
44   ret i32 0
47 declare void @foo1()
49 declare void @foo2()