a414877a7a
This is the x64 equivalent of #121516 Since import call optimization was originally [added to x64 Windows to implement a more efficient retpoline mitigation](https://techcommunity.microsoft.com/blog/windowsosplatform/mitigating-spectre-variant-2-with-retpoline-on-windows/295618) the section and constant names relating to this all mention "retpoline" and we need to mark indirect calls, control-flow guard calls and jumps for jump tables in the section alongside calls to imported functions. As with the AArch64 feature, this emits a new section into the obj which is used by the MSVC linker to generate the Dynamic Value Relocation Table and the section itself does not appear in the final binary. The Windows Loader requires a specific sequence of instructions be emitted when this feature is enabled: * Indirect calls/jumps must have the function pointer to jump to in `rax`. * Calls to imported functions must use the `rex` prefix and be followed by a 5-byte nop. * Indirect calls must be followed by a 3-byte nop.
68 lines
2.1 KiB
LLVM
68 lines
2.1 KiB
LLVM
; RUN: llc -mtriple=x86_64-pc-windows-msvc < %s | FileCheck %s --check-prefix=CHECK
|
|
; RUN: llc --fast-isel -mtriple=x86_64-pc-windows-msvc < %s | FileCheck %s --check-prefix=CHECK
|
|
; RUN: llc --global-isel --global-isel-abort=2 -mtriple=x86_64-pc-windows-msvc < %s | FileCheck %s --check-prefix=CHECK
|
|
|
|
define dso_local void @normal_call(ptr noundef readonly %func_ptr) local_unnamed_addr section "nc_sect" {
|
|
entry:
|
|
call void @a()
|
|
call void @a()
|
|
call void %func_ptr()
|
|
ret void
|
|
}
|
|
; CHECK-LABEL: normal_call:
|
|
; CHECK: .Limpcall0:
|
|
; CHECK-NEXT: rex64
|
|
; CHECK-NEXT: callq __imp_a
|
|
; CHECK-NEXT: nopl 8(%rax,%rax)
|
|
; CHECK-NEXT: .Limpcall1:
|
|
; CHECK-NEXT: rex64
|
|
; CHECK-NEXT: callq __imp_a
|
|
; CHECK-NEXT: nopl 8(%rax,%rax)
|
|
; CHECK-NEXT: movq %rsi, %rax
|
|
; CHECK-NEXT: .Limpcall2:
|
|
; CHECK-NEXT: callq *%rax
|
|
; CHECK-NEXT: nopl (%rax)
|
|
; CHECK-NEXT: nop
|
|
|
|
define dso_local void @tail_call() local_unnamed_addr section "tc_sect" {
|
|
entry:
|
|
tail call void @b()
|
|
ret void
|
|
}
|
|
; CHECK-LABEL: tail_call:
|
|
; CHECK: .Limpcall3:
|
|
; CHECK-NEXT: jmp __imp_b
|
|
|
|
define dso_local void @tail_call_fp(ptr noundef readonly %func_ptr) local_unnamed_addr section "tc_sect" {
|
|
entry:
|
|
tail call void %func_ptr()
|
|
ret void
|
|
}
|
|
; CHECK-LABEL: tail_call_fp:
|
|
; CHECK: movq %rcx, %rax
|
|
; CHECK-NEXT: .Limpcall4:
|
|
; CHECK-NEXT: rex64 jmpq *%rax
|
|
|
|
declare dllimport void @a() local_unnamed_addr
|
|
declare dllimport void @b() local_unnamed_addr
|
|
|
|
; CHECK-LABEL .section .retplne,"yi"
|
|
; CHECK-NEXT .asciz "RetpolineV1"
|
|
; CHECK-NEXT .long 24
|
|
; CHECK-NEXT .secnum tc_sect
|
|
; CHECK-NEXT .long 3
|
|
; CHECK-NEXT .secoffset .Limpcall3
|
|
; CHECK-NEXT .long 5
|
|
; CHECK-NEXT .secoffset .Limpcall4
|
|
; CHECK-NEXT .long 32
|
|
; CHECK-NEXT .secnum nc_sect
|
|
; CHECK-NEXT .long 3
|
|
; CHECK-NEXT .secoffset .Limpcall0
|
|
; CHECK-NEXT .long 3
|
|
; CHECK-NEXT .secoffset .Limpcall1
|
|
; CHECK-NEXT .long 5
|
|
; CHECK-NEXT .secoffset .Limpcall2
|
|
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 1, !"import-call-optimization", i32 1}
|