llvm/test/Transforms/NewGVN/memory-handling.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ;; This test is really dependent on propagating a lot of memory info around, but in the end, not
   3 ;; screwing up a single add.
   4 ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6
   7 %struct.Letter = type { i32, i32, i32, i32 }
   8
   9 @alPhrase = external local_unnamed_addr global [26 x %struct.Letter], align 16
  10 @aqMainMask = external local_unnamed_addr global [2 x i64], align 16
  11 @aqMainSign = external local_unnamed_addr global [2 x i64], align 16
  12 @cchPhraseLength = external local_unnamed_addr global i32, align 4
  13 @auGlobalFrequency = external local_unnamed_addr global [26 x i32], align 16
  14 @.str.7 = external hidden unnamed_addr constant [28 x i8], align 1
  15
  16 ; Function Attrs: nounwind uwtable
  17 declare void @Fatal(ptr, i32) local_unnamed_addr #0
  18
  19 ; Function Attrs: nounwind readnone
  20 declare ptr @__ctype_b_loc() local_unnamed_addr #1
  21
  22 ; Function Attrs: nounwind uwtable
  23 define void @BuildMask(ptr nocapture readonly) local_unnamed_addr #0 {
  24 ; CHECK-LABEL: define void @BuildMask(
  25 ; CHECK-SAME: ptr nocapture readonly [[TMP0:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {
  26 ; CHECK-NEXT:    tail call void @llvm.memset.p0.i64(ptr align 16 @alPhrase, i8 0, i64 416, i1 false)
  27 ; CHECK-NEXT:    tail call void @llvm.memset.p0.i64(ptr align 16 @aqMainMask, i8 0, i64 16, i1 false)
  28 ; CHECK-NEXT:    tail call void @llvm.memset.p0.i64(ptr align 16 @aqMainSign, i8 0, i64 16, i1 false)
  29 ; CHECK-NEXT:    br label [[DOTSINK_SPLIT:%.*]]
  30 ; CHECK:       .sink.split:
  31 ; CHECK-NEXT:    [[DOT0:%.*]] = phi ptr [ [[TMP0]], [[TMP1:%.*]] ], [ [[TMP3:%.*]], [[TMP14:%.*]] ]
  32 ; CHECK-NEXT:    [[DOTSINK:%.*]] = phi i32 [ 0, [[TMP1]] ], [ [[TMP22:%.*]], [[TMP14]] ]
  33 ; CHECK-NEXT:    store i32 [[DOTSINK]], ptr @cchPhraseLength, align 4, !tbaa [[TBAA1:![0-9]+]]
  34 ; CHECK-NEXT:    br label [[TMP2:%.*]]
  35 ; CHECK:       2:
  36 ; CHECK-NEXT:    [[DOT1:%.*]] = phi ptr [ [[DOT0]], [[DOTSINK_SPLIT]] ], [ [[TMP3]], [[TMP6:%.*]] ]
  37 ; CHECK-NEXT:    [[TMP3]] = getelementptr inbounds i8, ptr [[DOT1]], i64 1
  38 ; CHECK-NEXT:    [[TMP4:%.*]] = load i8, ptr [[DOT1]], align 1
  39 ; CHECK-NEXT:    [[TMP5:%.*]] = icmp eq i8 [[TMP4]], 0
  40 ; CHECK-NEXT:    br i1 [[TMP5]], label [[DOTPREHEADER_PREHEADER:%.*]], label [[TMP6]]
  41 ; CHECK:       .preheader.preheader:
  42 ; CHECK-NEXT:    br label [[DOTPREHEADER:%.*]]
  43 ; CHECK:       6:
  44 ; CHECK-NEXT:    [[TMP7:%.*]] = tail call ptr @__ctype_b_loc() #[[ATTR4:[0-9]+]]
  45 ; CHECK-NEXT:    [[TMP8:%.*]] = load ptr, ptr [[TMP7]], align 8, !tbaa [[TBAA5:![0-9]+]]
  46 ; CHECK-NEXT:    [[TMP9:%.*]] = sext i8 [[TMP4]] to i64
  47 ; CHECK-NEXT:    [[TMP10:%.*]] = getelementptr inbounds i16, ptr [[TMP8]], i64 [[TMP9]]
  48 ; CHECK-NEXT:    [[TMP11:%.*]] = load i16, ptr [[TMP10]], align 2, !tbaa [[TBAA7:![0-9]+]]
  49 ; CHECK-NEXT:    [[TMP12:%.*]] = and i16 [[TMP11]], 1024
  50 ; CHECK-NEXT:    [[TMP13:%.*]] = icmp eq i16 [[TMP12]], 0
  51 ; CHECK-NEXT:    br i1 [[TMP13]], label [[TMP2]], label [[TMP14]]
  52 ; CHECK:       14:
  53 ; CHECK-NEXT:    [[TMP15:%.*]] = sext i8 [[TMP4]] to i32
  54 ; CHECK-NEXT:    [[TMP16:%.*]] = tail call i32 @tolower(i32 [[TMP15]]) #[[ATTR5:[0-9]+]]
  55 ; CHECK-NEXT:    [[TMP17:%.*]] = add nsw i32 [[TMP16]], -97
  56 ; CHECK-NEXT:    [[TMP18:%.*]] = sext i32 [[TMP17]] to i64
  57 ; CHECK-NEXT:    [[TMP19:%.*]] = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 [[TMP18]], i32 0
  58 ; CHECK-NEXT:    [[TMP20:%.*]] = load i32, ptr [[TMP19]], align 16, !tbaa [[TBAA9:![0-9]+]]
  59 ; CHECK-NEXT:    [[TMP21:%.*]] = add i32 [[TMP20]], 1
  60 ; CHECK-NEXT:    store i32 [[TMP21]], ptr [[TMP19]], align 16, !tbaa [[TBAA9]]
  61 ; CHECK-NEXT:    [[TMP22]] = add nsw i32 [[DOTSINK]], 1
  62 ; CHECK-NEXT:    br label [[DOTSINK_SPLIT]]
  63 ; CHECK:       .preheader:
  64 ; CHECK-NEXT:    [[INDVARS_IV:%.*]] = phi i64 [ 0, [[DOTPREHEADER_PREHEADER]] ], [ [[INDVARS_IV_NEXT:%.*]], [[TMP57:%.*]] ]
  65 ; CHECK-NEXT:    [[DOT04961:%.*]] = phi i32 [ [[DOT2:%.*]], [[TMP57]] ], [ 0, [[DOTPREHEADER_PREHEADER]] ]
  66 ; CHECK-NEXT:    [[DOT05160:%.*]] = phi i32 [ [[DOT253:%.*]], [[TMP57]] ], [ 0, [[DOTPREHEADER_PREHEADER]] ]
  67 ; CHECK-NEXT:    [[TMP23:%.*]] = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 [[INDVARS_IV]], i32 0
  68 ; CHECK-NEXT:    [[TMP24:%.*]] = load i32, ptr [[TMP23]], align 16, !tbaa [[TBAA9]]
  69 ; CHECK-NEXT:    [[TMP25:%.*]] = icmp eq i32 [[TMP24]], 0
  70 ; CHECK-NEXT:    [[TMP26:%.*]] = getelementptr inbounds [26 x i32], ptr @auGlobalFrequency, i64 0, i64 [[INDVARS_IV]]
  71 ; CHECK-NEXT:    br i1 [[TMP25]], label [[TMP27:%.*]], label [[TMP28:%.*]]
  72 ; CHECK:       27:
  73 ; CHECK-NEXT:    store i32 -1, ptr [[TMP26]], align 4, !tbaa [[TBAA1]]
  74 ; CHECK-NEXT:    br label [[TMP57]]
  75 ; CHECK:       28:
  76 ; CHECK-NEXT:    store i32 0, ptr [[TMP26]], align 4, !tbaa [[TBAA1]]
  77 ; CHECK-NEXT:    [[TMP29:%.*]] = zext i32 [[TMP24]] to i64
  78 ; CHECK-NEXT:    br i1 false, label [[DOT_CRIT_EDGE:%.*]], label [[DOTLR_PH_PREHEADER:%.*]]
  79 ; CHECK:       .lr.ph.preheader:
  80 ; CHECK-NEXT:    br label [[DOTLR_PH:%.*]]
  81 ; CHECK:       .lr.ph:
  82 ; CHECK-NEXT:    [[DOT04658:%.*]] = phi i64 [ [[TMP31:%.*]], [[DOTLR_PH]] ], [ 1, [[DOTLR_PH_PREHEADER]] ]
  83 ; CHECK-NEXT:    [[DOT04857:%.*]] = phi i32 [ [[TMP30:%.*]], [[DOTLR_PH]] ], [ 1, [[DOTLR_PH_PREHEADER]] ]
  84 ; CHECK-NEXT:    [[TMP30]] = add nuw nsw i32 [[DOT04857]], 1
  85 ; CHECK-NEXT:    [[TMP31]] = shl i64 [[DOT04658]], 1
  86 ; CHECK-NEXT:    [[TMP32:%.*]] = icmp ult i64 [[TMP29]], [[TMP31]]
  87 ; CHECK-NEXT:    br i1 [[TMP32]], label [[DOT_CRIT_EDGE_LOOPEXIT:%.*]], label [[DOTLR_PH]]
  88 ; CHECK:       ._crit_edge.loopexit:
  89 ; CHECK-NEXT:    br label [[DOT_CRIT_EDGE]]
  90 ; CHECK:       ._crit_edge:
  91 ; CHECK-NEXT:    [[DOT048_LCSSA:%.*]] = phi i32 [ poison, [[TMP28]] ], [ [[TMP30]], [[DOT_CRIT_EDGE_LOOPEXIT]] ]
  92 ; CHECK-NEXT:    [[DOT046_LCSSA:%.*]] = phi i64 [ poison, [[TMP28]] ], [ [[TMP31]], [[DOT_CRIT_EDGE_LOOPEXIT]] ]
  93 ; CHECK-NEXT:    [[TMP33:%.*]] = add nsw i32 [[DOT048_LCSSA]], [[DOT04961]]
  94 ; CHECK-NEXT:    [[TMP34:%.*]] = icmp ugt i32 [[TMP33]], 64
  95 ; CHECK-NEXT:    br i1 [[TMP34]], label [[TMP35:%.*]], label [[TMP39:%.*]]
  96 ; CHECK:       35:
  97 ; CHECK-NEXT:    [[TMP36:%.*]] = add i32 [[DOT05160]], 1
  98 ; CHECK-NEXT:    [[TMP37:%.*]] = icmp ugt i32 [[TMP36]], 1
  99 ; CHECK-NEXT:    br i1 [[TMP37]], label [[TMP38:%.*]], label [[TMP39]]
 100 ; CHECK:       38:
 101 ; CHECK-NEXT:    tail call void @Fatal(ptr @.str.7, i32 0)
 102 ; CHECK-NEXT:    br label [[TMP39]]
 103 ; CHECK:       39:
 104 ; CHECK-NEXT:    [[DOT152:%.*]] = phi i32 [ [[DOT05160]], [[DOT_CRIT_EDGE]] ], [ [[TMP36]], [[TMP38]] ], [ [[TMP36]], [[TMP35]] ]
 105 ; CHECK-NEXT:    [[DOT150:%.*]] = phi i32 [ [[DOT04961]], [[DOT_CRIT_EDGE]] ], [ 0, [[TMP38]] ], [ 0, [[TMP35]] ]
 106 ; CHECK-NEXT:    [[TMP40:%.*]] = add i64 [[DOT046_LCSSA]], 4294967295
 107 ; CHECK-NEXT:    [[TMP41:%.*]] = trunc i64 [[TMP40]] to i32
 108 ; CHECK-NEXT:    [[TMP42:%.*]] = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 [[INDVARS_IV]], i32 2
 109 ; CHECK-NEXT:    store i32 [[TMP41]], ptr [[TMP42]], align 8, !tbaa [[TBAA11:![0-9]+]]
 110 ; CHECK-NEXT:    [[TMP43:%.*]] = zext i32 [[DOT150]] to i64
 111 ; CHECK-NEXT:    [[DOT046_:%.*]] = shl i64 [[DOT046_LCSSA]], [[TMP43]]
 112 ; CHECK-NEXT:    [[TMP44:%.*]] = zext i32 [[DOT152]] to i64
 113 ; CHECK-NEXT:    [[TMP45:%.*]] = getelementptr inbounds [2 x i64], ptr @aqMainSign, i64 0, i64 [[TMP44]]
 114 ; CHECK-NEXT:    [[TMP46:%.*]] = load i64, ptr [[TMP45]], align 8, !tbaa [[TBAA12:![0-9]+]]
 115 ; CHECK-NEXT:    [[TMP47:%.*]] = or i64 [[TMP46]], [[DOT046_]]
 116 ; CHECK-NEXT:    store i64 [[TMP47]], ptr [[TMP45]], align 8, !tbaa [[TBAA12]]
 117 ; CHECK-NEXT:    [[TMP48:%.*]] = load i32, ptr [[TMP23]], align 16, !tbaa [[TBAA9]]
 118 ; CHECK-NEXT:    [[TMP49:%.*]] = zext i32 [[TMP48]] to i64
 119 ; CHECK-NEXT:    [[TMP50:%.*]] = shl i64 [[TMP49]], [[TMP43]]
 120 ; CHECK-NEXT:    [[TMP51:%.*]] = getelementptr inbounds [2 x i64], ptr @aqMainMask, i64 0, i64 [[TMP44]]
 121 ; CHECK-NEXT:    [[TMP52:%.*]] = load i64, ptr [[TMP51]], align 8, !tbaa [[TBAA12]]
 122 ; CHECK-NEXT:    [[TMP53:%.*]] = or i64 [[TMP50]], [[TMP52]]
 123 ; CHECK-NEXT:    store i64 [[TMP53]], ptr [[TMP51]], align 8, !tbaa [[TBAA12]]
 124 ; CHECK-NEXT:    [[TMP54:%.*]] = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 [[INDVARS_IV]], i32 1
 125 ; CHECK-NEXT:    store i32 [[DOT150]], ptr [[TMP54]], align 4, !tbaa [[TBAA14:![0-9]+]]
 126 ; CHECK-NEXT:    [[TMP55:%.*]] = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 [[INDVARS_IV]], i32 3
 127 ; CHECK-NEXT:    store i32 [[DOT152]], ptr [[TMP55]], align 4, !tbaa [[TBAA15:![0-9]+]]
 128 ; CHECK-NEXT:    [[TMP56:%.*]] = add nsw i32 [[DOT150]], [[DOT048_LCSSA]]
 129 ; CHECK-NEXT:    br label [[TMP57]]
 130 ; CHECK:       57:
 131 ; CHECK-NEXT:    [[DOT253]] = phi i32 [ [[DOT05160]], [[TMP27]] ], [ [[DOT152]], [[TMP39]] ]
 132 ; CHECK-NEXT:    [[DOT2]] = phi i32 [ [[DOT04961]], [[TMP27]] ], [ [[TMP56]], [[TMP39]] ]
 133 ; CHECK-NEXT:    [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1
 134 ; CHECK-NEXT:    [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV_NEXT]], 26
 135 ; CHECK-NEXT:    br i1 [[EXITCOND]], label [[DOTPREHEADER]], label [[TMP58:%.*]]
 136 ; CHECK:       58:
 137 ; CHECK-NEXT:    ret void
 138 ;
 139   tail call void @llvm.memset.p0.i64(ptr align 16 @alPhrase, i8 0, i64 416, i1 false)
 140   tail call void @llvm.memset.p0.i64(ptr align 16 @aqMainMask, i8 0, i64 16, i1 false)
 141   tail call void @llvm.memset.p0.i64(ptr align 16 @aqMainSign, i8 0, i64 16, i1 false)
 142   br label %.sink.split
 143
 144 .sink.split:                                      ; preds = %14, %1
 145   %.0 = phi ptr [ %0, %1 ], [ %.lcssa67, %14 ]
 146   %.sink = phi i32 [ 0, %1 ], [ %23, %14 ]
 147   store i32 %.sink, ptr @cchPhraseLength, align 4, !tbaa !1
 148   br label %2
 149
 150 ; <label>:2:                                      ; preds = %6, %.sink.split
 151   %.1 = phi ptr [ %.0, %.sink.split ], [ %3, %6 ]
 152   %3 = getelementptr inbounds i8, ptr %.1, i64 1
 153   %4 = load i8, ptr %.1, align 1, !tbaa !5
 154   %5 = icmp eq i8 %4, 0
 155   br i1 %5, label %.preheader.preheader, label %6
 156
 157 .preheader.preheader:                             ; preds = %2
 158   br label %.preheader
 159
 160 ; <label>:6:                                      ; preds = %2
 161   %7 = tail call ptr @__ctype_b_loc() #4
 162   %8 = load ptr, ptr %7, align 8, !tbaa !6
 163   %9 = sext i8 %4 to i64
 164   %10 = getelementptr inbounds i16, ptr %8, i64 %9
 165   %11 = load i16, ptr %10, align 2, !tbaa !8
 166   %12 = and i16 %11, 1024
 167   %13 = icmp eq i16 %12, 0
 168   br i1 %13, label %2, label %14
 169
 170 ; <label>:14:                                     ; preds = %6
 171   %.lcssa67 = phi ptr [ %3, %6 ]
 172   %.lcssa65 = phi i8 [ %4, %6 ]
 173   %15 = sext i8 %.lcssa65 to i32
 174   %16 = tail call i32 @tolower(i32 %15) #5
 175   %17 = add nsw i32 %16, -97
 176   %18 = sext i32 %17 to i64
 177   %19 = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 %18, i32 0
 178   %20 = load i32, ptr %19, align 16, !tbaa !10
 179   %21 = add i32 %20, 1
 180   store i32 %21, ptr %19, align 16, !tbaa !10
 181   %22 = load i32, ptr @cchPhraseLength, align 4, !tbaa !1
 182   %23 = add nsw i32 %22, 1
 183   br label %.sink.split
 184
 185 .preheader:                                       ; preds = %58, %.preheader.preheader
 186   %indvars.iv = phi i64 [ 0, %.preheader.preheader ], [ %indvars.iv.next, %58 ]
 187   %.04961 = phi i32 [ %.2, %58 ], [ 0, %.preheader.preheader ]
 188   %.05160 = phi i32 [ %.253, %58 ], [ 0, %.preheader.preheader ]
 189   %24 = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 %indvars.iv, i32 0
 190   %25 = load i32, ptr %24, align 16, !tbaa !10
 191   %26 = icmp eq i32 %25, 0
 192   %27 = getelementptr inbounds [26 x i32], ptr @auGlobalFrequency, i64 0, i64 %indvars.iv
 193   br i1 %26, label %28, label %29
 194
 195 ; <label>:28:                                     ; preds = %.preheader
 196   store i32 -1, ptr %27, align 4, !tbaa !1
 197   br label %58
 198
 199 ; <label>:29:                                     ; preds = %.preheader
 200   store i32 0, ptr %27, align 4, !tbaa !1
 201   %30 = zext i32 %25 to i64
 202   br i1 false, label %._crit_edge, label %.lr.ph.preheader
 203
 204 .lr.ph.preheader:                                 ; preds = %29
 205   br label %.lr.ph
 206
 207 .lr.ph:                                           ; preds = %.lr.ph, %.lr.ph.preheader
 208   %.04658 = phi i64 [ %32, %.lr.ph ], [ 1, %.lr.ph.preheader ]
 209   %.04857 = phi i32 [ %31, %.lr.ph ], [ 1, %.lr.ph.preheader ]
 210   %31 = add nuw nsw i32 %.04857, 1
 211   %32 = shl i64 %.04658, 1
 212   %33 = icmp ult i64 %30, %32
 213   br i1 %33, label %._crit_edge.loopexit, label %.lr.ph
 214
 215 ._crit_edge.loopexit:                             ; preds = %.lr.ph
 216   %.lcssa63 = phi i32 [ %31, %.lr.ph ]
 217   %.lcssa = phi i64 [ %32, %.lr.ph ]
 218   br label %._crit_edge
 219
 220 ._crit_edge:                                      ; preds = %._crit_edge.loopexit, %29
 221   %.048.lcssa = phi i32 [ 1, %29 ], [ %.lcssa63, %._crit_edge.loopexit ]
 222   %.046.lcssa = phi i64 [ 1, %29 ], [ %.lcssa, %._crit_edge.loopexit ]
 223   %34 = add nsw i32 %.048.lcssa, %.04961
 224   %35 = icmp ugt i32 %34, 64
 225   br i1 %35, label %36, label %40
 226
 227 ; <label>:36:                                     ; preds = %._crit_edge
 228 ; This testcase essentially comes down to this little add.
 229 ; If we screw up the revisitation of the users of store of %sink above
 230 ; we will end up propagating and simplifying this to 1 in the final output
 231 ; because we keep an optimistic assumption we should not.
 232   %37 = add i32 %.05160, 1
 233   %38 = icmp ugt i32 %37, 1
 234   br i1 %38, label %39, label %40
 235
 236 ; <label>:39:                                     ; preds = %36
 237   tail call void @Fatal(ptr @.str.7, i32 0)
 238   br label %40
 239
 240 ; <label>:40:                                     ; preds = %39, %36, %._crit_edge
 241   %.152 = phi i32 [ %.05160, %._crit_edge ], [ %37, %39 ], [ %37, %36 ]
 242   %.150 = phi i32 [ %.04961, %._crit_edge ], [ 0, %39 ], [ 0, %36 ]
 243   %41 = add i64 %.046.lcssa, 4294967295
 244   %42 = trunc i64 %41 to i32
 245   %43 = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 %indvars.iv, i32 2
 246   store i32 %42, ptr %43, align 8, !tbaa !12
 247   %44 = zext i32 %.150 to i64
 248   %.046. = shl i64 %.046.lcssa, %44
 249   %45 = zext i32 %.152 to i64
 250   %46 = getelementptr inbounds [2 x i64], ptr @aqMainSign, i64 0, i64 %45
 251   %47 = load i64, ptr %46, align 8, !tbaa !13
 252   %48 = or i64 %47, %.046.
 253   store i64 %48, ptr %46, align 8, !tbaa !13
 254   %49 = load i32, ptr %24, align 16, !tbaa !10
 255   %50 = zext i32 %49 to i64
 256   %51 = shl i64 %50, %44
 257   %52 = getelementptr inbounds [2 x i64], ptr @aqMainMask, i64 0, i64 %45
 258   %53 = load i64, ptr %52, align 8, !tbaa !13
 259   %54 = or i64 %51, %53
 260   store i64 %54, ptr %52, align 8, !tbaa !13
 261   %55 = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 %indvars.iv, i32 1
 262   store i32 %.150, ptr %55, align 4, !tbaa !15
 263   %56 = getelementptr inbounds [26 x %struct.Letter], ptr @alPhrase, i64 0, i64 %indvars.iv, i32 3
 264   store i32 %.152, ptr %56, align 4, !tbaa !16
 265   %57 = add nsw i32 %.150, %.048.lcssa
 266   br label %58
 267
 268 ; <label>:58:                                     ; preds = %40, %28
 269   %.253 = phi i32 [ %.05160, %28 ], [ %.152, %40 ]
 270   %.2 = phi i32 [ %.04961, %28 ], [ %57, %40 ]
 271   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
 272   %exitcond = icmp ne i64 %indvars.iv.next, 26
 273   br i1 %exitcond, label %.preheader, label %59
 274
 275 ; <label>:59:                                     ; preds = %58
 276   ret void
 277 }
 278
 279 ; Function Attrs: argmemonly nounwind
 280 declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1) #2
 281
 282 ; Function Attrs: inlinehint nounwind readonly uwtable
 283 declare i32 @tolower(i32) local_unnamed_addr #3
 284
 285 attributes #0 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "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"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 286 attributes #1 = { nounwind readnone "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 287 attributes #2 = { argmemonly nounwind }
 288 attributes #3 = { inlinehint nounwind readonly uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "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"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 289 attributes #4 = { nounwind readnone }
 290 attributes #5 = { nounwind readonly }
 291
 292 !llvm.ident = !{!0}
 293
 294 !0 = !{!"clang version 4.0.0"}
 295 !1 = !{!2, !2, i64 0}
 296 !2 = !{!"int", !3, i64 0}
 297 !3 = !{!"omnipotent char", !4, i64 0}
 298 !4 = !{!"Simple C/C++ TBAA"}
 299 !5 = !{!3, !3, i64 0}
 300 !6 = !{!7, !7, i64 0}
 301 !7 = !{!"any pointer", !3, i64 0}
 302 !8 = !{!9, !9, i64 0}
 303 !9 = !{!"short", !3, i64 0}
 304 !10 = !{!11, !2, i64 0}
 305 !11 = !{!"", !2, i64 0, !2, i64 4, !2, i64 8, !2, i64 12}
 306 !12 = !{!11, !2, i64 8}
 307 !13 = !{!14, !14, i64 0}
 308 !14 = !{!"long", !3, i64 0}
 309 !15 = !{!11, !2, i64 4}
 310 !16 = !{!11, !2, i64 12}
 311 ;.
 312 ; CHECK: [[TBAA1]] = !{[[META2:![0-9]+]], [[META2]], i64 0}
 313 ; CHECK: [[META2]] = !{!"int", [[META3:![0-9]+]], i64 0}
 314 ; CHECK: [[META3]] = !{!"omnipotent char", [[META4:![0-9]+]], i64 0}
 315 ; CHECK: [[META4]] = !{!"Simple C/C++ TBAA"}
 316 ; CHECK: [[TBAA5]] = !{[[META6:![0-9]+]], [[META6]], i64 0}
 317 ; CHECK: [[META6]] = !{!"any pointer", [[META3]], i64 0}
 318 ; CHECK: [[TBAA7]] = !{[[META8:![0-9]+]], [[META8]], i64 0}
 319 ; CHECK: [[META8]] = !{!"short", [[META3]], i64 0}
 320 ; CHECK: [[TBAA9]] = !{[[META10:![0-9]+]], [[META2]], i64 0}
 321 ; CHECK: [[META10]] = !{!"", [[META2]], i64 0, [[META2]], i64 4, [[META2]], i64 8, [[META2]], i64 12}
 322 ; CHECK: [[TBAA11]] = !{[[META10]], [[META2]], i64 8}
 323 ; CHECK: [[TBAA12]] = !{[[META13:![0-9]+]], [[META13]], i64 0}
 324 ; CHECK: [[META13]] = !{!"long", [[META3]], i64 0}
 325 ; CHECK: [[TBAA14]] = !{[[META10]], [[META2]], i64 4}
 326 ; CHECK: [[TBAA15]] = !{[[META10]], [[META2]], i64 12}
 327 ;.