1; Neither of these functions should contain algebraic right shifts
2; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- | not grep srawi
3
4define 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
9}
10
11define 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
18}
19
20define 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
26}
27
28