test/CodeGen/X86/conditional-indecrement.ll

   1 ; RUN: llc -march=x86 < %s | FileCheck %s
   2
   3 define i32 @test1(i32 %a, i32 %b) nounwind readnone {
   4   %not.cmp = icmp ne i32 %a, 0
   5   %inc = zext i1 %not.cmp to i32
   6   %retval.0 = add i32 %inc, %b
   7   ret i32 %retval.0
   8 ; CHECK: test1:
   9 ; CHECK: cmpl $1
  10 ; CHECK: sbbl $-1
  11 ; CHECK: ret
  12 }
  13
  14 define i32 @test2(i32 %a, i32 %b) nounwind readnone {
  15   %cmp = icmp eq i32 %a, 0
  16   %inc = zext i1 %cmp to i32
  17   %retval.0 = add i32 %inc, %b
  18   ret i32 %retval.0
  19 ; CHECK: test2:
  20 ; CHECK: cmpl $1
  21 ; CHECK: adcl $0
  22 ; CHECK: ret
  23 }
  24
  25 define i32 @test3(i32 %a, i32 %b) nounwind readnone {
  26   %cmp = icmp eq i32 %a, 0
  27   %inc = zext i1 %cmp to i32
  28   %retval.0 = add i32 %inc, %b
  29   ret i32 %retval.0
  30 ; CHECK: test3:
  31 ; CHECK: cmpl $1
  32 ; CHECK: adcl $0
  33 ; CHECK: ret
  34 }
  35
  36 define i32 @test4(i32 %a, i32 %b) nounwind readnone {
  37   %not.cmp = icmp ne i32 %a, 0
  38   %inc = zext i1 %not.cmp to i32
  39   %retval.0 = add i32 %inc, %b
  40   ret i32 %retval.0
  41 ; CHECK: test4:
  42 ; CHECK: cmpl $1
  43 ; CHECK: sbbl $-1
  44 ; CHECK: ret
  45 }
  46
  47 define i32 @test5(i32 %a, i32 %b) nounwind readnone {
  48   %not.cmp = icmp ne i32 %a, 0
  49   %inc = zext i1 %not.cmp to i32
  50   %retval.0 = sub i32 %b, %inc
  51   ret i32 %retval.0
  52 ; CHECK: test5:
  53 ; CHECK: cmpl $1
  54 ; CHECK: adcl $-1
  55 ; CHECK: ret
  56 }
  57
  58 define i32 @test6(i32 %a, i32 %b) nounwind readnone {
  59   %cmp = icmp eq i32 %a, 0
  60   %inc = zext i1 %cmp to i32
  61   %retval.0 = sub i32 %b, %inc
  62   ret i32 %retval.0
  63 ; CHECK: test6:
  64 ; CHECK: cmpl $1
  65 ; CHECK: sbbl $0
  66 ; CHECK: ret
  67 }
  68
  69 define i32 @test7(i32 %a, i32 %b) nounwind readnone {
  70   %cmp = icmp eq i32 %a, 0
  71   %inc = zext i1 %cmp to i32
  72   %retval.0 = sub i32 %b, %inc
  73   ret i32 %retval.0
  74 ; CHECK: test7:
  75 ; CHECK: cmpl $1
  76 ; CHECK: sbbl $0
  77 ; CHECK: ret
  78 }
  79
  80 define i32 @test8(i32 %a, i32 %b) nounwind readnone {
  81   %not.cmp = icmp ne i32 %a, 0
  82   %inc = zext i1 %not.cmp to i32
  83   %retval.0 = sub i32 %b, %inc
  84   ret i32 %retval.0
  85 ; CHECK: test8:
  86 ; CHECK: cmpl $1
  87 ; CHECK: adcl $-1
  88 ; CHECK: ret
  89 }