derek.holloway
7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
537 lines
21 KiB
YAML
537 lines
21 KiB
YAML
# RUN: split-file %s %t
|
|
|
|
# If we force "best effort" mode, then we won't see any errors, but we won't use
|
|
# v2.
|
|
# BESTEFFORT-NOT: SEH_UnwindVersion
|
|
# BESTEFFORT-NOT: SEH_UnwindV2Start
|
|
|
|
;--- alloc_no_dealloc.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/alloc_no_dealloc.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=ALLOC-NO-DEALLOC
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/alloc_no_dealloc.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=ALLOC-NO-DEALLOC
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/alloc_no_dealloc.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/alloc_no_dealloc.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# ALLOC-NO-DEALLOC: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'alloc_no_dealloc':
|
|
# ALLOC-NO-DEALLOC-SAME: The prolog made a stack allocation, but the epilog did not deallocate it
|
|
|
|
--- |
|
|
define dso_local void @alloc_no_dealloc() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: alloc_no_dealloc
|
|
body: |
|
|
bb.0.entry:
|
|
$rsp = frame-setup SUB64ri32 $rsp, 40, implicit-def dead $eflags
|
|
frame-setup SEH_StackAlloc 40
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- missed_push.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - %t/missed_push.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 2>&1 | FileCheck %s \
|
|
# RUN: --check-prefix=MISSED-PUSH
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - %t/missed_push.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 2>&1 | FileCheck %s \
|
|
# RUN: --check-prefix=MISSED-PUSH
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/missed_push.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/missed_push.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# MISSED-PUSH: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'missed_push':
|
|
# MISSED-PUSH-SAME: The prolog pushed more registers than the epilog popped
|
|
|
|
--- |
|
|
define dso_local void @missed_push() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: missed_push
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup PUSH64r killed $rsi, implicit-def $rsp, implicit $rsp
|
|
frame-setup SEH_PushReg 60
|
|
frame-setup PUSH64r killed $rdi, implicit-def $rsp, implicit $rsp
|
|
frame-setup SEH_PushReg 55
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rdi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- dealloc_no_alloc.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/dealloc_no_alloc.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=DEALLOC-NO-ALLOC
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/dealloc_no_alloc.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=DEALLOC-NO-ALLOC
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/dealloc_no_alloc.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/dealloc_no_alloc.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# DEALLOC-NO-ALLOC: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'dealloc_no_alloc':
|
|
# DEALLOC-NO-ALLOC-SAME: The epilog is deallocating a stack allocation, but the prolog did not allocate one
|
|
|
|
--- |
|
|
define dso_local void @dealloc_no_alloc() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: dealloc_no_alloc
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rsp = frame-destroy ADD64ri32 $rsp, 40, implicit-def dead $eflags
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- dealloc_after_epilog.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/dealloc_after_epilog.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=DEALLOC-AFTER-EPILOG
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/dealloc_after_epilog.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=DEALLOC-AFTER-EPILOG
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/dealloc_after_epilog.mir -run-pass=x86-wineh-unwindv2 \
|
|
# RUN: -x86-wineh-unwindv2-force-mode=1 | FileCheck %s \
|
|
# RUN: --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/dealloc_after_epilog.mir -passes=x86-wineh-unwindv2 \
|
|
# RUN: -x86-wineh-unwindv2-force-mode=1 | FileCheck %s \
|
|
# RUN: --check-prefix=BESTEFFORT
|
|
# DEALLOC-AFTER-EPILOG: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'dealloc_after_epilog':
|
|
# DEALLOC-AFTER-EPILOG-SAME: Unexpected lea or add instruction after the epilog
|
|
|
|
--- |
|
|
define dso_local void @dealloc_after_epilog() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: dealloc_after_epilog
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
SEH_EndEpilogue
|
|
$rsp = frame-destroy ADD64ri32 $rsp, 40, implicit-def dead $eflags
|
|
RET64
|
|
...
|
|
|
|
;--- pop_before_dealloc.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/pop_before_dealloc.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=POP-BEFORE-DEALLOC
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/pop_before_dealloc.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=POP-BEFORE-DEALLOC
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/pop_before_dealloc.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/pop_before_dealloc.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# POP-BEFORE-DEALLOC: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'pop_before_dealloc':
|
|
# POP-BEFORE-DEALLOC-SAME: Cannot pop registers before the stack allocation has been deallocated
|
|
|
|
--- |
|
|
define dso_local void @pop_before_dealloc() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: pop_before_dealloc
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup PUSH64r killed $rdi, implicit-def $rsp, implicit $rsp
|
|
frame-setup SEH_PushReg 55
|
|
$rsp = frame-setup SUB64ri32 $rsp, 40, implicit-def dead $eflags
|
|
frame-setup SEH_StackAlloc 40
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rdi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
$rsp = frame-destroy ADD64ri32 $rsp, 40, implicit-def dead $eflags
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- mov_no_setframe.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/mov_no_setframe.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=MOV-NO-SETFRAME
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/mov_no_setframe.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=MOV-NO-SETFRAME
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/mov_no_setframe.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/mov_no_setframe.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# MOV-NO-SETFRAME: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'mov_no_setframe':
|
|
# MOV-NO-SETFRAME-SAME: The epilog is setting frame back, but prolog did not set it
|
|
|
|
--- |
|
|
define dso_local void @mov_no_setframe() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: mov_no_setframe
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rsp = MOV64rr $rbp
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- mov_after_epilog.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/mov_after_epilog.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=MOV-AFTER-EPILOG
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/mov_after_epilog.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=MOV-AFTER-EPILOG
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/mov_after_epilog.mir -run-pass=x86-wineh-unwindv2 \
|
|
# RUN: -x86-wineh-unwindv2-force-mode=1 | FileCheck %s \
|
|
# RUN: --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/mov_after_epilog.mir -passes=x86-wineh-unwindv2 \
|
|
# RUN: -x86-wineh-unwindv2-force-mode=1 | FileCheck %s \
|
|
# RUN: --check-prefix=BESTEFFORT
|
|
# MOV-AFTER-EPILOG: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'mov_after_epilog':
|
|
# MOV-AFTER-EPILOG-SAME: Unexpected mov instruction after the epilog
|
|
|
|
--- |
|
|
define dso_local void @mov_after_epilog() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: mov_after_epilog
|
|
body: |
|
|
bb.0.entry:
|
|
$rbp = MOV64rr $rsp
|
|
frame-setup SEH_SetFrame 52, 0
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
SEH_EndEpilogue
|
|
$rsp = MOV64rr $rbp
|
|
RET64
|
|
...
|
|
|
|
;--- pop_before_mov.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/pop_before_mov.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=POP-BEFORE-MOV
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/pop_before_mov.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=POP-BEFORE-MOV
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/pop_before_mov.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/pop_before_mov.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# POP-BEFORE-MOV: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'pop_before_mov':
|
|
# POP-BEFORE-MOV-SAME: The epilog is setting the frame back after popping registers
|
|
|
|
--- |
|
|
define dso_local void @pop_before_mov() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: pop_before_mov
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup PUSH64r killed $rdi, implicit-def $rsp, implicit $rsp
|
|
frame-setup SEH_PushReg 55
|
|
$rbp = MOV64rr $rsp
|
|
frame-setup SEH_SetFrame 52, 0
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rdi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
$rsp = MOV64rr $rbp
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- mov_after_dealloc.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/mov_after_dealloc.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=MOV-AFTER-DEALLOC
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/mov_after_dealloc.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=MOV-AFTER-DEALLOC
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/mov_after_dealloc.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/mov_after_dealloc.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# MOV-AFTER-DEALLOC: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'mov_after_dealloc':
|
|
# MOV-AFTER-DEALLOC-SAME: Cannot set the frame back after the stack allocation has been deallocated
|
|
|
|
--- |
|
|
define dso_local void @mov_after_dealloc() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: mov_after_dealloc
|
|
body: |
|
|
bb.0.entry:
|
|
$rbp = MOV64rr $rsp
|
|
frame-setup SEH_SetFrame 52, 0
|
|
$rsp = frame-setup SUB64ri32 $rsp, 40, implicit-def dead $eflags
|
|
frame-setup SEH_StackAlloc 40
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rsp = frame-destroy ADD64ri32 $rsp, 40, implicit-def dead $eflags
|
|
$rsp = MOV64rr $rbp
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- too_many_pops.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - %t/too_many_pops.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 2>&1 | FileCheck %s \
|
|
# RUN: --check-prefix=TOO-MANY-POPS
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - %t/too_many_pops.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 2>&1 | FileCheck %s \
|
|
# RUN: --check-prefix=TOO-MANY-POPS
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/too_many_pops.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/too_many_pops.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# TOO-MANY-POPS: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'too_many_pops':
|
|
# TOO-MANY-POPS-SAME: The epilog is popping more registers than the prolog pushed
|
|
|
|
--- |
|
|
define dso_local void @too_many_pops() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: too_many_pops
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup PUSH64r killed $rdi, implicit-def $rsp, implicit $rsp
|
|
frame-setup SEH_PushReg 55
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rdi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
$rsi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- pop_in_wrong_order.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/pop_in_wrong_order.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=POP-WRONG-ORDER
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/pop_in_wrong_order.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=POP-WRONG-ORDER
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/pop_in_wrong_order.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/pop_in_wrong_order.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# POP-WRONG-ORDER: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'pop_in_wrong_order':
|
|
# POP-WRONG-ORDER-SAME: The epilog is popping a registers in a different order than the prolog pushed them
|
|
|
|
--- |
|
|
define dso_local void @pop_in_wrong_order() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: pop_in_wrong_order
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup PUSH64r killed $rdi, implicit-def $rsp, implicit $rsp
|
|
frame-setup SEH_PushReg 55
|
|
frame-setup PUSH64r killed $rsi, implicit-def $rsp, implicit $rsp
|
|
frame-setup SEH_PushReg 60
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rdi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
$rsi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|
|
|
|
;--- pop_after_epilog.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/pop_after_epilog.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=POP-AFTER-EPILOG
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/pop_after_epilog.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=POP-AFTER-EPILOG
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/pop_after_epilog.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/pop_after_epilog.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# POP-AFTER-EPILOG: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'pop_after_epilog':
|
|
# POP-AFTER-EPILOG-SAME: Registers are being popped after the epilog
|
|
|
|
--- |
|
|
define dso_local void @pop_after_epilog() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: pop_after_epilog
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
SEH_EndEpilogue
|
|
$rdi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
RET64
|
|
...
|
|
|
|
;--- instr_after_epilog.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/instr_after_epilog.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=INSTR-AFTER-END
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/instr_after_epilog.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=INSTR-AFTER-END
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/instr_after_epilog.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/instr_after_epilog.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# INSTR-AFTER-END: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'instr_after_epilog':
|
|
# INSTR-AFTER-END-SAME: Unexpected instruction in or after the epilog
|
|
|
|
--- |
|
|
define dso_local void @instr_after_epilog() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: instr_after_epilog
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
SEH_EndEpilogue
|
|
$ecx = MOV32rr killed $eax
|
|
RET64
|
|
...
|
|
|
|
;--- dealloc_pop_dealloc.mir
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/dealloc_pop_dealloc.mir -run-pass=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=DEALLOC-POP-DEALLOC
|
|
# RUN: not --crash llc -mtriple=x86_64-pc-windows-msvc -o - \
|
|
# RUN: %t/dealloc_pop_dealloc.mir -passes=x86-wineh-unwindv2 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=DEALLOC-POP-DEALLOC
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/dealloc_pop_dealloc.mir \
|
|
# RUN: -run-pass=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# RUN: llc -mtriple=x86_64-pc-windows-msvc -o - %t/dealloc_pop_dealloc.mir \
|
|
# RUN: -passes=x86-wineh-unwindv2 -x86-wineh-unwindv2-force-mode=1 | \
|
|
# RUN: FileCheck %s --check-prefix=BESTEFFORT
|
|
# DEALLOC-POP-DEALLOC: LLVM ERROR: Windows x64 Unwind v2 is required, but LLVM has generated incompatible code in function 'dealloc_pop_dealloc':
|
|
# DEALLOC-POP-DEALLOC-SAME: The epilog is deallocating a stack allocation after popping registers
|
|
|
|
--- |
|
|
define dso_local void @dealloc_pop_dealloc() local_unnamed_addr {
|
|
entry:
|
|
ret void
|
|
}
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"winx64-eh-unwindv2", i32 2}
|
|
...
|
|
---
|
|
name: dealloc_pop_dealloc
|
|
body: |
|
|
bb.0.entry:
|
|
frame-setup PUSH64r killed $rdi, implicit-def $rsp, implicit $rsp
|
|
frame-setup SEH_PushReg 55
|
|
$rsp = frame-setup SUB64ri32 $rsp, 40, implicit-def dead $eflags
|
|
frame-setup SEH_StackAlloc 40
|
|
frame-setup SEH_EndPrologue
|
|
SEH_BeginEpilogue
|
|
$rsp = frame-destroy ADD64ri32 $rsp, 20, implicit-def dead $eflags
|
|
$rdi = frame-destroy POP64r implicit-def $rsp, implicit $rsp
|
|
$rsp = frame-destroy ADD64ri32 $rsp, 20, implicit-def dead $eflags
|
|
SEH_EndEpilogue
|
|
RET64
|
|
...
|