test/CodeGen/X86/commute-cmov.ll

   1 ; RUN: llc < %s -march=x86 | FileCheck %s
   2
   3 define i32 @test1(i32 %x, i32 %n, i32 %w, i32 %v) nounwind readnone {
   4 entry:
   5 ; CHECK: test1:
   6 ; CHECK: btl
   7 ; CHECK-NEXT: movl      $12, %eax
   8 ; CHECK-NEXT: cmovae    16(%esp), %eax
   9 ; CHECK-NEXT: ret
  10
  11         %0 = lshr i32 %x, %n            ; <i32> [#uses=1]
  12         %1 = and i32 %0, 1              ; <i32> [#uses=1]
  13         %toBool = icmp eq i32 %1, 0             ; <i1> [#uses=1]
  14         %.0 = select i1 %toBool, i32 %v, i32 12         ; <i32> [#uses=1]
  15         ret i32 %.0
  16 }
  17 define i32 @test2(i32 %x, i32 %n, i32 %w, i32 %v) nounwind readnone {
  18 entry:
  19 ; CHECK: test2:
  20 ; CHECK: btl
  21 ; CHECK-NEXT: movl      $12, %eax
  22 ; CHECK-NEXT: cmovb     16(%esp), %eax
  23 ; CHECK-NEXT: ret
  24
  25         %0 = lshr i32 %x, %n            ; <i32> [#uses=1]
  26         %1 = and i32 %0, 1              ; <i32> [#uses=1]
  27         %toBool = icmp eq i32 %1, 0             ; <i1> [#uses=1]
  28         %.0 = select i1 %toBool, i32 12, i32 %v         ; <i32> [#uses=1]
  29         ret i32 %.0
  30 }