blob: e6c02d80452d49ea13183151b39cd54d4f174f7b [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001; Neither of these functions should contain algebraic right shifts
Dan Gohmanda594cf2009-09-09 00:09:15 +00002; RUN: llc < %s -march=ppc32 | not grep srawi
Dan Gohmanf17a25c2007-07-18 16:29:46 +00003
Tanya Lattner348c6182008-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
Dan Gohmanf17a25c2007-07-18 16:29:46 +00009}
10
Tanya Lattner348c6182008-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
Dan Gohmanf17a25c2007-07-18 16:29:46 +000018}
19
Tanya Lattner348c6182008-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
Dan Gohmanf17a25c2007-07-18 16:29:46 +000026}
Tanya Lattner348c6182008-03-25 04:26:08 +000027