29 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(loop-simplifycfg)' -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s3 4define void @test(ptr %addr) {5; CHECK-LABEL: define void @test(6; CHECK-SAME: ptr [[ADDR:%.*]]) {7; CHECK-NEXT: indirectbr ptr [[ADDR]], [label %[[A:.*]], label %C]8; CHECK: [[A]]:9; CHECK-NEXT: br i1 true, label %[[B:.*]], label %[[C_LOOPEXIT:.*]]10; CHECK: [[B]]:11; CHECK-NEXT: br i1 true, label %[[A]], label %[[C_LOOPEXIT]]12; CHECK: [[C_LOOPEXIT]]:13; CHECK-NEXT: br label %[[C:.*]]14; CHECK: [[C]]:15; CHECK-NEXT: unreachable16;17 18 indirectbr ptr %addr, [label %A, label %C]19 20A:21 br i1 true, label %B, label %C22 23B:24 br i1 true, label %A, label %C25 26C:27 unreachable28}29