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: call i32_unary, $push, (get_local 0){{$}}
73 ; CHECK-NEXT: set_local 1, $pop
74 ; CHECK-NEXT: return (get_local 1)
75 define i32 @call_i32_unary(i32 %a) {
76 %r = call i32 @i32_unary(i32 %a)
80 ; CHECK-LABEL: call_i32_binary:
81 ; CHECK-NEXT: .param i32
82 ; CHECK-NEXT: .param i32
83 ; CHECK-NEXT: .result i32
84 ; CHECK-NEXT: .local i32, i32, i32
85 ; CHECK-NEXT: call i32_binary, $push, (get_local 0), (get_local 1){{$}}
86 ; CHECK-NEXT: set_local 2, $pop
87 ; CHECK-NEXT: return (get_local 2)
88 define i32 @call_i32_binary(i32 %a, i32 %b) {
89 %r = call i32 @i32_binary(i32 %a, i32 %b)
93 ; CHECK-LABEL: call_indirect_void:
94 ; CHECK-NEXT: .param i32
95 ; CHECK-NEXT: .local i32
96 ; CHECK-NEXT: call_indirect (get_local 0){{$}}
98 define void @call_indirect_void(void ()* %callee) {
103 ; CHECK-LABEL: call_indirect_i32:
104 ; CHECK-NEXT: .param i32
105 ; CHECK-NEXT: .result i32
106 ; CHECK-NEXT: .local i32, i32
107 ; CHECK-NEXT: call_indirect (get_local 0), $push{{$}}
108 ; CHECK-NEXT: set_local 1, $pop
109 ; CHECK-NEXT: return (get_local 1)
110 define i32 @call_indirect_i32(i32 ()* %callee) {
111 %t = call i32 %callee()
115 ; CHECK-LABEL: tail_call_void_nullary:
116 ; CHECK-NEXT: call void_nullary{{$}}
117 ; CHECK-NEXT: return{{$}}
118 define void @tail_call_void_nullary() {
119 tail call void @void_nullary()
123 ; CHECK-LABEL: fastcc_tail_call_void_nullary:
124 ; CHECK-NEXT: call void_nullary{{$}}
125 ; CHECK-NEXT: return{{$}}
126 define void @fastcc_tail_call_void_nullary() {
127 tail call fastcc void @void_nullary()
131 ; CHECK-LABEL: coldcc_tail_call_void_nullary:
132 ; CHECK-NEXT: call void_nullary
133 ; CHECK-NEXT: return{{$}}
134 define void @coldcc_tail_call_void_nullary() {
135 tail call coldcc void @void_nullary()
139 ; FIXME test the following:
140 ; - More argument combinations.
142 ; - Interesting returns (struct, multiple).