• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc < %s | FileCheck %s
2
3; Based on this C++:
4; struct A {
5;   int x;
6;   A();
7;   A(const A &a);
8;   ~A();
9; };
10; extern "C" void takes_two(A a1, A a2);
11; extern "C" void passes_two() { takes_two(A(), A()); }
12
13target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
14target triple = "i686--windows-msvc"
15
16%struct.A = type { i32 }
17
18define void @passes_two() #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
19entry:
20  %argmem = alloca inalloca <{ %struct.A, %struct.A }>, align 4
21  %0 = getelementptr inbounds <{ %struct.A, %struct.A }>, <{ %struct.A, %struct.A }>* %argmem, i32 0, i32 1
22  %call = call x86_thiscallcc %struct.A* @"\01??0A@@QAE@XZ"(%struct.A* %0)
23  %1 = getelementptr inbounds <{ %struct.A, %struct.A }>, <{ %struct.A, %struct.A }>* %argmem, i32 0, i32 0
24  %call1 = invoke x86_thiscallcc %struct.A* @"\01??0A@@QAE@XZ"(%struct.A* %1)
25          to label %invoke.cont unwind label %ehcleanup
26
27invoke.cont:                                      ; preds = %entry
28  call void @takes_two(<{ %struct.A, %struct.A }>* inalloca nonnull %argmem)
29  ret void
30
31ehcleanup:                                        ; preds = %entry
32  %2 = cleanuppad within none []
33  call x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A* %0) [ "funclet"(token %2) ]
34  cleanupret from %2 unwind to caller
35}
36
37; CHECK: _passes_two:
38; CHECK: pushl %ebp
39; CHECK: movl %esp, %ebp
40; CHECK: subl ${{[0-9]+}}, %esp
41; CHECK: pushl %eax
42; CHECK: pushl %eax
43; CHECK: calll "??0A@@QAE@XZ"
44; CHECK: calll "??0A@@QAE@XZ"
45; CHECK: calll _takes_two
46; 	ESP must be restored via EBP due to "dynamic" alloca.
47; CHECK: leal -{{[0-9]+}}(%ebp), %esp
48; CHECK: popl %ebp
49; CHECK: retl
50
51; CHECK: "?dtor$2@?0?passes_two@4HA":
52; CHECK: pushl %ebp
53; CHECK: subl $8, %esp
54; CHECK: addl $12, %ebp
55; CHECK: {{movl|leal}} -{{[0-9]+}}(%ebp), %ecx
56; CHECK: calll "??1A@@QAE@XZ"
57; CHECK: addl $8, %esp
58; CHECK: retl
59
60declare void @takes_two(<{ %struct.A, %struct.A }>* inalloca) #0
61
62declare x86_thiscallcc %struct.A* @"\01??0A@@QAE@XZ"(%struct.A* returned) #0
63
64declare i32 @__CxxFrameHandler3(...)
65
66declare x86_thiscallcc void @"\01??1A@@QAE@XZ"(%struct.A*) #0
67
68attributes #0 = { "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
69