xref: /llvm-project/llvm/test/CodeGen/X86/cfguard-x86-vectorcall.ll (revision 1d8c8f11699ef03e8cc299245a16b2bd141b2ba7)
1; RUN: llc < %s -mtriple=i686-pc-windows-msvc | FileCheck %s -check-prefix=X86
2; RUN: llc < %s -mtriple=i686-w64-windows-gnu | FileCheck %s -check-prefix=X86
3; Control Flow Guard is currently only available on Windows
4
5
6; Test that Control Flow Guard checks are correctly added for x86 vector calls.
7define void @func_cf_vector_x86(ptr %0, ptr %1) #0 {
8entry:
9  %2 = alloca %struct.HVA, align 8
10  call void @llvm.memcpy.p0.p0.i32(ptr align 8 %2, ptr align 8 %1, i32 32, i1 false)
11  %3 = load %struct.HVA, ptr %2, align 8
12  call x86_vectorcallcc void %0(%struct.HVA inreg %3)
13  ret void
14
15  ; X86-LABEL: func_cf_vector_x86
16  ; X86: 	     movl 12(%ebp), %eax
17  ; X86: 	     movl 8(%ebp), %ecx
18  ; X86: 	     movsd 24(%eax), %xmm4         # xmm4 = mem[0],zero
19  ; X86: 	     movsd %xmm4, 24(%esp)
20  ; X86: 	     movsd 16(%eax), %xmm5         # xmm5 = mem[0],zero
21  ; X86: 	     movsd %xmm5, 16(%esp)
22  ; X86: 	     movsd (%eax), %xmm6           # xmm6 = mem[0],zero
23  ; X86: 	     movsd 8(%eax), %xmm7          # xmm7 = mem[0],zero
24  ; X86: 	     movsd %xmm7, 8(%esp)
25  ; X86: 	     movsd %xmm6, (%esp)
26  ; X86: 	     calll *___guard_check_icall_fptr
27  ; X86: 	     movaps %xmm6, %xmm0
28  ; X86: 	     movaps %xmm7, %xmm1
29  ; X86: 	     movaps %xmm5, %xmm2
30  ; X86: 	     movaps %xmm4, %xmm3
31  ; X86: 	     calll  *%ecx
32}
33attributes #0 = { "target-cpu"="pentium4" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" }
34
35%struct.HVA = type { double, double, double, double }
36
37declare void @llvm.memcpy.p0.p0.i32(ptr nocapture writeonly, ptr nocapture readonly, i32, i1 immarg) #1
38attributes #1 = { argmemonly nounwind willreturn }
39
40
41!llvm.module.flags = !{!0}
42!0 = !{i32 2, !"cfguard", i32 2}
43