blob: c780605c9753e5f59eecb09647eea572d9142b75 [file] [log] [blame]
Nate Begemand44d3d52006-02-17 21:22:08 +00001; Neither of these functions should contain algebraic right shifts
Tanya Lattner6f729d62008-03-25 04:26:08 +00002; RUN: llvm-as < %s | llc -march=ppc32 | not grep srawi
Nate Begemand44d3d52006-02-17 21:22:08 +00003
Tanya Lattner6f729d62008-03-25 04:26:08 +00004define i32 @test1(i32 %mode.0.i.0) {
5 %tmp.79 = bitcast i32 %mode.0.i.0 to i32 ; <i32> [#uses=1]
6 %tmp.80 = ashr i32 %tmp.79, 15 ; <i32> [#uses=1]
7 %tmp.81 = and i32 %tmp.80, 24 ; <i32> [#uses=1]
8 ret i32 %tmp.81
Nate Begemand44d3d52006-02-17 21:22:08 +00009}
10
Tanya Lattner6f729d62008-03-25 04:26:08 +000011define i32 @test2(i32 %mode.0.i.0) {
12 %tmp.79 = bitcast i32 %mode.0.i.0 to i32 ; <i32> [#uses=1]
13 %tmp.80 = ashr i32 %tmp.79, 15 ; <i32> [#uses=1]
14 %tmp.81 = lshr i32 %mode.0.i.0, 16 ; <i32> [#uses=1]
15 %tmp.82 = bitcast i32 %tmp.81 to i32 ; <i32> [#uses=1]
16 %tmp.83 = and i32 %tmp.80, %tmp.82 ; <i32> [#uses=1]
17 ret i32 %tmp.83
Nate Begemand44d3d52006-02-17 21:22:08 +000018}
Nate Begemanb1d3c152006-02-17 21:38:45 +000019
Tanya Lattner6f729d62008-03-25 04:26:08 +000020define i32 @test3(i32 %specbits.6.1) {
21 %tmp.2540 = ashr i32 %specbits.6.1, 11 ; <i32> [#uses=1]
22 %tmp.2541 = bitcast i32 %tmp.2540 to i32 ; <i32> [#uses=1]
23 %tmp.2542 = shl i32 %tmp.2541, 13 ; <i32> [#uses=1]
24 %tmp.2543 = and i32 %tmp.2542, 8192 ; <i32> [#uses=1]
25 ret i32 %tmp.2543
Nate Begemanb1d3c152006-02-17 21:38:45 +000026}
Tanya Lattner6f729d62008-03-25 04:26:08 +000027