diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index adab875f953..4c39485b935 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -5223,10 +5223,11 @@ static Value *EmitGEPOffset(User *GEP, Instruction &I, InstCombiner &IC) { // Convert to correct type. if (Op->getType() != IntPtrTy) { if (Constant *OpC = dyn_cast(Op)) - Op = ConstantExpr::getSExt(OpC, IntPtrTy); + Op = ConstantExpr::getIntegerCast(OpC, IntPtrTy, true); else - Op = IC.InsertNewInstBefore(new SExtInst(Op, IntPtrTy, - Op->getName()+".c"), I); + Op = IC.InsertNewInstBefore(CastInst::CreateIntegerCast(Op, IntPtrTy, + true, + Op->getName()+".c"), I); } if (Size != 1) { Constant *Scale = ConstantInt::get(IntPtrTy, Size); diff --git a/test/Transforms/InstCombine/2009-04-06-GEP-Index-Crash.ll b/test/Transforms/InstCombine/2009-04-06-GEP-Index-Crash.ll new file mode 100644 index 00000000000..49e1f0af679 --- /dev/null +++ b/test/Transforms/InstCombine/2009-04-06-GEP-Index-Crash.ll @@ -0,0 +1,24 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis +; rdar://6762290 + +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" +target triple = "i386-apple-darwin9" + %T = type <{ i64, i64, i64 }> + +define i32 @test(i8* %start, i32 %X) nounwind { +entry: + %tmp3 = load i64* null ; [#uses=1] + %add.ptr = getelementptr i8* %start, i64 %tmp3 ; [#uses=1] + %tmp158 = load i32* null ; [#uses=1] + %add.ptr159 = getelementptr %T* null, i32 %tmp158 + %add.ptr209 = getelementptr i8* %start, i64 0 ; [#uses=1] + %add.ptr212 = getelementptr i8* %add.ptr209, i32 %X ; [#uses=1] + %cmp214 = icmp ugt i8* %add.ptr212, %add.ptr ; [#uses=1] + br i1 %cmp214, label %if.then216, label %if.end363 + +if.then216: ; preds = %for.body162 + ret i32 1 + +if.end363: ; preds = %for.body162 + ret i32 0 +}