blob: e55da87591ae3eb693e5c5ac802573d7466adba4 [file] [log] [blame]
Nate Begeman62929eb2006-09-22 05:49:57 +00001; All of these ands and shifts should be folded into rlw[i]nm instructions
Reid Spencer832254e2007-02-02 02:16:23 +00002; RUN: llvm-as < %s | llc -march=ppc32 | not grep and &&
3; RUN: llvm-as < %s | llc -march=ppc32 | not grep srawi &&
4; RUN: llvm-as < %s | llc -march=ppc32 | not grep srwi &&
5; RUN: llvm-as < %s | llc -march=ppc32 | not grep slwi &&
6; RUN: llvm-as < %s | llc -march=ppc32 | grep rlwnm | wc -l | grep 1 &&
7; RUN: llvm-as < %s | llc -march=ppc32 | grep rlwinm | wc -l | grep 1
Nate Begeman62929eb2006-09-22 05:49:57 +00008
Reid Spencer832254e2007-02-02 02:16:23 +00009define i32 @test1(i32 %X, i32 %Y) {
Nate Begeman62929eb2006-09-22 05:49:57 +000010entry:
Reid Spencer832254e2007-02-02 02:16:23 +000011 %tmp = trunc i32 %Y to i8 ; <i8> [#uses=2]
12 %tmp1 = shl i32 %X, %Y ; <i32> [#uses=1]
13 %tmp2 = sub i32 32, %Y ; <i8> [#uses=1]
14 %tmp3 = lshr i32 %X, %tmp2 ; <i32> [#uses=1]
15 %tmp4 = or i32 %tmp1, %tmp3 ; <i32> [#uses=1]
16 %tmp6 = and i32 %tmp4, 127 ; <i32> [#uses=1]
17 ret i32 %tmp6
Nate Begeman62929eb2006-09-22 05:49:57 +000018}
19
Reid Spencer832254e2007-02-02 02:16:23 +000020define i32 @test2(i32 %X) {
Nate Begeman62929eb2006-09-22 05:49:57 +000021entry:
Reid Spencer832254e2007-02-02 02:16:23 +000022 %tmp1 = lshr i32 %X, 27 ; <i32> [#uses=1]
23 %tmp2 = shl i32 %X, 5 ; <i32> [#uses=1]
24 %tmp2.masked = and i32 %tmp2, 96 ; <i32> [#uses=1]
25 %tmp5 = or i32 %tmp1, %tmp2.masked ; <i32> [#uses=1]
26 ret i32 %tmp5
Nate Begeman62929eb2006-09-22 05:49:57 +000027}