42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=ipsccp < %s | FileCheck %s3; RUN: opt -S -passes='ipsccp,function(verify<domtree>)' < %s | FileCheck %s4 5; DTU should not crash.6 7define i32 @test(i1 %arg) {8; CHECK-LABEL: @test(9; CHECK-NEXT: entry:10; CHECK-NEXT: br label [[FOR_BODY:%.*]]11; CHECK: for.body:12; CHECK-NEXT: br label [[IF_THEN2:%.*]]13; CHECK: if.then2:14; CHECK-NEXT: br label [[FOR_INC:%.*]]15; CHECK: for.inc:16; CHECK-NEXT: unreachable17;18entry:19 br label %for.body20 21for.body: ; preds = %entry22 br i1 true, label %if.then2, label %if.else23 24if.then2: ; preds = %for.body25 br label %for.inc26 27if.else: ; preds = %for.body28 br i1 %arg, label %lor.rhs, label %if.then19.critedge29 30lor.rhs: ; preds = %if.else31 br i1 %arg, label %if.then19, label %for.inc32 33if.then19.critedge: ; preds = %if.else34 br label %if.then1935 36if.then19: ; preds = %if.then19.critedge, %lor.rhs37 unreachable38 39for.inc: ; preds = %lor.rhs, %if.then240 unreachable41}42