73 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-inst-comments2; RUN: opt -passes=print-predicateinfo -disable-output < %s 2>&1 | FileCheck %s3define i1 @f(i32 %x, i1 %y) {4; CHECK-LABEL: @f(5; CHECK-NEXT: br i1 [[Y:%.*]], label [[BB0:%.*]], label [[BB1:%.*]]6; CHECK: bb0:7; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 08; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp sge i32 [[X]], 0 Edge: [label [[BB0]],label [[BB2:%.*]]], RenamedOp: [[X]] }9; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i3210; CHECK-NEXT: br i1 [[CMP]], label [[BB2]], label [[BB3:%.*]]11; CHECK: bb1:12; CHECK-NEXT: [[X2:%.*]] = add nuw nsw i32 [[X]], 113; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i32 [[X2]], 214; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP2]] = icmp sge i32 [[X2]], 2 Edge: [label [[BB1]],label [[BB2]]], RenamedOp: [[X2]] }15; CHECK-NEXT: [[X2_0:%.*]] = bitcast i32 [[X2]] to i3216; CHECK-NEXT: br i1 [[CMP2]], label [[BB2]], label [[BB3]]17; CHECK: bb2:18; CHECK-NEXT: [[X3:%.*]] = phi i32 [ [[X_0]], [[BB0]] ], [ [[X2_0]], [[BB1]] ]19; CHECK-NEXT: br label [[BB3]]20; CHECK: bb3:21; CHECK-NEXT: ret i1 false22;23 br i1 %y, label %bb0, label %bb124 bb0:25 %cmp = icmp sge i32 %x, 0 ; x > 026 br i1 %cmp, label %bb2, label %bb327 bb1:28 %x2 = add nsw nuw i32 %x, 129 %cmp2 = icmp sge i32 %x2, 2 ; x+1 > 2 / x > 130 br i1 %cmp2, label %bb2, label %bb331 bb2:32 %x3 = phi i32 [ %x, %bb0 ], [ %x2, %bb1 ]33 br label %bb334 bb3:35 ret i1 036}37 38define i1 @g(i32 %x, i1 %y) {39; CHECK-LABEL: @g(40; CHECK-NEXT: br i1 [[Y:%.*]], label [[BB0:%.*]], label [[BB1:%.*]]41; CHECK: bb0:42; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 043; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp sge i32 [[X]], 0 Edge: [label [[BB0]],label [[BB2:%.*]]], RenamedOp: [[X]] }44; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i3245; CHECK-NEXT: br i1 [[CMP]], label [[BB3:%.*]], label [[BB2]]46; CHECK: bb1:47; CHECK-NEXT: [[X2:%.*]] = add nuw nsw i32 [[X]], 148; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i32 [[X2]], 249; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP2]] = icmp sge i32 [[X2]], 2 Edge: [label [[BB1]],label [[BB2]]], RenamedOp: [[X2]] }50; CHECK-NEXT: [[X2_0:%.*]] = bitcast i32 [[X2]] to i3251; CHECK-NEXT: br i1 [[CMP2]], label [[BB3]], label [[BB2]]52; CHECK: bb2:53; CHECK-NEXT: [[X3:%.*]] = phi i32 [ [[X_0]], [[BB0]] ], [ [[X2_0]], [[BB1]] ]54; CHECK-NEXT: br label [[BB3]]55; CHECK: bb3:56; CHECK-NEXT: ret i1 false57;58 br i1 %y, label %bb0, label %bb159 bb0:60 %cmp = icmp sge i32 %x, 0 ; x > 061 br i1 %cmp, label %bb3, label %bb262 bb1:63 %x2 = add nsw nuw i32 %x, 164 %cmp2 = icmp sge i32 %x2, 2 ; x+1 > 2 / x > 165 br i1 %cmp2, label %bb3, label %bb266 bb2:67 %x3 = phi i32 [ %x, %bb0 ], [ %x2, %bb1 ]68 br label %bb369 bb3:70 ret i1 071}72 73