blob: 46542d8e09bd058f5afb2c27856974bc9664c0fb [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
Dan Gohmanfce288f2009-09-09 00:09:15 +00002; RUN: llc < %s -march=ppc32 -o %t
Reid Spencereb1d74e2007-04-16 17:36:08 +00003; RUN: not grep and %t
4; RUN: not grep srawi %t
5; RUN: not grep srwi %t
6; RUN: not grep slwi %t
Dan Gohman28beeea2007-08-15 13:36:28 +00007; RUN: grep rlwnm %t | count 1
8; RUN: grep rlwinm %t | count 1
Nate Begeman62929eb2006-09-22 05:49:57 +00009
Reid Spencer832254e2007-02-02 02:16:23 +000010define i32 @test1(i32 %X, i32 %Y) {
Nate Begeman62929eb2006-09-22 05:49:57 +000011entry:
Reid Spencer832254e2007-02-02 02:16:23 +000012 %tmp = trunc i32 %Y to i8 ; <i8> [#uses=2]
13 %tmp1 = shl i32 %X, %Y ; <i32> [#uses=1]
14 %tmp2 = sub i32 32, %Y ; <i8> [#uses=1]
15 %tmp3 = lshr i32 %X, %tmp2 ; <i32> [#uses=1]
16 %tmp4 = or i32 %tmp1, %tmp3 ; <i32> [#uses=1]
17 %tmp6 = and i32 %tmp4, 127 ; <i32> [#uses=1]
18 ret i32 %tmp6
Nate Begeman62929eb2006-09-22 05:49:57 +000019}
20
Reid Spencer832254e2007-02-02 02:16:23 +000021define i32 @test2(i32 %X) {
Nate Begeman62929eb2006-09-22 05:49:57 +000022entry:
Reid Spencer832254e2007-02-02 02:16:23 +000023 %tmp1 = lshr i32 %X, 27 ; <i32> [#uses=1]
24 %tmp2 = shl i32 %X, 5 ; <i32> [#uses=1]
25 %tmp2.masked = and i32 %tmp2, 96 ; <i32> [#uses=1]
26 %tmp5 = or i32 %tmp1, %tmp2.masked ; <i32> [#uses=1]
27 ret i32 %tmp5
Nate Begeman62929eb2006-09-22 05:49:57 +000028}