From 9907cb12ae431ed6168bbb93088195b530b62ce8 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Tue, 6 Nov 2007 05:58:42 +0000 Subject: [PATCH] Fix PR1774 and BasicAA/2007-11-05-SizeCrash.ll git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43756 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/BasicAliasAnalysis.cpp | 18 ++++++---- test/Analysis/BasicAA/2007-11-05-SizeCrash.ll | 34 +++++++++++++++++++ 2 files changed, 45 insertions(+), 7 deletions(-) create mode 100644 test/Analysis/BasicAA/2007-11-05-SizeCrash.ll diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index 6aeaec23faf..d13a333ca34 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -753,9 +753,8 @@ BasicAliasAnalysis::CheckGEPInstructions( // if (const ArrayType *AT = dyn_cast(BasePtr1Ty)) GEP1Ops[i] = ConstantInt::get(Type::Int64Ty,AT->getNumElements()-1); - else if (const VectorType *PT = dyn_cast(BasePtr1Ty)) - GEP1Ops[i] = ConstantInt::get(Type::Int64Ty,PT->getNumElements()-1); - + else if (const VectorType *VT = dyn_cast(BasePtr1Ty)) + GEP1Ops[i] = ConstantInt::get(Type::Int64Ty,VT->getNumElements()-1); } } @@ -765,8 +764,8 @@ BasicAliasAnalysis::CheckGEPInstructions( if (const ArrayType *AT = dyn_cast(BasePtr1Ty)) { if (Op2C->getZExtValue() >= AT->getNumElements()) return MayAlias; // Be conservative with out-of-range accesses - } else if (const VectorType *PT = dyn_cast(BasePtr1Ty)) { - if (Op2C->getZExtValue() >= PT->getNumElements()) + } else if (const VectorType *VT = dyn_cast(BasePtr1Ty)) { + if (Op2C->getZExtValue() >= VT->getNumElements()) return MayAlias; // Be conservative with out-of-range accesses } } else { // Conservatively assume the minimum value for this index @@ -795,8 +794,13 @@ BasicAliasAnalysis::CheckGEPInstructions( getTargetData().getIndexedOffset(GEPPointerTy, GEP1Ops, NumGEP1Ops); int64_t Offset2 = getTargetData().getIndexedOffset(GEPPointerTy, GEP2Ops, NumGEP2Ops); - assert(Offset1 Offset2) + std::swap(Offset1, Offset2); + if ((uint64_t)(Offset2-Offset1) >= SizeMax) { //cerr << "Determined that these two GEP's don't alias [" // << SizeMax << " bytes]: \n" << *GEP1 << *GEP2; diff --git a/test/Analysis/BasicAA/2007-11-05-SizeCrash.ll b/test/Analysis/BasicAA/2007-11-05-SizeCrash.ll new file mode 100644 index 00000000000..5a938cfef05 --- /dev/null +++ b/test/Analysis/BasicAA/2007-11-05-SizeCrash.ll @@ -0,0 +1,34 @@ +; RUN: llvm-as < %s | opt -gvn -disable-output +; PR1774 + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" +target triple = "x86_64-unknown-linux-gnu" + %struct.device = type { [20 x i8] } + %struct.pci_device_id = type { i32, i32, i32, i32, i32, i32, i64 } + %struct.usb_bus = type { %struct.device* } + %struct.usb_hcd = type { %struct.usb_bus, i64, [0 x i64] } +@uhci_pci_ids = external constant [1 x %struct.pci_device_id] ; <[1 x %struct.pci_device_id]*> [#uses=1] + +@__mod_pci_device_table = alias [1 x %struct.pci_device_id]* @uhci_pci_ids + ; <[1 x %struct.pci_device_id]*> [#uses=0] + +define i32 @uhci_suspend(%struct.usb_hcd* %hcd) { +entry: + %tmp17 = getelementptr %struct.usb_hcd* %hcd, i32 0, i32 2, i64 1 + ; [#uses=1] + %tmp1718 = bitcast i64* %tmp17 to i32* ; [#uses=1] + %tmp19 = load i32* %tmp1718, align 4 ; [#uses=0] + br i1 false, label %cond_true34, label %done_okay + +cond_true34: ; preds = %entry + %tmp631 = getelementptr %struct.usb_hcd* %hcd, i32 0, i32 2, i64 +2305843009213693950 ; [#uses=1] + %tmp70 = bitcast i64* %tmp631 to %struct.device** ; + + %tmp71 = load %struct.device** %tmp70, align 8 ; + + ret i32 undef + +done_okay: ; preds = %entry + ret i32 undef +} -- 2.34.1