Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; Neither of these functions should contain algebraic right shifts |
Dan Gohman | da594cf | 2009-09-09 00:09:15 +0000 | [diff] [blame] | 2 | ; RUN: llc < %s -march=ppc32 | not grep srawi |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 3 | |
Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 4 | define 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 Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | } |
| 10 | |
Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 11 | define 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 Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 18 | } |
| 19 | |
Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 20 | define 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 Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 26 | } |
Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 27 | |