119 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2 3; RUN: opt < %s -passes=dse -S | FileCheck --check-prefix=NO-LIMIT %s4; RUN: opt < %s -passes=dse -dse-memoryssa-scanlimit=0 -S | FileCheck --check-prefix=LIMIT-0 %s5; RUN: opt < %s -passes=dse -dse-memoryssa-scanlimit=2 -S | FileCheck --check-prefix=LIMIT-2 %s6; RUN: opt < %s -passes=dse -dse-memoryssa-scanlimit=3 -S | FileCheck --check-prefix=LIMIT-3 %s7; RUN: opt < %s -passes=dse -dse-memoryssa-scanlimit=4 -S | FileCheck --check-prefix=LIMIT-4 %s8 9target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"10 11 12define void @test2(ptr noalias %P, ptr noalias %Q, ptr noalias %R) {13; NO-LIMIT-LABEL: @test2(14; NO-LIMIT-NEXT: br i1 true, label [[BB1:%.*]], label [[BB2:%.*]]15; NO-LIMIT: bb1:16; NO-LIMIT-NEXT: br label [[BB3:%.*]]17; NO-LIMIT: bb2:18; NO-LIMIT-NEXT: br label [[BB3]]19; NO-LIMIT: bb3:20; NO-LIMIT-NEXT: store i32 0, ptr [[Q:%.*]], align 421; NO-LIMIT-NEXT: store i32 0, ptr [[R:%.*]], align 422; NO-LIMIT-NEXT: store i32 0, ptr [[P:%.*]], align 423; NO-LIMIT-NEXT: ret void24;25; LIMIT-0-LABEL: @test2(26; LIMIT-0-NEXT: store i32 1, ptr [[P:%.*]], align 427; LIMIT-0-NEXT: br i1 true, label [[BB1:%.*]], label [[BB2:%.*]]28; LIMIT-0: bb1:29; LIMIT-0-NEXT: br label [[BB3:%.*]]30; LIMIT-0: bb2:31; LIMIT-0-NEXT: br label [[BB3]]32; LIMIT-0: bb3:33; LIMIT-0-NEXT: store i32 0, ptr [[Q:%.*]], align 434; LIMIT-0-NEXT: store i32 0, ptr [[R:%.*]], align 435; LIMIT-0-NEXT: store i32 0, ptr [[P]], align 436; LIMIT-0-NEXT: ret void37;38; LIMIT-2-LABEL: @test2(39; LIMIT-2-NEXT: store i32 1, ptr [[P:%.*]], align 440; LIMIT-2-NEXT: br i1 true, label [[BB1:%.*]], label [[BB2:%.*]]41; LIMIT-2: bb1:42; LIMIT-2-NEXT: br label [[BB3:%.*]]43; LIMIT-2: bb2:44; LIMIT-2-NEXT: br label [[BB3]]45; LIMIT-2: bb3:46; LIMIT-2-NEXT: store i32 0, ptr [[Q:%.*]], align 447; LIMIT-2-NEXT: store i32 0, ptr [[R:%.*]], align 448; LIMIT-2-NEXT: store i32 0, ptr [[P]], align 449; LIMIT-2-NEXT: ret void50;51; LIMIT-3-LABEL: @test2(52; LIMIT-3-NEXT: br i1 true, label [[BB1:%.*]], label [[BB2:%.*]]53; LIMIT-3: bb1:54; LIMIT-3-NEXT: br label [[BB3:%.*]]55; LIMIT-3: bb2:56; LIMIT-3-NEXT: br label [[BB3]]57; LIMIT-3: bb3:58; LIMIT-3-NEXT: store i32 0, ptr [[Q:%.*]], align 459; LIMIT-3-NEXT: store i32 0, ptr [[R:%.*]], align 460; LIMIT-3-NEXT: store i32 0, ptr [[P:%.*]], align 461; LIMIT-3-NEXT: ret void62;63 store i32 1, ptr %P64 br i1 true, label %bb1, label %bb265bb1:66 br label %bb367bb2:68 br label %bb369bb3:70 store i32 0, ptr %Q71 store i32 0, ptr %R72 store i32 0, ptr %P73 ret void74}75 76define void @duplicate_worklist_endoffunction(ptr %ptr.0, ptr %ptr.1) {77; LIMIT-4-LABEL: @duplicate_worklist_endoffunction(78; LIMIT-4-NEXT: entry:79; LIMIT-4-NEXT: [[STACK_0:%.*]] = alloca [768 x i8], align 1680; LIMIT-4-NEXT: [[VAL_0:%.*]] = load i16, ptr [[PTR_1:%.*]], align 881; LIMIT-4-NEXT: [[COND:%.*]] = icmp ugt i16 [[VAL_0]], 2482; LIMIT-4-NEXT: br i1 [[COND]], label [[BB_1:%.*]], label [[EXIT:%.*]]83; LIMIT-4: bb.1:84; LIMIT-4-NEXT: br label [[LOOP:%.*]]85; LIMIT-4: loop:86; LIMIT-4-NEXT: [[IV:%.*]] = phi i64 [ 0, [[BB_1]] ], [ [[IV_NEXT:%.*]], [[LOOP]] ]87; LIMIT-4-NEXT: [[PTR_3:%.*]] = getelementptr i8, ptr [[STACK_0]], i64 [[IV]]88; LIMIT-4-NEXT: store ptr [[PTR_0:%.*]], ptr [[PTR_3]], align 289; LIMIT-4-NEXT: [[IV_NEXT]] = add nuw i64 [[IV]], 190; LIMIT-4-NEXT: [[EXITCOND:%.*]] = icmp eq i64 [[IV_NEXT]], 1091; LIMIT-4-NEXT: br i1 [[EXITCOND]], label [[EXIT]], label [[LOOP]]92; LIMIT-4: exit:93; LIMIT-4-NEXT: ret void94;95entry:96 %stack.0 = alloca [768 x i8], align 1697 %stack.1 = alloca [20 x i8], align 898 %val.0 = load i16, ptr %ptr.1, align 899 %cond = icmp ugt i16 %val.0, 24100 br i1 %cond, label %bb.1, label %exit101 102bb.1: ; preds = %entry103 %ptr.2 = getelementptr inbounds i8, ptr %ptr.1, i64 8104 %val.1 = load i64, ptr %ptr.2, align 8105 store i64 %val.1, ptr %stack.1, align 8106 br label %loop107 108loop: ; preds = %loop, %bb.1109 %iv = phi i64 [ 0, %bb.1 ], [ %iv.next, %loop ]110 %ptr.3 = getelementptr i8, ptr %stack.0, i64 %iv111 store ptr %ptr.0, ptr %ptr.3, align 2112 %iv.next = add nuw i64 %iv, 1113 %exitcond = icmp eq i64 %iv.next, 10114 br i1 %exitcond, label %exit, label %loop115 116exit: ; preds = %loop, %entry117 ret void118}119