[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / fast-isel-i1.ll
blob589de76617a00ae38aeb7d7aae5b17ce075c741c
1 ; RUN: llc < %s -mtriple=i686-apple-darwin10 -fast-isel -fast-isel-abort=1 | FileCheck %s
2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -fast-isel -fast-isel-abort=1 | FileCheck %s
4 declare i32 @test1a(i32)
6 define i32 @test1(i32 %x) nounwind {
7 ; CHECK-LABEL: test1:
8 ; CHECK: andb $1, %
9         %y = add i32 %x, -3
10         %t = call i32 @test1a(i32 %y)
11         %s = mul i32 %t, 77
12         %z = trunc i32 %s to i1
13         br label %next
15 next:           ; preds = %0
16         %u = zext i1 %z to i32
17         %v = add i32 %u, 1999
18         br label %exit
20 exit:           ; preds = %next
21         ret i32 %v
24 define void @test2(i8* %a) nounwind {
25 entry:
26 ; clang uses i8 constants for booleans, so we test with an i8 1.
27 ; CHECK-LABEL: test2:
28 ; CHECK: movb {{.*}} %al
29 ; CHECK-NEXT: xorb $1, %al
30 ; CHECK-NEXT: testb $1
31   %tmp = load i8, i8* %a, align 1
32   %xor = xor i8 %tmp, 1
33   %tobool = trunc i8 %xor to i1
34   br i1 %tobool, label %if.then, label %if.end
36 if.then:
37   call void @test2(i8* null)
38   br label %if.end
40 if.end:
41   ret void