test/CodeGen/X86/peep-test-4.ll

   1 ; RUN: llc < %s -mtriple=x86_64-pc-linux -mattr=+bmi,+bmi2,+popcnt | FileCheck %s
   2 declare void @foo(i32)
   3 declare void @foo64(i64)
   4
   5 ; CHECK-LABEL: neg:
   6 ; CHECK: negl %edi
   7 ; CHECK-NEXT: je
   8 ; CHECK: jmp foo
   9 ; CHECK: ret
  10 define void @neg(i32 %x) nounwind {
  11   %sub = sub i32 0, %x
  12   %cmp = icmp eq i32 %sub, 0
  13   br i1 %cmp, label %return, label %bb
  14
  15 bb:
  16   tail call void @foo(i32 %sub)
  17   br label %return
  18
  19 return:
  20   ret void
  21 }
  22
  23 ; CHECK-LABEL: sar:
  24 ; CHECK: sarl %edi
  25 ; CHECK-NEXT: je
  26 ; CHECK: jmp foo
  27 ; CHECK: ret
  28 define void @sar(i32 %x) nounwind {
  29   %ashr = ashr i32 %x, 1
  30   %cmp = icmp eq i32 %ashr, 0
  31   br i1 %cmp, label %return, label %bb
  32
  33 bb:
  34   tail call void @foo(i32 %ashr)
  35   br label %return
  36
  37 return:
  38   ret void
  39 }
  40
  41 ; CHECK-LABEL: shr:
  42 ; CHECK: shrl %edi
  43 ; CHECK-NEXT: je
  44 ; CHECK: jmp foo
  45 ; CHECK: ret
  46 define void @shr(i32 %x) nounwind {
  47   %ashr = lshr i32 %x, 1
  48   %cmp = icmp eq i32 %ashr, 0
  49   br i1 %cmp, label %return, label %bb
  50
  51 bb:
  52   tail call void @foo(i32 %ashr)
  53   br label %return
  54
  55 return:
  56   ret void
  57 }
  58
  59 ; CHECK-LABEL: shri:
  60 ; CHECK: shrl $3, %edi
  61 ; CHECK-NEXT: je
  62 ; CHECK: jmp foo
  63 ; CHECK: ret
  64 define void @shri(i32 %x) nounwind {
  65   %ashr = lshr i32 %x, 3
  66   %cmp = icmp eq i32 %ashr, 0
  67   br i1 %cmp, label %return, label %bb
  68
  69 bb:
  70   tail call void @foo(i32 %ashr)
  71   br label %return
  72
  73 return:
  74   ret void
  75 }
  76
  77 ; CHECK-LABEL: shl:
  78 ; CHECK: addl %edi, %edi
  79 ; CHECK-NEXT: je
  80 ; CHECK: jmp foo
  81 ; CHECK: ret
  82 define void @shl(i32 %x) nounwind {
  83   %shl = shl i32 %x, 1
  84   %cmp = icmp eq i32 %shl, 0
  85   br i1 %cmp, label %return, label %bb
  86
  87 bb:
  88   tail call void @foo(i32 %shl)
  89   br label %return
  90
  91 return:
  92   ret void
  93 }
  94
  95 ; CHECK-LABEL: shli:
  96 ; CHECK: shll $4, %edi
  97 ; CHECK-NEXT: je
  98 ; CHECK: jmp foo
  99 ; CHECK: ret
 100 define void @shli(i32 %x) nounwind {
 101   %shl = shl i32 %x, 4
 102   %cmp = icmp eq i32 %shl, 0
 103   br i1 %cmp, label %return, label %bb
 104
 105 bb:
 106   tail call void @foo(i32 %shl)
 107   br label %return
 108
 109 return:
 110   ret void
 111 }
 112
 113 ; CHECK-LABEL: adc:
 114 ; CHECK: movabsq $-9223372036854775808, %rax
 115 ; CHECK-NEXT: addq  %rdi, %rax
 116 ; CHECK-NEXT: adcq  $0, %rsi
 117 ; CHECK-NEXT: sete  %al
 118 ; CHECK: ret
 119 define zeroext i1 @adc(i128 %x) nounwind {
 120   %add = add i128 %x, 9223372036854775808
 121   %cmp = icmp ult i128 %add, 18446744073709551616
 122   ret i1 %cmp
 123 }
 124
 125 ; CHECK-LABEL: sbb:
 126 ; CHECK: cmpq  %rdx, %rdi
 127 ; CHECK-NEXT: sbbq  %rcx, %rsi
 128 ; CHECK-NEXT: setns %al
 129 ; CHECK: ret
 130 define zeroext i1 @sbb(i128 %x, i128 %y) nounwind {
 131   %sub = sub i128 %x, %y
 132   %cmp = icmp sge i128 %sub, 0
 133   ret i1 %cmp
 134 }
 135
 136 ; CHECK-LABEL: andn:
 137 ; CHECK: andnl   %esi, %edi, %edi
 138 ; CHECK-NEXT: je
 139 ; CHECK: jmp foo
 140 ; CHECK: ret
 141 define void @andn(i32 %x, i32 %y) nounwind {
 142   %not = xor i32 %x, -1
 143   %andn = and i32 %y, %not
 144   %cmp = icmp eq i32 %andn, 0
 145   br i1 %cmp, label %return, label %bb
 146
 147 bb:
 148   tail call void @foo(i32 %andn)
 149   br label %return
 150
 151 return:
 152   ret void
 153 }
 154
 155 ; CHECK-LABEL: bextr:
 156 ; CHECK: bextrl   %esi, %edi, %edi
 157 ; CHECK-NEXT: je
 158 ; CHECK: jmp foo
 159 ; CHECK: ret
 160 declare i32 @llvm.x86.bmi.bextr.32(i32, i32) nounwind readnone
 161 define void @bextr(i32 %x, i32 %y) nounwind {
 162   %bextr = tail call i32 @llvm.x86.bmi.bextr.32(i32 %x, i32 %y)
 163   %cmp = icmp eq i32 %bextr, 0
 164   br i1 %cmp, label %return, label %bb
 165
 166 bb:
 167   tail call void @foo(i32 %bextr)
 168   br label %return
 169
 170 return:
 171   ret void
 172 }
 173
 174 ; CHECK-LABEL: popcnt:
 175 ; CHECK: popcntl
 176 ; CHECK-NEXT: je
 177 ; CHECK: jmp foo
 178 ; CHECK: ret
 179 declare i32 @llvm.ctpop.i32(i32) nounwind readnone
 180 define void @popcnt(i32 %x) nounwind {
 181   %popcnt = tail call i32 @llvm.ctpop.i32(i32 %x)
 182   %cmp = icmp eq i32 %popcnt, 0
 183   br i1 %cmp, label %return, label %bb
 184 ;
 185 bb:
 186   tail call void @foo(i32 %popcnt)
 187   br label %return
 188 ;
 189 return:
 190   ret void
 191 }