| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 |
| ; RUN: opt %s -passes=loop-deletion -S | FileCheck %s |
| |
| define void @wombat() personality ptr null { |
| ; CHECK-LABEL: define void @wombat() personality ptr null { |
| ; CHECK-NEXT: bb: |
| ; CHECK-NEXT: br i1 false, label [[BB1:%.*]], label [[BB4:%.*]] |
| ; CHECK: bb1: |
| ; CHECK-NEXT: br label [[BB2:%.*]] |
| ; CHECK: bb2: |
| ; CHECK-NEXT: [[INVOKE:%.*]] = invoke double null() |
| ; CHECK-NEXT: to label [[BB2]] unwind label [[BB3:%.*]] |
| ; CHECK: bb3: |
| ; CHECK-NEXT: [[LANDINGPAD:%.*]] = landingpad { ptr, i32 } |
| ; CHECK-NEXT: cleanup |
| ; CHECK-NEXT: ret void |
| ; CHECK: bb4: |
| ; CHECK-NEXT: ret void |
| ; |
| bb: |
| br i1 false, label %bb1, label %bb4 |
| |
| bb1: ; preds = %bb |
| br label %bb2 |
| |
| bb2: ; preds = %bb1, %bb2 |
| %invoke = invoke double null() |
| to label %bb2 unwind label %bb3 |
| |
| bb3: ; preds = %bb2 |
| %landingpad = landingpad { ptr, i32 } |
| cleanup |
| ret void |
| |
| bb4: ; preds = %bb |
| ret void |
| } |