r222995 - Revert "Remove threshold for lifetime marker insertion of named temporaries"
Arnaud De Grandmaison
Arnaud.DeGrandmaison at arm.com
Mon Dec 1 03:17:44 PST 2014
> -----Original Message-----
> From: Evgeniy Stepanov [mailto:eugeni.stepanov at gmail.com]
> Sent: 01 December 2014 11:56
> To: Arnaud De Grandmaison
> Cc: cfe-commits at cs.uiuc.edu
> Subject: Re: r222995 - Revert "Remove threshold for lifetime marker
> insertion of named temporaries"
>
> It's not specific to MSan at all.
> Run bin/llvm-lit -v projects/compiler-rt/test/msan/stack-origin.cc,
> take the second compiler invocation (the one with -O1) and remove
> -fsanitize=memory from the command line. You'll see that the "ret"
> instruction (w/o MSan at all) has !dbg metadata pointing at line 31,
> which is "}", and not "return".
I agree that MSan has nothing to do with it; it just happens to be checking the debug location and catching the change. It means a dedicated test should live in clang for that.
>
> On Mon, Dec 1, 2014 at 1:03 PM, Arnaud A. de Grandmaison
> <arnaud.degrandmaison at arm.com> wrote:
> > Thanks for hinting me at the failure reason !
> >
> > Not being familiar at all with MSan, would you have any idea about where I
> should start looking to understand why debug locations are impacted by the
> change in threshold ?
> >
> > Cheers,
> > Arnaud
> >
> >> -----Original Message-----
> >> From: Evgeniy Stepanov [mailto:eugeni.stepanov at gmail.com]
> >> Sent: 01 December 2014 10:37
> >> To: Arnaud De Grandmaison
> >> Cc: cfe-commits at cs.uiuc.edu
> >> Subject: Re: r222995 - Revert "Remove threshold for lifetime marker
> >> insertion of named temporaries"
> >>
> >> FYI, the failure was caused by "ret" instructions in those tests
> >> getting debug location from the closing "}" brace of the function.
> >>
> >> On Mon, Dec 1, 2014 at 12:30 PM, Arnaud A. de Grandmaison
> >> <arnaud.degrandmaison at arm.com> wrote:
> >> > Author: aadg
> >> > Date: Mon Dec 1 03:30:16 2014
> >> > New Revision: 222995
> >> >
> >> > URL: http://llvm.org/viewvc/llvm-project?rev=222995&view=rev
> >> > Log:
> >> > Revert "Remove threshold for lifetime marker insertion of named
> >> temporaries"
> >> >
> >> > Revert r222993 while I investigate some MemorySanitizer failures.
> >> >
> >> > Modified:
> >> > cfe/trunk/lib/CodeGen/CGDecl.cpp
> >> > cfe/trunk/lib/CodeGen/CodeGenFunction.h
> >> > cfe/trunk/test/CodeGenCXX/destructors.cpp
> >> > cfe/trunk/test/CodeGenCXX/nrvo.cpp
> >> > cfe/trunk/test/CodeGenObjC/arc-blocks.m
> >> > cfe/trunk/test/CodeGenObjC/arc-bridged-cast.m
> >> > cfe/trunk/test/CodeGenObjC/arc-literals.m
> >> > cfe/trunk/test/CodeGenObjC/arc-precise-lifetime.m
> >> > cfe/trunk/test/CodeGenObjC/arc-ternary-op.m
> >> > cfe/trunk/test/CodeGenObjC/arc.m
> >> > cfe/trunk/test/CodeGenObjC/exceptions.m
> >> > cfe/trunk/test/CodeGenObjCXX/arc-move.mm
> >> > cfe/trunk/test/CodeGenObjCXX/arc-references.mm
> >> > cfe/trunk/test/CodeGenObjCXX/arc.mm
> >> > cfe/trunk/test/CodeGenObjCXX/literals.mm
> >> >
> >> > Modified: cfe/trunk/lib/CodeGen/CGDecl.cpp
> >> > URL: http://llvm.org/viewvc/llvm-
> >>
> project/cfe/trunk/lib/CodeGen/CGDecl.cpp?rev=222995&r1=222994&r2=222
> >> 995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/lib/CodeGen/CGDecl.cpp (original)
> >> > +++ cfe/trunk/lib/CodeGen/CGDecl.cpp Mon Dec 1 03:30:16 2014
> >> > @@ -512,7 +512,10 @@ namespace {
> >> > : Addr(addr), Size(size) {}
> >> >
> >> > void Emit(CodeGenFunction &CGF, Flags flags) override {
> >> > - CGF.EmitLifetimeEnd(Size, Addr);
> >> > + llvm::Value *castAddr = CGF.Builder.CreateBitCast(Addr,
> >> CGF.Int8PtrTy);
> >> > + CGF.Builder.CreateCall2(CGF.CGM.getLLVMLifetimeEndFn(),
> >> > + Size, castAddr)
> >> > + ->setDoesNotThrow();
> >> > }
> >> > };
> >> > }
> >> > @@ -832,6 +835,21 @@ static bool shouldUseMemSetPlusStoresToI
> >> > canEmitInitWithFewStoresAfterMemset(Init, StoreBudget);
> >> > }
> >> >
> >> > +/// Should we use the LLVM lifetime intrinsics for the given local
> variable?
> >> > +static bool shouldUseLifetimeMarkers(CodeGenFunction &CGF, const
> >> VarDecl &D,
> >> > + unsigned Size) {
> >> > + // For now, only in optimized builds.
> >> > + if (CGF.CGM.getCodeGenOpts().OptimizationLevel == 0)
> >> > + return false;
> >> > +
> >> > + // Limit the size of marked objects to 32 bytes. We don't want to
> increase
> >> > + // compile time by marking tiny objects.
> >> > + unsigned SizeThreshold = 32;
> >> > +
> >> > + return Size > SizeThreshold;
> >> > +}
> >> > +
> >> > +
> >> > /// EmitAutoVarDecl - Emit code and set up an entry in LocalDeclMap
> for a
> >> > /// variable declaration with auto, register, or no storage class specifier.
> >> > /// These turn into simple stack objects, or GlobalValues depending on
> >> target.
> >> > @@ -841,29 +859,6 @@ void CodeGenFunction::EmitAutoVarDecl(co
> >> > EmitAutoVarCleanups(emission);
> >> > }
> >> >
> >> > -/// Emit a lifetime.begin marker if some criteria are satisfied.
> >> > -/// \return a pointer to the temporary size Value if a marker was
> emitted,
> >> null
> >> > -/// otherwise
> >> > -llvm::Value *CodeGenFunction::EmitLifetimeStart(uint64_t Size,
> >> > - llvm::Value *Addr) {
> >> > - // For now, only in optimized builds.
> >> > - if (CGM.getCodeGenOpts().OptimizationLevel == 0)
> >> > - return nullptr;
> >> > -
> >> > - llvm::Value *SizeV = llvm::ConstantInt::get(Int64Ty, Size);
> >> > - llvm::Value *CastAddr = Builder.CreateBitCast(Addr, Int8PtrTy);
> >> > - Builder.CreateCall2(CGM.getLLVMLifetimeStartFn(), SizeV, CastAddr)
> >> > - ->setDoesNotThrow();
> >> > -
> >> > - return SizeV;
> >> > -}
> >> > -
> >> > -void CodeGenFunction::EmitLifetimeEnd(llvm::Value *Size, llvm::Value
> >> *Addr) {
> >> > - llvm::Value *CastAddr = Builder.CreateBitCast(Addr, Int8PtrTy);
> >> > - Builder.CreateCall2(CGM.getLLVMLifetimeEndFn(), Size, CastAddr)
> >> > - ->setDoesNotThrow();
> >> > -}
> >> > -
> >> > /// EmitAutoVarAlloca - Emit the alloca and debug information for a
> >> > /// local variable. Does not emit initialization or destruction.
> >> > CodeGenFunction::AutoVarEmission
> >> > @@ -959,8 +954,13 @@ CodeGenFunction::EmitAutoVarAlloca(const
> >> > // Emit a lifetime intrinsic if meaningful. There's no point
> >> > // in doing this if we don't have a valid insertion point (?).
> >> > uint64_t size = CGM.getDataLayout().getTypeAllocSize(LTy);
> >> > - if (HaveInsertPoint()) {
> >> > - emission.SizeForLifetimeMarkers = EmitLifetimeStart(size, Alloc);
> >> > + if (HaveInsertPoint() && shouldUseLifetimeMarkers(*this, D, size))
> {
> >> > + llvm::Value *sizeV = llvm::ConstantInt::get(Int64Ty, size);
> >> > +
> >> > + emission.SizeForLifetimeMarkers = sizeV;
> >> > + llvm::Value *castAddr = Builder.CreateBitCast(Alloc, Int8PtrTy);
> >> > + Builder.CreateCall2(CGM.getLLVMLifetimeStartFn(), sizeV,
> castAddr)
> >> > + ->setDoesNotThrow();
> >> > } else {
> >> > assert(!emission.useLifetimeMarkers());
> >> > }
> >> >
> >> > Modified: cfe/trunk/lib/CodeGen/CodeGenFunction.h
> >> > URL: http://llvm.org/viewvc/llvm-
> >>
> project/cfe/trunk/lib/CodeGen/CodeGenFunction.h?rev=222995&r1=222994
> >> &r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/lib/CodeGen/CodeGenFunction.h (original)
> >> > +++ cfe/trunk/lib/CodeGen/CodeGenFunction.h Mon Dec 1 03:30:16
> 2014
> >> > @@ -1743,9 +1743,6 @@ public:
> >> > void EmitCXXTemporary(const CXXTemporary *Temporary, QualType
> >> TempType,
> >> > llvm::Value *Ptr);
> >> >
> >> > - llvm::Value *EmitLifetimeStart(uint64_t Size, llvm::Value *Addr);
> >> > - void EmitLifetimeEnd(llvm::Value *Size, llvm::Value *Addr);
> >> > -
> >> > llvm::Value *EmitCXXNewExpr(const CXXNewExpr *E);
> >> > void EmitCXXDeleteExpr(const CXXDeleteExpr *E);
> >> >
> >> >
> >> > Modified: cfe/trunk/test/CodeGenCXX/destructors.cpp
> >> > URL: http://llvm.org/viewvc/llvm-
> >>
> project/cfe/trunk/test/CodeGenCXX/destructors.cpp?rev=222995&r1=22299
> >> 4&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenCXX/destructors.cpp (original)
> >> > +++ cfe/trunk/test/CodeGenCXX/destructors.cpp Mon Dec 1 03:30:16
> >> 2014
> >> > @@ -280,8 +280,6 @@ namespace test5 {
> >> > // CHECK5: [[ELEMS:%.*]] = alloca [5 x [[A:%.*]]], align
> >> > // CHECK5-NEXT: [[EXN:%.*]] = alloca i8*
> >> > // CHECK5-NEXT: [[SEL:%.*]] = alloca i32
> >> > - // CHECK5-NEXT: [[PELEMS:%.*]] = bitcast [5 x [[A]]]* [[ELEMS]] to i8*
> >> > - // CHECK5-NEXT: call void @llvm.lifetime.start(i64 5, i8* [[PELEMS]])
> >> > // CHECK5-NEXT: [[BEGIN:%.*]] = getelementptr inbounds [5 x [[A]]]*
> >> [[ELEMS]], i32 0, i32 0
> >> > // CHECK5-NEXT: [[END:%.*]] = getelementptr inbounds [[A]]*
> [[BEGIN]],
> >> i64 5
> >> > // CHECK5-NEXT: br label
> >> > @@ -290,8 +288,7 @@ namespace test5 {
> >> > // CHECK5-NEXT: invoke void @_ZN5test51AD1Ev([[A]]* [[ELT]])
> >> > // CHECK5: [[T0:%.*]] = icmp eq [[A]]* [[ELT]], [[BEGIN]]
> >> > // CHECK5-NEXT: br i1 [[T0]],
> >> > - // CHECK5: call void @llvm.lifetime.end
> >> > - // CHECK5-NEXT: ret void
> >> > + // CHECK5: ret void
> >> > // lpad
> >> > // CHECK5: [[EMPTY:%.*]] = icmp eq [[A]]* [[BEGIN]], [[ELT]]
> >> > // CHECK5-NEXT: br i1 [[EMPTY]]
> >> >
> >> > Modified: cfe/trunk/test/CodeGenCXX/nrvo.cpp
> >> > URL: http://llvm.org/viewvc/llvm-
> >>
> project/cfe/trunk/test/CodeGenCXX/nrvo.cpp?rev=222995&r1=222994&r2=
> >> 222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenCXX/nrvo.cpp (original)
> >> > +++ cfe/trunk/test/CodeGenCXX/nrvo.cpp Mon Dec 1 03:30:16 2014
> >> > @@ -54,22 +54,16 @@ X test2(bool B) {
> >> > return x;
> >> >
> >> > // CHECK: call {{.*}} @_ZN1XC1Ev
> >> > - // CHECK-NEXT: {{.*}} getelementptr inbounds %class.X* %y, i32 0, i32
> 0
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start
> >> > // CHECK-NEXT: call {{.*}} @_ZN1XC1Ev
> >> > // CHECK: call {{.*}} @_ZN1XC1ERKS_
> >> > // CHECK: call {{.*}} @_ZN1XC1ERKS_
> >> > // CHECK: call {{.*}} @_ZN1XD1Ev
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end
> >> > // CHECK: call {{.*}} @_ZN1XD1Ev
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end
> >> > // CHECK: ret void
> >> >
> >> > // The block ordering in the -fexceptions IR is unfortunate.
> >> >
> >> > - // CHECK-EH: call void @llvm.lifetime.start
> >> > - // CHECK-EH-NEXT: call {{.*}} @_ZN1XC1Ev
> >> > - // CHECK-EH: call void @llvm.lifetime.start
> >> > + // CHECK-EH: call {{.*}} @_ZN1XC1Ev
> >> > // CHECK-EH-NEXT: invoke {{.*}} @_ZN1XC1Ev
> >> > // -> %invoke.cont, %lpad
> >> >
> >> > @@ -102,9 +96,7 @@ X test2(bool B) {
> >> > // -> %invoke.cont11, %lpad
> >> >
> >> > // %invoke.cont11: normal cleanup for 'x'
> >> > - // CHECK-EH: call void @llvm.lifetime.end
> >> > - // CHECK-EH-NEXT: call {{.*}} @_ZN1XD1Ev
> >> > - // CHECK-EH-NEXT: call void @llvm.lifetime.end
> >> > + // CHECK-EH: call {{.*}} @_ZN1XD1Ev
> >> > // CHECK-EH-NEXT: ret void
> >> >
> >> > // %eh.cleanup: EH cleanup for 'x'
> >> > @@ -176,12 +168,9 @@ X test6() {
> >> > X a __attribute__((aligned(8)));
> >> > return a;
> >> > // CHECK: [[A:%.*]] = alloca [[X:%.*]], align 8
> >> > - // CHECK-NEXT: [[PTR:%.*]] = getelementptr inbounds %class.X*
> [[A]],
> >> i32 0, i32 0
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 1, i8* [[PTR]])
> >> > // CHECK-NEXT: call {{.*}} @_ZN1XC1Ev([[X]]* [[A]])
> >> > // CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_([[X]]* {{%.*}}, [[X]]*
> >> dereferenceable({{[0-9]+}}) [[A]])
> >> > // CHECK-NEXT: call {{.*}} @_ZN1XD1Ev([[X]]* [[A]])
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 1, i8* [[PTR]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjC/arc-blocks.m
> >> > URL: http://llvm.org/viewvc/llvm-
> >> project/cfe/trunk/test/CodeGenObjC/arc-
> >> blocks.m?rev=222995&r1=222994&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjC/arc-blocks.m (original)
> >> > +++ cfe/trunk/test/CodeGenObjC/arc-blocks.m Mon Dec 1 03:30:16
> 2014
> >> > @@ -74,8 +74,6 @@ void test3(void (^sink)(id*)) {
> >> > // CHECK-NEXT: call i8* @objc_retain(
> >> > // CHECK-NEXT: bitcast i8*
> >> > // CHECK-NEXT: store void (i8**)* {{%.*}}, void (i8**)** [[SINK]]
> >> > - // CHECK-NEXT: [[STRONGPTR1:%.*]] = bitcast i8** [[STRONG]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8*
> [[STRONGPTR1]])
> >> > // CHECK-NEXT: store i8* null, i8** [[STRONG]]
> >> >
> >> > // CHECK-NEXT: load void (i8**)** [[SINK]]
> >> > @@ -96,8 +94,6 @@ void test3(void (^sink)(id*)) {
> >> >
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[STRONG]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]])
> >> > - // CHECK-NEXT: [[STRONGPTR2:%.*]] = bitcast i8** [[STRONG]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8*
> [[STRONGPTR2]])
> >> >
> >> > // CHECK-NEXT: load void (i8**)** [[SINK]]
> >> > // CHECK-NEXT: bitcast
> >> > @@ -171,8 +167,6 @@ void test5(void) {
> >> > // CHECK-LABEL: define void @test5()
> >> > // CHECK: [[VAR:%.*]] = alloca i8*
> >> > // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]],
> >> > - // CHECK-NEXT: [[VARPTR1:%.*]] = bitcast i8** [[VAR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[VARPTR1]])
> >> > // CHECK: [[T0:%.*]] = call i8* @test5_source()
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T0]])
> >> > // CHECK-NEXT: store i8* [[T1]], i8** [[VAR]],
> >> > @@ -184,8 +178,6 @@ void test5(void) {
> >> > // CHECK-NEXT: store i8* [[T0]], i8** [[CAPTURE]]
> >> > // CHECK-NEXT: [[T0:%.*]] = bitcast [[BLOCK_T]]* [[BLOCK]] to
> >> > // CHECK: call void @test5_helper
> >> > - // CHECK-NEXT: [[VARPTR2:%.*]] = bitcast i8** [[VAR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[VARPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -198,8 +190,6 @@ void test6(void) {
> >> > // CHECK-LABEL: define void @test6()
> >> > // CHECK: [[VAR:%.*]] = alloca [[BYREF_T:%.*]],
> >> > // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]],
> >> > - // CHECK-NEXT: [[VARPTR1:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 48, i8* [[VARPTR1]])
> >> > // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]]*
> [[VAR]],
> >> i32 0, i32 2
> >> > // 0x02000000 - has copy/dispose helpers weak
> >> > // CHECK-NEXT: store i32 1107296256, i32* [[T0]]
> >> > @@ -217,9 +207,7 @@ void test6(void) {
> >> > // CHECK: [[T0:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8*
> >> > // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8)
> >> > // CHECK-NEXT: call void @objc_destroyWeak(i8** [[SLOT]])
> >> > - // CHECK-NEXT: [[VARPTR2:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 48, i8* [[VARPTR2]])
> >> > - // CHECK-NEXT: ret void
> >> > + // CHECK: ret void
> >> >
> >> > // CHECK-LABEL: define internal void @__Block_byref_object_copy_
> >> > // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]]*
> {{%.*}},
> >> i32 0, i32 6
> >> > @@ -506,8 +494,6 @@ void test13(id x) {
> >> > // CHECK-NEXT: [[CLEANUP_ACTIVE:%.*]] = alloca i1
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8* @objc_retain(i8* {{%.*}})
> >> > // CHECK-NEXT: store i8* [[T0]], i8** [[X]], align 8
> >> > - // CHECK-NEXT: [[BPTR1:%.*]] = bitcast void ()** [[B]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[BPTR1]])
> >> > // CHECK-NEXT: [[CLEANUP_ADDR:%.*]] = getelementptr inbounds
> >> [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[X]], align 8
> >> > // CHECK-NEXT: [[T1:%.*]] = icmp ne i8* [[T0]], null
> >> > @@ -533,8 +519,6 @@ void test13(id x) {
> >> > // CHECK-NEXT: [[T0:%.*]] = load void ()** [[B]]
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8*
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]])
> >> > - // CHECK-NEXT: [[BPTR2:%.*]] = bitcast void ()** [[B]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[BPTR2]])
> >> >
> >> > // CHECK-NEXT: [[T0:%.*]] = load i1* [[CLEANUP_ACTIVE]]
> >> > // CHECK-NEXT: br i1 [[T0]]
> >> > @@ -566,8 +550,6 @@ void test16() {
> >> > // CHECK-LABEL: define void @test16(
> >> > // CHECK: [[BLKVAR:%.*]] = alloca void ()*, align 8
> >> > // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]],
> >> > - // CHECK-NEXT: [[BLKVARPTR1:%.*]] = bitcast void ()** [[BLKVAR]] to
> i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8*
> [[BLKVARPTR1]])
> >> > // CHECK-NEXT: [[SLOTREL:%.*]] = getelementptr inbounds
> [[BLOCK_T]]*
> >> [[BLOCK]], i32 0, i32 5
> >> > // CHECK-NEXT: store void ()* null, void ()** [[BLKVAR]], align 8
> >> > }
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjC/arc-bridged-cast.m
> >> > URL: http://llvm.org/viewvc/llvm-
> >> project/cfe/trunk/test/CodeGenObjC/arc-bridged-
> >> cast.m?rev=222995&r1=222994&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjC/arc-bridged-cast.m (original)
> >> > +++ cfe/trunk/test/CodeGenObjC/arc-bridged-cast.m Mon Dec 1
> 03:30:16
> >> 2014
> >> > @@ -31,8 +31,6 @@ void bridge_transfer_from_cf(int *i) {
> >> > // CHECK: store i32 17
> >> > *i = 17;
> >> > // CHECK: call void @objc_release
> >> > - // CHECK-NEXT: bitcast
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -52,8 +50,6 @@ void bridge_from_cf(int *i) {
> >> > // CHECK: store i32 17
> >> > *i = 17;
> >> > // CHECK: call void @objc_release
> >> > - // CHECK-NEXT: bitcast
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -71,8 +67,6 @@ void bridge_retained_of_cf(int *i) {
> >> > // CHECK: store i32 13
> >> > // CHECK: store i32 17
> >> > *i = 17;
> >> > - // CHECK-NEXT: bitcast
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -80,8 +74,7 @@ void bridge_retained_of_cf(int *i) {
> >> > void bridge_of_cf(int *i) {
> >> > // CHECK: store i32 7
> >> > *i = 7;
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > - // CHECK-NEXT: call i8* @CreateSomething()
> >> > + // CHECK: call i8* @CreateSomething()
> >> > CFTypeRef cf1 = (__bridge CFTypeRef)CreateSomething();
> >> > // CHECK-NOT: retain
> >> > // CHECK: store i32 11
> >> > @@ -92,8 +85,6 @@ void bridge_of_cf(int *i) {
> >> > // CHECK-NOT: release
> >> > // CHECK: store i32 17
> >> > *i = 17;
> >> > - // CHECK-NEXT: bitcast
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjC/arc-literals.m
> >> > URL: http://llvm.org/viewvc/llvm-
> >> project/cfe/trunk/test/CodeGenObjC/arc-
> >> literals.m?rev=222995&r1=222994&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjC/arc-literals.m (original)
> >> > +++ cfe/trunk/test/CodeGenObjC/arc-literals.m Mon Dec 1 03:30:16
> 2014
> >> > @@ -27,13 +27,9 @@ void test_numeric() {
> >> > // CHECK: call i8* @objc_retainAutoreleasedReturnValue
> >> > id charlit = @'a';
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjC/arc-precise-lifetime.m
> >> > URL: http://llvm.org/viewvc/llvm-
> >> project/cfe/trunk/test/CodeGenObjC/arc-precise-
> >> lifetime.m?rev=222995&r1=222994&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjC/arc-precise-lifetime.m (original)
> >> > +++ cfe/trunk/test/CodeGenObjC/arc-precise-lifetime.m Mon Dec 1
> >> 03:30:16 2014
> >> > @@ -7,8 +7,6 @@ void test0() {
> >> > PRECISE_LIFETIME id x = test0_helper();
> >> > x = 0;
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: [[CALL:%.*]] = call i8* @test0_helper()
> >> > // CHECK-NEXT: store i8* [[CALL]], i8** [[X]]
> >> >
> >> > @@ -21,8 +19,6 @@ void test0() {
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]]) [[NUW:#[0-9]+]]
> >> > // CHECK-NOT: clang.imprecise_release
> >> >
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -36,17 +32,11 @@ extern Test1 *test1_helper(void);
> >> >
> >> > // CHECK-LABEL: define void @test1a()
> >> > void test1a(void) {
> >> > - // CHECK: [[PTR:%.*]] = alloca [[PTR_T:%.*]]*, align 8
> >> > - // CHECK: [[C:%.*]] = alloca i8*, align 8
> >> > - // CHECK: [[PTRPTR1:%.*]] = bitcast [[PTR_T]]** [[PTR]] to i8*
> >> > - // CHECK: call void @llvm.lifetime.start(i64 8, i8* [[PTRPTR1]])
> >> > // CHECK: [[T0:%.*]] = call [[TEST1:%.*]]* @test1_helper()
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: [[T2:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T1]])
> >> > // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to [[TEST1]]*
> >> > // CHECK-NEXT: store [[TEST1]]* [[T3]]
> >> > - // CHECK-NEXT: [[CPTR1:%.*]] = bitcast i8** [[C]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[CPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST1]]**
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainAutorelease(i8*
> [[T1]])
> >> > @@ -55,13 +45,9 @@ void test1a(void) {
> >> > // CHECK-NEXT: [[T5:%.*]] = bitcast [[TEST1]]* [[T3]] to i8*
> >> > // CHECK-NEXT: [[T6:%.*]] = call i8* bitcast
> >> > // CHECK-NEXT: store i8* [[T6]], i8**
> >> > - // CHECK-NEXT: [[CPTR2:%.*]] = bitcast i8** [[C]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[CPTR2]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST1]]**
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]]) [[NUW]],
> >> !clang.imprecise_release
> >> > - // CHECK-NEXT: [[PTRPTR2:%.*]] = bitcast [[PTR_T]]** [[PTR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PTRPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > Test1 *ptr = test1_helper();
> >> > char *c = [(ptr) interior];
> >> > @@ -69,47 +55,31 @@ void test1a(void) {
> >> >
> >> > // CHECK-LABEL: define void @test1b()
> >> > void test1b(void) {
> >> > - // CHECK: [[PTR:%.*]] = alloca [[PTR_T:%.*]]*, align 8
> >> > - // CHECK: [[C:%.*]] = alloca i8*, align 8
> >> > - // CHECK: [[PTRPTR1:%.*]] = bitcast [[PTR_T]]** [[PTR]] to i8*
> >> > - // CHECK: call void @llvm.lifetime.start(i64 8, i8* [[PTRPTR1]])
> >> > // CHECK: [[T0:%.*]] = call [[TEST1:%.*]]* @test1_helper()
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: [[T2:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T1]])
> >> > // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to [[TEST1]]*
> >> > // CHECK-NEXT: store [[TEST1]]* [[T3]]
> >> > - // CHECK-NEXT: [[CPTR1:%.*]] = bitcast i8** [[C]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[CPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST1]]**
> >> > // CHECK-NEXT: [[T1:%.*]] = load i8**
> @OBJC_SELECTOR_REFERENCES_
> >> > // CHECK-NEXT: [[T2:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: [[T3:%.*]] = call i8* bitcast
> >> > // CHECK-NEXT: store i8* [[T3]], i8**
> >> > - // CHECK-NEXT: [[CPTR2:%.*]] = bitcast i8** [[C]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[CPTR2]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST1]]**
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]]) [[NUW]]
> >> > // CHECK-NOT: clang.imprecise_release
> >> > - // CHECK-NEXT: [[PTRPTR2:%.*]] = bitcast [[PTR_T]]** [[PTR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PTRPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > __attribute__((objc_precise_lifetime)) Test1 *ptr = test1_helper();
> >> > char *c = [ptr interior];
> >> > }
> >> >
> >> > void test1c(void) {
> >> > - // CHECK: [[PTR:%.*]] = alloca [[PTR_T:%.*]]*, align 8
> >> > - // CHECK: [[PC:%.*]] = alloca i8*, align 8
> >> > - // CHECK: [[PTRPTR1:%.*]] = bitcast [[PTR_T]]** [[PTR]] to i8*
> >> > - // CHECK: call void @llvm.lifetime.start(i64 8, i8* [[PTRPTR1]])
> >> > // CHECK: [[T0:%.*]] = call [[TEST1:%.*]]* @test1_helper()
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: [[T2:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T1]])
> >> > // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to [[TEST1]]*
> >> > // CHECK-NEXT: store [[TEST1]]* [[T3]]
> >> > - // CHECK-NEXT: [[PCPTR1:%.*]] = bitcast i8** [[PC]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[PCPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST1]]**
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainAutorelease(i8*
> [[T1]])
> >> > @@ -118,30 +88,20 @@ void test1c(void) {
> >> > // CHECK-NEXT: [[T5:%.*]] = bitcast [[TEST1]]* [[T3]] to i8*
> >> > // CHECK-NEXT: [[T6:%.*]] = call i8* bitcast
> >> > // CHECK-NEXT: store i8* [[T6]], i8**
> >> > - // CHECK-NEXT: [[PCPTR2:%.*]] = bitcast i8** [[PC]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PCPTR2]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST1]]**
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]]) [[NUW]],
> >> !clang.imprecise_release
> >> > - // CHECK-NEXT: [[PTRPTR2:%.*]] = bitcast [[PTR_T]]** [[PTR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PTRPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > Test1 *ptr = test1_helper();
> >> > char *pc = ptr.PropertyReturnsInnerPointer;
> >> > }
> >> >
> >> > void test1d(void) {
> >> > - // CHECK: [[PTR:%.*]] = alloca [[PTR_T:%.*]]*, align 8
> >> > - // CHECK: [[PC:%.*]] = alloca i8*, align 8
> >> > - // CHECK: [[PTRPTR1:%.*]] = bitcast [[PTR_T]]** [[PTR]] to i8*
> >> > - // CHECK: call void @llvm.lifetime.start(i64 8, i8* [[PTRPTR1]])
> >> > // CHECK: [[T0:%.*]] = call [[TEST1:%.*]]* @test1_helper()
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: [[T2:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T1]])
> >> > // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to [[TEST1]]*
> >> > // CHECK-NEXT: store [[TEST1]]* [[T3]]
> >> > - // CHECK-NEXT: [[PCPTR1:%.*]] = bitcast i8** [[PC]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[PCPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST1]]**
> >> > // CHECK-NEXT: [[T2:%.*]] = bitcast [[TEST1]]* [[T0]] to i8*
> >> > // CHECK-NEXT: [[T3:%.*]] = call i8* @objc_retainAutorelease
> >> > @@ -150,13 +110,9 @@ void test1d(void) {
> >> > // CHECK-NEXT: [[EIGHT:%.*]] = bitcast [[TEST1]]* [[SIX]] to i8*
> >> > // CHECK-NEXT: [[CALL1:%.*]] = call i8* bitcast (i8* (i8*, i8*, ...)*
> >> @objc_msgSend to i8* (i8*, i8*)*)(i8* [[EIGHT]], i8* [[SEVEN]])
> >> > // CHECK-NEXT: store i8* [[CALL1]], i8**
> >> > - // CHECK-NEXT: [[PCPTR2:%.*]] = bitcast i8** [[PC]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PCPTR2]])
> >> > // CHECK-NEXT: [[NINE:%.*]] = load [[TEST1]]**
> >> > // CHECK-NEXT: [[TEN:%.*]] = bitcast [[TEST1]]* [[NINE]] to i8*
> >> > // CHECK-NEXT: call void @objc_release(i8* [[TEN]])
> >> > - // CHECK-NEXT: [[PTRPTR2:%.*]] = bitcast [[PTR_T]]** [[PTR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PTRPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > __attribute__((objc_precise_lifetime)) Test1 *ptr = test1_helper();
> >> > char *pc = ptr.PropertyReturnsInnerPointer;
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjC/arc-ternary-op.m
> >> > URL: http://llvm.org/viewvc/llvm-
> >> project/cfe/trunk/test/CodeGenObjC/arc-ternary-
> >> op.m?rev=222995&r1=222994&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjC/arc-ternary-op.m (original)
> >> > +++ cfe/trunk/test/CodeGenObjC/arc-ternary-op.m Mon Dec 1
> 03:30:16
> >> 2014
> >> > @@ -10,8 +10,6 @@ void test0(_Bool cond) {
> >> > // CHECK-NEXT: [[RELCOND:%.*]] = alloca i1
> >> > // CHECK-NEXT: zext
> >> > // CHECK-NEXT: store
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8* [[COND]]
> >> > // CHECK-NEXT: [[T1:%.*]] = trunc i8 [[T0]] to i1
> >> > // CHECK-NEXT: store i1 false, i1* [[RELCOND]]
> >> > @@ -31,8 +29,6 @@ void test0(_Bool cond) {
> >> > // CHECK-NEXT: br label
> >> > // CHECK: [[T0:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]]) [[NUW]]
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > id x = (cond ? 0 : test0_helper());
> >> > }
> >> > @@ -53,11 +49,7 @@ void test1(int cond) {
> >> > // CHECK-NEXT: [[CONDCLEANUPSAVE:%.*]] = alloca i8*
> >> > // CHECK-NEXT: [[CONDCLEANUP:%.*]] = alloca i1
> >> > // CHECK-NEXT: store i32
> >> > - // CHECK-NEXT: [[STRONGPTR1:%.*]] = bitcast i8** [[STRONG]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8*
> [[STRONGPTR1]])
> >> > // CHECK-NEXT: store i8* null, i8** [[STRONG]]
> >> > - // CHECK-NEXT: [[WEAKPTR1:%.*]] = bitcast i8** [[WEAK]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[WEAKPTR1]])
> >> > // CHECK-NEXT: call i8* @objc_initWeak(i8** [[WEAK]], i8* null)
> >> >
> >> > // CHECK-NEXT: [[T0:%.*]] = load i32* [[COND]]
> >> > @@ -101,10 +93,6 @@ void test1(int cond) {
> >> > // CHECK-NEXT: br label
> >> >
> >> > // CHECK: call void @objc_destroyWeak(i8** [[WEAK]])
> >> > - // CHECK: [[WEAKPTR2:%.*]] = bitcast i8** [[WEAK]] to i8*
> >> > - // CHECK: call void @llvm.lifetime.end(i64 8, i8* [[WEAKPTR2]])
> >> > - // CHECK: [[STRONGPTR2:%.*]] = bitcast i8** [[STRONG]] to i8*
> >> > - // CHECK: call void @llvm.lifetime.end(i64 8, i8* [[STRONGPTR2]])
> >> > // CHECK: ret void
> >> > }
> >> >
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjC/arc.m
> >> > URL: http://llvm.org/viewvc/llvm-
> >>
> project/cfe/trunk/test/CodeGenObjC/arc.m?rev=222995&r1=222994&r2=22
> >> 2995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjC/arc.m (original)
> >> > +++ cfe/trunk/test/CodeGenObjC/arc.m Mon Dec 1 03:30:16 2014
> >> > @@ -49,16 +49,12 @@ id test1(id x) {
> >> > // CHECK-NEXT: alloca i32
> >> > // CHECK-NEXT: [[PARM:%.*]] = call i8* @objc_retain(i8* {{%.*}})
> >> > // CHECK-NEXT: store i8* [[PARM]], i8** [[X]]
> >> > - // CHECK-NEXT: [[YPTR1:%.*]] = bitcast i8** [[Y]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[YPTR1]])
> >> > // CHECK-NEXT: store i8* null, i8** [[Y]]
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[Y]]
> >> > // CHECK-NEXT: [[RET:%.*]] = call i8* @objc_retain(i8* [[T0]])
> >> > // CHECK-NEXT: store i32
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[Y]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]])
> >> > - // CHECK-NEXT: [[YPTR2:%.*]] = bitcast i8** [[Y]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[YPTR2]])
> >> > // CHECK-NEXT: [[T1:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]])
> >> > // CHECK-NEXT: [[T1:%.*]] = tail call i8*
> >> @objc_autoreleaseReturnValue(i8* [[RET]])
> >> > @@ -103,8 +99,6 @@ void test3_unelided() {
> >> > extern void test3_helper(void);
> >> >
> >> > // CHECK: [[X:%.*]] = alloca [[TEST3:%.*]]*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast [[TEST3]]** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: store [[TEST3]]* null, [[TEST3]]** [[X]], align
> >> > Test3 *x;
> >> >
> >> > @@ -128,16 +122,12 @@ void test3_unelided() {
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST3]]** [[X]]
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST3]]* [[T0]] to i8*
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]]) [[NUW]]
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast [[TEST3]]** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > // CHECK-LABEL: define void @test3()
> >> > void test3() {
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> >
> >> > id x = [[Test3 alloc] initWith: 5];
> >> >
> >> > @@ -172,8 +162,7 @@ void test3() {
> >> > // Cleanup for x.
> >> > // CHECK-NEXT: [[TMP:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[TMP]]) [[NUW]]
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > +
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -255,14 +244,10 @@ id test6_helper(void) __attribute__((ns_
> >> > // CHECK-LABEL: define void @test6()
> >> > void test6() {
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: [[CALL:%.*]] = call i8* @test6_helper()
> >> > // CHECK-NEXT: store i8* [[CALL]], i8** [[X]]
> >> > // CHECK-NEXT: [[T1:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]]) [[NUW]],
> >> !clang.imprecise_release
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > id x = test6_helper();
> >> > }
> >> > @@ -271,16 +256,12 @@ void test7_helper(id __attribute__((ns_c
> >> > // CHECK-LABEL: define void @test7()
> >> > void test7() {
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: store i8* null, i8** [[X]]
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retain(i8* [[T0]]) [[NUW]]
> >> > // CHECK-NEXT: call void @test7_helper(i8* [[T1]])
> >> > // CHECK-NEXT: [[T1:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]]) [[NUW]],
> >> !clang.imprecise_release
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > id x;
> >> > test7_helper(x);
> >> > @@ -290,13 +271,9 @@ id test8_helper(void) __attribute__((ns_
> >> > void test8() {
> >> > __unsafe_unretained id x = test8_helper();
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8* @test8_helper()
> >> > // CHECK-NEXT: store i8* [[T0]], i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]]) [[NUW]],
> >> !clang.imprecise_release
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -310,11 +287,7 @@ void test10() {
> >> > // CHECK-LABEL: define void @test10()
> >> > // CHECK: [[X:%.*]] = alloca [[TEST10:%.*]]*, align
> >> > // CHECK-NEXT: [[Y:%.*]] = alloca i8*, align
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast [[TEST10]]** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: store [[TEST10]]* null, [[TEST10]]** [[X]]
> >> > - // CHECK-NEXT: [[YPTR1:%.*]] = bitcast i8** [[Y]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[YPTR1]])
> >> > // CHECK-NEXT: load [[TEST10]]** [[X]], align
> >> > // CHECK-NEXT: load i8** @OBJC_SELECTOR_REFERENCES_{{[0-9]*}}
> >> > // CHECK-NEXT: bitcast
> >> > @@ -334,13 +307,9 @@ void test10() {
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[Y]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]])
> >> > - // CHECK-NEXT: [[YPTR2:%.*]] = bitcast i8** [[Y]] to i8*
> >> > - // CHECK-NEXT: void @llvm.lifetime.end(i64 8, i8* [[YPTR2]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST10]]** [[X]]
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST10]]* [[T0]] to i8*
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]])
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast [[TEST10]]** [[X]] to i8*
> >> > - // CHECK-NEXT: void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -349,15 +318,11 @@ void test11(id (*f)(void) __attribute__(
> >> > // CHECK: [[F:%.*]] = alloca i8* ()*, align
> >> > // CHECK-NEXT: [[X:%.*]] = alloca i8*, align
> >> > // CHECK-NEXT: store i8* ()* {{%.*}}, i8* ()** [[F]], align
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8* ()** [[F]], align
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8* [[T0]]()
> >> > // CHECK-NEXT: store i8* [[T1]], i8** [[X]], align
> >> > // CHECK-NEXT: [[T3:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T3]]) [[NUW]],
> >> !clang.imprecise_release
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > id x = f();
> >> > }
> >> > @@ -370,8 +335,6 @@ void test12(void) {
> >> > // CHECK-NEXT: [[Y:%.*]] = alloca i8*, align
> >> >
> >> > __weak id x = test12_helper();
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8* @test12_helper()
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T0]])
> >> > // CHECK-NEXT: call i8* @objc_initWeak(i8** [[X]], i8* [[T1]])
> >> > @@ -384,18 +347,12 @@ void test12(void) {
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]])
> >> >
> >> > id y = x;
> >> > - // CHECK-NEXT: [[YPTR1:%.*]] = bitcast i8** [[Y]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[YPTR1]])
> >> > // CHECK-NEXT: [[T2:%.*]] = call i8* @objc_loadWeakRetained(i8**
> [[X]])
> >> > // CHECK-NEXT: store i8* [[T2]], i8** [[Y]], align
> >> >
> >> > // CHECK-NEXT: [[T4:%.*]] = load i8** [[Y]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T4]]) [[NUW]],
> >> !clang.imprecise_release
> >> > - // CHECK-NEXT: [[YPTR2:%.*]] = bitcast i8** [[Y]] to i8*
> >> > - // CHECK-NEXT: void @llvm.lifetime.end(i64 8, i8* [[YPTR2]])
> >> > // CHECK-NEXT: call void @objc_destroyWeak(i8** [[X]])
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK: ret void
> >> > }
> >> >
> >> > @@ -403,8 +360,6 @@ void test12(void) {
> >> > void test13(void) {
> >> > // CHECK-LABEL: define void @test13()
> >> > // CHECK: [[X:%.*]] = alloca i8*, align
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: store i8* null, i8** [[X]], align
> >> > id x;
> >> >
> >> > @@ -430,8 +385,6 @@ void test13(void) {
> >> >
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]]) [[NUW]]
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -910,8 +863,6 @@ void test33(Test33 *ptr) {
> >> > // CHECK-NEXT: objc_retain
> >> > // CHECK-NEXT: bitcast
> >> > // CHECK-NEXT: store
> >> > - // CHECK-NEXT: bitcast
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start
> >> > // CHECK-NEXT: store [[A_T]]* null, [[A_T]]** [[A]]
> >> >
> >> > // CHECK-NEXT: load [[TEST33]]** [[PTR]]
> >> > @@ -974,8 +925,6 @@ void test33(Test33 *ptr) {
> >> > // CHECK-NEXT: load
> >> > // CHECK-NEXT: bitcast
> >> > // CHECK-NEXT: objc_release
> >> > - // CHECK-NEXT: bitcast
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end
> >> > // CHECK-NEXT: load
> >> > // CHECK-NEXT: bitcast
> >> > // CHECK-NEXT: objc_release
> >> > @@ -1014,8 +963,6 @@ void test37(void) {
> >> > // CHECK-LABEL: define void @test37()
> >> > // CHECK: [[VAR:%.*]] = alloca [[TEST37:%.*]]*,
> >> > // CHECK-NEXT: [[TEMP:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[VARPTR1:%.*]] = bitcast [[TEST37]]** [[VAR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[VARPTR1]])
> >> > // CHECK-NEXT: store [[TEST37]]* null, [[TEST37]]** [[VAR]]
> >> >
> >> > // CHECK-NEXT: [[W0:%.*]] = load [[TEST37]]** [[VAR]]
> >> > @@ -1036,8 +983,6 @@ void test37(void) {
> >> > // CHECK-NEXT: [[T0:%.*]] = load [[TEST37]]** [[VAR]]
> >> > // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST37]]* [[T0]] to i8*
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]])
> >> > - // CHECK-NEXT: [[VARPTR2:%.*]] = bitcast [[TEST37]]** [[VAR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[VARPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -1094,8 +1039,6 @@ void test47(void) {
> >> >
> >> > // CHECK-LABEL: define void @test47()
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: store i8* null, i8** [[X]]
> >> > // CHECK-NEXT: [[CALL:%.*]] = call i8* @test47_helper()
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[CALL]])
> >> > @@ -1108,8 +1051,6 @@ void test47(void) {
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T3]])
> >> > // CHECK-NEXT: [[T4:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T4]])
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -1118,8 +1059,6 @@ void test48(void) {
> >> > __weak id x = x = test48_helper();
> >> > // CHECK-LABEL: define void @test48()
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8* @objc_initWeak(i8** [[X]], i8*
> null)
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8* @test48_helper()
> >> > // CHECK-NEXT: [[T2:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T1]])
> >> > @@ -1127,8 +1066,6 @@ void test48(void) {
> >> > // CHECK-NEXT: [[T4:%.*]] = call i8* @objc_storeWeak(i8** [[X]], i8*
> >> [[T3]])
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T2]])
> >> > // CHECK-NEXT: call void @objc_destroyWeak(i8** [[X]])
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -1137,8 +1074,6 @@ void test49(void) {
> >> > __autoreleasing id x = x = test49_helper();
> >> > // CHECK-LABEL: define void @test49()
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK-NEXT: store i8* null, i8** [[X]]
> >> > // CHECK-NEXT: [[CALL:%.*]] = call i8* @test49_helper()
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[CALL]])
> >> > @@ -1146,8 +1081,6 @@ void test49(void) {
> >> > // CHECK-NEXT: store i8* [[T2]], i8** [[X]]
> >> > // CHECK-NEXT: [[T3:%.*]] = call i8* @objc_retainAutorelease(i8*
> [[T1]])
> >> > // CHECK-NEXT: store i8* [[T3]], i8** [[X]]
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -1183,14 +1116,10 @@ id test52(void) {
> >> > // CHECK-LABEL: define i8* @test52()
> >> > // CHECK: [[X:%.*]] = alloca i32
> >> > // CHECK-NEXT: [[TMPALLOCA:%.*]] = alloca i8*
> >> > -// CHECK-NEXT: [[XPTR1:%.*]] = bitcast i32* [[X]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.start(i64 4, i8* [[XPTR1]])
> >> > // CHECK-NEXT: store i32 5, i32* [[X]],
> >> > // CHECK-NEXT: [[T0:%.*]] = load i32* [[X]],
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8* @test52_helper(i32 [[T0]])
> >> > // CHECK-NEXT: store i8* [[T1]], i8** [[TMPALLOCA]]
> >> > -// CHECK-NEXT: [[XPTR2:%.*]] = bitcast i32* [[X]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.end(i64 4, i8* [[XPTR2]])
> >> > // CHECK-NEXT: [[T2:%.*]] = load i8** [[TMPALLOCA]]
> >> > // CHECK-NEXT: [[T3:%.*]] = tail call i8*
> >> @objc_autoreleaseReturnValue(i8* [[T2]])
> >> > // CHECK-NEXT: ret i8* [[T3]]
> >> > @@ -1205,10 +1134,6 @@ void test53(void) {
> >> > // CHECK: [[X:%.*]] = alloca i8*,
> >> > // CHECK-NEXT: [[Y:%.*]] = alloca i8*,
> >> > // CHECK-NEXT: [[TMPALLOCA:%.*]] = alloca i8*,
> >> > -// CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > -// CHECK-NEXT: [[YPTR1:%.*]] = bitcast i8** [[Y]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[YPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8* @test53_helper()
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T0]])
> >> > // CHECK-NEXT: store i8* [[T1]], i8** [[Y]],
> >> > @@ -1217,15 +1142,11 @@ void test53(void) {
> >> > // CHECK-NEXT: store i8* [[T1]], i8** [[TMPALLOCA]]
> >> > // CHECK-NEXT: [[T2:%.*]] = load i8** [[Y]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T2]])
> >> > -// CHECK-NEXT: [[YPTR2:%.*]] = bitcast i8** [[Y]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[YPTR2]])
> >> > // CHECK-NEXT: [[T3:%.*]] = load i8** [[TMPALLOCA]]
> >> > // CHECK-NEXT: store i8* [[T3]], i8** [[X]],
> >> > // CHECK-NEXT: load i8** [[X]],
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]])
> >> > -// CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -1272,14 +1193,10 @@ void test56_test(void) {
> >> > id x = [Test56 make];
> >> > // CHECK-LABEL: define void @test56_test()
> >> > // CHECK: [[X:%.*]] = alloca i8*, align 8
> >> > - // CHECK-NEXT: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK: [[T0:%.*]] = call i8* bitcast (i8* (i8*, i8*, ...)*
> @objc_msgSend
> >> to i8* (i8*, i8*)*)(
> >> > // CHECK-NEXT: store i8* [[T0]], i8** [[X]]
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]])
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -1359,8 +1276,6 @@ void test61(void) {
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T1]])
> >> > [test61_make() performSelector: @selector(test61_void)];
> >> >
> >> > - // CHECK-NEXT: [[YPTR1:%.*]] = bitcast i8** [[Y]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[YPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8* @test61_make()
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T0]])
> >> > // CHECK-NEXT: [[T2:%.*]] = load i8**
> @OBJC_SELECTOR_REFERENCES_
> >> > @@ -1373,8 +1288,6 @@ void test61(void) {
> >> >
> >> > // CHECK-NEXT: [[T0:%.*]] = load i8** [[Y]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T0]])
> >> > - // CHECK-NEXT: [[YPTR2:%.*]] = bitcast i8** [[Y]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[YPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -1382,14 +1295,11 @@ void test61(void) {
> >> > void test62(void) {
> >> > // CHECK-LABEL: define void @test62()
> >> > // CHECK: [[I:%.*]] = alloca i32, align 4
> >> > - // CHECK-NEXT: [[CLEANUP_DEST_SLOT:%.*]] = alloca i32
> >> > // CHECK-NEXT: [[CLEANUP_VALUE:%.*]] = alloca i8*
> >> > // CHECK-NEXT: [[CLEANUP_REQUIRED:%.*]] = alloca i1
> >> > extern id test62_make(void);
> >> > extern void test62_body(void);
> >> >
> >> > - // CHECK-NEXT: [[IPTR:%.*]] = bitcast i32* [[I]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 4, i8* [[IPTR]])
> >> > // CHECK-NEXT: store i32 0, i32* [[I]], align 4
> >> > // CHECK-NEXT: br label
> >> >
> >> > @@ -1481,12 +1391,8 @@ void test67(void) {
> >> > }
> >> > // CHECK-LABEL: define void @test67()
> >> > // CHECK: [[CL:%.*]] = alloca i8*, align 8
> >> > -// CHECK-NEXT: [[CLPTR1:%.*]] = bitcast i8** [[CL]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[CLPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8* @test67_helper()
> >> > // CHECK-NEXT: store i8* [[T0]], i8** [[CL]], align 8
> >> > -// CHECK-NEXT: [[CLPTR2:%.*]] = bitcast i8** [[CL]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[CLPTR2]])
> >> > // CHECK-NEXT: ret void
> >> >
> >> > Class test68_helper(void);
> >> > @@ -1495,15 +1401,11 @@ void test68(void) {
> >> > }
> >> > // CHECK-LABEL: define void @test68()
> >> > // CHECK: [[CL:%.*]] = alloca i8*, align 8
> >> > -// CHECK-NEXT: [[CLPTR1:%.*]] = bitcast i8** [[CL]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[CLPTR1]])
> >> > // CHECK-NEXT: [[T0:%.*]] = call i8* @test67_helper()
> >> > // CHECK-NEXT: [[T1:%.*]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[T0]])
> >> > // CHECK-NEXT: store i8* [[T1]], i8** [[CL]], align 8
> >> > // CHECK-NEXT: [[T2:%.*]] = load i8** [[CL]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[T2]])
> >> > -// CHECK-NEXT: [[CLPTR2:%.*]] = bitcast i8** [[CL]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[CLPTR2]])
> >> > // CHECK-NEXT: ret void
> >> >
> >> > // rdar://problem/10564852
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjC/exceptions.m
> >> > URL: http://llvm.org/viewvc/llvm-
> >>
> project/cfe/trunk/test/CodeGenObjC/exceptions.m?rev=222995&r1=222994
> >> &r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjC/exceptions.m (original)
> >> > +++ cfe/trunk/test/CodeGenObjC/exceptions.m Mon Dec 1 03:30:16
> 2014
> >> > @@ -82,8 +82,6 @@ void f3() {
> >> > extern void f3_helper(int, int*);
> >> >
> >> > // CHECK: [[X:%.*]] = alloca i32
> >> > - // CHECK: [[XPTR:%.*]] = bitcast i32* [[X]] to i8*
> >> > - // CHECK: call void @llvm.lifetime.start(i64 4, i8* [[XPTR]])
> >> > // CHECK: store i32 0, i32* [[X]]
> >> > int x = 0;
> >> >
> >> > @@ -124,7 +122,6 @@ void f3() {
> >> > }
> >> >
> >> > // CHECK: call void @f3_helper(i32 4, i32* [[X]])
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 4, i8* [[XPTR]])
> >> > // CHECK-NEXT: ret void
> >> > f3_helper(4, &x);
> >> > }
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjCXX/arc-move.mm
> >> > URL: http://llvm.org/viewvc/llvm-
> >> project/cfe/trunk/test/CodeGenObjCXX/arc-
> >> move.mm?rev=222995&r1=222994&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjCXX/arc-move.mm (original)
> >> > +++ cfe/trunk/test/CodeGenObjCXX/arc-move.mm Mon Dec 1
> 03:30:16
> >> 2014
> >> > @@ -46,10 +46,6 @@ void library_move(__strong id &x, __stro
> >> >
> >> > // CHECK-LABEL: define void
> >> @_Z12library_moveRU8__strongP11objc_object
> >> > void library_move(__strong id &y) {
> >> > - // CHECK: [[X:%.*]] = alloca i8*, align 8
> >> > - // CHECK: [[I:%.*]] = alloca i32, align 4
> >> > - // CHECK: [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XPTR1]])
> >> > // CHECK: [[Y:%[a-zA-Z0-9]+]] = call dereferenceable({{[0-9]+}}) i8**
> >>
> @_Z4moveIRU8__strongP11objc_objectEON16remove_referenceIT_E4type
> >> EOS5_
> >> > // Load the object
> >> > // CHECK-NEXT: [[OBJ:%[a-zA-Z0-9]+]] = load i8** [[Y]]
> >> > @@ -59,16 +55,10 @@ void library_move(__strong id &y) {
> >> > // CHECK-NEXT: store i8* [[OBJ]], i8** [[X:%[a-zA-Z0-9]+]]
> >> > id x = move(y);
> >> >
> >> > - // CHECK-NEXT: [[IPTR1:%.*]] = bitcast i32* [[I]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 4, i8* [[IPTR1]])
> >> > // CHECK-NEXT: store i32 17
> >> > int i = 17;
> >> > - // CHECK-NEXT: [[IPTR2:%.*]] = bitcast i32* [[I]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 4, i8* [[IPTR2]])
> >> > // CHECK-NEXT: [[OBJ:%[a-zA-Z0-9]+]] = load i8** [[X]]
> >> > // CHECK-NEXT: call void @objc_release(i8* [[OBJ]])
> >> > - // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[XPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjCXX/arc-references.mm
> >> > URL: http://llvm.org/viewvc/llvm-
> >> project/cfe/trunk/test/CodeGenObjCXX/arc-
> >> references.mm?rev=222995&r1=222994&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjCXX/arc-references.mm (original)
> >> > +++ cfe/trunk/test/CodeGenObjCXX/arc-references.mm Mon Dec 1
> >> 03:30:16 2014
> >> > @@ -38,14 +38,11 @@ typedef __strong id strong_id;
> >> >
> >> > //CHECK: define void @_Z5test3v
> >> > void test3() {
> >> > - // CHECK: [[REF:%.*]] = alloca i8**, align 8
> >> > // CHECK: call i8* @objc_initWeak
> >> > // CHECK-NEXT: store i8**
> >> > const __weak id &ref = strong_id();
> >> > // CHECK-NEXT: call void @_Z6calleev()
> >> > callee();
> >> > - // CHECK-NEXT: [[PTR:%.*]] = bitcast i8*** [[REF]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PTR]])
> >> > // CHECK-NEXT: call void @objc_destroyWeak
> >> > // CHECK-NEXT: ret void
> >> > }
> >> > @@ -65,7 +62,6 @@ void sink(__strong A* &&);
> >> > // CHECK-LABEL: define void @_Z5test5RU8__strongP11objc_object
> >> > void test5(__strong id &x) {
> >> > // CHECK: [[REFTMP:%.*]] = alloca {{%.*}}*, align 8
> >> > - // CHECK: [[I:%.*]] = alloca i32, align 4
> >> > // CHECK: [[OBJ_ID:%.*]] = call i8* @objc_retain(
> >> > // CHECK-NEXT: [[OBJ_A:%.*]] = bitcast i8* [[OBJ_ID]] to [[A:%[a-zA-
> Z0-
> >> 9]+]]*
> >> > // CHECK-NEXT: store [[A]]* [[OBJ_A]], [[A]]** [[REFTMP:%[a-zA-Z0-
> 9]+]]
> >> > @@ -74,12 +70,8 @@ void test5(__strong id &x) {
> >> > // CHECK-NEXT: [[OBJ_A:%[a-zA-Z0-9]+]] = load [[A]]** [[REFTMP]]
> >> > // CHECK-NEXT: [[OBJ_ID:%[a-zA-Z0-9]+]] = bitcast [[A]]* [[OBJ_A]] to
> i8*
> >> > // CHECK-NEXT: call void @objc_release
> >> > - // CHECK-NEXT: [[IPTR1:%.*]] = bitcast i32* [[I]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 4, i8* [[IPTR1]])
> >> > // CHECK-NEXT: store i32 17, i32
> >> > int i = 17;
> >> > - // CHECK-NEXT: [[IPTR2:%.*]] = bitcast i32* [[I]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 4, i8* [[IPTR2]])
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjCXX/arc.mm
> >> > URL: http://llvm.org/viewvc/llvm-
> >>
> project/cfe/trunk/test/CodeGenObjCXX/arc.mm?rev=222995&r1=222994&r
> >> 2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjCXX/arc.mm (original)
> >> > +++ cfe/trunk/test/CodeGenObjCXX/arc.mm Mon Dec 1 03:30:16 2014
> >> > @@ -64,11 +64,7 @@ void test34(int cond) {
> >> > // CHECK-NEXT: [[CONDCLEANUPSAVE:%.*]] = alloca i8*
> >> > // CHECK-NEXT: [[CONDCLEANUP:%.*]] = alloca i1
> >> > // CHECK-NEXT: store i32
> >> > - // CHECK-NEXT: [[STRONGP:%.*]] = bitcast i8** [[STRONG]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[STRONGP]])
> >> > // CHECK-NEXT: store i8* null, i8** [[STRONG]]
> >> > - // CHECK-NEXT: [[WEAKP:%.*]] = bitcast i8** [[WEAK]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[WEAKP]])
> >> > // CHECK-NEXT: call i8* @objc_initWeak(i8** [[WEAK]], i8* null)
> >> >
> >> > // CHECK-NEXT: [[T0:%.*]] = load i32* [[COND]]
> >> > @@ -124,77 +120,56 @@ struct Test35_Helper {
> >> >
> >> > // CHECK-LABEL: define void @_Z6test3513Test35_HelperPS_
> >> > void test35(Test35_Helper x0, Test35_Helper *x0p) {
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* @_ZN13Test35_Helper11makeObject1Ev
> >> > // CHECK-NOT: call i8* @objc_retain
> >> > id obj1 = Test35_Helper::makeObject1();
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* @_ZN13Test35_Helper11makeObject2Ev
> >> > // CHECK-NOT: call i8* @objc_retain
> >> > id obj2 = x0.makeObject2();
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* @_ZN13Test35_Helper11makeObject2Ev
> >> > // CHECK-NOT: call i8* @objc_retain
> >> > id obj3 = x0p->makeObject2();
> >> > id (Test35_Helper::*pmf)() __attribute__((ns_returns_retained))
> >> > = &Test35_Helper::makeObject2;
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* %
> >> > // CHECK-NOT: call i8* @objc_retain
> >> > id obj4 = (x0.*pmf)();
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* %
> >> > // CHECK-NOT: call i8* @objc_retain
> >> > id obj5 = (x0p->*pmf)();
> >> >
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > // CHECK-LABEL: define void @_Z7test35b13Test35_HelperPS_
> >> > void test35b(Test35_Helper x0, Test35_Helper *x0p) {
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* @_ZN13Test35_Helper11makeObject3Ev
> >> > // CHECK: call i8* @objc_retain
> >> > id obj1 = Test35_Helper::makeObject3();
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* @_ZN13Test35_Helper11makeObject4Ev
> >> > // CHECK: call i8* @objc_retain
> >> > id obj2 = x0.makeObject4();
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* @_ZN13Test35_Helper11makeObject4Ev
> >> > // CHECK: call i8* @objc_retain
> >> > id obj3 = x0p->makeObject4();
> >> > id (Test35_Helper::*pmf)() = &Test35_Helper::makeObject4;
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* %
> >> > // CHECK: call i8* @objc_retain
> >> > id obj4 = (x0.*pmf)();
> >> > - // CHECK: call void @llvm.lifetime.start
> >> > // CHECK: call i8* %
> >> > // CHECK: call i8* @objc_retain
> >> > id obj5 = (x0p->*pmf)();
> >> >
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK: call void @objc_release
> >> > - // CHECK: call void @llvm.lifetime.end
> >> > // CHECK-NEXT: ret void
> >> > }
> >> >
> >> > @@ -315,8 +290,6 @@ template void test40_helper<int>();
> >> > // CHECK-LABEL: define weak_odr void @_Z13test40_helperIiEvv()
> >> > // CHECK: [[X:%.*]] = alloca i8*
> >> > // CHECK-NEXT: [[TEMP:%.*]] = alloca i8*
> >> > -// CHECK-NEXT: [[XP:%.*]] = bitcast i8** [[X]] to i8*
> >> > -// CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[XP]])
> >> > // CHECK-NEXT: store i8* null, i8** [[X]]
> >> > // CHECK: [[T0:%.*]] = load i8** [[X]]
> >> > // CHECK-NEXT: store i8* [[T0]], i8** [[TEMP]]
> >> >
> >> > Modified: cfe/trunk/test/CodeGenObjCXX/literals.mm
> >> > URL: http://llvm.org/viewvc/llvm-
> >>
> project/cfe/trunk/test/CodeGenObjCXX/literals.mm?rev=222995&r1=22299
> >> 4&r2=222995&view=diff
> >> >
> >>
> ==========================================================
> >> ====================
> >> > --- cfe/trunk/test/CodeGenObjCXX/literals.mm (original)
> >> > +++ cfe/trunk/test/CodeGenObjCXX/literals.mm Mon Dec 1 03:30:16
> 2014
> >> > @@ -16,13 +16,10 @@ struct Y {
> >> >
> >> > // CHECK-LABEL: define void @_Z10test_arrayv
> >> > void test_array() {
> >> > - // CHECK: [[ARR:%[a-zA-Z0-9.]+]] = alloca i8*
> >> > // CHECK: [[OBJECTS:%[a-zA-Z0-9.]+]] = alloca [2 x i8*]
> >> >
> >> > // Initializing first element
> >> > - // CHECK: [[PTR1:%.*]] = bitcast i8** [[ARR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[PTR1]])
> >> > - // CHECK-NEXT: [[ELEMENT0:%[a-zA-Z0-9.]+]] = getelementptr
> inbounds
> >> [2 x i8*]* [[OBJECTS]], i32 0, i32 0
> >> > + // CHECK: [[ELEMENT0:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2
> x
> >> i8*]* [[OBJECTS]], i32 0, i32 0
> >> > // CHECK-NEXT: call void @_ZN1XC1Ev
> >> > // CHECK-NEXT: [[OBJECT0:%[a-zA-Z0-9.]+]] = invoke i8*
> >> @_ZNK1XcvP11objc_objectEv
> >> > // CHECK: [[RET0:%[a-zA-Z0-9.]+]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[OBJECT0]])
> >> > @@ -50,8 +47,6 @@ void test_array() {
> >> > // CHECK-NEXT: call void @_ZN1XD1Ev
> >> > // CHECK-NOT: ret void
> >> > // CHECK: call void @objc_release
> >> > - // CHECK-NEXT: [[PTR2:%.*]] = bitcast i8** [[ARR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PTR2]])
> >> > // CHECK-NEXT: ret void
> >> >
> >> > // Check cleanups
> >> > @@ -68,13 +63,10 @@ void test_array() {
> >> > // CHECK-LABEL: define weak_odr void
> >> @_Z24test_array_instantiationIiEvv
> >> > template<typename T>
> >> > void test_array_instantiation() {
> >> > - // CHECK: [[ARR:%[a-zA-Z0-9.]+]] = alloca i8*
> >> > // CHECK: [[OBJECTS:%[a-zA-Z0-9.]+]] = alloca [2 x i8*]
> >> >
> >> > // Initializing first element
> >> > - // CHECK: [[PTR1:%.*]] = bitcast i8** [[ARR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[PTR1]])
> >> > - // CHECK-NEXT: [[ELEMENT0:%[a-zA-Z0-9.]+]] = getelementptr
> inbounds
> >> [2 x i8*]* [[OBJECTS]], i32 0, i32 0
> >> > + // CHECK: [[ELEMENT0:%[a-zA-Z0-9.]+]] = getelementptr inbounds [2
> x
> >> i8*]* [[OBJECTS]], i32 0, i32 0
> >> > // CHECK-NEXT: call void @_ZN1XC1Ev
> >> > // CHECK-NEXT: [[OBJECT0:%[a-zA-Z0-9.]+]] = invoke i8*
> >> @_ZNK1XcvP11objc_objectEv
> >> > // CHECK: [[RET0:%[a-zA-Z0-9.]+]] = call i8*
> >> @objc_retainAutoreleasedReturnValue(i8* [[OBJECT0]])
> >> > @@ -102,8 +94,6 @@ void test_array_instantiation() {
> >> > // CHECK-NEXT: call void @_ZN1XD1Ev
> >> > // CHECK-NOT: ret void
> >> > // CHECK: call void @objc_release
> >> > - // CHECK-NEXT: [[PTR2]] = bitcast i8** [[ARR]] to i8*
> >> > - // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[PTR2]])
> >> > // CHECK-NEXT: ret void
> >> >
> >> > // Check cleanups
> >> >
> >> >
> >> > _______________________________________________
> >> > cfe-commits mailing list
> >> > cfe-commits at cs.uiuc.edu
> >> > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
> >
> >
> >
> >
-- IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
ARM Limited, Registered office 110 Fulbourn Road, Cambridge CB1 9NJ, Registered in England & Wales, Company No: 2557590
ARM Holdings plc, Registered office 110 Fulbourn Road, Cambridge CB1 9NJ, Registered in England & Wales, Company No: 2548782
More information about the cfe-commits
mailing list