| ; RUN: llc < %s -march=x86 -mcpu=yonah | FileCheck %s | |
| define i32 @t1(i32 %x) nounwind { | |
| %tmp = tail call i32 @llvm.ctlz.i32( i32 %x ) | |
| ret i32 %tmp | |
| ; CHECK: t1: | |
| ; CHECK: bsrl | |
| ; CHECK: cmov | |
| } | |
| declare i32 @llvm.ctlz.i32(i32) nounwind readnone | |
| define i32 @t2(i32 %x) nounwind { | |
| %tmp = tail call i32 @llvm.cttz.i32( i32 %x ) | |
| ret i32 %tmp | |
| ; CHECK: t2: | |
| ; CHECK: bsfl | |
| ; CHECK: cmov | |
| } | |
| declare i32 @llvm.cttz.i32(i32) nounwind readnone | |
| define i16 @t3(i16 %x, i16 %y) nounwind { | |
| entry: | |
| %tmp1 = add i16 %x, %y | |
| %tmp2 = tail call i16 @llvm.ctlz.i16( i16 %tmp1 ) ; <i16> [#uses=1] | |
| ret i16 %tmp2 | |
| ; CHECK: t3: | |
| ; CHECK: bsrw | |
| ; CHECK: cmov | |
| } | |
| declare i16 @llvm.ctlz.i16(i16) nounwind readnone | |
| ; Don't generate the cmovne when the source is known non-zero (and bsr would | |
| ; not set ZF). | |
| ; rdar://9490949 | |
| define i32 @t4(i32 %n) nounwind { | |
| entry: | |
| ; CHECK: t4: | |
| ; CHECK: bsrl | |
| ; CHECK-NOT: cmov | |
| ; CHECK: ret | |
| %or = or i32 %n, 1 | |
| %tmp1 = tail call i32 @llvm.ctlz.i32(i32 %or) | |
| ret i32 %tmp1 | |
| } |