1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=ipsccp < %s | FileCheck %s 3; RUN: opt -S -passes='ipsccp,function(verify<domtree>)' < %s | FileCheck %s 4 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: unreachable 17; 18entry: 19 br label %for.body 20 21for.body: ; preds = %entry 22 br i1 true, label %if.then2, label %if.else 23 24if.then2: ; preds = %for.body 25 br label %for.inc 26 27if.else: ; preds = %for.body 28 br i1 %arg, label %lor.rhs, label %if.then19.critedge 29 30lor.rhs: ; preds = %if.else 31 br i1 %arg, label %if.then19, label %for.inc 32 33if.then19.critedge: ; preds = %if.else 34 br label %if.then19 35 36if.then19: ; preds = %if.then19.critedge, %lor.rhs 37 unreachable 38 39for.inc: ; preds = %lor.rhs, %if.then2 40 unreachable 41} 42