diff --git a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp index 4fb50e30dbeb..f1e43a902463 100644 --- a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp +++ b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp @@ -3277,6 +3277,8 @@ SDValue DAGCombiner::GetDemandedBits(SDValue V, const APInt &Mask) { if (ConstantSDNode *RHSC = dyn_cast(V.getOperand(1))) { // See if we can recursively simplify the LHS. unsigned Amt = RHSC->getZExtValue(); + // Watch out for shift count overflow though. + if (Amt >= Mask.getBitWidth()) break; APInt NewMask = Mask << Amt; SDValue SimplifyLHS = GetDemandedBits(V.getOperand(0), NewMask); if (SimplifyLHS.getNode()) { diff --git a/llvm/test/CodeGen/X86/pr3250.ll b/llvm/test/CodeGen/X86/pr3250.ll new file mode 100644 index 000000000000..dce154f1855c --- /dev/null +++ b/llvm/test/CodeGen/X86/pr3250.ll @@ -0,0 +1,17 @@ +; RUN: llvm-as < %s | llc -march=x86 +; PR3250 + +declare i32 @safe_sub_func_short_u_u(i16 signext, i16 signext) nounwind + +define i32 @func_106(i32 %p_107) nounwind { +entry: + %0 = tail call i32 (...)* @safe_div_(i32 %p_107, i32 1) nounwind + ; [#uses=1] + %1 = lshr i32 %0, -9 ; [#uses=1] + %2 = trunc i32 %1 to i16 ; [#uses=1] + %3 = tail call i32 @safe_sub_func_short_u_u(i16 signext 1, i16 signext +%2) nounwind ; [#uses=0] + ret i32 undef +} + +declare i32 @safe_div_(...)