95 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; Test to make sure that a new block is inserted if we3; have more than 2 predecessors for the block we're going to sink to.4; RUN: opt -passes=mldst-motion -S < %s | FileCheck %s --check-prefix=CHECK-NO5; RUN: opt -debug-pass-manager -aa-pipeline=basic-aa -passes='require<memdep>,mldst-motion' -S < %s 2>&1 | FileCheck %s --check-prefixes=CHECK-NO,CHECK-INV-NO6; RUN: opt -debug-pass-manager -aa-pipeline=basic-aa -passes='require<memdep>,mldst-motion<split-footer-bb>' -S < %s 2>&1 | FileCheck %s --check-prefixes=CHECK-YES,CHECK-INV-YES7target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"8 9; When passing split-footer-bb to MLSM, it invalidates CFG analyses10; CHECK-INV-NO: Running pass: MergedLoadStoreMotionPass11; CHECK-INV-NO-NOT: Invalidating analysis: DominatorTreeAnalysis12; CHECK-INV-YES: Running pass: MergedLoadStoreMotionPass13; CHECK-INV-YES: Invalidating analysis: DominatorTreeAnalysis14 15; Function Attrs: nounwind uwtable16define dso_local void @st_sink_split_bb(ptr nocapture %arg, ptr nocapture %arg1, i1 zeroext %arg2, i1 zeroext %arg3) local_unnamed_addr {17; CHECK-NO-LABEL: @st_sink_split_bb(18; CHECK-NO-NEXT: bb:19; CHECK-NO-NEXT: br i1 [[ARG2:%.*]], label [[BB4:%.*]], label [[BB5:%.*]]20; CHECK-NO: bb4:21; CHECK-NO-NEXT: store i32 1, ptr [[ARG:%.*]], align 422; CHECK-NO-NEXT: br label [[BB9:%.*]]23; CHECK-NO: bb5:24; CHECK-NO-NEXT: br i1 [[ARG3:%.*]], label [[BB6:%.*]], label [[BB7:%.*]]25; CHECK-NO: bb6:26; CHECK-NO-NEXT: store i32 2, ptr [[ARG]], align 427; CHECK-NO-NEXT: [[TMP1:%.*]] = getelementptr inbounds i32, ptr [[ARG1:%.*]], i64 128; CHECK-NO-NEXT: store i32 3, ptr [[TMP1]], align 429; CHECK-NO-NEXT: [[TMP:%.*]] = getelementptr inbounds i32, ptr [[ARG1]], i64 230; CHECK-NO-NEXT: store i32 3, ptr [[TMP]], align 431; CHECK-NO-NEXT: br label [[BB9]]32; CHECK-NO: bb7:33; CHECK-NO-NEXT: store i32 3, ptr [[ARG]], align 434; CHECK-NO-NEXT: [[TMP2:%.*]] = getelementptr inbounds i32, ptr [[ARG1]], i64 135; CHECK-NO-NEXT: store i32 3, ptr [[TMP2]], align 436; CHECK-NO-NEXT: [[TMP8:%.*]] = getelementptr inbounds i32, ptr [[ARG1]], i64 237; CHECK-NO-NEXT: store i32 3, ptr [[TMP8]], align 438; CHECK-NO-NEXT: br label [[BB9]]39; CHECK-NO: bb9:40; CHECK-NO-NEXT: ret void41;42; CHECK-YES-LABEL: @st_sink_split_bb(43; CHECK-YES-NEXT: bb:44; CHECK-YES-NEXT: br i1 [[ARG2:%.*]], label [[BB4:%.*]], label [[BB5:%.*]]45; CHECK-YES: bb4:46; CHECK-YES-NEXT: store i32 1, ptr [[ARG:%.*]], align 447; CHECK-YES-NEXT: br label [[BB9:%.*]]48; CHECK-YES: bb5:49; CHECK-YES-NEXT: br i1 [[ARG3:%.*]], label [[BB6:%.*]], label [[BB7:%.*]]50; CHECK-YES: bb6:51; CHECK-YES-NEXT: br label [[BB9_SINK_SPLIT:%.*]]52; CHECK-YES: bb7:53; CHECK-YES-NEXT: br label [[BB9_SINK_SPLIT]]54; CHECK-YES: bb9.sink.split:55; CHECK-YES-NEXT: [[DOTSINK:%.*]] = phi i32 [ 2, [[BB6]] ], [ 3, [[BB7]] ]56; CHECK-YES-NEXT: store i32 [[DOTSINK]], ptr [[ARG]], align 457; CHECK-YES-NEXT: [[TMP0:%.*]] = getelementptr inbounds i32, ptr [[ARG1:%.*]], i64 158; CHECK-YES-NEXT: store i32 3, ptr [[TMP0]], align 459; CHECK-YES-NEXT: [[TMP1:%.*]] = getelementptr inbounds i32, ptr [[ARG1]], i64 260; CHECK-YES-NEXT: store i32 3, ptr [[TMP1]], align 461; CHECK-YES-NEXT: br label [[BB9]]62; CHECK-YES: bb9:63; CHECK-YES-NEXT: ret void64;65bb:66 br i1 %arg2, label %bb4, label %bb567 68bb4: ; preds = %bb69 store i32 1, ptr %arg, align 470 br label %bb971 72bb5: ; preds = %bb73 br i1 %arg3, label %bb6, label %bb774 75bb6: ; preds = %bb576 store i32 2, ptr %arg, align 477 %tmp1 = getelementptr inbounds i32, ptr %arg1, i64 178 store i32 3, ptr %tmp1, align 479 %tmp = getelementptr inbounds i32, ptr %arg1, i64 280 store i32 3, ptr %tmp, align 481 br label %bb982 83bb7: ; preds = %bb584 store i32 3, ptr %arg, align 485 %tmp2 = getelementptr inbounds i32, ptr %arg1, i64 186 store i32 3, ptr %tmp2, align 487 %tmp8 = getelementptr inbounds i32, ptr %arg1, i64 288 store i32 3, ptr %tmp8, align 489 br label %bb990 91 92bb9: ; preds = %bb7, %bb6, %bb493 ret void94}95