| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 |
| ; RUN: opt -S -passes=structurizecfg %s -o - | FileCheck %s |
| |
| ; Issue tracking: https://github.com/llvm/llvm-project/issues/126534. |
| |
| define void @foo() { |
| ; CHECK-LABEL: define void @foo() { |
| ; CHECK-NEXT: [[ENTRY:.*:]] |
| ; CHECK-NEXT: br label %[[COND_FALSE:.*]] |
| ; CHECK: [[COND_TRUE:.*]]: |
| ; CHECK-NEXT: br label %[[COND_END:.*]] |
| ; CHECK: [[COND_FALSE]]: |
| ; CHECK-NEXT: br i1 false, label %[[COND_TRUE]], label %[[COND_END]] |
| ; CHECK: [[COND_END]]: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| br i1 false, label %cond.true, label %cond.false |
| |
| cond.true: ; preds = %entry |
| br label %cond.end |
| |
| cond.false: ; preds = %entry |
| br label %cond.end |
| |
| cond.end: ; preds = %cond.false, %cond.true |
| ret void |
| } |