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-v128:8:128-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 declare i32 @i32_nullary()
9 declare i32 @i32_unary(i32)
10 declare i64 @i64_nullary()
11 declare float @float_nullary()
12 declare double @double_nullary()
14 ; CHECK-LABEL: (func $call_i32_nullary
15 ; CHECK-NEXT: (result i32)
16 ; CHECK-NEXT: (setlocal @0 (global $i32_nullary))
17 ; CHECK-NEXT: (setlocal @1 (call @0))
18 ; CHECK-NEXT: (return @1)
19 define i32 @call_i32_nullary() {
20 %r = call i32 @i32_nullary()
24 ; CHECK-LABEL: (func $call_i64_nullary
25 ; CHECK-NEXT: (result i64)
26 ; CHECK-NEXT: (setlocal @0 (global $i64_nullary))
27 ; CHECK-NEXT: (setlocal @1 (call @0))
28 ; CHECK-NEXT: (return @1)
29 define i64 @call_i64_nullary() {
30 %r = call i64 @i64_nullary()
34 ; CHECK-LABEL: (func $call_float_nullary
35 ; CHECK-NEXT: (result f32)
36 ; CHECK-NEXT: (setlocal @0 (global $float_nullary))
37 ; CHECK-NEXT: (setlocal @1 (call @0))
38 ; CHECK-NEXT: (return @1)
39 define float @call_float_nullary() {
40 %r = call float @float_nullary()
44 ; CHECK-LABEL: (func $call_double_nullary
45 ; CHECK-NEXT: (result f64)
46 ; CHECK-NEXT: (setlocal @0 (global $double_nullary))
47 ; CHECK-NEXT: (setlocal @1 (call @0))
48 ; CHECK-NEXT: (return @1)
49 define double @call_double_nullary() {
50 %r = call double @double_nullary()
54 ; CHECK-LABEL: (func $call_i32_unary
55 ; CHECK-NEXT: (param i32) (result i32)
56 ; CHECK-NEXT: (setlocal @0 (argument 0))
57 ; CHECK-NEXT: (setlocal @1 (global $i32_unary))
58 ; CHECK-NEXT: (setlocal @2 (call @1 @0))
59 ; CHECK-NEXT: (return @2)
60 define i32 @call_i32_unary(i32 %a) {
61 %r = call i32 @i32_unary(i32 %a)
65 ; FIXME test the following:
66 ; - Functions without return.
67 ; - More argument combinations.
69 ; - Interesting returns (struct, multiple).