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