llvm/test/Transforms/NewGVN/nonescaping-malloc-xfail.ll

   1 ; XFAIL: *
   2 ; REQUIRES: asserts
   3 ; RUN: opt < %s -passes=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<ptr,llvm::MallocAllocator>" = type { %"struct.llvm::StringMapImpl", %"struct.llvm::MallocAllocator" }
  19 %"struct.llvm::StringMapEntry<ptr>" = type { %"struct.llvm::StringMapEntryBase", ptr }
  20 %"struct.llvm::StringMapEntryBase" = type { i32 }
  21 %"struct.llvm::StringMapImpl" = type { ptr, i32, i32, i32, i32 }
  22 %"struct.llvm::StringMapImpl::ItemBucket" = type { i32, ptr }
  23 %"struct.llvm::StringRef" = type { ptr, i64 }
  24
  25 define ptr @_Z3fooRN4llvm9StringMapIPvNS_15MallocAllocatorEEEPKc(ptr %X, ptr %P) ssp {
  26 entry:
  27   %tmp = alloca %"struct.llvm::StringRef", align 8
  28   store ptr %P, ptr %tmp, align 8
  29   %tmp1.i = call i64 @strlen(ptr %P) nounwind readonly
  30   %tmp2.i = getelementptr inbounds %"struct.llvm::StringRef", ptr %tmp, i64 0, i32 1
  31   store i64 %tmp1.i, ptr %tmp2.i, align 8
  32   %tmp1 = call ptr @_ZN4llvm9StringMapIPvNS_15MallocAllocatorEE16GetOrCreateValueERKNS_9StringRefE(ptr %X, ptr %tmp) ssp
  33   ret ptr %tmp1
  34 }
  35
  36 declare i64 @strlen(ptr nocapture) nounwind readonly
  37
  38 declare noalias ptr @malloc(i64) nounwind
  39
  40 declare i32 @_ZN4llvm13StringMapImpl15LookupBucketForENS_9StringRefE(ptr, i64, i64)
  41
  42 define linkonce_odr ptr @_ZN4llvm9StringMapIPvNS_15MallocAllocatorEE16GetOrCreateValueERKNS_9StringRefE(ptr %this, ptr nocapture %Key) ssp align 2 {
  43 entry:
  44   %val = load i64, ptr %Key
  45   %tmp = getelementptr inbounds %"struct.llvm::StringRef", ptr %Key, i64 0, i32 1
  46   %val2 = load i64, ptr %tmp
  47   %tmp2.i = getelementptr inbounds %"struct.llvm::StringMap<ptr,llvm::MallocAllocator>", ptr %this, i64 0, i32 0
  48   %tmp3.i = tail call i32 @_ZN4llvm13StringMapImpl15LookupBucketForENS_9StringRefE(ptr %tmp2.i, i64 %val, i64 %val2)
  49   %tmp4.i = getelementptr inbounds %"struct.llvm::StringMap<ptr,llvm::MallocAllocator>", ptr %this, i64 0, i32 0, i32 0
  50   %tmp5.i = load ptr, ptr %tmp4.i, align 8
  51   %tmp6.i = zext i32 %tmp3.i to i64
  52   %tmp7.i = getelementptr inbounds %"struct.llvm::StringMapImpl::ItemBucket", ptr %tmp5.i, i64 %tmp6.i, i32 1
  53   %tmp8.i = load ptr, ptr %tmp7.i, align 8
  54   %tmp9.i = icmp eq ptr %tmp8.i, null
  55   %tmp13.i = icmp eq ptr %tmp8.i, inttoptr (i64 -1 to ptr)
  56   %or.cond.i = or i1 %tmp9.i, %tmp13.i
  57   br i1 %or.cond.i, label %bb4.i, label %bb6.i
  58
  59 bb4.i:                                            ; preds = %entry
  60   %tmp41.i = inttoptr i64 %val to ptr
  61   %tmp4.i35.i = getelementptr inbounds i8, ptr %tmp41.i, i64 %val2
  62   %tmp.i.i = ptrtoint ptr %tmp4.i35.i to i64
  63   %tmp1.i.i = trunc i64 %tmp.i.i to i32
  64   %tmp3.i.i = trunc i64 %val to i32
  65   %tmp4.i.i = sub i32 %tmp1.i.i, %tmp3.i.i
  66   %tmp5.i.i = add i32 %tmp4.i.i, 17
  67   %tmp8.i.i = zext i32 %tmp5.i.i to i64
  68   %tmp.i20.i.i = tail call noalias ptr @malloc(i64 %tmp8.i.i) nounwind
  69   %tmp12.i.i = icmp eq ptr %tmp.i20.i.i, null
  70   br i1 %tmp12.i.i, label %_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i, label %bb.i.i
  71
  72 bb.i.i:                                           ; preds = %bb4.i
  73   store i32 %tmp4.i.i, ptr %tmp.i20.i.i, align 4
  74   %tmp1.i19.i.i = getelementptr inbounds i8, ptr %tmp.i20.i.i, i64 8
  75   store ptr null, ptr %tmp1.i19.i.i, align 8
  76   br label %_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i
  77
  78 _ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i: ; preds = %bb.i.i, %bb4.i
  79   %tmp.i18.i.i = getelementptr inbounds i8, ptr %tmp.i20.i.i, i64 16
  80   %tmp15.i.i = zext i32 %tmp4.i.i to i64
  81   tail call void @llvm.memcpy.p0.p0.i64(ptr %tmp.i18.i.i, ptr %tmp41.i, i64 %tmp15.i.i, i1 false)
  82   %tmp.i18.sum.i.i = add i64 %tmp15.i.i, 16
  83   %tmp17.i.i = getelementptr inbounds i8, ptr %tmp.i20.i.i, i64 %tmp.i18.sum.i.i
  84   store i8 0, ptr %tmp17.i.i, align 1
  85   %tmp.i.i.i = getelementptr inbounds i8, ptr %tmp.i20.i.i, i64 8
  86   store ptr null, ptr %tmp.i.i.i, align 8
  87   %tmp22.i = load ptr, ptr %tmp7.i, align 8
  88   %tmp24.i = icmp eq ptr %tmp22.i, inttoptr (i64 -1 to ptr)
  89   br i1 %tmp24.i, label %bb9.i, label %_ZN4llvm9StringMapIPvNS_15MallocAllocatorEE16GetOrCreateValueIS1_EERNS_14StringMapEntryIS1_EENS_9StringRefET_.exit
  90
  91 bb6.i:                                            ; preds = %entry
  92   ret ptr %tmp8.i
  93
  94 bb9.i:                                            ; preds = %_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i
  95   %tmp25.i = getelementptr inbounds %"struct.llvm::StringMap<ptr,llvm::MallocAllocator>", ptr %this, i64 0, i32 0, i32 3
  96   %tmp26.i = load i32, ptr %tmp25.i, align 8
  97   %tmp27.i = add i32 %tmp26.i, -1
  98   store i32 %tmp27.i, ptr %tmp25.i, align 8
  99   ret ptr %tmp.i20.i.i
 100
 101 _ZN4llvm9StringMapIPvNS_15MallocAllocatorEE16GetOrCreateValueIS1_EERNS_14StringMapEntryIS1_EENS_9StringRefET_.exit: ; preds = %_ZN4llvm14StringMapEntryIPvE6CreateINS_15MallocAllocatorES1_EEPS2_PKcS7_RT_T0_.exit.i
 102   ret ptr %tmp.i20.i.i
 103 }
 104
 105 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1) nounwind