| ; RUN: opt < %s -instcombine -S | grep {ashr} | |
| ; PR1499 | |
| define void @av_cmp_q_cond_true(i32* %retval, i32* %tmp9, i64* %tmp10) { | |
| newFuncRoot: | |
| br label %cond_true | |
| return.exitStub: ; preds = %cond_true | |
| ret void | |
| cond_true: ; preds = %newFuncRoot | |
| %tmp30 = load i64* %tmp10 ; <i64> [#uses=1] | |
| %.cast = zext i32 63 to i64 ; <i64> [#uses=1] | |
| %tmp31 = ashr i64 %tmp30, %.cast ; <i64> [#uses=1] | |
| %tmp3132 = trunc i64 %tmp31 to i32 ; <i32> [#uses=1] | |
| %tmp33 = or i32 %tmp3132, 1 ; <i32> [#uses=1] | |
| store i32 %tmp33, i32* %tmp9 | |
| %tmp34 = load i32* %tmp9 ; <i32> [#uses=1] | |
| store i32 %tmp34, i32* %retval | |
| br label %return.exitStub | |
| } | |