| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals |
| ; RUN: opt -passes=loop-deletion -S < %s | FileCheck %s |
| |
| @ba = private constant ptr blockaddress(@f, %bb) |
| |
| declare void @g(ptr) |
| |
| ;. |
| ; CHECK: @[[BA:[a-zA-Z0-9_$"\\.-]+]] = private constant ptr inttoptr (i32 1 to ptr) |
| ;. |
| define void @f() { |
| ; CHECK-LABEL: @f( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br label [[BB2:%.*]] |
| ; CHECK: bb2: |
| ; CHECK-NEXT: call void @g(ptr @ba) |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| br label %bb |
| bb: |
| br i1 true, label %bb2, label %bb |
| bb2: |
| call void @g(ptr @ba) |
| ret void |
| } |
