27 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=sccp -S | FileCheck %s3 4declare void @use(i1)5 6define void @test(i1 %c) {7; CHECK-LABEL: @test(8; CHECK-NEXT: br label [[DO_BODY:%.*]]9; CHECK: do.body:10; CHECK-NEXT: br i1 [[C:%.*]], label [[DO_BODY]], label [[FOR_COND41:%.*]]11; CHECK: for.cond41:12; CHECK-NEXT: call void @use(i1 true)13; CHECK-NEXT: br label [[FOR_COND41]]14;15 br label %do.body16 17do.body: ; preds = %do.body, %entry18 br i1 %c, label %do.body, label %for.cond4119 20for.cond41: ; preds = %for.cond41, %do.body21 %mid.0 = phi float [ 0.000000e+00, %for.cond41 ], [ undef, %do.body ]22 %fc = fcmp oeq float %mid.0, 0.000000e+0023 call void @use(i1 %fc)24 25 br label %for.cond4126}27