| ; RUN: llc < %s -march=x86 | FileCheck %s | |
| define i32 @foo(i32 %x, i32 %y, i32 %z) nounwind readnone { | |
| entry: | |
| ; CHECK: foo: | |
| ; CHECK: roll %cl | |
| %0 = shl i32 %x, %z | |
| %1 = sub i32 32, %z | |
| %2 = lshr i32 %x, %1 | |
| %3 = or i32 %2, %0 | |
| ret i32 %3 | |
| } | |
| define i32 @bar(i32 %x, i32 %y, i32 %z) nounwind readnone { | |
| entry: | |
| ; CHECK: bar: | |
| ; CHECK: shldl %cl | |
| %0 = shl i32 %y, %z | |
| %1 = sub i32 32, %z | |
| %2 = lshr i32 %x, %1 | |
| %3 = or i32 %2, %0 | |
| ret i32 %3 | |
| } | |
| define i32 @un(i32 %x, i32 %y, i32 %z) nounwind readnone { | |
| entry: | |
| ; CHECK: un: | |
| ; CHECK: rorl %cl | |
| %0 = lshr i32 %x, %z | |
| %1 = sub i32 32, %z | |
| %2 = shl i32 %x, %1 | |
| %3 = or i32 %2, %0 | |
| ret i32 %3 | |
| } | |
| define i32 @bu(i32 %x, i32 %y, i32 %z) nounwind readnone { | |
| entry: | |
| ; CHECK: bu: | |
| ; CHECK: shrdl %cl | |
| %0 = lshr i32 %y, %z | |
| %1 = sub i32 32, %z | |
| %2 = shl i32 %x, %1 | |
| %3 = or i32 %2, %0 | |
| ret i32 %3 | |
| } | |
| define i32 @xfoo(i32 %x, i32 %y, i32 %z) nounwind readnone { | |
| entry: | |
| ; CHECK: xfoo: | |
| ; CHECK: roll $7 | |
| %0 = lshr i32 %x, 25 | |
| %1 = shl i32 %x, 7 | |
| %2 = or i32 %0, %1 | |
| ret i32 %2 | |
| } | |
| define i32 @xbar(i32 %x, i32 %y, i32 %z) nounwind readnone { | |
| entry: | |
| ; CHECK: xbar: | |
| ; CHECK: shldl $7 | |
| %0 = shl i32 %y, 7 | |
| %1 = lshr i32 %x, 25 | |
| %2 = or i32 %0, %1 | |
| ret i32 %2 | |
| } | |
| define i32 @xun(i32 %x, i32 %y, i32 %z) nounwind readnone { | |
| entry: | |
| ; CHECK: xun: | |
| ; CHECK: roll $25 | |
| %0 = lshr i32 %x, 7 | |
| %1 = shl i32 %x, 25 | |
| %2 = or i32 %0, %1 | |
| ret i32 %2 | |
| } | |
| define i32 @xbu(i32 %x, i32 %y, i32 %z) nounwind readnone { | |
| entry: | |
| ; CHECK: xbu: | |
| ; CHECK: shldl | |
| %0 = lshr i32 %y, 7 | |
| %1 = shl i32 %x, 25 | |
| %2 = or i32 %0, %1 | |
| ret i32 %2 | |
| } |