141 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=newgvn -S %s | FileCheck %s3 4define void @d(i1 %arg, i1 %arg2) {5; CHECK-LABEL: @d(6; CHECK-NEXT: entry:7; CHECK-NEXT: br label [[FOR_COND:%.*]]8; CHECK: for.cond:9; CHECK-NEXT: br label [[FOR_COND1:%.*]]10; CHECK: for.cond1:11; CHECK-NEXT: [[TMP0:%.*]] = phi i32 [ [[INC18:%.*]], [[FOR_INC17:%.*]] ], [ 0, [[FOR_COND]] ]12; CHECK-NEXT: [[ARG:%.*]] = icmp sle i32 [[TMP0]], 113; CHECK-NEXT: br i1 [[ARG]], label [[FOR_BODY3:%.*]], label [[FOR_BODY_FOR_COND4_CRIT_EDGE:%.*]]14; CHECK: for.body:15; CHECK-NEXT: br i1 [[ARG1:%.*]], label [[FOR_BODY4:%.*]], label [[FOR_BODY_FOR_COND4_CRIT_EDGE1:%.*]]16; CHECK: for.body.for.cond4_crit_edge:17; CHECK-NEXT: br label [[FOR_COND4:%.*]]18; CHECK: for.body3:19; CHECK-NEXT: br label [[CLEANUP14:%.*]]20; CHECK: for.cond4:21; CHECK-NEXT: br i1 [[ARG2:%.*]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]22; CHECK: if.then:23; CHECK-NEXT: br label [[CLEANUP:%.*]]24; CHECK: if.end:25; CHECK-NEXT: br label [[FOR_COND6:%.*]]26; CHECK: for.cond6:27; CHECK-NEXT: [[TMP1:%.*]] = phi i64 [ [[INC:%.*]], [[FOR_INC:%.*]] ], [ 0, [[IF_END]] ]28; CHECK-NEXT: [[CMP7:%.*]] = icmp sle i64 [[TMP1]], 129; CHECK-NEXT: br i1 [[CMP7]], label [[FOR_INC]], label [[FOR_END9:%.*]]30; CHECK: for.inc:31; CHECK-NEXT: [[INC]] = add nsw i64 [[TMP1]], 132; CHECK-NEXT: br label [[FOR_COND6]]33; CHECK: for.end9:34; CHECK-NEXT: br i1 true, label [[IF_THEN11:%.*]], label [[IF_END12:%.*]]35; CHECK: if.then11:36; CHECK-NEXT: br label [[CLEANUP]]37; CHECK: if.end12:38; CHECK-NEXT: store i8 poison, ptr null, align 139; CHECK-NEXT: br label [[CLEANUP]]40; CHECK: cleanup:41; CHECK-NEXT: [[CLEANUP_DEST:%.*]] = phi i32 [ poison, [[IF_END12]] ], [ 1, [[IF_THEN11]] ], [ 9, [[IF_THEN]] ]42; CHECK-NEXT: switch i32 [[CLEANUP_DEST]], label [[CLEANUP14]] [43; CHECK-NEXT: i32 0, label [[FOR_COND4]]44; CHECK-NEXT: i32 9, label [[FOR_END13:%.*]]45; CHECK-NEXT: ]46; CHECK: for.end13:47; CHECK-NEXT: br label [[CLEANUP14]]48; CHECK: cleanup14:49; CHECK-NEXT: [[CLEANUP_DEST15:%.*]] = phi i32 [ 0, [[FOR_END13]] ], [ [[CLEANUP_DEST]], [[CLEANUP]] ], [ 1, [[FOR_BODY4]] ]50; CHECK-NEXT: [[COND1:%.*]] = icmp eq i32 [[CLEANUP_DEST15]], 051; CHECK-NEXT: br i1 [[COND1]], label [[FOR_INC17]], label [[CLEANUP20:%.*]]52; CHECK: for.inc17:53; CHECK-NEXT: [[INC18]] = add nsw i32 [[TMP0]], 154; CHECK-NEXT: br label [[FOR_COND1]]55; CHECK: for.end19:56; CHECK-NEXT: br label [[CLEANUP20]]57; CHECK: cleanup20:58; CHECK-NEXT: [[PHIOFOPS:%.*]] = phi i1 [ true, [[FOR_BODY_FOR_COND4_CRIT_EDGE]] ], [ [[COND1]], [[CLEANUP14]] ]59; CHECK-NEXT: [[CLEANUP_DEST21:%.*]] = phi i32 [ [[CLEANUP_DEST15]], [[CLEANUP14]] ], [ 0, [[FOR_BODY_FOR_COND4_CRIT_EDGE]] ]60; CHECK-NEXT: br i1 [[PHIOFOPS]], label [[FOR_COND]], label [[CLEANUP23:%.*]]61; CHECK: cleanup23:62; CHECK-NEXT: ret void63;64entry:65 br label %for.cond66 67for.cond: ; preds = %cleanup20, %entry68 br label %for.cond169 70for.cond1: ; preds = %for.inc17, %for.cond71 %0 = phi i32 [ %inc18, %for.inc17 ], [ 0, %for.cond ]72 %cmp = icmp sle i32 %0, 173 br i1 %cmp, label %for.body, label %for.end1974 75for.body: ; preds = %for.cond176 br i1 %arg, label %for.body3, label %for.body.for.cond4_crit_edge77 78for.body.for.cond4_crit_edge: ; preds = %for.body79 br label %for.cond480 81for.body3: ; preds = %for.body82 br label %cleanup1483 84for.cond4: ; preds = %cleanup, %for.body.for.cond4_crit_edge85 br i1 %arg2, label %if.then, label %if.end86 87if.then: ; preds = %for.cond488 br label %cleanup89 90if.end: ; preds = %for.cond491 br label %for.cond692 93for.cond6: ; preds = %for.inc, %if.end94 %1 = phi i64 [ %inc, %for.inc ], [ 0, %if.end ]95 %cmp7 = icmp sle i64 %1, 196 br i1 %cmp7, label %for.inc, label %for.end997 98for.inc: ; preds = %for.cond699 %inc = add nsw i64 %1, 1100 br label %for.cond6101 102for.end9: ; preds = %for.cond6103 br i1 true, label %if.then11, label %if.end12104 105if.then11: ; preds = %for.end9106 br label %cleanup107 108if.end12: ; preds = %for.end9109 br label %cleanup110 111cleanup: ; preds = %if.end12, %if.then11, %if.then112 %cleanup.dest = phi i32 [ undef, %if.end12 ], [ 1, %if.then11 ], [ 9, %if.then ]113 switch i32 %cleanup.dest, label %cleanup14 [114 i32 0, label %for.cond4115 i32 9, label %for.end13116 ]117 118for.end13: ; preds = %cleanup119 br label %cleanup14120 121cleanup14: ; preds = %for.end13, %cleanup, %for.body3122 %cleanup.dest15 = phi i32 [ 0, %for.end13 ], [ %cleanup.dest, %cleanup ], [ 1, %for.body3 ]123 %cond1 = icmp eq i32 %cleanup.dest15, 0124 br i1 %cond1, label %for.inc17, label %cleanup20125 126for.inc17: ; preds = %cleanup14127 %inc18 = add nsw i32 %0, 1128 br label %for.cond1129 130for.end19: ; preds = %for.cond1131 br label %cleanup20132 133cleanup20: ; preds = %for.end19, %cleanup14134 %cleanup.dest21 = phi i32 [ %cleanup.dest15, %cleanup14 ], [ 0, %for.end19 ]135 %cond = icmp eq i32 %cleanup.dest21, 0136 br i1 %cond, label %for.cond, label %cleanup23137 138cleanup23: ; preds = %cleanup20139 ret void140}141