30 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -disable-output -passes=print-mustexecute %s 2>&1 | FileCheck %s3 4; The loop body has two predecessors, %header and %side-entry. This leads to irreducible-cfg5define i64 @baz() {6; CHECK-LABEL: define i64 @baz() {7; CHECK-NEXT: [[ENTRY:.*:]]8; CHECK-NEXT: br label %[[HEADER:.*]]9; CHECK: [[HEADER]]:10; CHECK-NEXT: br label %[[BODY:.*]] ; (mustexec in: header)11; CHECK: [[SIDE_ENTRY:.*:]]12; CHECK-NEXT: br label %[[BODY]]13; CHECK: [[BODY]]:14; CHECK-NEXT: [[LOAD:%.*]] = load ptr addrspace(1), ptr addrspace(1) null, align 8 ; (mustexec in: header)15; CHECK-NEXT: br label %[[HEADER]] ; (mustexec in: header)16;17entry:18 br label %header19 20header:21 br label %body22 23side-entry:24 br label %body25 26body:27 %load = load ptr addrspace(1), ptr addrspace(1) null, align 828 br label %header29}30