1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic call operations assemble as expected.
5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 declare i32 @i32_nullary()
9 declare i32 @i32_unary(i32)
10 declare i32 @i32_binary(i32, i32)
11 declare i64 @i64_nullary()
12 declare float @float_nullary()
13 declare double @double_nullary()
14 declare void @void_nullary()
16 ; CHECK-LABEL: call_i32_nullary:
17 ; CHECK-NEXT: .result i32
18 ; CHECK-NEXT: .local i32
19 ; CHECK-NEXT: call $i32_nullary, push{{$}}
20 ; CHECK-NEXT: set_local 0, pop
21 ; CHECK-NEXT: return (get_local 0)
22 define i32 @call_i32_nullary() {
23 %r = call i32 @i32_nullary()
27 ; CHECK-LABEL: call_i64_nullary:
28 ; CHECK-NEXT: .result i64
29 ; CHECK-NEXT: .local i64
30 ; CHECK-NEXT: call $i64_nullary, push{{$}}
31 ; CHECK-NEXT: set_local 0, pop
32 ; CHECK-NEXT: return (get_local 0)
33 define i64 @call_i64_nullary() {
34 %r = call i64 @i64_nullary()
38 ; CHECK-LABEL: call_float_nullary:
39 ; CHECK-NEXT: .result f32
40 ; CHECK-NEXT: .local f32
41 ; CHECK-NEXT: call $float_nullary, push{{$}}
42 ; CHECK-NEXT: set_local 0, pop
43 ; CHECK-NEXT: return (get_local 0)
44 define float @call_float_nullary() {
45 %r = call float @float_nullary()
49 ; CHECK-LABEL: call_double_nullary:
50 ; CHECK-NEXT: .result f64
51 ; CHECK-NEXT: .local f64
52 ; CHECK-NEXT: call $double_nullary, push{{$}}
53 ; CHECK-NEXT: set_local 0, pop
54 ; CHECK-NEXT: return (get_local 0)
55 define double @call_double_nullary() {
56 %r = call double @double_nullary()
60 ; CHECK-LABEL: call_void_nullary:
61 ; CHECK-NEXT: call $void_nullary{{$}}
63 define void @call_void_nullary() {
64 call void @void_nullary()
68 ; CHECK-LABEL: call_i32_unary:
69 ; CHECK-NEXT: .param i32
70 ; CHECK-NEXT: .result i32
71 ; CHECK-NEXT: .local i32, i32
72 ; CHECK-NEXT: get_local push, 0
73 ; CHECK-NEXT: set_local 1, pop
74 ; CHECK-NEXT: call $i32_unary, push, (get_local 1){{$}}
75 ; CHECK-NEXT: set_local 2, pop
76 ; CHECK-NEXT: return (get_local 2)
77 define i32 @call_i32_unary(i32 %a) {
78 %r = call i32 @i32_unary(i32 %a)
82 ; CHECK-LABEL: call_i32_binary:
83 ; CHECK-NEXT: .param i32
84 ; CHECK-NEXT: .param i32
85 ; CHECK-NEXT: .result i32
86 ; CHECK-NEXT: .local i32, i32, i32
87 ; CHECK-NEXT: get_local push, 1
88 ; CHECK-NEXT: set_local 2, pop
89 ; CHECK-NEXT: get_local push, 0
90 ; CHECK-NEXT: set_local 3, pop
91 ; CHECK-NEXT: call $i32_binary, push, (get_local 3), (get_local 2){{$}}
92 ; CHECK-NEXT: set_local 4, pop
93 ; CHECK-NEXT: return (get_local 4)
94 define i32 @call_i32_binary(i32 %a, i32 %b) {
95 %r = call i32 @i32_binary(i32 %a, i32 %b)
99 ; CHECK-LABEL: call_indirect_void:
100 ; CHECK-NEXT: .param i32
101 ; CHECK-NEXT: .local i32
102 ; CHECK-NEXT: get_local push, 0
103 ; CHECK-NEXT: set_local 1, pop
104 ; CHECK-NEXT: call_indirect (get_local 1){{$}}
106 define void @call_indirect_void(void ()* %callee) {
111 ; CHECK-LABEL: call_indirect_i32:
112 ; CHECK-NEXT: .param i32
113 ; CHECK-NEXT: .result i32
114 ; CHECK-NEXT: .local i32, i32
115 ; CHECK-NEXT: get_local push, 0
116 ; CHECK-NEXT: set_local 1, pop
117 ; CHECK-NEXT: call_indirect (get_local 1), push{{$}}
118 ; CHECK-NEXT: set_local 2, pop
119 ; CHECK-NEXT: return (get_local 2)
120 define i32 @call_indirect_i32(i32 ()* %callee) {
121 %t = call i32 %callee()
125 ; CHECK-LABEL: tail_call_void_nullary:
126 ; CHECK-NEXT: call $void_nullary{{$}}
127 ; CHECK-NEXT: return{{$}}
128 define void @tail_call_void_nullary() {
129 tail call void @void_nullary()
133 ; CHECK-LABEL: fastcc_tail_call_void_nullary:
134 ; CHECK-NEXT: call $void_nullary{{$}}
135 ; CHECK-NEXT: return{{$}}
136 define void @fastcc_tail_call_void_nullary() {
137 tail call fastcc void @void_nullary()
141 ; CHECK-LABEL: coldcc_tail_call_void_nullary:
142 ; CHECK-NEXT: call $void_nullary
143 ; CHECK-NEXT: return{{$}}
144 define void @coldcc_tail_call_void_nullary() {
145 tail call coldcc void @void_nullary()
149 ; FIXME test the following:
150 ; - More argument combinations.
152 ; - Interesting returns (struct, multiple).