blob: 64f8f7d4853dbc54d42d2d0e4936cafb4a32465e [file] [log] [blame]
Dan Gohman10e730a2015-06-29 23:51:55 +00001//==- WebAssemblyMCTargetDesc.h - WebAssembly Target Descriptions -*- C++ -*-=//
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 This file provides WebAssembly-specific target descriptions.
12///
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_LIB_TARGET_WEBASSEMBLY_MCTARGETDESC_WEBASSEMBLYMCTARGETDESC_H
16#define LLVM_LIB_TARGET_WEBASSEMBLY_MCTARGETDESC_WEBASSEMBLYMCTARGETDESC_H
17
Dan Gohmana11fb232016-01-12 03:09:16 +000018#include "llvm/MC/MCInstrDesc.h"
Dan Gohman10e730a2015-06-29 23:51:55 +000019#include "llvm/Support/DataTypes.h"
Dan Gohman10e730a2015-06-29 23:51:55 +000020
21namespace llvm {
22
Dan Gohman10e730a2015-06-29 23:51:55 +000023class MCAsmBackend;
24class MCCodeEmitter;
25class MCContext;
26class MCInstrInfo;
Dan Gohman10e730a2015-06-29 23:51:55 +000027class MCObjectWriter;
Dan Gohman10e730a2015-06-29 23:51:55 +000028class MCSubtargetInfo;
Dan Gohman3acb1872016-10-24 23:27:49 +000029class MVT;
Dan Gohman10e730a2015-06-29 23:51:55 +000030class Target;
31class Triple;
Dan Gohman53828fd2015-11-23 16:50:18 +000032class raw_pwrite_stream;
Dan Gohman10e730a2015-06-29 23:51:55 +000033
Mehdi Aminif42454b2016-10-09 23:00:34 +000034Target &getTheWebAssemblyTarget32();
35Target &getTheWebAssemblyTarget64();
Dan Gohman10e730a2015-06-29 23:51:55 +000036
Dan Gohmancff79832016-01-19 21:31:41 +000037MCCodeEmitter *createWebAssemblyMCCodeEmitter(const MCInstrInfo &MCII);
Dan Gohman53828fd2015-11-23 16:50:18 +000038
Dan Gohmancceedf72016-01-08 00:43:54 +000039MCAsmBackend *createWebAssemblyAsmBackend(const Triple &TT);
Dan Gohman10e730a2015-06-29 23:51:55 +000040
Dan Gohman05ac43f2015-12-17 01:39:00 +000041MCObjectWriter *createWebAssemblyELFObjectWriter(raw_pwrite_stream &OS,
42 bool Is64Bit, uint8_t OSABI);
43
Dan Gohmana11fb232016-01-12 03:09:16 +000044namespace WebAssembly {
45enum OperandType {
46 /// Basic block label in a branch construct.
47 OPERAND_BASIC_BLOCK = MCOI::OPERAND_FIRST_TARGET,
Dan Gohman4fc4e422016-10-24 19:49:43 +000048 /// Local index.
49 OPERAND_LOCAL,
Dan Gohmanb89f2d32017-02-02 19:29:44 +000050 /// Global index.
51 OPERAND_GLOBAL,
Dan Gohman5a68ec72016-10-05 21:24:08 +000052 /// 32-bit integer immediates.
53 OPERAND_I32IMM,
54 /// 64-bit integer immediates.
55 OPERAND_I64IMM,
Dan Gohmanaa742912016-02-16 15:14:23 +000056 /// 32-bit floating-point immediates.
Dan Gohman4b8e8be2016-10-03 21:31:31 +000057 OPERAND_F32IMM,
Dan Gohmanaa742912016-02-16 15:14:23 +000058 /// 64-bit floating-point immediates.
Dan Gohman4b8e8be2016-10-03 21:31:31 +000059 OPERAND_F64IMM,
Dan Gohman00d734d2016-12-23 03:23:52 +000060 /// 32-bit unsigned function indices.
61 OPERAND_FUNCTION32,
62 /// 32-bit unsigned memory offsets.
63 OPERAND_OFFSET32,
Dan Gohmanbb372242016-01-26 03:39:31 +000064 /// p2align immediate for load and store address alignment.
Dan Gohman2726b882016-10-06 22:29:32 +000065 OPERAND_P2ALIGN,
66 /// signature immediate for block/loop.
67 OPERAND_SIGNATURE
Dan Gohmana11fb232016-01-12 03:09:16 +000068};
69} // end namespace WebAssembly
70
71namespace WebAssemblyII {
72enum {
73 // For variadic instructions, this flag indicates whether an operand
74 // in the variable_ops range is an immediate value.
Dan Gohman3469ee12016-01-12 20:30:51 +000075 VariableOpIsImmediate = (1 << 0),
Dan Gohman1d68e80f2016-01-12 19:14:46 +000076 // For immediate values in the variable_ops range, this flag indicates
77 // whether the value represents a control-flow label.
Dan Gohman3acb1872016-10-24 23:27:49 +000078 VariableOpImmediateIsLabel = (1 << 1)
Dan Gohmana11fb232016-01-12 03:09:16 +000079};
80} // end namespace WebAssemblyII
81
Dan Gohman10e730a2015-06-29 23:51:55 +000082} // end namespace llvm
83
84// Defines symbolic names for WebAssembly registers. This defines a mapping from
85// register name to register number.
86//
JF Bastien5ca0bac2015-07-10 18:23:10 +000087#define GET_REGINFO_ENUM
88#include "WebAssemblyGenRegisterInfo.inc"
89
JF Bastienb9073fb2015-07-22 21:28:15 +000090// Defines symbolic names for the WebAssembly instructions.
91//
92#define GET_INSTRINFO_ENUM
93#include "WebAssemblyGenInstrInfo.inc"
94
Dan Gohman10e730a2015-06-29 23:51:55 +000095#define GET_SUBTARGETINFO_ENUM
96#include "WebAssemblyGenSubtargetInfo.inc"
97
Dan Gohmanbb372242016-01-26 03:39:31 +000098namespace llvm {
99namespace WebAssembly {
100
101/// Return the default p2align value for a load or store with the given opcode.
102inline unsigned GetDefaultP2Align(unsigned Opcode) {
103 switch (Opcode) {
104 case WebAssembly::LOAD8_S_I32:
105 case WebAssembly::LOAD8_U_I32:
106 case WebAssembly::LOAD8_S_I64:
107 case WebAssembly::LOAD8_U_I64:
108 case WebAssembly::STORE8_I32:
109 case WebAssembly::STORE8_I64:
110 return 0;
111 case WebAssembly::LOAD16_S_I32:
112 case WebAssembly::LOAD16_U_I32:
113 case WebAssembly::LOAD16_S_I64:
114 case WebAssembly::LOAD16_U_I64:
115 case WebAssembly::STORE16_I32:
116 case WebAssembly::STORE16_I64:
117 return 1;
118 case WebAssembly::LOAD_I32:
119 case WebAssembly::LOAD_F32:
120 case WebAssembly::STORE_I32:
121 case WebAssembly::STORE_F32:
122 case WebAssembly::LOAD32_S_I64:
123 case WebAssembly::LOAD32_U_I64:
124 case WebAssembly::STORE32_I64:
125 return 2;
126 case WebAssembly::LOAD_I64:
127 case WebAssembly::LOAD_F64:
128 case WebAssembly::STORE_I64:
129 case WebAssembly::STORE_F64:
130 return 3;
Derek Schuffc64d7652016-08-01 22:25:02 +0000131 default:
132 llvm_unreachable("Only loads and stores have p2align values");
Dan Gohmanbb372242016-01-26 03:39:31 +0000133 }
134}
135
Derek Schuffc97ba932016-01-30 21:43:08 +0000136/// The operand number of the load or store address in load/store instructions.
Dan Gohman48abaa92016-10-25 00:17:11 +0000137static const unsigned LoadAddressOperandNo = 3;
138static const unsigned StoreAddressOperandNo = 2;
Dan Gohman7f1bdb22016-10-06 22:08:28 +0000139
140/// The operand number of the load or store p2align in load/store instructions.
Dan Gohman48abaa92016-10-25 00:17:11 +0000141static const unsigned LoadP2AlignOperandNo = 1;
142static const unsigned StoreP2AlignOperandNo = 0;
Dan Gohmanbb372242016-01-26 03:39:31 +0000143
Dan Gohman2726b882016-10-06 22:29:32 +0000144/// This is used to indicate block signatures.
Dan Gohman4fc4e422016-10-24 19:49:43 +0000145enum class ExprType {
Dan Gohman3acb1872016-10-24 23:27:49 +0000146 Void = 0x40,
147 I32 = 0x7f,
148 I64 = 0x7e,
149 F32 = 0x7d,
150 F64 = 0x7c,
151 I8x16 = 0x7b,
152 I16x8 = 0x7a,
153 I32x4 = 0x79,
154 F32x4 = 0x78,
155 B8x16 = 0x77,
156 B16x8 = 0x76,
157 B32x4 = 0x75
Dan Gohman2726b882016-10-06 22:29:32 +0000158};
159
Dan Gohman4fc4e422016-10-24 19:49:43 +0000160/// This is used to indicate local types.
161enum class ValType {
Dan Gohman3acb1872016-10-24 23:27:49 +0000162 I32 = 0x7f,
163 I64 = 0x7e,
164 F32 = 0x7d,
165 F64 = 0x7c,
166 I8x16 = 0x7b,
167 I16x8 = 0x7a,
168 I32x4 = 0x79,
169 F32x4 = 0x78,
170 B8x16 = 0x77,
171 B16x8 = 0x76,
172 B32x4 = 0x75
Dan Gohman4fc4e422016-10-24 19:49:43 +0000173};
174
Dan Gohman3acb1872016-10-24 23:27:49 +0000175/// Instruction opcodes emitted via means other than CodeGen.
176static const unsigned Nop = 0x01;
177static const unsigned End = 0x0b;
178
179ValType toValType(const MVT &Ty);
180
Dan Gohmanbb372242016-01-26 03:39:31 +0000181} // end namespace WebAssembly
182} // end namespace llvm
183
Dan Gohman10e730a2015-06-29 23:51:55 +0000184#endif