74 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 %s3; Don't insert predicate info for conditions with a single target.4@a = global i32 1, align 45@d = common global i32 0, align 46@c = common global i32 0, align 47@b = common global i32 0, align 48@e = common global i32 0, align 49 10define i32 @main() {11; CHECK-LABEL: @main(12; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr @d, align 413; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP1]], 014; CHECK-NEXT: br i1 [[TMP2]], label [[TMP3:%.*]], label [[TMP13:%.*]]15; CHECK: 3:16; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr @a, align 417; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr @c, align 418; CHECK-NEXT: [[TMP6:%.*]] = icmp slt i32 [[TMP5]], 119; CHECK-NEXT: br i1 [[TMP6]], label [[TMP7:%.*]], label [[TMP9:%.*]]20; CHECK: 7:21; CHECK-NEXT: [[TMP8:%.*]] = icmp eq i32 [[TMP4]], 022; CHECK-NEXT: br i1 [[TMP8]], label [[TMP9]], label [[TMP9]]23; CHECK: 9:24; CHECK-NEXT: [[DOT0:%.*]] = phi i32 [ [[TMP4]], [[TMP7]] ], [ [[TMP4]], [[TMP7]] ], [ [[DOT1:%.*]], [[TMP13]] ], [ [[TMP4]], [[TMP3]] ]25; CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr @b, align 426; CHECK-NEXT: [[TMP11:%.*]] = sdiv i32 [[TMP10]], [[DOT0]]27; CHECK-NEXT: [[TMP12:%.*]] = icmp eq i32 [[TMP11]], 028; CHECK-NEXT: br i1 [[TMP12]], label [[TMP13]], label [[TMP13]]29; CHECK: 13:30; CHECK-NEXT: [[DOT1]] = phi i32 [ [[DOT0]], [[TMP9]] ], [ [[DOT0]], [[TMP9]] ], [ undef, [[TMP0:%.*]] ]31; CHECK-NEXT: [[TMP14:%.*]] = load i32, ptr @e, align 432; CHECK-NEXT: [[TMP15:%.*]] = icmp eq i32 [[TMP14]], 033; CHECK-NEXT: br i1 [[TMP15]], label [[TMP16:%.*]], label [[TMP9]]34; CHECK: 16:35; CHECK-NEXT: ret i32 036;37 %1 = load i32, ptr @d, align 438 %2 = icmp eq i32 %1, 039 br i1 %2, label %3, label %1340 41; <label>:3: ; preds = %042 %4 = load i32, ptr @a, align 443 %5 = load i32, ptr @c, align 444 %6 = icmp slt i32 %5, 145 br i1 %6, label %7, label %946 47; <label>:7: ; preds = %348 %8 = icmp eq i32 %4, 049 br i1 %8, label %9, label %950 51; <label>:9: ; preds = %13, %7, %7, %352 %.0 = phi i32 [ %4, %7 ], [ %4, %7 ], [ %.1, %13 ], [ %4, %3 ]53 %10 = load i32, ptr @b, align 454 %11 = sdiv i32 %10, %.055 %12 = icmp eq i32 %11, 056 br i1 %12, label %13, label %1357 58; <label>:13: ; preds = %9, %9, %059 %.1 = phi i32 [ %.0, %9 ], [ %.0, %9 ], [ undef, %0 ]60 %14 = load i32, ptr @e, align 461 %15 = icmp eq i32 %14, 062 br i1 %15, label %16, label %963 64; <label>:16: ; preds = %1365 ret i32 066}67 68; Function Attrs: argmemonly nounwind69declare void @llvm.lifetime.start.p0(ptr nocapture)70 71; Function Attrs: argmemonly nounwind72declare void @llvm.lifetime.end.p0(ptr nocapture)73 74