111 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=mldst-motion -S %s | FileCheck %s3 4target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-n32:64-S128-Fn32"5 6define 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 1611; CHECK-NEXT: br i1 [[C]], label %[[THEN:.*]], label %[[ELSE:.*]]12; CHECK: [[THEN]]:13; CHECK-NEXT: store ptr [[DST]], ptr [[MIN]], align 8, !tbaa [[INT_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 2417; CHECK-NEXT: store ptr null, ptr [[GEP_DST_24]], align 818; 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 [[LONG_TBAA4:![0-9]+]], !alias.scope [[META6:![0-9]+]], !noalias [[META6]], !llvm.access.group [[ACC_GRP9:![0-9]+]]22; CHECK-NEXT: ret void23;24entry:25 %gep.dst.16 = getelementptr inbounds nuw i8, ptr %dst, i64 1626 br i1 %c, label %then, label %else27 28then:29 store ptr %dst, ptr %gep.dst.16, align 8, !tbaa !0, !alias.scope !9, !noalias !9, !llvm.access.group !1330 store ptr %dst, ptr %min, align 8, !tbaa !531 br label %return32 33else:34 store ptr null, ptr %gep.dst.16, align 8, !tbaa !0, !alias.scope !9, !noalias !9, !llvm.access.group !1335 %gep.dst.24 = getelementptr inbounds nuw i8, ptr %dst, i64 2436 store ptr null, ptr %gep.dst.24, align 837 br label %return38 39return:40 ret void41}42 43define 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 1648; CHECK-NEXT: br i1 [[C]], label %[[THEN:.*]], label %[[ELSE:.*]]49; CHECK: [[THEN]]:50; CHECK-NEXT: store ptr [[DST]], ptr [[MIN]], align 8, !tbaa [[_FOOPTR_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 2454; CHECK-NEXT: store ptr null, ptr [[GEP_DST_24]], align 855; 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, !tbaa [[CHAR_TBAA13:![0-9]+]], !alias.scope [[META6]], !noalias [[META6]]59; CHECK-NEXT: ret void60;61entry:62 %gep.dst.16 = getelementptr inbounds nuw i8, ptr %dst, i64 1663 br i1 %c, label %then, label %else64 65then:66 store ptr %dst, ptr %gep.dst.16, align 8, !tbaa !5, !alias.scope !9, !noalias !9, !llvm.access.group !1367 store ptr %dst, ptr %min, align 8, !tbaa !668 br label %return69 70else:71 store ptr null, ptr %gep.dst.16, align 8, !tbaa !6, !alias.scope !12, !noalias !12, !llvm.access.group !1472 %gep.dst.24 = getelementptr inbounds nuw i8, ptr %dst, i64 2473 store ptr null, ptr %gep.dst.24, align 874 br label %return75 76return:77 ret void78}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: [[INT_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: [[LONG_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: [[_FOOPTR_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; CHECK: [[CHAR_TBAA13]] = !{[[META2]], [[META2]], i64 0}110;.111