| ; RUN: opt -S -o - -structurizecfg < %s | FileCheck %s |
| |
| ; CHECK-LABEL: @no_branch_to_entry_undef( |
| ; CHECK: entry: |
| ; CHECK-NEXT: br label %entry.orig |
| define void @no_branch_to_entry_undef(i32 addrspace(1)* %out) { |
| entry: |
| br i1 undef, label %for.end, label %for.body |
| |
| for.body: ; preds = %entry, %for.body |
| store i32 999, i32 addrspace(1)* %out, align 4 |
| br label %for.body |
| |
| for.end: ; preds = %Flow |
| ret void |
| } |
| |
| ; CHECK-LABEL: @no_branch_to_entry_true( |
| ; CHECK: entry: |
| ; CHECK-NEXT: br label %entry.orig |
| define void @no_branch_to_entry_true(i32 addrspace(1)* %out) { |
| entry: |
| br i1 true, label %for.end, label %for.body |
| |
| for.body: ; preds = %entry, %for.body |
| store i32 999, i32 addrspace(1)* %out, align 4 |
| br label %for.body |
| |
| for.end: ; preds = %Flow |
| ret void |
| } |