llvm/test/Transforms/MergedLoadStoreMotion/preserve-store-metadata.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -passes=mldst-motion -S %s | FileCheck %s
   3
   4 target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-n32:64-S128-Fn32"
   5
   6 define void @perserve_common_metadata(i1 %c, ptr %dst, ptr %min) {
   7 ; CHECK-LABEL: define void @perserve_common_metadata(
   8 ; CHECK-SAME: i1 [[C:%.*]], ptr [[DST:%.*]], ptr [[MIN:%.*]]) {
   9 ; CHECK-NEXT:  [[ENTRY:.*:]]
  10 ; CHECK-NEXT:    [[GEP_DST_16:%.*]] = getelementptr inbounds nuw i8, ptr [[DST]], i64 16
  11 ; CHECK-NEXT:    br i1 [[C]], label %[[THEN:.*]], label %[[ELSE:.*]]
  12 ; CHECK:       [[THEN]]:
  13 ; CHECK-NEXT:    store ptr [[DST]], ptr [[MIN]], align 8, !tbaa [[TBAA0:![0-9]+]]
  14 ; CHECK-NEXT:    br label %[[RETURN:.*]]
  15 ; CHECK:       [[ELSE]]:
  16 ; CHECK-NEXT:    [[GEP_DST_24:%.*]] = getelementptr inbounds nuw i8, ptr [[DST]], i64 24
  17 ; CHECK-NEXT:    store ptr null, ptr [[GEP_DST_24]], align 8
  18 ; CHECK-NEXT:    br label %[[RETURN]]
  19 ; CHECK:       [[RETURN]]:
  20 ; CHECK-NEXT:    [[DOTSINK:%.*]] = phi ptr [ [[DST]], %[[THEN]] ], [ null, %[[ELSE]] ]
  21 ; CHECK-NEXT:    store ptr [[DOTSINK]], ptr [[GEP_DST_16]], align 8, !tbaa [[TBAA4:![0-9]+]], !alias.scope [[META6:![0-9]+]], !noalias [[META6]], !llvm.access.group [[ACC_GRP9:![0-9]+]]
  22 ; CHECK-NEXT:    ret void
  23 ;
  24 entry:
  25   %gep.dst.16 = getelementptr inbounds nuw i8, ptr %dst, i64 16
  26   br i1 %c, label %then, label %else
  27
  28 then:
  29   store ptr %dst, ptr %gep.dst.16, align 8, !tbaa !0, !alias.scope !9, !noalias !9, !llvm.access.group !13
  30   store ptr %dst, ptr %min, align 8, !tbaa !5
  31   br label %return
  32
  33 else:
  34   store ptr null, ptr %gep.dst.16, align 8, !tbaa !0, !alias.scope !9, !noalias !9, !llvm.access.group !13
  35   %gep.dst.24 = getelementptr inbounds nuw i8, ptr %dst, i64 24
  36   store ptr null, ptr %gep.dst.24, align 8
  37   br label %return
  38
  39 return:
  40   ret void
  41 }
  42
  43 define void @clear_different_metadata(i1 %c, ptr %dst, ptr %min) {
  44 ; CHECK-LABEL: define void @clear_different_metadata(
  45 ; CHECK-SAME: i1 [[C:%.*]], ptr [[DST:%.*]], ptr [[MIN:%.*]]) {
  46 ; CHECK-NEXT:  [[ENTRY:.*:]]
  47 ; CHECK-NEXT:    [[GEP_DST_16:%.*]] = getelementptr inbounds nuw i8, ptr [[DST]], i64 16
  48 ; CHECK-NEXT:    br i1 [[C]], label %[[THEN:.*]], label %[[ELSE:.*]]
  49 ; CHECK:       [[THEN]]:
  50 ; CHECK-NEXT:    store ptr [[DST]], ptr [[MIN]], align 8, !tbaa [[TBAA10:![0-9]+]]
  51 ; CHECK-NEXT:    br label %[[RETURN:.*]]
  52 ; CHECK:       [[ELSE]]:
  53 ; CHECK-NEXT:    [[GEP_DST_24:%.*]] = getelementptr inbounds nuw i8, ptr [[DST]], i64 24
  54 ; CHECK-NEXT:    store ptr null, ptr [[GEP_DST_24]], align 8
  55 ; CHECK-NEXT:    br label %[[RETURN]]
  56 ; CHECK:       [[RETURN]]:
  57 ; CHECK-NEXT:    [[DOTSINK:%.*]] = phi ptr [ [[DST]], %[[THEN]] ], [ null, %[[ELSE]] ]
  58 ; CHECK-NEXT:    store ptr [[DOTSINK]], ptr [[GEP_DST_16]], align 8
  59 ; CHECK-NEXT:    ret void
  60 ;
  61 entry:
  62   %gep.dst.16 = getelementptr inbounds nuw i8, ptr %dst, i64 16
  63   br i1 %c, label %then, label %else
  64
  65 then:
  66   store ptr %dst, ptr %gep.dst.16, align 8, !tbaa !5, !alias.scope !9, !noalias !9, !llvm.access.group !13
  67   store ptr %dst, ptr %min, align 8, !tbaa !6
  68   br label %return
  69
  70 else:
  71   store ptr null, ptr %gep.dst.16, align 8, !tbaa !6, !alias.scope !12, !noalias !12, !llvm.access.group !14
  72   %gep.dst.24 = getelementptr inbounds nuw i8, ptr %dst, i64 24
  73   store ptr null, ptr %gep.dst.24, align 8
  74   br label %return
  75
  76 return:
  77   ret void
  78 }
  79
  80 !0 = !{!1, !1, i64 0, i64 0}
  81 !1 = !{!"long", !2}
  82 !2 = !{!"omnipotent char", !3, i64 0}
  83 !3 = !{!"Simple C++ TBAA"}
  84 !4 = !{!5, !5, i64 0, i64 0}
  85 !5 = !{!"int", !2}
  86 !6 = !{!7, !7, i64 0, i64 0}
  87 !7 = !{!"p2 _Foo", !8}
  88 !8 = !{!"any pointer", !2, i64 0}
  89 !9 = !{!10}
  90 !10 = distinct !{!10, !11}
  91 !11 = distinct !{!11}
  92 !12 = distinct !{!10}
  93 !13 = distinct !{}
  94 !14 = distinct !{}
  95 ;.
  96 ; CHECK: [[TBAA0]] = !{[[META1:![0-9]+]], [[META1]], i64 0}
  97 ; CHECK: [[META1]] = !{!"int", [[META2:![0-9]+]]}
  98 ; CHECK: [[META2]] = !{!"omnipotent char", [[META3:![0-9]+]], i64 0}
  99 ; CHECK: [[META3]] = !{!"Simple C++ TBAA"}
 100 ; CHECK: [[TBAA4]] = !{[[META5:![0-9]+]], [[META5]], i64 0, i64 0}
 101 ; CHECK: [[META5]] = !{!"long", [[META2]]}
 102 ; CHECK: [[META6]] = !{[[META7:![0-9]+]]}
 103 ; CHECK: [[META7]] = distinct !{[[META7]], [[META8:![0-9]+]]}
 104 ; CHECK: [[META8]] = distinct !{[[META8]]}
 105 ; CHECK: [[ACC_GRP9]] = distinct !{}
 106 ; CHECK: [[TBAA10]] = !{[[META11:![0-9]+]], [[META11]], i64 0, i64 0}
 107 ; CHECK: [[META11]] = !{!"p2 _Foo", [[META12:![0-9]+]]}
 108 ; CHECK: [[META12]] = !{!"any pointer", [[META2]], i64 0}
 109 ;.