1; RUN: opt < %s -scalarrepl -S | not grep shr
2
3%struct.S = type { i16 }
4
5define zeroext i1 @f(i16 signext  %b)   {
6entry:
7	%b_addr = alloca i16		; <i16*> [#uses=2]
8	%retval = alloca i32		; <i32*> [#uses=2]
9	%s = alloca %struct.S		; <%struct.S*> [#uses=2]
10	%tmp = alloca i32		; <i32*> [#uses=2]
11	%"alloca point" = bitcast i32 0 to i32		; <i32> [#uses=0]
12	store i16 %b, i16* %b_addr
13	%tmp1 = getelementptr %struct.S* %s, i32 0, i32 0		; <i16*> [#uses=1]
14	%tmp2 = load i16* %b_addr, align 2		; <i16> [#uses=1]
15	store i16 %tmp2, i16* %tmp1, align 2
16	%tmp3 = getelementptr %struct.S* %s, i32 0, i32 0		; <i16*> [#uses=1]
17	%tmp34 = bitcast i16* %tmp3 to [2 x i1]*		; <[2 x i1]*> [#uses=1]
18	%tmp5 = getelementptr [2 x i1]* %tmp34, i32 0, i32 1		; <i1*> [#uses=1]
19	%tmp6 = load i1* %tmp5, align 1		; <i1> [#uses=1]
20	%tmp67 = zext i1 %tmp6 to i32		; <i32> [#uses=1]
21	store i32 %tmp67, i32* %tmp, align 4
22	%tmp8 = load i32* %tmp, align 4		; <i32> [#uses=1]
23	store i32 %tmp8, i32* %retval, align 4
24	br label %return
25
26return:		; preds = %entry
27	%retval9 = load i32* %retval		; <i32> [#uses=1]
28	%retval910 = trunc i32 %retval9 to i1		; <i1> [#uses=1]
29	ret i1 %retval910
30}
31