From 9a488a831784c71acf552d9630a6c25ce8d3c3e9 Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Mon, 13 Jun 2011 07:52:46 +0000 Subject: [PATCH] It's possible that an all-zero GEP may be used as the argument to lifetime intrinsics. In fact, we'll optimize a bitcast to that when possible. Detect it when looking for the lifetime intrinsics. No test case, noticed by inspection. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132906 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/Utils/InlineFunction.cpp | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/lib/Transforms/Utils/InlineFunction.cpp b/lib/Transforms/Utils/InlineFunction.cpp index 8416170d903..3eeedab9250 100644 --- a/lib/Transforms/Utils/InlineFunction.cpp +++ b/lib/Transforms/Utils/InlineFunction.cpp @@ -734,11 +734,15 @@ static bool hasLifetimeMarkers(AllocaInst *AI) { if (AI->getType() == Int8PtrTy) return isUsedByLifetimeMarker(AI); - // Do a scan to find all the bitcasts to i8*. + // Do a scan to find all the bitcasts or GEPs to i8*. for (Value::use_iterator I = AI->use_begin(), E = AI->use_end(); I != E; ++I) { if (I->getType() != Int8PtrTy) continue; - if (!isa(*I)) continue; + if (GetElementPtrInst *GEPI = dyn_cast(*I)) { + if (!GEPI->hasAllZeroIndices()) continue; + } else if (!isa(*I)) { + continue; + } if (isUsedByLifetimeMarker(*I)) return true; }