41 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v1 < %s -S -verify-dom-info | FileCheck %s3; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v2 < %s -S -verify-dom-info | FileCheck %s4; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v3 < %s -S -verify-dom-info | FileCheck %s5 6; Check that we do not crash when we remove edges multiple times in7; the DomTreeUpdater.8define void @test() {9; CHECK-LABEL: @test(10; CHECK-NEXT: entry:11; CHECK-NEXT: switch i8 undef, label [[IF_THEN_EPIL:%.*]] [12; CHECK-NEXT: i8 32, label [[FOR_INC_EPIL:%.*]]13; CHECK-NEXT: i8 46, label [[FOR_INC_EPIL]]14; CHECK-NEXT: i8 95, label [[FOR_INC_EPIL]]15; CHECK-NEXT: i8 45, label [[FOR_INC_EPIL]]16; CHECK-NEXT: i8 126, label [[FOR_INC_EPIL]]17; CHECK-NEXT: ]18; CHECK: if.then.epil:19; CHECK-NEXT: unreachable20; CHECK: for.inc.epil:21; CHECK-NEXT: ret void22;23entry:24 br label %for.body.epil25 26for.body.epil: ; preds = %entry27 switch i8 undef, label %if.then.epil [28 i8 32, label %for.inc.epil29 i8 46, label %for.inc.epil30 i8 95, label %for.inc.epil31 i8 45, label %for.inc.epil32 i8 126, label %for.inc.epil33 ]34 35if.then.epil: ; preds = %for.body.epil36 unreachable37 38for.inc.epil: ; preds = %for.body.epil, %for.body.epil, %for.body.epil, %for.body.epil, %for.body.epil39 ret void40}41