test/Transforms/LICM/dropped-tbaa.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -scoped-noalias -tbaa -licm -S | FileCheck %s
   3
   4 ; This test case case is generated from the following C code with -fstrict-aliasing,
   5 ; and after passing through -inline -mem2reg -loop-rotate -instcombine
   6 ; void add(double *restrict data, int *restrict addend) {
   7 ;    *data += *addend;
   8 ; }
   9 ;
  10 ; void foo(double *data, int *addend) {
  11 ;    for (int i = 0; i < 1000; ++i) {
  12 ;        *data += *addend;
  13 ;        add(data, addend);
  14 ;    }
  15 ; }
  16 ; We want to make sure the load of addend gets hoisted, independent of the second load
  17 ; load having different noalias metadata.
  18
  19 define void @foo(double* %data, i32* %addend) #0 {
  20 ; CHECK:       for.body.lr.ph:
  21 ; CHECK-NEXT:    [[TMP1:%.*]] = load i32, i32* [[ADDEND:%.*]], align 4, !tbaa !1
  22 ; CHECK-NEXT:    [[CONV:%.*]] = sitofp i32 [[TMP1]] to double
  23 ; CHECK-NEXT:    [[TMP2:%.*]] = load i32, i32* [[ADDEND]], align 4, !tbaa !1, !alias.scope !5, !noalias !8
  24 ; CHECK-NEXT:    [[CONV_I:%.*]] = sitofp i32 [[TMP2]] to double
  25 entry:
  26   %i = alloca i32, align 4
  27   %0 = bitcast i32* %i to i8*
  28   call void @llvm.lifetime.start.p0i8(i64 4, i8* %0) #2
  29   store i32 0, i32* %i, align 4, !tbaa !1
  30   br i1 true, label %for.body.lr.ph, label %for.cond.cleanup
  31
  32 for.body.lr.ph:                                   ; preds = %entry
  33   br label %for.body
  34
  35 for.cond.for.cond.cleanup_crit_edge:              ; preds = %for.inc
  36   br label %for.cond.cleanup
  37
  38 for.cond.cleanup:                                 ; preds = %for.cond.for.cond.cleanup_crit_edge, %entry
  39   %1 = bitcast i32* %i to i8*
  40   call void @llvm.lifetime.end.p0i8(i64 4, i8* %1) #2
  41   br label %for.end
  42
  43 for.body:                                         ; preds = %for.body.lr.ph, %for.inc
  44   %2 = load i32, i32* %addend, align 4, !tbaa !1
  45   %conv = sitofp i32 %2 to double
  46   %3 = load i32, i32* %i, align 4, !tbaa !1
  47   %idxprom = sext i32 %3 to i64
  48   %arrayidx = getelementptr inbounds double, double* %data, i64 %idxprom
  49   %4 = load double, double* %arrayidx, align 8, !tbaa !5
  50   %add = fadd double %4, %conv
  51   store double %add, double* %arrayidx, align 8, !tbaa !5
  52   %idxprom1 = sext i32 %3 to i64
  53   %arrayidx2 = getelementptr inbounds double, double* %data, i64 %idxprom1
  54   %5 = load i32, i32* %addend, align 4, !tbaa !1, !alias.scope !7, !noalias !10
  55   %conv.i = sitofp i32 %5 to double
  56   %6 = load double, double* %arrayidx2, align 8, !tbaa !5, !alias.scope !10, !noalias !7
  57   %add.i = fadd double %6, %conv.i
  58   store double %add.i, double* %arrayidx2, align 8, !tbaa !5, !alias.scope !10, !noalias !7
  59   br label %for.inc
  60
  61 for.inc:                                          ; preds = %for.body
  62   %7 = load i32, i32* %i, align 4, !tbaa !1
  63   %inc = add nsw i32 %7, 1
  64   store i32 %inc, i32* %i, align 4, !tbaa !1
  65   %cmp = icmp slt i32 %inc, 1000
  66   br i1 %cmp, label %for.body, label %for.cond.for.cond.cleanup_crit_edge
  67
  68 for.end:                                          ; preds = %for.cond.cleanup
  69   ret void
  70 }
  71
  72 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) #0
  73 declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #0
  74
  75 attributes #0 = { argmemonly nounwind }
  76
  77 !llvm.ident = !{!0}
  78
  79 !0 = !{!"clang version 5.0.0  (llvm/trunk 299971)"}
  80 !1 = !{!2, !2, i64 0}
  81 !2 = !{!"int", !3, i64 0}
  82 !3 = !{!"omnipotent char", !4, i64 0}
  83 !4 = !{!"Simple C/C++ TBAA"}
  84 !5 = !{!6, !6, i64 0}
  85 !6 = !{!"double", !3, i64 0}
  86 !7 = !{!8}
  87 !8 = distinct !{!8, !9, !"add: %addend"}
  88 !9 = distinct !{!9, !"add"}
  89 !10 = !{!11}
  90 !11 = distinct !{!11, !9, !"add: %data"}