llvm/test/Transforms/NewGVN/pr31501.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 %struct.foo = type { ptr, %struct.zot, ptr }
   6 %struct.zot = type { i64 }
   7 %struct.barney = type <{ ptr, %struct.wibble, %struct.snork, %struct.quux.4, %struct.snork.10, ptr, ptr, i32, i8, i8, [2 x i8] }>
   8 %struct.wibble = type { %struct.pluto, %struct.bar }
   9 %struct.pluto = type { %struct.quux }
  10 %struct.quux = type { %struct.eggs }
  11 %struct.eggs = type { %struct.zot.0, %struct.widget }
  12 %struct.zot.0 = type { ptr, ptr, ptr }
  13 %struct.widget = type { %struct.barney.1 }
  14 %struct.barney.1 = type { [8 x i8] }
  15 %struct.bar = type { [3 x %struct.widget] }
  16 %struct.snork = type <{ %struct.wobble, %struct.bar.3, [7 x i8] }>
  17 %struct.wobble = type { %struct.wombat }
  18 %struct.wombat = type { %struct.zot.2 }
  19 %struct.zot.2 = type { %struct.zot.0, %struct.ham }
  20 %struct.ham = type { %struct.barney.1 }
  21 %struct.bar.3 = type { i8 }
  22 %struct.quux.4 = type <{ %struct.quux.5, %struct.snork.9, [7 x i8] }>
  23 %struct.quux.5 = type { %struct.widget.6 }
  24 %struct.widget.6 = type { %struct.spam }
  25 %struct.spam = type { %struct.zot.0, %struct.ham.7 }
  26 %struct.ham.7 = type { %struct.barney.8 }
  27 %struct.barney.8 = type { [24 x i8] }
  28 %struct.snork.9 = type { i8 }
  29 %struct.snork.10 = type <{ %struct.foo.11, %struct.spam.15, [7 x i8] }>
  30 %struct.foo.11 = type { %struct.snork.12 }
  31 %struct.snork.12 = type { %struct.wombat.13 }
  32 %struct.wombat.13 = type { %struct.zot.0, %struct.wibble.14 }
  33 %struct.wibble.14 = type { %struct.barney.8 }
  34 %struct.spam.15 = type { i8 }
  35 %struct.ham.16 = type { %struct.pluto.17, %struct.pluto.17 }
  36 %struct.pluto.17 = type { %struct.bar.18 }
  37 %struct.bar.18 = type { ptr, %struct.zot.20, %struct.barney.22 }
  38 %struct.baz = type { ptr }
  39 %struct.wibble.19 = type <{ %struct.baz, ptr, ptr, i8, [7 x i8] }>
  40 %struct.zot.20 = type { %struct.ham.21 }
  41 %struct.ham.21 = type { %struct.baz }
  42 %struct.barney.22 = type { %struct.blam }
  43 %struct.blam = type { i64 }
  44 %struct.wobble.23 = type { %struct.spam.24, ptr }
  45 %struct.spam.24 = type { %struct.bar.25, ptr }
  46 %struct.bar.25 = type <{ ptr, i8, i8 }>
  47 %struct.zot.26 = type { ptr, i32, ptr }
  48 %struct.widget.27 = type { %struct.zot.26, ptr }
  49 %struct.wombat.28 = type <{ ptr, i8, i8, [6 x i8] }>
  50
  51 ; Function Attrs: norecurse nounwind ssp uwtable
  52 define weak_odr hidden ptr @quux(ptr %arg, ptr %arg1) local_unnamed_addr #0 align 2 {
  53 ; CHECK-LABEL: @quux(
  54 ; CHECK-NEXT:  bb:
  55 ; CHECK-NEXT:    [[TMP:%.*]] = getelementptr inbounds %struct.barney, ptr %arg, i64 0, i32 3, i32 0, i32 0, i32 0
  56 ; CHECK-NEXT:    [[TMP3:%.*]] = load ptr, ptr [[TMP]], align 8, !tbaa !2
  57 ; CHECK-NEXT:    [[TMP4:%.*]] = getelementptr inbounds %struct.barney, ptr %arg, i64 0, i32 3, i32 0, i32 0, i32 0, i32 0, i32 1
  58 ; CHECK-NEXT:    [[TMP6:%.*]] = load ptr, ptr [[TMP4]], align 8, !tbaa !7
  59 ; CHECK-NEXT:    [[TMP7:%.*]] = icmp eq ptr [[TMP3]], [[TMP6]]
  60 ; CHECK-NEXT:    br i1 [[TMP7]], label %bb21, label %bb8
  61 ; CHECK:       bb8:
  62 ; CHECK-NEXT:    br label %bb11
  63 ; CHECK:       bb9:
  64 ; CHECK-NEXT:    [[TMP10:%.*]] = icmp eq ptr [[TMP18:%.*]], [[TMP6]]
  65 ; CHECK-NEXT:    br i1 [[TMP10]], label %bb19, label %bb11
  66 ; CHECK:       bb11:
  67 ; CHECK-NEXT:    [[TMP12:%.*]] = phi ptr [ [[TMP17:%.*]], %bb9 ], [ undef, %bb8 ]
  68 ; CHECK-NEXT:    [[TMP13:%.*]] = phi ptr [ [[TMP18]], %bb9 ], [ [[TMP3]], %bb8 ]
  69 ; CHECK-NEXT:    [[TMP15:%.*]] = load ptr, ptr [[TMP13]], align 8, !tbaa !8
  70 ; CHECK-NEXT:    [[TMP16:%.*]] = icmp eq ptr [[TMP15]], %arg1
  71 ; CHECK-NEXT:    [[TMP17]] = select i1 [[TMP16]], ptr [[TMP13]], ptr [[TMP12]]
  72 ; CHECK-NEXT:    [[TMP18]] = getelementptr inbounds %struct.foo, ptr [[TMP13]], i64 1
  73 ; CHECK-NEXT:    br i1 [[TMP16]], label %bb19, label %bb9
  74 ; CHECK:       bb19:
  75 ; CHECK-NEXT:    [[TMP20:%.*]] = phi ptr [ null, %bb9 ], [ [[TMP17]], %bb11 ]
  76 ; CHECK-NEXT:    br label %bb21
  77 ; CHECK:       bb21:
  78 ; CHECK-NEXT:    [[TMP22:%.*]] = phi ptr [ null, %bb ], [ [[TMP20]], %bb19 ]
  79 ; CHECK-NEXT:    ret ptr [[TMP22]]
  80 ;
  81 bb:
  82   %tmp = getelementptr inbounds %struct.barney, ptr %arg, i64 0, i32 3, i32 0, i32 0, i32 0
  83   %tmp3 = load ptr, ptr %tmp, align 8, !tbaa !2
  84   %tmp4 = getelementptr inbounds %struct.barney, ptr %arg, i64 0, i32 3, i32 0, i32 0, i32 0, i32 0, i32 1
  85   %tmp6 = load ptr, ptr %tmp4, align 8, !tbaa !7
  86   %tmp7 = icmp eq ptr %tmp3, %tmp6
  87   br i1 %tmp7, label %bb21, label %bb8
  88
  89 bb8:                                              ; preds = %bb
  90   br label %bb11
  91
  92 bb9:                                              ; preds = %bb11
  93   %tmp10 = icmp eq ptr %tmp18, %tmp6
  94   br i1 %tmp10, label %bb19, label %bb11
  95
  96 bb11:                                             ; preds = %bb9, %bb8
  97   %tmp12 = phi ptr [ %tmp17, %bb9 ], [ undef, %bb8 ]
  98   %tmp13 = phi ptr [ %tmp18, %bb9 ], [ %tmp3, %bb8 ]
  99   %tmp15 = load ptr, ptr %tmp13, align 8, !tbaa !8
 100   %tmp16 = icmp eq ptr %tmp15, %arg1
 101   %tmp17 = select i1 %tmp16, ptr %tmp13, ptr %tmp12
 102   %tmp18 = getelementptr inbounds %struct.foo, ptr %tmp13, i64 1
 103   br i1 %tmp16, label %bb19, label %bb9
 104
 105 bb19:                                             ; preds = %bb11, %bb9
 106   %tmp20 = phi ptr [ null, %bb9 ], [ %tmp17, %bb11 ]
 107   br label %bb21
 108
 109 bb21:                                             ; preds = %bb19, %bb
 110   %tmp22 = phi ptr [ null, %bb ], [ %tmp20, %bb19 ]
 111   ret ptr %tmp22
 112 }
 113
 114 attributes #0 = { norecurse nounwind ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+fxsr,+mmx,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 115
 116 !llvm.module.flags = !{!0}
 117 !llvm.ident = !{!1}
 118
 119 !0 = !{i32 1, !"PIC Level", i32 2}
 120 !1 = !{!"clang version 4.0.0"}
 121 !2 = !{!3, !4, i64 0}
 122 !3 = !{!"_ZTSN4llvm15SmallVectorBaseE", !4, i64 0, !4, i64 8, !4, i64 16}
 123 !4 = !{!"any pointer", !5, i64 0}
 124 !5 = !{!"omnipotent char", !6, i64 0}
 125 !6 = !{!"Simple C++ TBAA"}
 126 !7 = !{!3, !4, i64 8}
 127 !8 = !{!9, !4, i64 0}
 128 !9 = !{!"_ZTSN4llvm9RecordValE", !4, i64 0, !10, i64 8, !4, i64 16}
 129 !10 = !{!"_ZTSN4llvm14PointerIntPairIPNS_5RecTyELj1EbNS_21PointerLikeTypeTraitsIS2_EENS_18PointerIntPairInfoIS2_Lj1ES4_EEEE", !11, i64 0}
 130 !11 = !{!"long", !5, i64 0}