123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488 |
- //==- WebAssemblyMCTargetDesc.h - WebAssembly Target Descriptions -*- C++ -*-=//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- ///
- /// \file
- /// This file provides WebAssembly-specific target descriptions.
- ///
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_LIB_TARGET_WEBASSEMBLY_MCTARGETDESC_WEBASSEMBLYMCTARGETDESC_H
- #define LLVM_LIB_TARGET_WEBASSEMBLY_MCTARGETDESC_WEBASSEMBLYMCTARGETDESC_H
- #include "../WebAssemblySubtarget.h"
- #include "llvm/BinaryFormat/Wasm.h"
- #include "llvm/MC/MCInstrDesc.h"
- #include "llvm/Support/DataTypes.h"
- #include <memory>
- namespace llvm {
- class MCAsmBackend;
- class MCCodeEmitter;
- class MCInstrInfo;
- class MCObjectTargetWriter;
- class Triple;
- MCCodeEmitter *createWebAssemblyMCCodeEmitter(const MCInstrInfo &MCII);
- MCAsmBackend *createWebAssemblyAsmBackend(const Triple &TT);
- std::unique_ptr<MCObjectTargetWriter>
- createWebAssemblyWasmObjectWriter(bool Is64Bit, bool IsEmscripten);
- namespace WebAssembly {
- enum OperandType {
- /// Basic block label in a branch construct.
- OPERAND_BASIC_BLOCK = MCOI::OPERAND_FIRST_TARGET,
- /// Local index.
- OPERAND_LOCAL,
- /// Global index.
- OPERAND_GLOBAL,
- /// 32-bit integer immediates.
- OPERAND_I32IMM,
- /// 64-bit integer immediates.
- OPERAND_I64IMM,
- /// 32-bit floating-point immediates.
- OPERAND_F32IMM,
- /// 64-bit floating-point immediates.
- OPERAND_F64IMM,
- /// 8-bit vector lane immediate
- OPERAND_VEC_I8IMM,
- /// 16-bit vector lane immediate
- OPERAND_VEC_I16IMM,
- /// 32-bit vector lane immediate
- OPERAND_VEC_I32IMM,
- /// 64-bit vector lane immediate
- OPERAND_VEC_I64IMM,
- /// 32-bit unsigned function indices.
- OPERAND_FUNCTION32,
- /// 32-bit unsigned memory offsets.
- OPERAND_OFFSET32,
- /// 64-bit unsigned memory offsets.
- OPERAND_OFFSET64,
- /// p2align immediate for load and store address alignment.
- OPERAND_P2ALIGN,
- /// signature immediate for block/loop.
- OPERAND_SIGNATURE,
- /// type signature immediate for call_indirect.
- OPERAND_TYPEINDEX,
- /// Tag index.
- OPERAND_TAG,
- /// A list of branch targets for br_list.
- OPERAND_BRLIST,
- /// 32-bit unsigned table number.
- OPERAND_TABLE,
- };
- } // end namespace WebAssembly
- namespace WebAssemblyII {
- /// Target Operand Flag enum.
- enum TOF {
- MO_NO_FLAG = 0,
- // On a symbol operand this indicates that the immediate is a wasm global
- // index. The value of the wasm global will be set to the symbol address at
- // runtime. This adds a level of indirection similar to the GOT on native
- // platforms.
- MO_GOT,
- // Same as MO_GOT but the address stored in the global is a TLS address.
- MO_GOT_TLS,
- // On a symbol operand this indicates that the immediate is the symbol
- // address relative the __memory_base wasm global.
- // Only applicable to data symbols.
- MO_MEMORY_BASE_REL,
- // On a symbol operand this indicates that the immediate is the symbol
- // address relative the __tls_base wasm global.
- // Only applicable to data symbols.
- MO_TLS_BASE_REL,
- // On a symbol operand this indicates that the immediate is the symbol
- // address relative the __table_base wasm global.
- // Only applicable to function symbols.
- MO_TABLE_BASE_REL,
- };
- } // end namespace WebAssemblyII
- } // end namespace llvm
- // Defines symbolic names for WebAssembly registers. This defines a mapping from
- // register name to register number.
- //
- #define GET_REGINFO_ENUM
- #include "WebAssemblyGenRegisterInfo.inc"
- // Defines symbolic names for the WebAssembly instructions.
- //
- #define GET_INSTRINFO_ENUM
- #define GET_INSTRINFO_MC_HELPER_DECLS
- #include "WebAssemblyGenInstrInfo.inc"
- namespace llvm {
- namespace WebAssembly {
- /// Instruction opcodes emitted via means other than CodeGen.
- static const unsigned Nop = 0x01;
- static const unsigned End = 0x0b;
- /// Return the default p2align value for a load or store with the given opcode.
- inline unsigned GetDefaultP2AlignAny(unsigned Opc) {
- switch (Opc) {
- #define WASM_LOAD_STORE(NAME) \
- case WebAssembly::NAME##_A32: \
- case WebAssembly::NAME##_A64: \
- case WebAssembly::NAME##_A32_S: \
- case WebAssembly::NAME##_A64_S:
- WASM_LOAD_STORE(LOAD8_S_I32)
- WASM_LOAD_STORE(LOAD8_U_I32)
- WASM_LOAD_STORE(LOAD8_S_I64)
- WASM_LOAD_STORE(LOAD8_U_I64)
- WASM_LOAD_STORE(ATOMIC_LOAD8_U_I32)
- WASM_LOAD_STORE(ATOMIC_LOAD8_U_I64)
- WASM_LOAD_STORE(STORE8_I32)
- WASM_LOAD_STORE(STORE8_I64)
- WASM_LOAD_STORE(ATOMIC_STORE8_I32)
- WASM_LOAD_STORE(ATOMIC_STORE8_I64)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_ADD_I32)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_ADD_I64)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_SUB_I32)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_SUB_I64)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_AND_I32)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_AND_I64)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_OR_I32)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_OR_I64)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_XOR_I32)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_XOR_I64)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_XCHG_I32)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_XCHG_I64)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_CMPXCHG_I32)
- WASM_LOAD_STORE(ATOMIC_RMW8_U_CMPXCHG_I64)
- WASM_LOAD_STORE(LOAD8_SPLAT)
- WASM_LOAD_STORE(LOAD_LANE_I8x16)
- WASM_LOAD_STORE(STORE_LANE_I8x16)
- return 0;
- WASM_LOAD_STORE(LOAD16_S_I32)
- WASM_LOAD_STORE(LOAD16_U_I32)
- WASM_LOAD_STORE(LOAD16_S_I64)
- WASM_LOAD_STORE(LOAD16_U_I64)
- WASM_LOAD_STORE(ATOMIC_LOAD16_U_I32)
- WASM_LOAD_STORE(ATOMIC_LOAD16_U_I64)
- WASM_LOAD_STORE(STORE16_I32)
- WASM_LOAD_STORE(STORE16_I64)
- WASM_LOAD_STORE(ATOMIC_STORE16_I32)
- WASM_LOAD_STORE(ATOMIC_STORE16_I64)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_ADD_I32)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_ADD_I64)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_SUB_I32)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_SUB_I64)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_AND_I32)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_AND_I64)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_OR_I32)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_OR_I64)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_XOR_I32)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_XOR_I64)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_XCHG_I32)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_XCHG_I64)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_CMPXCHG_I32)
- WASM_LOAD_STORE(ATOMIC_RMW16_U_CMPXCHG_I64)
- WASM_LOAD_STORE(LOAD16_SPLAT)
- WASM_LOAD_STORE(LOAD_LANE_I16x8)
- WASM_LOAD_STORE(STORE_LANE_I16x8)
- return 1;
- WASM_LOAD_STORE(LOAD_I32)
- WASM_LOAD_STORE(LOAD_F32)
- WASM_LOAD_STORE(STORE_I32)
- WASM_LOAD_STORE(STORE_F32)
- WASM_LOAD_STORE(LOAD32_S_I64)
- WASM_LOAD_STORE(LOAD32_U_I64)
- WASM_LOAD_STORE(STORE32_I64)
- WASM_LOAD_STORE(ATOMIC_LOAD_I32)
- WASM_LOAD_STORE(ATOMIC_LOAD32_U_I64)
- WASM_LOAD_STORE(ATOMIC_STORE_I32)
- WASM_LOAD_STORE(ATOMIC_STORE32_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_ADD_I32)
- WASM_LOAD_STORE(ATOMIC_RMW32_U_ADD_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_SUB_I32)
- WASM_LOAD_STORE(ATOMIC_RMW32_U_SUB_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_AND_I32)
- WASM_LOAD_STORE(ATOMIC_RMW32_U_AND_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_OR_I32)
- WASM_LOAD_STORE(ATOMIC_RMW32_U_OR_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_XOR_I32)
- WASM_LOAD_STORE(ATOMIC_RMW32_U_XOR_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_XCHG_I32)
- WASM_LOAD_STORE(ATOMIC_RMW32_U_XCHG_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_CMPXCHG_I32)
- WASM_LOAD_STORE(ATOMIC_RMW32_U_CMPXCHG_I64)
- WASM_LOAD_STORE(MEMORY_ATOMIC_NOTIFY)
- WASM_LOAD_STORE(MEMORY_ATOMIC_WAIT32)
- WASM_LOAD_STORE(LOAD32_SPLAT)
- WASM_LOAD_STORE(LOAD_ZERO_I32x4)
- WASM_LOAD_STORE(LOAD_LANE_I32x4)
- WASM_LOAD_STORE(STORE_LANE_I32x4)
- return 2;
- WASM_LOAD_STORE(LOAD_I64)
- WASM_LOAD_STORE(LOAD_F64)
- WASM_LOAD_STORE(STORE_I64)
- WASM_LOAD_STORE(STORE_F64)
- WASM_LOAD_STORE(ATOMIC_LOAD_I64)
- WASM_LOAD_STORE(ATOMIC_STORE_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_ADD_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_SUB_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_AND_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_OR_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_XOR_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_XCHG_I64)
- WASM_LOAD_STORE(ATOMIC_RMW_CMPXCHG_I64)
- WASM_LOAD_STORE(MEMORY_ATOMIC_WAIT64)
- WASM_LOAD_STORE(LOAD64_SPLAT)
- WASM_LOAD_STORE(LOAD_EXTEND_S_I16x8)
- WASM_LOAD_STORE(LOAD_EXTEND_U_I16x8)
- WASM_LOAD_STORE(LOAD_EXTEND_S_I32x4)
- WASM_LOAD_STORE(LOAD_EXTEND_U_I32x4)
- WASM_LOAD_STORE(LOAD_EXTEND_S_I64x2)
- WASM_LOAD_STORE(LOAD_EXTEND_U_I64x2)
- WASM_LOAD_STORE(LOAD_ZERO_I64x2)
- WASM_LOAD_STORE(LOAD_LANE_I64x2)
- WASM_LOAD_STORE(STORE_LANE_I64x2)
- return 3;
- WASM_LOAD_STORE(LOAD_V128)
- WASM_LOAD_STORE(STORE_V128)
- return 4;
- default:
- return -1;
- }
- #undef WASM_LOAD_STORE
- }
- inline unsigned GetDefaultP2Align(unsigned Opc) {
- auto Align = GetDefaultP2AlignAny(Opc);
- if (Align == -1U) {
- llvm_unreachable("Only loads and stores have p2align values");
- }
- return Align;
- }
- inline bool isArgument(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::ARGUMENT_i32:
- case WebAssembly::ARGUMENT_i32_S:
- case WebAssembly::ARGUMENT_i64:
- case WebAssembly::ARGUMENT_i64_S:
- case WebAssembly::ARGUMENT_f32:
- case WebAssembly::ARGUMENT_f32_S:
- case WebAssembly::ARGUMENT_f64:
- case WebAssembly::ARGUMENT_f64_S:
- case WebAssembly::ARGUMENT_v16i8:
- case WebAssembly::ARGUMENT_v16i8_S:
- case WebAssembly::ARGUMENT_v8i16:
- case WebAssembly::ARGUMENT_v8i16_S:
- case WebAssembly::ARGUMENT_v4i32:
- case WebAssembly::ARGUMENT_v4i32_S:
- case WebAssembly::ARGUMENT_v2i64:
- case WebAssembly::ARGUMENT_v2i64_S:
- case WebAssembly::ARGUMENT_v4f32:
- case WebAssembly::ARGUMENT_v4f32_S:
- case WebAssembly::ARGUMENT_v2f64:
- case WebAssembly::ARGUMENT_v2f64_S:
- case WebAssembly::ARGUMENT_funcref:
- case WebAssembly::ARGUMENT_funcref_S:
- case WebAssembly::ARGUMENT_externref:
- case WebAssembly::ARGUMENT_externref_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isCopy(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::COPY_I32:
- case WebAssembly::COPY_I32_S:
- case WebAssembly::COPY_I64:
- case WebAssembly::COPY_I64_S:
- case WebAssembly::COPY_F32:
- case WebAssembly::COPY_F32_S:
- case WebAssembly::COPY_F64:
- case WebAssembly::COPY_F64_S:
- case WebAssembly::COPY_V128:
- case WebAssembly::COPY_V128_S:
- case WebAssembly::COPY_FUNCREF:
- case WebAssembly::COPY_FUNCREF_S:
- case WebAssembly::COPY_EXTERNREF:
- case WebAssembly::COPY_EXTERNREF_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isTee(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::TEE_I32:
- case WebAssembly::TEE_I32_S:
- case WebAssembly::TEE_I64:
- case WebAssembly::TEE_I64_S:
- case WebAssembly::TEE_F32:
- case WebAssembly::TEE_F32_S:
- case WebAssembly::TEE_F64:
- case WebAssembly::TEE_F64_S:
- case WebAssembly::TEE_V128:
- case WebAssembly::TEE_V128_S:
- case WebAssembly::TEE_FUNCREF:
- case WebAssembly::TEE_FUNCREF_S:
- case WebAssembly::TEE_EXTERNREF:
- case WebAssembly::TEE_EXTERNREF_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isCallDirect(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::CALL:
- case WebAssembly::CALL_S:
- case WebAssembly::RET_CALL:
- case WebAssembly::RET_CALL_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isCallIndirect(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::CALL_INDIRECT:
- case WebAssembly::CALL_INDIRECT_S:
- case WebAssembly::RET_CALL_INDIRECT:
- case WebAssembly::RET_CALL_INDIRECT_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isBrTable(const MachineInstr &MI) {
- switch (MI.getOpcode()) {
- case WebAssembly::BR_TABLE_I32:
- case WebAssembly::BR_TABLE_I32_S:
- case WebAssembly::BR_TABLE_I64:
- case WebAssembly::BR_TABLE_I64_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isMarker(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::BLOCK:
- case WebAssembly::BLOCK_S:
- case WebAssembly::END_BLOCK:
- case WebAssembly::END_BLOCK_S:
- case WebAssembly::LOOP:
- case WebAssembly::LOOP_S:
- case WebAssembly::END_LOOP:
- case WebAssembly::END_LOOP_S:
- case WebAssembly::TRY:
- case WebAssembly::TRY_S:
- case WebAssembly::END_TRY:
- case WebAssembly::END_TRY_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isCatch(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::CATCH:
- case WebAssembly::CATCH_S:
- case WebAssembly::CATCH_ALL:
- case WebAssembly::CATCH_ALL_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isLocalGet(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::LOCAL_GET_I32:
- case WebAssembly::LOCAL_GET_I32_S:
- case WebAssembly::LOCAL_GET_I64:
- case WebAssembly::LOCAL_GET_I64_S:
- case WebAssembly::LOCAL_GET_F32:
- case WebAssembly::LOCAL_GET_F32_S:
- case WebAssembly::LOCAL_GET_F64:
- case WebAssembly::LOCAL_GET_F64_S:
- case WebAssembly::LOCAL_GET_V128:
- case WebAssembly::LOCAL_GET_V128_S:
- case WebAssembly::LOCAL_GET_FUNCREF:
- case WebAssembly::LOCAL_GET_FUNCREF_S:
- case WebAssembly::LOCAL_GET_EXTERNREF:
- case WebAssembly::LOCAL_GET_EXTERNREF_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isLocalSet(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::LOCAL_SET_I32:
- case WebAssembly::LOCAL_SET_I32_S:
- case WebAssembly::LOCAL_SET_I64:
- case WebAssembly::LOCAL_SET_I64_S:
- case WebAssembly::LOCAL_SET_F32:
- case WebAssembly::LOCAL_SET_F32_S:
- case WebAssembly::LOCAL_SET_F64:
- case WebAssembly::LOCAL_SET_F64_S:
- case WebAssembly::LOCAL_SET_V128:
- case WebAssembly::LOCAL_SET_V128_S:
- case WebAssembly::LOCAL_SET_FUNCREF:
- case WebAssembly::LOCAL_SET_FUNCREF_S:
- case WebAssembly::LOCAL_SET_EXTERNREF:
- case WebAssembly::LOCAL_SET_EXTERNREF_S:
- return true;
- default:
- return false;
- }
- }
- inline bool isLocalTee(unsigned Opc) {
- switch (Opc) {
- case WebAssembly::LOCAL_TEE_I32:
- case WebAssembly::LOCAL_TEE_I32_S:
- case WebAssembly::LOCAL_TEE_I64:
- case WebAssembly::LOCAL_TEE_I64_S:
- case WebAssembly::LOCAL_TEE_F32:
- case WebAssembly::LOCAL_TEE_F32_S:
- case WebAssembly::LOCAL_TEE_F64:
- case WebAssembly::LOCAL_TEE_F64_S:
- case WebAssembly::LOCAL_TEE_V128:
- case WebAssembly::LOCAL_TEE_V128_S:
- case WebAssembly::LOCAL_TEE_FUNCREF:
- case WebAssembly::LOCAL_TEE_FUNCREF_S:
- case WebAssembly::LOCAL_TEE_EXTERNREF:
- case WebAssembly::LOCAL_TEE_EXTERNREF_S:
- return true;
- default:
- return false;
- }
- }
- } // end namespace WebAssembly
- } // end namespace llvm
- #endif
|