Skip to content

Commit

Permalink
[BranchFolding][SEH] Add test to track SEH CFG optimization (llvm#77598)
Browse files Browse the repository at this point in the history
This test tracks BranchFolding pass which removes fall through jump and
leaves landing-pad to be machine basic block of no predecessors. It
would raise bug as introduced in llvm#77441.
  • Loading branch information
HaohaiWen authored Jan 10, 2024
1 parent ae978ba commit 9bde5be
Showing 1 changed file with 49 additions and 0 deletions.
49 changes: 49 additions & 0 deletions llvm/test/CodeGen/X86/branchfolding-landingpad-cfg.mir
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4
# RUN: llc -mtriple=x86_64-pc-windows-msvc -run-pass=branch-folder -o - %s | FileCheck %s
---
name: main
body: |
; CHECK-LABEL: name: main
; CHECK: bb.0:
; CHECK-NEXT: successors: %bb.1(0x7ffff800), %bb.3(0x00000800)
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: bb.1:
; CHECK-NEXT: RET 0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: bb.2 (machine-block-address-taken, landing-pad, ehfunclet-entry):
; CHECK-NEXT: successors: %bb.3(0x80000000)
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: CLEANUPRET
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: bb.3 (landing-pad, ehfunclet-entry):
; CHECK-NEXT: CLEANUPRET
bb.0:
successors: %bb.1(0x7ffff800), %bb.5(0x00000800)
JMP_1 %bb.1
bb.1:
successors: %bb.2(0x7ffff800), %bb.4(0x00000800)
JMP_1 %bb.2
bb.2:
successors: %bb.3(0x7ffff800), %bb.4(0x00000800)
JMP_1 %bb.3
bb.3:
successors: %bb.6(0x7ffff800)
JMP_1 %bb.6
bb.4 (machine-block-address-taken, landing-pad, ehfunclet-entry):
successors: %bb.5(0x80000000)
CLEANUPRET
bb.5 (landing-pad, ehfunclet-entry):
CLEANUPRET
bb.6:
RET 0
...

0 comments on commit 9bde5be

Please sign in to comment.