1; RUN: opt < %s -basicaa -gvn -stats -disable-output |& grep {Number of loads deleted} 2; rdar://7363102 3 4; GVN should be able to eliminate load %tmp22.i, because it is redundant with 5; load %tmp8.i. This requires being able to prove that %tmp7.i doesn't 6; alias the malloc'd value %tmp.i20.i.i, which it can do since %tmp7.i 7; is derived from %tmp5.i which is computed from a load, and %tmp.i20.i.i 8; is never stored and does not escape. 9 10target 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" 11target triple = "x86_64-apple-darwin10.0" 12 13%"struct.llvm::MallocAllocator" = type <{ i8 }> 14%"struct.llvm::StringMap<void*,llvm::MallocAllocator>" = type { %"struct.llvm::StringMapImpl", %"struct.llvm::MallocAllocator" } 15%"struct.llvm::StringMapEntry<void*>" = type { %"struct.llvm::StringMapEntryBase", i8* } 16%"struct.llvm::StringMapEntryBase" = type { i32 } 17%"struct.llvm::StringMapImpl" = type { %"struct.llvm::StringMapImpl::ItemBucket"*, i32, i32, i32, i32 } 18%"struct.llvm::StringMapImpl::ItemBucket" = type { i32, %"struct.llvm::StringMapEntryBase"* } 19%"struct.llvm::StringRef" = type { i8*, i64 } 20 21define %"struct.llvm::StringMapEntry<void*>"* @_Z3fooRN4llvm9StringMapIPvNS_15MallocAllocatorEEEPKc(%"struct.llvm::StringMap<void*,llvm::MallocAllocator>"* %X, i8* %P) ssp { 22entry: 23 %tmp = alloca %"struct.llvm::StringRef", align 8 24 %tmp.i = getelementptr inbounds %"struct.llvm::StringRef"* %tmp, i64 0, i32 0 25 store i8* %P, i8** %tmp.i, align 8 26 %tmp1.i = call i64 @strlen(i8* %P) nounwind readonly 27 %tmp2.i = getelementptr inbounds %"struct.llvm::StringRef"* %tmp, i64 0, i32 1 28 store i64 %tmp1.i, i64* %tmp2.i, align 8 29 %tmp1 = call %"struct.llvm::StringMapEntry<void*>"* @_ZN4llvm9StringMapIPvNS_15MallocAllocatorEE16GetOrCreateValueERKNS_9StringRefE(%"struct.llvm::StringMap<void*,llvm::MallocAllocator>"* %X, %"struct.llvm::StringRef"* %tmp) ssp 30 ret %"struct.llvm::StringMapEntry<void*>"* %tmp1 31} 32 33declare i64 @strlen(i8* nocapture) nounwind readonly 34 35declare noalias i8* @malloc(i64) nounwind 36 37declare i32 @_ZN4llvm13StringMapImpl15LookupBucketForENS_9StringRefE(%"struct.llvm::StringMapImpl"*, i64, i64) 38 39define linkonce_odr %"struct.llvm::StringMapEntry<void*>"* @_ZN4llvm9StringMapIPvNS_15MallocAllocatorEE16GetOrCreateValueERKNS_9StringRefE(%"struct.llvm::StringMap<void*,llvm::MallocAllocator>"* %this, %"struct.llvm::StringRef"* nocapture %Key) ssp align 2 { 40entry: 41 %elt = bitcast %"struct.llvm::StringRef"* %Key to i64* 42 %val = load i64* %elt 43 %tmp = getelementptr inbounds %"struct.llvm::StringRef"* %Key, i64 0, i32 1 44 %val2 = load i64* %tmp 45 %tmp2.i = getelementptr inbounds %"struct.llvm::StringMap<void*,llvm::MallocAllocator>"* %this, i64 0, i32 0 46 %tmp3.i = tail call i32 @_ZN4llvm13StringMapImpl15LookupBucketForENS_9StringRefE(%"struct.llvm::StringMapImpl"* %tmp2.i, i64 %val, i64 %val2) 47 %tmp4.i = getelementptr inbounds %"struct.llvm::StringMap<void*,llvm::MallocAllocator>"* %this, i64 0, i32 0, i32 0 48 %tmp5.i = load %"struct.llvm::StringMapImpl::ItemBucket"** %tmp4.i, align 8 49 %tmp6.i = zext i32 %tmp3.i to i64 50 %tmp7.i = getelementptr inbounds %"struct.llvm::StringMapImpl::ItemBucket"* %tmp5.i, i64 %tmp6.i, i32 1 51 %tmp8.i = load %"struct.llvm::StringMapEntryBase"** %tmp7.i, align 8 52 %tmp9.i = icmp eq %"struct.llvm::StringMapEntryBase"* %tmp8.i, null 53 %tmp13.i = icmp eq %"struct.llvm::StringMapEntryBase"* %tmp8.i, inttoptr (i64 -1 to %"struct.llvm::StringMapEntryBase"*) 54 %or.cond.i = or i1 %tmp9.i, %tmp13.i 55 br i1 %or.cond.i, label %bb4.i, label %bb6.i 56 57bb4.i: ; preds = %entry 58 %tmp41.i = inttoptr i64 %val to i8* 59 %tmp4.i35.i = getelementptr inbounds i8* %tmp41.i, i64 %val2 60 %tmp.i.i = ptrtoint i8* %tmp4.i35.i to i64 61 %tmp1.i.i = trunc i64 %tmp.i.i to i32 62 %tmp3.i.i = trunc i64 %val to i32 63 %tmp4.i.i = sub i32 %tmp1.i.i, %tmp3.i.i 64 %tmp5.i.i = add i32 %tmp4.i.i, 17 65 %tmp8.i.i = zext i32 %tmp5.i.i to i64 66 %tmp.i20.i.i = tail call noalias i8* @malloc(i64 %tmp8.i.i) nounwind 67 %tmp10.i.i = bitcast i8* %tmp.i20.i.i to %"struct.llvm::StringMapEntry<void*>"* 68 %tmp12.i.i = icmp eq i8* %tmp.i20.i.i, null 69 br i1 %tmp12.i.i, label %_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i, label %bb.i.i 70 71bb.i.i: ; preds = %bb4.i 72 %tmp.i.i.i.i = bitcast i8* %tmp.i20.i.i to i32* 73 store i32 %tmp4.i.i, i32* %tmp.i.i.i.i, align 4 74 %tmp1.i19.i.i = getelementptr inbounds i8* %tmp.i20.i.i, i64 8 75 %0 = bitcast i8* %tmp1.i19.i.i to i8** 76 store i8* null, i8** %0, align 8 77 br label %_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i 78 79_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i: ; preds = %bb.i.i, %bb4.i 80 %tmp.i18.i.i = getelementptr inbounds i8* %tmp.i20.i.i, i64 16 81 %tmp15.i.i = zext i32 %tmp4.i.i to i64 82 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %tmp.i18.i.i, i8* %tmp41.i, i64 %tmp15.i.i, i32 1, i1 false) 83 %tmp.i18.sum.i.i = add i64 %tmp15.i.i, 16 84 %tmp17.i.i = getelementptr inbounds i8* %tmp.i20.i.i, i64 %tmp.i18.sum.i.i 85 store i8 0, i8* %tmp17.i.i, align 1 86 %tmp.i.i.i = getelementptr inbounds i8* %tmp.i20.i.i, i64 8 87 %1 = bitcast i8* %tmp.i.i.i to i8** 88 store i8* null, i8** %1, align 8 89 %tmp22.i = load %"struct.llvm::StringMapEntryBase"** %tmp7.i, align 8 90 %tmp24.i = icmp eq %"struct.llvm::StringMapEntryBase"* %tmp22.i, inttoptr (i64 -1 to %"struct.llvm::StringMapEntryBase"*) 91 br i1 %tmp24.i, label %bb9.i, label %_ZN4llvm9StringMapIPvNS_15MallocAllocatorEE16GetOrCreateValueIS1_EERNS_14StringMapEntryIS1_EENS_9StringRefET_.exit 92 93bb6.i: ; preds = %entry 94 %tmp16.i = bitcast %"struct.llvm::StringMapEntryBase"* %tmp8.i to %"struct.llvm::StringMapEntry<void*>"* 95 ret %"struct.llvm::StringMapEntry<void*>"* %tmp16.i 96 97bb9.i: ; preds = %_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i 98 %tmp25.i = getelementptr inbounds %"struct.llvm::StringMap<void*,llvm::MallocAllocator>"* %this, i64 0, i32 0, i32 3 99 %tmp26.i = load i32* %tmp25.i, align 8 100 %tmp27.i = add i32 %tmp26.i, -1 101 store i32 %tmp27.i, i32* %tmp25.i, align 8 102 ret %"struct.llvm::StringMapEntry<void*>"* %tmp10.i.i 103 104_ZN4llvm9StringMapIPvNS_15MallocAllocatorEE16GetOrCreateValueIS1_EERNS_14StringMapEntryIS1_EENS_9StringRefET_.exit: ; preds = %_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i 105 ret %"struct.llvm::StringMapEntry<void*>"* %tmp10.i.i 106} 107 108declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind 109