1//===- WebAssemblyInstrCall.td-WebAssembly Call codegen support -*- tablegen -*- 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9/// 10/// \file 11/// \brief WebAssembly Call operand code-gen constructs. 12/// 13//===----------------------------------------------------------------------===// 14 15// TODO: addr64: These currently assume the callee address is 32-bit. 16 17let Defs = [ARGUMENTS] in { 18 19// Call sequence markers. These have an immediate which represents the amount of 20// stack space to allocate or free, which is used for varargs lowering. 21let Uses = [SP32, SP64], Defs = [SP32, SP64], isCodeGenOnly = 1 in { 22def ADJCALLSTACKDOWN : I<(outs), (ins i32imm:$amt), 23 [(WebAssemblycallseq_start timm:$amt)]>; 24def ADJCALLSTACKUP : I<(outs), (ins i32imm:$amt, i32imm:$amt2), 25 [(WebAssemblycallseq_end timm:$amt, timm:$amt2)]>; 26} // isCodeGenOnly = 1 27 28multiclass CALL<WebAssemblyRegClass vt, string prefix> { 29 def CALL_#vt : I<(outs vt:$dst), (ins i32imm:$callee, variable_ops), 30 [(set vt:$dst, (WebAssemblycall1 (i32 imm:$callee)))], 31 !strconcat(prefix, "call\t$dst, $callee")>; 32 def CALL_INDIRECT_#vt : I<(outs vt:$dst), (ins I32:$callee, variable_ops), 33 [(set vt:$dst, (WebAssemblycall1 I32:$callee))], 34 !strconcat(prefix, "call_indirect\t$dst, $callee")>; 35} 36let Uses = [SP32, SP64], isCall = 1 in { 37 defm : CALL<I32, "i32.">; 38 defm : CALL<I64, "i64.">; 39 defm : CALL<F32, "f32.">; 40 defm : CALL<F64, "f64.">; 41 42 def CALL_VOID : I<(outs), (ins i32imm:$callee, variable_ops), 43 [(WebAssemblycall0 (i32 imm:$callee))], 44 "call \t$callee">; 45 def CALL_INDIRECT_VOID : I<(outs), (ins I32:$callee, variable_ops), 46 [(WebAssemblycall0 I32:$callee)], 47 "call_indirect\t$callee">; 48} // Uses = [SP32,SP64], isCall = 1 49 50} // Defs = [ARGUMENTS] 51 52// Patterns for matching a direct call to a global address. 53def : Pat<(i32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))), 54 (CALL_I32 tglobaladdr:$callee)>; 55def : Pat<(i64 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))), 56 (CALL_I64 tglobaladdr:$callee)>; 57def : Pat<(f32 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))), 58 (CALL_F32 tglobaladdr:$callee)>; 59def : Pat<(f64 (WebAssemblycall1 (WebAssemblywrapper tglobaladdr:$callee))), 60 (CALL_F64 tglobaladdr:$callee)>; 61def : Pat<(WebAssemblycall0 (WebAssemblywrapper tglobaladdr:$callee)), 62 (CALL_VOID tglobaladdr:$callee)>; 63 64// Patterns for matching a direct call to an external symbol. 65def : Pat<(i32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))), 66 (CALL_I32 texternalsym:$callee)>; 67def : Pat<(i64 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))), 68 (CALL_I64 texternalsym:$callee)>; 69def : Pat<(f32 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))), 70 (CALL_F32 texternalsym:$callee)>; 71def : Pat<(f64 (WebAssemblycall1 (WebAssemblywrapper texternalsym:$callee))), 72 (CALL_F64 texternalsym:$callee)>; 73def : Pat<(WebAssemblycall0 (WebAssemblywrapper texternalsym:$callee)), 74 (CALL_VOID texternalsym:$callee)>; 75