Bug Summary

File:build/source/llvm/lib/Target/WebAssembly/AsmParser/WebAssemblyAsmTypeCheck.cpp
Warning:line 226, column 38
Called C++ object pointer is uninitialized

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name WebAssemblyAsmTypeCheck.cpp -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -analyzer-config-compatibility-mode=true -mrelocation-model pic -pic-level 2 -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -ffunction-sections -fdata-sections -fcoverage-compilation-dir=/build/source/build-llvm/tools/clang/stage2-bins -resource-dir /usr/lib/llvm-17/lib/clang/17 -D _DEBUG -D _GLIBCXX_ASSERTIONS -D _GNU_SOURCE -D _LIBCPP_ENABLE_ASSERTIONS -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -I lib/Target/WebAssembly/AsmParser -I /build/source/llvm/lib/Target/WebAssembly/AsmParser -I /build/source/llvm/lib/Target/WebAssembly -I lib/Target/WebAssembly -I include -I /build/source/llvm/include -D _FORTIFY_SOURCE=2 -D NDEBUG -U NDEBUG -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/x86_64-linux-gnu/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/backward -internal-isystem /usr/lib/llvm-17/lib/clang/17/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -fmacro-prefix-map=/build/source/build-llvm/tools/clang/stage2-bins=build-llvm/tools/clang/stage2-bins -fmacro-prefix-map=/build/source/= -fcoverage-prefix-map=/build/source/build-llvm/tools/clang/stage2-bins=build-llvm/tools/clang/stage2-bins -fcoverage-prefix-map=/build/source/= -source-date-epoch 1683717183 -O2 -Wno-unused-command-line-argument -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-maybe-uninitialized -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wno-comment -Wno-misleading-indentation -std=c++17 -fdeprecated-macro -fdebug-compilation-dir=/build/source/build-llvm/tools/clang/stage2-bins -fdebug-prefix-map=/build/source/build-llvm/tools/clang/stage2-bins=build-llvm/tools/clang/stage2-bins -fdebug-prefix-map=/build/source/= -ferror-limit 19 -fvisibility=hidden -fvisibility-inlines-hidden -stack-protector 2 -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops -vectorize-slp -analyzer-output=html -analyzer-config stable-report-filename=true -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/scan-build-2023-05-10-133810-16478-1 -x c++ /build/source/llvm/lib/Target/WebAssembly/AsmParser/WebAssemblyAsmTypeCheck.cpp
1//==- WebAssemblyAsmTypeCheck.cpp - Assembler for WebAssembly -*- C++ -*-==//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This file is part of the WebAssembly Assembler.
11///
12/// It contains code to translate a parsed .s file into MCInsts.
13///
14//===----------------------------------------------------------------------===//
15
16#include "AsmParser/WebAssemblyAsmTypeCheck.h"
17#include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
18#include "MCTargetDesc/WebAssemblyMCTypeUtilities.h"
19#include "MCTargetDesc/WebAssemblyTargetStreamer.h"
20#include "TargetInfo/WebAssemblyTargetInfo.h"
21#include "WebAssembly.h"
22#include "llvm/MC/MCContext.h"
23#include "llvm/MC/MCExpr.h"
24#include "llvm/MC/MCInst.h"
25#include "llvm/MC/MCInstrInfo.h"
26#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
27#include "llvm/MC/MCParser/MCTargetAsmParser.h"
28#include "llvm/MC/MCSectionWasm.h"
29#include "llvm/MC/MCStreamer.h"
30#include "llvm/MC/MCSubtargetInfo.h"
31#include "llvm/MC/MCSymbol.h"
32#include "llvm/MC/MCSymbolWasm.h"
33#include "llvm/MC/TargetRegistry.h"
34#include "llvm/Support/Compiler.h"
35#include "llvm/Support/Endian.h"
36#include "llvm/Support/SourceMgr.h"
37
38using namespace llvm;
39
40#define DEBUG_TYPE"wasm-asm-parser" "wasm-asm-parser"
41
42extern StringRef GetMnemonic(unsigned Opc);
43
44namespace llvm {
45
46WebAssemblyAsmTypeCheck::WebAssemblyAsmTypeCheck(MCAsmParser &Parser,
47 const MCInstrInfo &MII,
48 bool is64)
49 : Parser(Parser), MII(MII), is64(is64) {}
50
51void WebAssemblyAsmTypeCheck::funcDecl(const wasm::WasmSignature &Sig) {
52 LocalTypes.assign(Sig.Params.begin(), Sig.Params.end());
53 ReturnTypes.assign(Sig.Returns.begin(), Sig.Returns.end());
54 BrStack.emplace_back(Sig.Returns.begin(), Sig.Returns.end());
55}
56
57void WebAssemblyAsmTypeCheck::localDecl(
58 const SmallVectorImpl<wasm::ValType> &Locals) {
59 LocalTypes.insert(LocalTypes.end(), Locals.begin(), Locals.end());
60}
61
62void WebAssemblyAsmTypeCheck::dumpTypeStack(Twine Msg) {
63 LLVM_DEBUG({do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType
("wasm-asm-parser")) { { std::string s; for (auto VT : Stack)
{ s += WebAssembly::typeToString(VT); s += " "; } dbgs() <<
Msg << s << '\n'; }; } } while (false)
64 std::string s;do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType
("wasm-asm-parser")) { { std::string s; for (auto VT : Stack)
{ s += WebAssembly::typeToString(VT); s += " "; } dbgs() <<
Msg << s << '\n'; }; } } while (false)
65 for (auto VT : Stack) {do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType
("wasm-asm-parser")) { { std::string s; for (auto VT : Stack)
{ s += WebAssembly::typeToString(VT); s += " "; } dbgs() <<
Msg << s << '\n'; }; } } while (false)
66 s += WebAssembly::typeToString(VT);do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType
("wasm-asm-parser")) { { std::string s; for (auto VT : Stack)
{ s += WebAssembly::typeToString(VT); s += " "; } dbgs() <<
Msg << s << '\n'; }; } } while (false)
67 s += " ";do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType
("wasm-asm-parser")) { { std::string s; for (auto VT : Stack)
{ s += WebAssembly::typeToString(VT); s += " "; } dbgs() <<
Msg << s << '\n'; }; } } while (false)
68 }do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType
("wasm-asm-parser")) { { std::string s; for (auto VT : Stack)
{ s += WebAssembly::typeToString(VT); s += " "; } dbgs() <<
Msg << s << '\n'; }; } } while (false)
69 dbgs() << Msg << s << '\n';do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType
("wasm-asm-parser")) { { std::string s; for (auto VT : Stack)
{ s += WebAssembly::typeToString(VT); s += " "; } dbgs() <<
Msg << s << '\n'; }; } } while (false)
70 })do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType
("wasm-asm-parser")) { { std::string s; for (auto VT : Stack)
{ s += WebAssembly::typeToString(VT); s += " "; } dbgs() <<
Msg << s << '\n'; }; } } while (false);
71}
72
73bool WebAssemblyAsmTypeCheck::typeError(SMLoc ErrorLoc, const Twine &Msg) {
74 // Once you get one type error in a function, it will likely trigger more
75 // which are mostly not helpful.
76 if (TypeErrorThisFunction)
77 return true;
78 // If we're currently in unreachable code, we suppress errors completely.
79 if (Unreachable)
80 return false;
81 TypeErrorThisFunction = true;
82 dumpTypeStack("current stack: ");
83 return Parser.Error(ErrorLoc, Msg);
84}
85
86bool WebAssemblyAsmTypeCheck::popType(SMLoc ErrorLoc,
87 std::optional<wasm::ValType> EVT) {
88 if (Stack.empty()) {
89 return typeError(ErrorLoc,
90 EVT ? StringRef("empty stack while popping ") +
91 WebAssembly::typeToString(*EVT)
92 : StringRef("empty stack while popping value"));
93 }
94 auto PVT = Stack.pop_back_val();
95 if (EVT && *EVT != PVT) {
96 return typeError(ErrorLoc,
97 StringRef("popped ") + WebAssembly::typeToString(PVT) +
98 ", expected " + WebAssembly::typeToString(*EVT));
99 }
100 return false;
101}
102
103bool WebAssemblyAsmTypeCheck::popRefType(SMLoc ErrorLoc) {
104 if (Stack.empty()) {
105 return typeError(ErrorLoc, StringRef("empty stack while popping reftype"));
106 }
107 auto PVT = Stack.pop_back_val();
108 if (!WebAssembly::isRefType(PVT)) {
109 return typeError(ErrorLoc, StringRef("popped ") +
110 WebAssembly::typeToString(PVT) +
111 ", expected reftype");
112 }
113 return false;
114}
115
116bool WebAssemblyAsmTypeCheck::getLocal(SMLoc ErrorLoc, const MCInst &Inst,
117 wasm::ValType &Type) {
118 auto Local = static_cast<size_t>(Inst.getOperand(0).getImm());
119 if (Local >= LocalTypes.size())
120 return typeError(ErrorLoc, StringRef("no local type specified for index ") +
121 std::to_string(Local));
122 Type = LocalTypes[Local];
123 return false;
124}
125
126static std::optional<std::string>
127checkStackTop(const SmallVectorImpl<wasm::ValType> &ExpectedStackTop,
128 const SmallVectorImpl<wasm::ValType> &Got) {
129 for (size_t I = 0; I < ExpectedStackTop.size(); I++) {
130 auto EVT = ExpectedStackTop[I];
131 auto PVT = Got[Got.size() - ExpectedStackTop.size() + I];
132 if (PVT != EVT)
133 return std::string{"got "} + WebAssembly::typeToString(PVT) +
134 ", expected " + WebAssembly::typeToString(EVT);
135 }
136 return std::nullopt;
137}
138
139bool WebAssemblyAsmTypeCheck::checkBr(SMLoc ErrorLoc, size_t Level) {
140 if (Level >= BrStack.size())
141 return typeError(ErrorLoc,
142 StringRef("br: invalid depth ") + std::to_string(Level));
143 const SmallVector<wasm::ValType, 4> &Expected =
144 BrStack[BrStack.size() - Level - 1];
145 if (Expected.size() > Stack.size())
146 return typeError(ErrorLoc, "br: insufficient values on the type stack");
147 auto IsStackTopInvalid = checkStackTop(Expected, Stack);
148 if (IsStackTopInvalid)
149 return typeError(ErrorLoc, "br " + IsStackTopInvalid.value());
150 return false;
151}
152
153bool WebAssemblyAsmTypeCheck::checkEnd(SMLoc ErrorLoc, bool PopVals) {
154 if (!PopVals)
155 BrStack.pop_back();
156 if (LastSig.Returns.size() > Stack.size())
157 return typeError(ErrorLoc, "end: insufficient values on the type stack");
158
159 if (PopVals) {
160 for (auto VT : llvm::reverse(LastSig.Returns)) {
161 if (popType(ErrorLoc, VT))
162 return true;
163 }
164 return false;
165 }
166
167 auto IsStackTopInvalid = checkStackTop(LastSig.Returns, Stack);
168 if (IsStackTopInvalid)
169 return typeError(ErrorLoc, "end " + IsStackTopInvalid.value());
170 return false;
171}
172
173bool WebAssemblyAsmTypeCheck::checkSig(SMLoc ErrorLoc,
174 const wasm::WasmSignature &Sig) {
175 for (auto VT : llvm::reverse(Sig.Params))
176 if (popType(ErrorLoc, VT))
177 return true;
178 Stack.insert(Stack.end(), Sig.Returns.begin(), Sig.Returns.end());
179 return false;
180}
181
182bool WebAssemblyAsmTypeCheck::getSymRef(SMLoc ErrorLoc, const MCInst &Inst,
183 const MCSymbolRefExpr *&SymRef) {
184 auto Op = Inst.getOperand(0);
185 if (!Op.isExpr())
16
←
Taking true branch
→
186 return typeError(ErrorLoc, StringRef("expected expression operand"));
17
←
Returning without writing to 'SymRef'
→
187 SymRef = dyn_cast<MCSymbolRefExpr>(Op.getExpr());
188 if (!SymRef)
189 return typeError(ErrorLoc, StringRef("expected symbol operand"));
190 return false;
191}
192
193bool WebAssemblyAsmTypeCheck::getGlobal(SMLoc ErrorLoc, const MCInst &Inst,
194 wasm::ValType &Type) {
195 const MCSymbolRefExpr *SymRef;
196 if (getSymRef(ErrorLoc, Inst, SymRef))
197 return true;
198 auto WasmSym = cast<MCSymbolWasm>(&SymRef->getSymbol());
199 switch (WasmSym->getType().value_or(wasm::WASM_SYMBOL_TYPE_DATA)) {
200 case wasm::WASM_SYMBOL_TYPE_GLOBAL:
201 Type = static_cast<wasm::ValType>(WasmSym->getGlobalType().Type);
202 break;
203 case wasm::WASM_SYMBOL_TYPE_FUNCTION:
204 case wasm::WASM_SYMBOL_TYPE_DATA:
205 switch (SymRef->getKind()) {
206 case MCSymbolRefExpr::VK_GOT:
207 case MCSymbolRefExpr::VK_WASM_GOT_TLS:
208 Type = is64 ? wasm::ValType::I64 : wasm::ValType::I32;
209 return false;
210 default:
211 break;
212 }
213 [[fallthrough]];
214 default:
215 return typeError(ErrorLoc, StringRef("symbol ") + WasmSym->getName() +
216 " missing .globaltype");
217 }
218 return false;
219}
220
221bool WebAssemblyAsmTypeCheck::getTable(SMLoc ErrorLoc, const MCInst &Inst,
222 wasm::ValType &Type) {
223 const MCSymbolRefExpr *SymRef;
14
←
'SymRef' declared without an initial value
→
224 if (getSymRef(ErrorLoc, Inst, SymRef))
15
←
Calling 'WebAssemblyAsmTypeCheck::getSymRef'
→
18
←
Returning from 'WebAssemblyAsmTypeCheck::getSymRef'
→
19
←
Taking false branch
→
225 return true;
226 auto WasmSym = cast<MCSymbolWasm>(&SymRef->getSymbol());
20
←
Called C++ object pointer is uninitialized
227 if (WasmSym->getType().value_or(wasm::WASM_SYMBOL_TYPE_DATA) !=
228 wasm::WASM_SYMBOL_TYPE_TABLE)
229 return typeError(ErrorLoc, StringRef("symbol ") + WasmSym->getName() +
230 " missing .tabletype");
231 Type = static_cast<wasm::ValType>(WasmSym->getTableType().ElemType);
232 return false;
233}
234
235bool WebAssemblyAsmTypeCheck::endOfFunction(SMLoc ErrorLoc) {
236 // Check the return types.
237 for (auto RVT : llvm::reverse(ReturnTypes)) {
238 if (popType(ErrorLoc, RVT))
239 return true;
240 }
241 if (!Stack.empty()) {
242 return typeError(ErrorLoc, std::to_string(Stack.size()) +
243 " superfluous return values");
244 }
245 Unreachable = true;
246 return false;
247}
248
249bool WebAssemblyAsmTypeCheck::typeCheck(SMLoc ErrorLoc, const MCInst &Inst,
250 OperandVector &Operands) {
251 auto Opc = Inst.getOpcode();
252 auto Name = GetMnemonic(Opc);
253 dumpTypeStack("typechecking " + Name + ": ");
254 wasm::ValType Type;
255 if (Name == "local.get") {
1
Assuming the condition is false
→
2
←
Taking false branch
→
256 if (getLocal(Operands[1]->getStartLoc(), Inst, Type))
257 return true;
258 Stack.push_back(Type);
259 } else if (Name == "local.set") {
3
←
Assuming the condition is false
→
4
←
Taking false branch
→
260 if (getLocal(Operands[1]->getStartLoc(), Inst, Type))
261 return true;
262 if (popType(ErrorLoc, Type))
263 return true;
264 } else if (Name == "local.tee") {
5
←
Assuming the condition is false
→
6
←
Taking false branch
→
265 if (getLocal(Operands[1]->getStartLoc(), Inst, Type))
266 return true;
267 if (popType(ErrorLoc, Type))
268 return true;
269 Stack.push_back(Type);
270 } else if (Name == "global.get") {
7
←
Assuming the condition is false
→
8
←
Taking false branch
→
271 if (getGlobal(Operands[1]->getStartLoc(), Inst, Type))
272 return true;
273 Stack.push_back(Type);
274 } else if (Name == "global.set") {
9
←
Assuming the condition is false
→
10
←
Taking false branch
→
275 if (getGlobal(Operands[1]->getStartLoc(), Inst, Type))
276 return true;
277 if (popType(ErrorLoc, Type))
278 return true;
279 } else if (Name == "table.get") {
11
←
Assuming the condition is true
→
12
←
Taking true branch
→
280 if (getTable(Operands[1]->getStartLoc(), Inst, Type))
13
←
Calling 'WebAssemblyAsmTypeCheck::getTable'
→
281 return true;
282 if (popType(ErrorLoc, wasm::ValType::I32))
283 return true;
284 Stack.push_back(Type);
285 } else if (Name == "table.set") {
286 if (getTable(Operands[1]->getStartLoc(), Inst, Type))
287 return true;
288 if (popType(ErrorLoc, Type))
289 return true;
290 if (popType(ErrorLoc, wasm::ValType::I32))
291 return true;
292 } else if (Name == "table.fill") {
293 if (getTable(Operands[1]->getStartLoc(), Inst, Type))
294 return true;
295 if (popType(ErrorLoc, wasm::ValType::I32))
296 return true;
297 if (popType(ErrorLoc, Type))
298 return true;
299 if (popType(ErrorLoc, wasm::ValType::I32))
300 return true;
301 } else if (Name == "memory.fill") {
302 Type = is64 ? wasm::ValType::I64 : wasm::ValType::I32;
303 if (popType(ErrorLoc, Type))
304 return true;
305 if (popType(ErrorLoc, wasm::ValType::I32))
306 return true;
307 if (popType(ErrorLoc, Type))
308 return true;
309 } else if (Name == "memory.copy") {
310 Type = is64 ? wasm::ValType::I64 : wasm::ValType::I32;
311 if (popType(ErrorLoc, Type))
312 return true;
313 if (popType(ErrorLoc, Type))
314 return true;
315 if (popType(ErrorLoc, Type))
316 return true;
317 } else if (Name == "memory.init") {
318 Type = is64 ? wasm::ValType::I64 : wasm::ValType::I32;
319 if (popType(ErrorLoc, wasm::ValType::I32))
320 return true;
321 if (popType(ErrorLoc, wasm::ValType::I32))
322 return true;
323 if (popType(ErrorLoc, Type))
324 return true;
325 } else if (Name == "drop") {
326 if (popType(ErrorLoc, {}))
327 return true;
328 } else if (Name == "try" || Name == "block" || Name == "loop" ||
329 Name == "if") {
330 if (Name == "if" && popType(ErrorLoc, wasm::ValType::I32))
331 return true;
332 if (Name == "loop")
333 BrStack.emplace_back(LastSig.Params.begin(), LastSig.Params.end());
334 else
335 BrStack.emplace_back(LastSig.Returns.begin(), LastSig.Returns.end());
336 } else if (Name == "end_block" || Name == "end_loop" || Name == "end_if" ||
337 Name == "else" || Name == "end_try" || Name == "catch" ||
338 Name == "catch_all" || Name == "delegate") {
339 if (checkEnd(ErrorLoc,
340 Name == "else" || Name == "catch" || Name == "catch_all"))
341 return true;
342 Unreachable = false;
343 if (Name == "catch") {
344 const MCSymbolRefExpr *SymRef;
345 if (getSymRef(Operands[1]->getStartLoc(), Inst, SymRef))
346 return true;
347 const auto *WasmSym = cast<MCSymbolWasm>(&SymRef->getSymbol());
348 const auto *Sig = WasmSym->getSignature();
349 if (!Sig || WasmSym->getType() != wasm::WASM_SYMBOL_TYPE_TAG)
350 return typeError(Operands[1]->getStartLoc(), StringRef("symbol ") +
351 WasmSym->getName() +
352 " missing .tagtype");
353 // catch instruction pushes values whose types are specified in the tag's
354 // "params" part
355 Stack.insert(Stack.end(), Sig->Params.begin(), Sig->Params.end());
356 }
357 } else if (Name == "br") {
358 const MCOperand &Operand = Inst.getOperand(0);
359 if (!Operand.isImm())
360 return false;
361 if (checkBr(ErrorLoc, static_cast<size_t>(Operand.getImm())))
362 return true;
363 } else if (Name == "return") {
364 if (endOfFunction(ErrorLoc))
365 return true;
366 } else if (Name == "call_indirect" || Name == "return_call_indirect") {
367 // Function value.
368 if (popType(ErrorLoc, wasm::ValType::I32))
369 return true;
370 if (checkSig(ErrorLoc, LastSig))
371 return true;
372 if (Name == "return_call_indirect" && endOfFunction(ErrorLoc))
373 return true;
374 } else if (Name == "call" || Name == "return_call") {
375 const MCSymbolRefExpr *SymRef;
376 if (getSymRef(Operands[1]->getStartLoc(), Inst, SymRef))
377 return true;
378 auto WasmSym = cast<MCSymbolWasm>(&SymRef->getSymbol());
379 auto Sig = WasmSym->getSignature();
380 if (!Sig || WasmSym->getType() != wasm::WASM_SYMBOL_TYPE_FUNCTION)
381 return typeError(Operands[1]->getStartLoc(), StringRef("symbol ") +
382 WasmSym->getName() +
383 " missing .functype");
384 if (checkSig(ErrorLoc, *Sig))
385 return true;
386 if (Name == "return_call" && endOfFunction(ErrorLoc))
387 return true;
388 } else if (Name == "unreachable") {
389 Unreachable = true;
390 } else if (Name == "ref.is_null") {
391 if (popRefType(ErrorLoc))
392 return true;
393 Stack.push_back(wasm::ValType::I32);
394 } else {
395 // The current instruction is a stack instruction which doesn't have
396 // explicit operands that indicate push/pop types, so we get those from
397 // the register version of the same instruction.
398 auto RegOpc = WebAssembly::getRegisterOpcode(Opc);
399 assert(RegOpc != -1 && "Failed to get register version of MC instruction")(static_cast <bool> (RegOpc != -1 && "Failed to get register version of MC instruction"
) ? void (0) : __assert_fail ("RegOpc != -1 && \"Failed to get register version of MC instruction\""
, "llvm/lib/Target/WebAssembly/AsmParser/WebAssemblyAsmTypeCheck.cpp"
, 399, __extension__ __PRETTY_FUNCTION__));
400 const auto &II = MII.get(RegOpc);
401 // First pop all the uses off the stack and check them.
402 for (unsigned I = II.getNumOperands(); I > II.getNumDefs(); I--) {
403 const auto &Op = II.operands()[I - 1];
404 if (Op.OperandType == MCOI::OPERAND_REGISTER) {
405 auto VT = WebAssembly::regClassToValType(Op.RegClass);
406 if (popType(ErrorLoc, VT))
407 return true;
408 }
409 }
410 // Now push all the defs onto the stack.
411 for (unsigned I = 0; I < II.getNumDefs(); I++) {
412 const auto &Op = II.operands()[I];
413 assert(Op.OperandType == MCOI::OPERAND_REGISTER && "Register expected")(static_cast <bool> (Op.OperandType == MCOI::OPERAND_REGISTER
&& "Register expected") ? void (0) : __assert_fail (
"Op.OperandType == MCOI::OPERAND_REGISTER && \"Register expected\""
, "llvm/lib/Target/WebAssembly/AsmParser/WebAssemblyAsmTypeCheck.cpp"
, 413, __extension__ __PRETTY_FUNCTION__));
414 auto VT = WebAssembly::regClassToValType(Op.RegClass);
415 Stack.push_back(VT);
416 }
417 }
418 return false;
419}
420
421} // end namespace llvm