test/CodeGen/X86/bool-zext.ll

   1 ; RUN: llc < %s -march=x86-64 | FileCheck %s
   2
   3 ; CHECK: @bar1
   4 ; CHECK: movzbl
   5 ; CHECK: callq
   6 define void @bar1(i1 zeroext %v1) nounwind ssp {
   7 entry:
   8   %conv = zext i1 %v1 to i32
   9   %call = tail call i32 (...)* @foo1(i32 %conv) nounwind
  10   ret void
  11 }
  12
  13 ; CHECK: @bar2
  14 ; CHECK-NOT: movzbl
  15 ; CHECK: callq
  16 define void @bar2(i8 zeroext %v1) nounwind ssp {
  17 entry:
  18   %conv = zext i8 %v1 to i32
  19   %call = tail call i32 (...)* @foo1(i32 %conv) nounwind
  20   ret void
  21 }
  22
  23 ; CHECK: @bar3
  24 ; CHECK: callq
  25 ; CHECK-NOT: movzbl
  26 ; CHECK-NOT: and
  27 ; CHECK: ret
  28 define zeroext i1 @bar3() nounwind ssp {
  29 entry:
  30   %call = call i1 @foo2() nounwind
  31   ret i1 %call
  32 }
  33
  34 declare i32 @foo1(...)
  35 declare zeroext i1 @foo2()