mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-16 00:33:10 +00:00
69114ee016
Win64 has specific contraints on what valid prologues and epilogues look like. This constraint is born from the flexibility and descriptiveness of Win64's unwind opcodes. Prologues previously emitted by LLVM could not be represented by the unwind opcodes, preventing operations powered by stack unwinding to successfully work. Differential Revision: http://reviews.llvm.org/D7520 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228641 91177308-0d34-0410-b5e6-96231b3b80d8
139 lines
3.2 KiB
LLVM
139 lines
3.2 KiB
LLVM
; RUN: llc < %s -mcpu=generic -enable-misched=false -mtriple=x86_64-mingw32 | FileCheck %s -check-prefix=M64
|
|
; RUN: llc < %s -mcpu=generic -enable-misched=false -mtriple=x86_64-win32 | FileCheck %s -check-prefix=W64
|
|
; RUN: llc < %s -mcpu=generic -enable-misched=false -mtriple=x86_64-win32 -code-model=large | FileCheck %s -check-prefix=L64
|
|
; RUN: llc < %s -mcpu=generic -enable-misched=false -mtriple=x86_64-win32-macho | FileCheck %s -check-prefix=EFI
|
|
; PR8777
|
|
; PR8778
|
|
|
|
define i64 @unaligned(i64 %n, i64 %x) nounwind {
|
|
; M64-LABEL: unaligned:
|
|
; W64-LABEL: unaligned:
|
|
; EFI-LABEL: unaligned:
|
|
entry:
|
|
|
|
%buf0 = alloca i8, i64 4096, align 1
|
|
|
|
; ___chkstk_ms does not adjust %rsp.
|
|
; M64: $4096, %rax
|
|
; M64: callq ___chkstk_ms
|
|
; M64: subq %rax, %rsp
|
|
; M64: leaq 128(%rsp), %rbp
|
|
|
|
; __chkstk does not adjust %rsp.
|
|
; W64: $4096, %rax
|
|
; W64: callq __chkstk
|
|
; W64: subq %rax, %rsp
|
|
; W64: leaq 128(%rsp), %rbp
|
|
|
|
; Use %r11 for the large model.
|
|
; L64: $4096, %rax
|
|
; L64: movabsq $__chkstk, %r11
|
|
; L64: callq *%r11
|
|
; L64: subq %rax, %rsp
|
|
|
|
; Freestanding
|
|
; EFI: $[[B0OFS:4096|4104]], %rsp
|
|
; EFI-NOT: call
|
|
|
|
%buf1 = alloca i8, i64 %n, align 1
|
|
|
|
; M64: leaq 15(%{{.*}}), %rax
|
|
; M64: andq $-16, %rax
|
|
; M64: callq ___chkstk_ms
|
|
; M64: subq %rax, %rsp
|
|
; M64: movq %rsp, %rax
|
|
|
|
; W64: leaq 15(%{{.*}}), %rax
|
|
; W64: andq $-16, %rax
|
|
; W64: callq __chkstk
|
|
; W64: subq %rax, %rsp
|
|
; W64: movq %rsp, %rax
|
|
|
|
; L64: leaq 15(%{{.*}}), %rax
|
|
; L64: andq $-16, %rax
|
|
; L64: movabsq $__chkstk, %r11
|
|
; L64: callq *%r11
|
|
; L64: subq %rax, %rsp
|
|
; L64: movq %rsp, %rax
|
|
|
|
; EFI: leaq 15(%{{.*}}), [[R1:%r.*]]
|
|
; EFI: andq $-16, [[R1]]
|
|
; EFI: movq %rsp, [[R64:%r.*]]
|
|
; EFI: subq [[R1]], [[R64]]
|
|
; EFI: movq [[R64]], %rsp
|
|
|
|
%r = call i64 @bar(i64 %n, i64 %x, i64 %n, i8* %buf0, i8* %buf1) nounwind
|
|
|
|
; M64: subq $48, %rsp
|
|
; M64: movq %rax, 32(%rsp)
|
|
; M64: leaq -128(%rbp), %r9
|
|
; M64: callq bar
|
|
|
|
; W64: subq $48, %rsp
|
|
; W64: movq %rax, 32(%rsp)
|
|
; W64: leaq -128(%rbp), %r9
|
|
; W64: callq bar
|
|
|
|
; EFI: subq $48, %rsp
|
|
; EFI: movq [[R64]], 32(%rsp)
|
|
; EFI: leaq -[[B0OFS]](%rbp), %r9
|
|
; EFI: callq _bar
|
|
|
|
ret i64 %r
|
|
|
|
; M64: leaq 3968(%rbp), %rsp
|
|
|
|
; W64: leaq 3968(%rbp), %rsp
|
|
|
|
}
|
|
|
|
define i64 @aligned(i64 %n, i64 %x) nounwind {
|
|
; M64-LABEL: aligned:
|
|
; W64-LABEL: aligned:
|
|
; EFI-LABEL: aligned:
|
|
entry:
|
|
|
|
%buf1 = alloca i8, i64 %n, align 128
|
|
|
|
; M64: leaq 15(%{{.*}}), %rax
|
|
; M64: andq $-16, %rax
|
|
; M64: callq ___chkstk_ms
|
|
; M64: subq %rax, %rsp
|
|
; M64: movq %rsp, [[R2:%r.*]]
|
|
; M64: andq $-128, [[R2]]
|
|
; M64: movq [[R2]], %rsp
|
|
|
|
; W64: leaq 15(%{{.*}}), %rax
|
|
; W64: andq $-16, %rax
|
|
; W64: callq __chkstk
|
|
; W64: subq %rax, %rsp
|
|
; W64: movq %rsp, [[R2:%r.*]]
|
|
; W64: andq $-128, [[R2]]
|
|
; W64: movq [[R2]], %rsp
|
|
|
|
; EFI: leaq 15(%{{.*}}), [[R1:%r.*]]
|
|
; EFI: andq $-16, [[R1]]
|
|
; EFI: movq %rsp, [[R64:%r.*]]
|
|
; EFI: subq [[R1]], [[R64]]
|
|
; EFI: andq $-128, [[R64]]
|
|
; EFI: movq [[R64]], %rsp
|
|
|
|
%r = call i64 @bar(i64 %n, i64 %x, i64 %n, i8* undef, i8* %buf1) nounwind
|
|
|
|
; M64: subq $48, %rsp
|
|
; M64: movq [[R2]], 32(%rsp)
|
|
; M64: callq bar
|
|
|
|
; W64: subq $48, %rsp
|
|
; W64: movq [[R2]], 32(%rsp)
|
|
; W64: callq bar
|
|
|
|
; EFI: subq $48, %rsp
|
|
; EFI: movq [[R64]], 32(%rsp)
|
|
; EFI: callq _bar
|
|
|
|
ret i64 %r
|
|
}
|
|
|
|
declare i64 @bar(i64, i64, i64, i8* nocapture, i8* nocapture) nounwind
|