106 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple x86_64-w64-mingw32 %s -o - | FileCheck %s3 4declare void @foo(ptr byval({ float, double }))5@G = external constant { float, double }6 7define void @bar() {8; Make sure we're creating a temporary stack slot, rather than just passing9; the pointer through unmodified.10; CHECK-LABEL: bar:11; CHECK: # %bb.0:12; CHECK-NEXT: subq $56, %rsp13; CHECK-NEXT: .seh_stackalloc 5614; CHECK-NEXT: .seh_endprologue15; CHECK-NEXT: movq .refptr.G(%rip), %rax16; CHECK-NEXT: movq (%rax), %rcx17; CHECK-NEXT: movq 8(%rax), %rax18; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)19; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)20; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rcx21; CHECK-NEXT: callq foo22; CHECK-NEXT: nop23; CHECK-NEXT: .seh_startepilogue24; CHECK-NEXT: addq $56, %rsp25; CHECK-NEXT: .seh_endepilogue26; CHECK-NEXT: retq27; CHECK-NEXT: .seh_endproc28 call void @foo(ptr byval({ float, double }) @G)29 ret void30}31 32define void @baz(ptr byval({ float, double }) %arg) {33; On Win64 the byval is effectively ignored on declarations, since we do34; pass a real pointer in registers. However, by our semantics if we pass35; the pointer on to another byval function, we do need to make a copy.36; CHECK-LABEL: baz:37; CHECK: # %bb.0:38; CHECK-NEXT: subq $56, %rsp39; CHECK-NEXT: .seh_stackalloc 5640; CHECK-NEXT: .seh_endprologue41; CHECK-NEXT: movq (%rcx), %rax42; CHECK-NEXT: movq 8(%rcx), %rcx43; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)44; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)45; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rcx46; CHECK-NEXT: callq foo47; CHECK-NEXT: nop48; CHECK-NEXT: .seh_startepilogue49; CHECK-NEXT: addq $56, %rsp50; CHECK-NEXT: .seh_endepilogue51; CHECK-NEXT: retq52; CHECK-NEXT: .seh_endproc53 call void @foo(ptr byval({ float, double }) %arg)54 ret void55}56 57declare void @foo2(ptr byval({ float, double }), ptr byval({ float, double }), ptr byval({ float, double }), ptr byval({ float, double }), ptr byval({ float, double }), i64 %f)58@data = external constant { float, double }59 60define void @test() {61; CHECK-LABEL: test:62; CHECK: # %bb.0:63; CHECK-NEXT: subq $136, %rsp64; CHECK-NEXT: .seh_stackalloc 13665; CHECK-NEXT: .seh_endprologue66; CHECK-NEXT: movq .refptr.G(%rip), %rax67; CHECK-NEXT: movq (%rax), %rcx68; CHECK-NEXT: movq 8(%rax), %rax69; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)70; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)71; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)72; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)73; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)74; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)75; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)76; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)77; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)78; CHECK-NEXT: movq %rcx, {{[0-9]+}}(%rsp)79; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rax80; CHECK-NEXT: movq %rax, {{[0-9]+}}(%rsp)81; CHECK-NEXT: movq $10, {{[0-9]+}}(%rsp)82; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rcx83; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rdx84; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %r885; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %r986; CHECK-NEXT: callq foo287; CHECK-NEXT: nop88; CHECK-NEXT: .seh_startepilogue89; CHECK-NEXT: addq $136, %rsp90; CHECK-NEXT: .seh_endepilogue91; CHECK-NEXT: retq92; CHECK-NEXT: .seh_endproc93 call void @foo2(ptr byval({ float, double }) @G, ptr byval({ float, double }) @G, ptr byval({ float, double }) @G, ptr byval({ float, double }) @G, ptr byval({ float, double }) @G, i64 10)94 ret void95}96 97define i64 @receive_byval_arg_via_stack_arg(ptr byval(i64), ptr byval(i64), ptr byval(i64), ptr byval(i64), ptr byval(i64) %x) {98; CHECK-LABEL: receive_byval_arg_via_stack_arg:99; CHECK: # %bb.0:100; CHECK-NEXT: movq {{[0-9]+}}(%rsp), %rax101; CHECK-NEXT: movq (%rax), %rax102; CHECK-NEXT: retq103 %r = load i64, ptr %x104 ret i64 %r105}106