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: call i32_nullary, $push[[NUM:[0-9]+]]{{$}}
19 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
20 define i32 @call_i32_nullary() {
21 %r = call i32 @i32_nullary()
25 ; CHECK-LABEL: call_i64_nullary:
26 ; CHECK-NEXT: .result i64
27 ; CHECK-NEXT: call i64_nullary, $push[[NUM:[0-9]+]]{{$}}
28 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
29 define i64 @call_i64_nullary() {
30 %r = call i64 @i64_nullary()
34 ; CHECK-LABEL: call_float_nullary:
35 ; CHECK-NEXT: .result f32
36 ; CHECK-NEXT: call float_nullary, $push[[NUM:[0-9]+]]{{$}}
37 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
38 define float @call_float_nullary() {
39 %r = call float @float_nullary()
43 ; CHECK-LABEL: call_double_nullary:
44 ; CHECK-NEXT: .result f64
45 ; CHECK-NEXT: call double_nullary, $push[[NUM:[0-9]+]]{{$}}
46 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
47 define double @call_double_nullary() {
48 %r = call double @double_nullary()
52 ; CHECK-LABEL: call_void_nullary:
53 ; CHECK-NEXT: call void_nullary{{$}}
54 ; CHECK-NEXT: return{{$}}
55 define void @call_void_nullary() {
56 call void @void_nullary()
60 ; CHECK-LABEL: call_i32_unary:
61 ; CHECK-NEXT: .param i32
62 ; CHECK-NEXT: .result i32
63 ; CHECK-NEXT: call i32_unary, $push[[NUM:[0-9]+]], $0{{$}}
64 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
65 define i32 @call_i32_unary(i32 %a) {
66 %r = call i32 @i32_unary(i32 %a)
70 ; CHECK-LABEL: call_i32_binary:
71 ; CHECK-NEXT: .param i32
72 ; CHECK-NEXT: .param i32
73 ; CHECK-NEXT: .result i32
74 ; CHECK-NEXT: call i32_binary, $push[[NUM:[0-9]+]], $0, $1{{$}}
75 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
76 define i32 @call_i32_binary(i32 %a, i32 %b) {
77 %r = call i32 @i32_binary(i32 %a, i32 %b)
81 ; CHECK-LABEL: call_indirect_void:
82 ; CHECK-NEXT: .param i32
83 ; CHECK-NEXT: call_indirect $0{{$}}
84 ; CHECK-NEXT: return{{$}}
85 define void @call_indirect_void(void ()* %callee) {
90 ; CHECK-LABEL: call_indirect_i32:
91 ; CHECK-NEXT: .param i32
92 ; CHECK-NEXT: .result i32
93 ; CHECK-NEXT: call_indirect $0, $push[[NUM:[0-9]+]]{{$}}
94 ; CHECK-NEXT: return $pop[[NUM]]{{$}}
95 define i32 @call_indirect_i32(i32 ()* %callee) {
96 %t = call i32 %callee()
100 ; CHECK-LABEL: tail_call_void_nullary:
101 ; CHECK-NEXT: call void_nullary{{$}}
102 ; CHECK-NEXT: return{{$}}
103 define void @tail_call_void_nullary() {
104 tail call void @void_nullary()
108 ; CHECK-LABEL: fastcc_tail_call_void_nullary:
109 ; CHECK-NEXT: call void_nullary{{$}}
110 ; CHECK-NEXT: return{{$}}
111 define void @fastcc_tail_call_void_nullary() {
112 tail call fastcc void @void_nullary()
116 ; CHECK-LABEL: coldcc_tail_call_void_nullary:
117 ; CHECK-NEXT: call void_nullary
118 ; CHECK-NEXT: return{{$}}
119 define void @coldcc_tail_call_void_nullary() {
120 tail call coldcc void @void_nullary()
124 ; FIXME test the following:
125 ; - More argument combinations.
127 ; - Interesting returns (struct, multiple).