blob: 93a82437e1d6c0539ea49f7da9b54760c0a03adb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
* vim: set ts=8 sts=2 et sw=2 tw=80:
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
#ifndef wasm_WasmSummarizeInsn_h
#define wasm_WasmSummarizeInsn_h
#include "mozilla/Maybe.h"
#include "wasm/WasmCodegenTypes.h" // TrapMachineInsn
namespace js {
namespace wasm {
#ifdef DEBUG
// Inspect the machine instruction at `insn` and return a classification as to
// what it is. If the instruction can't be identified, return
// `mozilla::Nothing`. If the instruction is identified, the identification
// must be correct -- in other words, if a `mozilla::Some(i)` is returned, `i`
// must be the correct classification for the instruction. Return
// `mozilla::Nothing` in case of doubt.
//
// This function is only used by ModuleGenerator::finishCodeTier to audit wasm
// trap sites. So it doesn't need to handle the whole complexity of the
// machine's instruction set. It only needs to handle the tiny sub-dialect
// used by the trappable instructions we actually generate.
mozilla::Maybe<TrapMachineInsn> SummarizeTrapInstruction(const uint8_t* insn);
#endif
} // namespace wasm
} // namespace js
#endif /* wasm_WasmSummarizeInsn_h */
|
