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