summaryrefslogtreecommitdiff
path: root/src/passes/Print.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/passes/Print.cpp')
-rw-r--r--src/passes/Print.cpp1383
1 files changed, 986 insertions, 397 deletions
diff --git a/src/passes/Print.cpp b/src/passes/Print.cpp
index 29d867d76..405097455 100644
--- a/src/passes/Print.cpp
+++ b/src/passes/Print.cpp
@@ -18,12 +18,12 @@
// Print out text in s-expression format
//
-#include <wasm.h>
-#include <wasm-printing.h>
-#include <wasm-stack.h>
+#include <ir/module-utils.h>
#include <pass.h>
#include <pretty_printing.h>
-#include <ir/module-utils.h>
+#include <wasm-printing.h>
+#include <wasm-stack.h>
+#include <wasm.h>
namespace wasm {
@@ -55,15 +55,14 @@ static Name printableLocal(Index index, Function* func) {
return name;
}
-
// Prints the internal contents of an expression: everything but
// the children.
struct PrintExpressionContents : public Visitor<PrintExpressionContents> {
Function* currFunction = nullptr;
std::ostream& o;
- PrintExpressionContents(Function* currFunction, std::ostream& o) :
- currFunction(currFunction), o(o) {}
+ PrintExpressionContents(Function* currFunction, std::ostream& o)
+ : currFunction(currFunction), o(o) {}
void visitBlock(Block* curr) {
printMedium(o, "block");
@@ -133,7 +132,8 @@ struct PrintExpressionContents : public Visitor<PrintExpressionContents> {
}
void visitLoad(Load* curr) {
prepareColor(o) << printType(curr->type);
- if (curr->isAtomic) o << ".atomic";
+ if (curr->isAtomic)
+ o << ".atomic";
o << ".load";
if (curr->type != unreachable && curr->bytes < getTypeSize(curr->type)) {
if (curr->bytes == 1) {
@@ -157,7 +157,8 @@ struct PrintExpressionContents : public Visitor<PrintExpressionContents> {
}
void visitStore(Store* curr) {
prepareColor(o) << printType(curr->valueType);
- if (curr->isAtomic) o << ".atomic";
+ if (curr->isAtomic)
+ o << ".atomic";
o << ".store";
if (curr->bytes < 4 || (curr->valueType == i64 && curr->bytes < 8)) {
if (curr->bytes == 1) {
@@ -199,12 +200,24 @@ struct PrintExpressionContents : public Visitor<PrintExpressionContents> {
prepareColor(o);
printRMWSize(o, curr->type, curr->bytes);
switch (curr->op) {
- case Add: o << "add"; break;
- case Sub: o << "sub"; break;
- case And: o << "and"; break;
- case Or: o << "or"; break;
- case Xor: o << "xor"; break;
- case Xchg: o << "xchg"; break;
+ case Add:
+ o << "add";
+ break;
+ case Sub:
+ o << "sub";
+ break;
+ case And:
+ o << "and";
+ break;
+ case Or:
+ o << "or";
+ break;
+ case Xor:
+ o << "xor";
+ break;
+ case Xchg:
+ o << "xchg";
+ break;
}
if (curr->type != unreachable && curr->bytes != getTypeSize(curr->type)) {
o << "_u";
@@ -217,7 +230,7 @@ struct PrintExpressionContents : public Visitor<PrintExpressionContents> {
void visitAtomicCmpxchg(AtomicCmpxchg* curr) {
prepareColor(o);
printRMWSize(o, curr->type, curr->bytes);
- o << "cmpxchg";
+ o << "cmpxchg";
if (curr->type != unreachable && curr->bytes != getTypeSize(curr->type)) {
o << "_u";
}
@@ -242,26 +255,54 @@ struct PrintExpressionContents : public Visitor<PrintExpressionContents> {
void visitSIMDExtract(SIMDExtract* curr) {
prepareColor(o);
switch (curr->op) {
- case ExtractLaneSVecI8x16: o << "i8x16.extract_lane_s"; break;
- case ExtractLaneUVecI8x16: o << "i8x16.extract_lane_u"; break;
- case ExtractLaneSVecI16x8: o << "i16x8.extract_lane_s"; break;
- case ExtractLaneUVecI16x8: o << "i16x8.extract_lane_u"; break;
- case ExtractLaneVecI32x4: o << "i32x4.extract_lane"; break;
- case ExtractLaneVecI64x2: o << "i64x2.extract_lane"; break;
- case ExtractLaneVecF32x4: o << "f32x4.extract_lane"; break;
- case ExtractLaneVecF64x2: o << "f64x2.extract_lane"; break;
+ case ExtractLaneSVecI8x16:
+ o << "i8x16.extract_lane_s";
+ break;
+ case ExtractLaneUVecI8x16:
+ o << "i8x16.extract_lane_u";
+ break;
+ case ExtractLaneSVecI16x8:
+ o << "i16x8.extract_lane_s";
+ break;
+ case ExtractLaneUVecI16x8:
+ o << "i16x8.extract_lane_u";
+ break;
+ case ExtractLaneVecI32x4:
+ o << "i32x4.extract_lane";
+ break;
+ case ExtractLaneVecI64x2:
+ o << "i64x2.extract_lane";
+ break;
+ case ExtractLaneVecF32x4:
+ o << "f32x4.extract_lane";
+ break;
+ case ExtractLaneVecF64x2:
+ o << "f64x2.extract_lane";
+ break;
}
o << " " << int(curr->index);
}
void visitSIMDReplace(SIMDReplace* curr) {
prepareColor(o);
switch (curr->op) {
- case ReplaceLaneVecI8x16: o << "i8x16.replace_lane"; break;
- case ReplaceLaneVecI16x8: o << "i16x8.replace_lane"; break;
- case ReplaceLaneVecI32x4: o << "i32x4.replace_lane"; break;
- case ReplaceLaneVecI64x2: o << "i64x2.replace_lane"; break;
- case ReplaceLaneVecF32x4: o << "f32x4.replace_lane"; break;
- case ReplaceLaneVecF64x2: o << "f64x2.replace_lane"; break;
+ case ReplaceLaneVecI8x16:
+ o << "i8x16.replace_lane";
+ break;
+ case ReplaceLaneVecI16x8:
+ o << "i16x8.replace_lane";
+ break;
+ case ReplaceLaneVecI32x4:
+ o << "i32x4.replace_lane";
+ break;
+ case ReplaceLaneVecI64x2:
+ o << "i64x2.replace_lane";
+ break;
+ case ReplaceLaneVecF32x4:
+ o << "f32x4.replace_lane";
+ break;
+ case ReplaceLaneVecF64x2:
+ o << "f64x2.replace_lane";
+ break;
}
o << " " << int(curr->index);
}
@@ -279,18 +320,42 @@ struct PrintExpressionContents : public Visitor<PrintExpressionContents> {
void visitSIMDShift(SIMDShift* curr) {
prepareColor(o);
switch (curr->op) {
- case ShlVecI8x16: o << "i8x16.shl"; break;
- case ShrSVecI8x16: o << "i8x16.shr_s"; break;
- case ShrUVecI8x16: o << "i8x16.shr_u"; break;
- case ShlVecI16x8: o << "i16x8.shl"; break;
- case ShrSVecI16x8: o << "i16x8.shr_s"; break;
- case ShrUVecI16x8: o << "i16x8.shr_u"; break;
- case ShlVecI32x4: o << "i32x4.shl"; break;
- case ShrSVecI32x4: o << "i32x4.shr_s"; break;
- case ShrUVecI32x4: o << "i32x4.shr_u"; break;
- case ShlVecI64x2: o << "i64x2.shl"; break;
- case ShrSVecI64x2: o << "i64x2.shr_s"; break;
- case ShrUVecI64x2: o << "i64x2.shr_u"; break;
+ case ShlVecI8x16:
+ o << "i8x16.shl";
+ break;
+ case ShrSVecI8x16:
+ o << "i8x16.shr_s";
+ break;
+ case ShrUVecI8x16:
+ o << "i8x16.shr_u";
+ break;
+ case ShlVecI16x8:
+ o << "i16x8.shl";
+ break;
+ case ShrSVecI16x8:
+ o << "i16x8.shr_s";
+ break;
+ case ShrUVecI16x8:
+ o << "i16x8.shr_u";
+ break;
+ case ShlVecI32x4:
+ o << "i32x4.shl";
+ break;
+ case ShrSVecI32x4:
+ o << "i32x4.shr_s";
+ break;
+ case ShrUVecI32x4:
+ o << "i32x4.shr_u";
+ break;
+ case ShlVecI64x2:
+ o << "i64x2.shl";
+ break;
+ case ShrSVecI64x2:
+ o << "i64x2.shr_s";
+ break;
+ case ShrUVecI64x2:
+ o << "i64x2.shr_u";
+ break;
}
}
void visitMemoryInit(MemoryInit* curr) {
@@ -309,296 +374,780 @@ struct PrintExpressionContents : public Visitor<PrintExpressionContents> {
prepareColor(o);
o << "memory.fill";
}
- void visitConst(Const* curr) {
- o << curr->value;
- }
+ void visitConst(Const* curr) { o << curr->value; }
void visitUnary(Unary* curr) {
prepareColor(o);
switch (curr->op) {
- case ClzInt32: o << "i32.clz"; break;
- case CtzInt32: o << "i32.ctz"; break;
- case PopcntInt32: o << "i32.popcnt"; break;
- case EqZInt32: o << "i32.eqz"; break;
- case ClzInt64: o << "i64.clz"; break;
- case CtzInt64: o << "i64.ctz"; break;
- case PopcntInt64: o << "i64.popcnt"; break;
- case EqZInt64: o << "i64.eqz"; break;
- case NegFloat32: o << "f32.neg"; break;
- case AbsFloat32: o << "f32.abs"; break;
- case CeilFloat32: o << "f32.ceil"; break;
- case FloorFloat32: o << "f32.floor"; break;
- case TruncFloat32: o << "f32.trunc"; break;
- case NearestFloat32: o << "f32.nearest"; break;
- case SqrtFloat32: o << "f32.sqrt"; break;
- case NegFloat64: o << "f64.neg"; break;
- case AbsFloat64: o << "f64.abs"; break;
- case CeilFloat64: o << "f64.ceil"; break;
- case FloorFloat64: o << "f64.floor"; break;
- case TruncFloat64: o << "f64.trunc"; break;
- case NearestFloat64: o << "f64.nearest"; break;
- case SqrtFloat64: o << "f64.sqrt"; break;
- case ExtendSInt32: o << "i64.extend_i32_s"; break;
- case ExtendUInt32: o << "i64.extend_i32_u"; break;
- case WrapInt64: o << "i32.wrap_i64"; break;
- case TruncSFloat32ToInt32: o << "i32.trunc_f32_s"; break;
- case TruncSFloat32ToInt64: o << "i64.trunc_f32_s"; break;
- case TruncUFloat32ToInt32: o << "i32.trunc_f32_u"; break;
- case TruncUFloat32ToInt64: o << "i64.trunc_f32_u"; break;
- case TruncSFloat64ToInt32: o << "i32.trunc_f64_s"; break;
- case TruncSFloat64ToInt64: o << "i64.trunc_f64_s"; break;
- case TruncUFloat64ToInt32: o << "i32.trunc_f64_u"; break;
- case TruncUFloat64ToInt64: o << "i64.trunc_f64_u"; break;
- case ReinterpretFloat32: o << "i32.reinterpret_f32"; break;
- case ReinterpretFloat64: o << "i64.reinterpret_f64"; break;
- case ConvertUInt32ToFloat32: o << "f32.convert_i32_u"; break;
- case ConvertUInt32ToFloat64: o << "f64.convert_i32_u"; break;
- case ConvertSInt32ToFloat32: o << "f32.convert_i32_s"; break;
- case ConvertSInt32ToFloat64: o << "f64.convert_i32_s"; break;
- case ConvertUInt64ToFloat32: o << "f32.convert_i64_u"; break;
- case ConvertUInt64ToFloat64: o << "f64.convert_i64_u"; break;
- case ConvertSInt64ToFloat32: o << "f32.convert_i64_s"; break;
- case ConvertSInt64ToFloat64: o << "f64.convert_i64_s"; break;
- case PromoteFloat32: o << "f64.promote_f32"; break;
- case DemoteFloat64: o << "f32.demote_f64"; break;
- case ReinterpretInt32: o << "f32.reinterpret_i32"; break;
- case ReinterpretInt64: o << "f64.reinterpret_i64"; break;
- case ExtendS8Int32: o << "i32.extend8_s"; break;
- case ExtendS16Int32: o << "i32.extend16_s"; break;
- case ExtendS8Int64: o << "i64.extend8_s"; break;
- case ExtendS16Int64: o << "i64.extend16_s"; break;
- case ExtendS32Int64: o << "i64.extend32_s"; break;
- case TruncSatSFloat32ToInt32: o << "i32.trunc_sat_f32_s"; break;
- case TruncSatUFloat32ToInt32: o << "i32.trunc_sat_f32_u"; break;
- case TruncSatSFloat64ToInt32: o << "i32.trunc_sat_f64_s"; break;
- case TruncSatUFloat64ToInt32: o << "i32.trunc_sat_f64_u"; break;
- case TruncSatSFloat32ToInt64: o << "i64.trunc_sat_f32_s"; break;
- case TruncSatUFloat32ToInt64: o << "i64.trunc_sat_f32_u"; break;
- case TruncSatSFloat64ToInt64: o << "i64.trunc_sat_f64_s"; break;
- case TruncSatUFloat64ToInt64: o << "i64.trunc_sat_f64_u"; break;
- case SplatVecI8x16: o << "i8x16.splat"; break;
- case SplatVecI16x8: o << "i16x8.splat"; break;
- case SplatVecI32x4: o << "i32x4.splat"; break;
- case SplatVecI64x2: o << "i64x2.splat"; break;
- case SplatVecF32x4: o << "f32x4.splat"; break;
- case SplatVecF64x2: o << "f64x2.splat"; break;
- case NotVec128: o << "v128.not"; break;
- case NegVecI8x16: o << "i8x16.neg"; break;
- case AnyTrueVecI8x16: o << "i8x16.any_true"; break;
- case AllTrueVecI8x16: o << "i8x16.all_true"; break;
- case NegVecI16x8: o << "i16x8.neg"; break;
- case AnyTrueVecI16x8: o << "i16x8.any_true"; break;
- case AllTrueVecI16x8: o << "i16x8.all_true"; break;
- case NegVecI32x4: o << "i32x4.neg"; break;
- case AnyTrueVecI32x4: o << "i32x4.any_true"; break;
- case AllTrueVecI32x4: o << "i32x4.all_true"; break;
- case NegVecI64x2: o << "i64x2.neg"; break;
- case AnyTrueVecI64x2: o << "i64x2.any_true"; break;
- case AllTrueVecI64x2: o << "i64x2.all_true"; break;
- case AbsVecF32x4: o << "f32x4.abs"; break;
- case NegVecF32x4: o << "f32x4.neg"; break;
- case SqrtVecF32x4: o << "f32x4.sqrt"; break;
- case AbsVecF64x2: o << "f64x2.abs"; break;
- case NegVecF64x2: o << "f64x2.neg"; break;
- case SqrtVecF64x2: o << "f64x2.sqrt"; break;
- case TruncSatSVecF32x4ToVecI32x4: o << "i32x4.trunc_sat_f32x4_s"; break;
- case TruncSatUVecF32x4ToVecI32x4: o << "i32x4.trunc_sat_f32x4_u"; break;
- case TruncSatSVecF64x2ToVecI64x2: o << "i64x2.trunc_sat_f64x2_s"; break;
- case TruncSatUVecF64x2ToVecI64x2: o << "i64x2.trunc_sat_f64x2_u"; break;
- case ConvertSVecI32x4ToVecF32x4: o << "f32x4.convert_i32x4_s"; break;
- case ConvertUVecI32x4ToVecF32x4: o << "f32x4.convert_i32x4_u"; break;
- case ConvertSVecI64x2ToVecF64x2: o << "f64x2.convert_i64x2_s"; break;
- case ConvertUVecI64x2ToVecF64x2: o << "f64x2.convert_i64x2_u"; break;
- case InvalidUnary: WASM_UNREACHABLE();
+ case ClzInt32:
+ o << "i32.clz";
+ break;
+ case CtzInt32:
+ o << "i32.ctz";
+ break;
+ case PopcntInt32:
+ o << "i32.popcnt";
+ break;
+ case EqZInt32:
+ o << "i32.eqz";
+ break;
+ case ClzInt64:
+ o << "i64.clz";
+ break;
+ case CtzInt64:
+ o << "i64.ctz";
+ break;
+ case PopcntInt64:
+ o << "i64.popcnt";
+ break;
+ case EqZInt64:
+ o << "i64.eqz";
+ break;
+ case NegFloat32:
+ o << "f32.neg";
+ break;
+ case AbsFloat32:
+ o << "f32.abs";
+ break;
+ case CeilFloat32:
+ o << "f32.ceil";
+ break;
+ case FloorFloat32:
+ o << "f32.floor";
+ break;
+ case TruncFloat32:
+ o << "f32.trunc";
+ break;
+ case NearestFloat32:
+ o << "f32.nearest";
+ break;
+ case SqrtFloat32:
+ o << "f32.sqrt";
+ break;
+ case NegFloat64:
+ o << "f64.neg";
+ break;
+ case AbsFloat64:
+ o << "f64.abs";
+ break;
+ case CeilFloat64:
+ o << "f64.ceil";
+ break;
+ case FloorFloat64:
+ o << "f64.floor";
+ break;
+ case TruncFloat64:
+ o << "f64.trunc";
+ break;
+ case NearestFloat64:
+ o << "f64.nearest";
+ break;
+ case SqrtFloat64:
+ o << "f64.sqrt";
+ break;
+ case ExtendSInt32:
+ o << "i64.extend_i32_s";
+ break;
+ case ExtendUInt32:
+ o << "i64.extend_i32_u";
+ break;
+ case WrapInt64:
+ o << "i32.wrap_i64";
+ break;
+ case TruncSFloat32ToInt32:
+ o << "i32.trunc_f32_s";
+ break;
+ case TruncSFloat32ToInt64:
+ o << "i64.trunc_f32_s";
+ break;
+ case TruncUFloat32ToInt32:
+ o << "i32.trunc_f32_u";
+ break;
+ case TruncUFloat32ToInt64:
+ o << "i64.trunc_f32_u";
+ break;
+ case TruncSFloat64ToInt32:
+ o << "i32.trunc_f64_s";
+ break;
+ case TruncSFloat64ToInt64:
+ o << "i64.trunc_f64_s";
+ break;
+ case TruncUFloat64ToInt32:
+ o << "i32.trunc_f64_u";
+ break;
+ case TruncUFloat64ToInt64:
+ o << "i64.trunc_f64_u";
+ break;
+ case ReinterpretFloat32:
+ o << "i32.reinterpret_f32";
+ break;
+ case ReinterpretFloat64:
+ o << "i64.reinterpret_f64";
+ break;
+ case ConvertUInt32ToFloat32:
+ o << "f32.convert_i32_u";
+ break;
+ case ConvertUInt32ToFloat64:
+ o << "f64.convert_i32_u";
+ break;
+ case ConvertSInt32ToFloat32:
+ o << "f32.convert_i32_s";
+ break;
+ case ConvertSInt32ToFloat64:
+ o << "f64.convert_i32_s";
+ break;
+ case ConvertUInt64ToFloat32:
+ o << "f32.convert_i64_u";
+ break;
+ case ConvertUInt64ToFloat64:
+ o << "f64.convert_i64_u";
+ break;
+ case ConvertSInt64ToFloat32:
+ o << "f32.convert_i64_s";
+ break;
+ case ConvertSInt64ToFloat64:
+ o << "f64.convert_i64_s";
+ break;
+ case PromoteFloat32:
+ o << "f64.promote_f32";
+ break;
+ case DemoteFloat64:
+ o << "f32.demote_f64";
+ break;
+ case ReinterpretInt32:
+ o << "f32.reinterpret_i32";
+ break;
+ case ReinterpretInt64:
+ o << "f64.reinterpret_i64";
+ break;
+ case ExtendS8Int32:
+ o << "i32.extend8_s";
+ break;
+ case ExtendS16Int32:
+ o << "i32.extend16_s";
+ break;
+ case ExtendS8Int64:
+ o << "i64.extend8_s";
+ break;
+ case ExtendS16Int64:
+ o << "i64.extend16_s";
+ break;
+ case ExtendS32Int64:
+ o << "i64.extend32_s";
+ break;
+ case TruncSatSFloat32ToInt32:
+ o << "i32.trunc_sat_f32_s";
+ break;
+ case TruncSatUFloat32ToInt32:
+ o << "i32.trunc_sat_f32_u";
+ break;
+ case TruncSatSFloat64ToInt32:
+ o << "i32.trunc_sat_f64_s";
+ break;
+ case TruncSatUFloat64ToInt32:
+ o << "i32.trunc_sat_f64_u";
+ break;
+ case TruncSatSFloat32ToInt64:
+ o << "i64.trunc_sat_f32_s";
+ break;
+ case TruncSatUFloat32ToInt64:
+ o << "i64.trunc_sat_f32_u";
+ break;
+ case TruncSatSFloat64ToInt64:
+ o << "i64.trunc_sat_f64_s";
+ break;
+ case TruncSatUFloat64ToInt64:
+ o << "i64.trunc_sat_f64_u";
+ break;
+ case SplatVecI8x16:
+ o << "i8x16.splat";
+ break;
+ case SplatVecI16x8:
+ o << "i16x8.splat";
+ break;
+ case SplatVecI32x4:
+ o << "i32x4.splat";
+ break;
+ case SplatVecI64x2:
+ o << "i64x2.splat";
+ break;
+ case SplatVecF32x4:
+ o << "f32x4.splat";
+ break;
+ case SplatVecF64x2:
+ o << "f64x2.splat";
+ break;
+ case NotVec128:
+ o << "v128.not";
+ break;
+ case NegVecI8x16:
+ o << "i8x16.neg";
+ break;
+ case AnyTrueVecI8x16:
+ o << "i8x16.any_true";
+ break;
+ case AllTrueVecI8x16:
+ o << "i8x16.all_true";
+ break;
+ case NegVecI16x8:
+ o << "i16x8.neg";
+ break;
+ case AnyTrueVecI16x8:
+ o << "i16x8.any_true";
+ break;
+ case AllTrueVecI16x8:
+ o << "i16x8.all_true";
+ break;
+ case NegVecI32x4:
+ o << "i32x4.neg";
+ break;
+ case AnyTrueVecI32x4:
+ o << "i32x4.any_true";
+ break;
+ case AllTrueVecI32x4:
+ o << "i32x4.all_true";
+ break;
+ case NegVecI64x2:
+ o << "i64x2.neg";
+ break;
+ case AnyTrueVecI64x2:
+ o << "i64x2.any_true";
+ break;
+ case AllTrueVecI64x2:
+ o << "i64x2.all_true";
+ break;
+ case AbsVecF32x4:
+ o << "f32x4.abs";
+ break;
+ case NegVecF32x4:
+ o << "f32x4.neg";
+ break;
+ case SqrtVecF32x4:
+ o << "f32x4.sqrt";
+ break;
+ case AbsVecF64x2:
+ o << "f64x2.abs";
+ break;
+ case NegVecF64x2:
+ o << "f64x2.neg";
+ break;
+ case SqrtVecF64x2:
+ o << "f64x2.sqrt";
+ break;
+ case TruncSatSVecF32x4ToVecI32x4:
+ o << "i32x4.trunc_sat_f32x4_s";
+ break;
+ case TruncSatUVecF32x4ToVecI32x4:
+ o << "i32x4.trunc_sat_f32x4_u";
+ break;
+ case TruncSatSVecF64x2ToVecI64x2:
+ o << "i64x2.trunc_sat_f64x2_s";
+ break;
+ case TruncSatUVecF64x2ToVecI64x2:
+ o << "i64x2.trunc_sat_f64x2_u";
+ break;
+ case ConvertSVecI32x4ToVecF32x4:
+ o << "f32x4.convert_i32x4_s";
+ break;
+ case ConvertUVecI32x4ToVecF32x4:
+ o << "f32x4.convert_i32x4_u";
+ break;
+ case ConvertSVecI64x2ToVecF64x2:
+ o << "f64x2.convert_i64x2_s";
+ break;
+ case ConvertUVecI64x2ToVecF64x2:
+ o << "f64x2.convert_i64x2_u";
+ break;
+ case InvalidUnary:
+ WASM_UNREACHABLE();
}
}
void visitBinary(Binary* curr) {
prepareColor(o);
switch (curr->op) {
- case AddInt32: o << "i32.add"; break;
- case SubInt32: o << "i32.sub"; break;
- case MulInt32: o << "i32.mul"; break;
- case DivSInt32: o << "i32.div_s"; break;
- case DivUInt32: o << "i32.div_u"; break;
- case RemSInt32: o << "i32.rem_s"; break;
- case RemUInt32: o << "i32.rem_u"; break;
- case AndInt32: o << "i32.and"; break;
- case OrInt32: o << "i32.or"; break;
- case XorInt32: o << "i32.xor"; break;
- case ShlInt32: o << "i32.shl"; break;
- case ShrUInt32: o << "i32.shr_u"; break;
- case ShrSInt32: o << "i32.shr_s"; break;
- case RotLInt32: o << "i32.rotl"; break;
- case RotRInt32: o << "i32.rotr"; break;
- case EqInt32: o << "i32.eq"; break;
- case NeInt32: o << "i32.ne"; break;
- case LtSInt32: o << "i32.lt_s"; break;
- case LtUInt32: o << "i32.lt_u"; break;
- case LeSInt32: o << "i32.le_s"; break;
- case LeUInt32: o << "i32.le_u"; break;
- case GtSInt32: o << "i32.gt_s"; break;
- case GtUInt32: o << "i32.gt_u"; break;
- case GeSInt32: o << "i32.ge_s"; break;
- case GeUInt32: o << "i32.ge_u"; break;
+ case AddInt32:
+ o << "i32.add";
+ break;
+ case SubInt32:
+ o << "i32.sub";
+ break;
+ case MulInt32:
+ o << "i32.mul";
+ break;
+ case DivSInt32:
+ o << "i32.div_s";
+ break;
+ case DivUInt32:
+ o << "i32.div_u";
+ break;
+ case RemSInt32:
+ o << "i32.rem_s";
+ break;
+ case RemUInt32:
+ o << "i32.rem_u";
+ break;
+ case AndInt32:
+ o << "i32.and";
+ break;
+ case OrInt32:
+ o << "i32.or";
+ break;
+ case XorInt32:
+ o << "i32.xor";
+ break;
+ case ShlInt32:
+ o << "i32.shl";
+ break;
+ case ShrUInt32:
+ o << "i32.shr_u";
+ break;
+ case ShrSInt32:
+ o << "i32.shr_s";
+ break;
+ case RotLInt32:
+ o << "i32.rotl";
+ break;
+ case RotRInt32:
+ o << "i32.rotr";
+ break;
+ case EqInt32:
+ o << "i32.eq";
+ break;
+ case NeInt32:
+ o << "i32.ne";
+ break;
+ case LtSInt32:
+ o << "i32.lt_s";
+ break;
+ case LtUInt32:
+ o << "i32.lt_u";
+ break;
+ case LeSInt32:
+ o << "i32.le_s";
+ break;
+ case LeUInt32:
+ o << "i32.le_u";
+ break;
+ case GtSInt32:
+ o << "i32.gt_s";
+ break;
+ case GtUInt32:
+ o << "i32.gt_u";
+ break;
+ case GeSInt32:
+ o << "i32.ge_s";
+ break;
+ case GeUInt32:
+ o << "i32.ge_u";
+ break;
- case AddInt64: o << "i64.add"; break;
- case SubInt64: o << "i64.sub"; break;
- case MulInt64: o << "i64.mul"; break;
- case DivSInt64: o << "i64.div_s"; break;
- case DivUInt64: o << "i64.div_u"; break;
- case RemSInt64: o << "i64.rem_s"; break;
- case RemUInt64: o << "i64.rem_u"; break;
- case AndInt64: o << "i64.and"; break;
- case OrInt64: o << "i64.or"; break;
- case XorInt64: o << "i64.xor"; break;
- case ShlInt64: o << "i64.shl"; break;
- case ShrUInt64: o << "i64.shr_u"; break;
- case ShrSInt64: o << "i64.shr_s"; break;
- case RotLInt64: o << "i64.rotl"; break;
- case RotRInt64: o << "i64.rotr"; break;
- case EqInt64: o << "i64.eq"; break;
- case NeInt64: o << "i64.ne"; break;
- case LtSInt64: o << "i64.lt_s"; break;
- case LtUInt64: o << "i64.lt_u"; break;
- case LeSInt64: o << "i64.le_s"; break;
- case LeUInt64: o << "i64.le_u"; break;
- case GtSInt64: o << "i64.gt_s"; break;
- case GtUInt64: o << "i64.gt_u"; break;
- case GeSInt64: o << "i64.ge_s"; break;
- case GeUInt64: o << "i64.ge_u"; break;
+ case AddInt64:
+ o << "i64.add";
+ break;
+ case SubInt64:
+ o << "i64.sub";
+ break;
+ case MulInt64:
+ o << "i64.mul";
+ break;
+ case DivSInt64:
+ o << "i64.div_s";
+ break;
+ case DivUInt64:
+ o << "i64.div_u";
+ break;
+ case RemSInt64:
+ o << "i64.rem_s";
+ break;
+ case RemUInt64:
+ o << "i64.rem_u";
+ break;
+ case AndInt64:
+ o << "i64.and";
+ break;
+ case OrInt64:
+ o << "i64.or";
+ break;
+ case XorInt64:
+ o << "i64.xor";
+ break;
+ case ShlInt64:
+ o << "i64.shl";
+ break;
+ case ShrUInt64:
+ o << "i64.shr_u";
+ break;
+ case ShrSInt64:
+ o << "i64.shr_s";
+ break;
+ case RotLInt64:
+ o << "i64.rotl";
+ break;
+ case RotRInt64:
+ o << "i64.rotr";
+ break;
+ case EqInt64:
+ o << "i64.eq";
+ break;
+ case NeInt64:
+ o << "i64.ne";
+ break;
+ case LtSInt64:
+ o << "i64.lt_s";
+ break;
+ case LtUInt64:
+ o << "i64.lt_u";
+ break;
+ case LeSInt64:
+ o << "i64.le_s";
+ break;
+ case LeUInt64:
+ o << "i64.le_u";
+ break;
+ case GtSInt64:
+ o << "i64.gt_s";
+ break;
+ case GtUInt64:
+ o << "i64.gt_u";
+ break;
+ case GeSInt64:
+ o << "i64.ge_s";
+ break;
+ case GeUInt64:
+ o << "i64.ge_u";
+ break;
- case AddFloat32: o << "f32.add"; break;
- case SubFloat32: o << "f32.sub"; break;
- case MulFloat32: o << "f32.mul"; break;
- case DivFloat32: o << "f32.div"; break;
- case CopySignFloat32: o << "f32.copysign"; break;
- case MinFloat32: o << "f32.min"; break;
- case MaxFloat32: o << "f32.max"; break;
- case EqFloat32: o << "f32.eq"; break;
- case NeFloat32: o << "f32.ne"; break;
- case LtFloat32: o << "f32.lt"; break;
- case LeFloat32: o << "f32.le"; break;
- case GtFloat32: o << "f32.gt"; break;
- case GeFloat32: o << "f32.ge"; break;
+ case AddFloat32:
+ o << "f32.add";
+ break;
+ case SubFloat32:
+ o << "f32.sub";
+ break;
+ case MulFloat32:
+ o << "f32.mul";
+ break;
+ case DivFloat32:
+ o << "f32.div";
+ break;
+ case CopySignFloat32:
+ o << "f32.copysign";
+ break;
+ case MinFloat32:
+ o << "f32.min";
+ break;
+ case MaxFloat32:
+ o << "f32.max";
+ break;
+ case EqFloat32:
+ o << "f32.eq";
+ break;
+ case NeFloat32:
+ o << "f32.ne";
+ break;
+ case LtFloat32:
+ o << "f32.lt";
+ break;
+ case LeFloat32:
+ o << "f32.le";
+ break;
+ case GtFloat32:
+ o << "f32.gt";
+ break;
+ case GeFloat32:
+ o << "f32.ge";
+ break;
- case AddFloat64: o << "f64.add"; break;
- case SubFloat64: o << "f64.sub"; break;
- case MulFloat64: o << "f64.mul"; break;
- case DivFloat64: o << "f64.div"; break;
- case CopySignFloat64: o << "f64.copysign"; break;
- case MinFloat64: o << "f64.min"; break;
- case MaxFloat64: o << "f64.max"; break;
- case EqFloat64: o << "f64.eq"; break;
- case NeFloat64: o << "f64.ne"; break;
- case LtFloat64: o << "f64.lt"; break;
- case LeFloat64: o << "f64.le"; break;
- case GtFloat64: o << "f64.gt"; break;
- case GeFloat64: o << "f64.ge"; break;
+ case AddFloat64:
+ o << "f64.add";
+ break;
+ case SubFloat64:
+ o << "f64.sub";
+ break;
+ case MulFloat64:
+ o << "f64.mul";
+ break;
+ case DivFloat64:
+ o << "f64.div";
+ break;
+ case CopySignFloat64:
+ o << "f64.copysign";
+ break;
+ case MinFloat64:
+ o << "f64.min";
+ break;
+ case MaxFloat64:
+ o << "f64.max";
+ break;
+ case EqFloat64:
+ o << "f64.eq";
+ break;
+ case NeFloat64:
+ o << "f64.ne";
+ break;
+ case LtFloat64:
+ o << "f64.lt";
+ break;
+ case LeFloat64:
+ o << "f64.le";
+ break;
+ case GtFloat64:
+ o << "f64.gt";
+ break;
+ case GeFloat64:
+ o << "f64.ge";
+ break;
- case EqVecI8x16: o << "i8x16.eq"; break;
- case NeVecI8x16: o << "i8x16.ne"; break;
- case LtSVecI8x16: o << "i8x16.lt_s"; break;
- case LtUVecI8x16: o << "i8x16.lt_u"; break;
- case GtSVecI8x16: o << "i8x16.gt_s"; break;
- case GtUVecI8x16: o << "i8x16.gt_u"; break;
- case LeSVecI8x16: o << "i8x16.le_s"; break;
- case LeUVecI8x16: o << "i8x16.le_u"; break;
- case GeSVecI8x16: o << "i8x16.ge_s"; break;
- case GeUVecI8x16: o << "i8x16.ge_u"; break;
- case EqVecI16x8: o << "i16x8.eq"; break;
- case NeVecI16x8: o << "i16x8.ne"; break;
- case LtSVecI16x8: o << "i16x8.lt_s"; break;
- case LtUVecI16x8: o << "i16x8.lt_u"; break;
- case GtSVecI16x8: o << "i16x8.gt_s"; break;
- case GtUVecI16x8: o << "i16x8.gt_u"; break;
- case LeSVecI16x8: o << "i16x8.le_s"; break;
- case LeUVecI16x8: o << "i16x8.le_u"; break;
- case GeSVecI16x8: o << "i16x8.ge_s"; break;
- case GeUVecI16x8: o << "i16x8.ge_u"; break;
- case EqVecI32x4: o << "i32x4.eq"; break;
- case NeVecI32x4: o << "i32x4.ne"; break;
- case LtSVecI32x4: o << "i32x4.lt_s"; break;
- case LtUVecI32x4: o << "i32x4.lt_u"; break;
- case GtSVecI32x4: o << "i32x4.gt_s"; break;
- case GtUVecI32x4: o << "i32x4.gt_u"; break;
- case LeSVecI32x4: o << "i32x4.le_s"; break;
- case LeUVecI32x4: o << "i32x4.le_u"; break;
- case GeSVecI32x4: o << "i32x4.ge_s"; break;
- case GeUVecI32x4: o << "i32x4.ge_u"; break;
- case EqVecF32x4: o << "f32x4.eq"; break;
- case NeVecF32x4: o << "f32x4.ne"; break;
- case LtVecF32x4: o << "f32x4.lt"; break;
- case GtVecF32x4: o << "f32x4.gt"; break;
- case LeVecF32x4: o << "f32x4.le"; break;
- case GeVecF32x4: o << "f32x4.ge"; break;
- case EqVecF64x2: o << "f64x2.eq"; break;
- case NeVecF64x2: o << "f64x2.ne"; break;
- case LtVecF64x2: o << "f64x2.lt"; break;
- case GtVecF64x2: o << "f64x2.gt"; break;
- case LeVecF64x2: o << "f64x2.le"; break;
- case GeVecF64x2: o << "f64x2.ge"; break;
+ case EqVecI8x16:
+ o << "i8x16.eq";
+ break;
+ case NeVecI8x16:
+ o << "i8x16.ne";
+ break;
+ case LtSVecI8x16:
+ o << "i8x16.lt_s";
+ break;
+ case LtUVecI8x16:
+ o << "i8x16.lt_u";
+ break;
+ case GtSVecI8x16:
+ o << "i8x16.gt_s";
+ break;
+ case GtUVecI8x16:
+ o << "i8x16.gt_u";
+ break;
+ case LeSVecI8x16:
+ o << "i8x16.le_s";
+ break;
+ case LeUVecI8x16:
+ o << "i8x16.le_u";
+ break;
+ case GeSVecI8x16:
+ o << "i8x16.ge_s";
+ break;
+ case GeUVecI8x16:
+ o << "i8x16.ge_u";
+ break;
+ case EqVecI16x8:
+ o << "i16x8.eq";
+ break;
+ case NeVecI16x8:
+ o << "i16x8.ne";
+ break;
+ case LtSVecI16x8:
+ o << "i16x8.lt_s";
+ break;
+ case LtUVecI16x8:
+ o << "i16x8.lt_u";
+ break;
+ case GtSVecI16x8:
+ o << "i16x8.gt_s";
+ break;
+ case GtUVecI16x8:
+ o << "i16x8.gt_u";
+ break;
+ case LeSVecI16x8:
+ o << "i16x8.le_s";
+ break;
+ case LeUVecI16x8:
+ o << "i16x8.le_u";
+ break;
+ case GeSVecI16x8:
+ o << "i16x8.ge_s";
+ break;
+ case GeUVecI16x8:
+ o << "i16x8.ge_u";
+ break;
+ case EqVecI32x4:
+ o << "i32x4.eq";
+ break;
+ case NeVecI32x4:
+ o << "i32x4.ne";
+ break;
+ case LtSVecI32x4:
+ o << "i32x4.lt_s";
+ break;
+ case LtUVecI32x4:
+ o << "i32x4.lt_u";
+ break;
+ case GtSVecI32x4:
+ o << "i32x4.gt_s";
+ break;
+ case GtUVecI32x4:
+ o << "i32x4.gt_u";
+ break;
+ case LeSVecI32x4:
+ o << "i32x4.le_s";
+ break;
+ case LeUVecI32x4:
+ o << "i32x4.le_u";
+ break;
+ case GeSVecI32x4:
+ o << "i32x4.ge_s";
+ break;
+ case GeUVecI32x4:
+ o << "i32x4.ge_u";
+ break;
+ case EqVecF32x4:
+ o << "f32x4.eq";
+ break;
+ case NeVecF32x4:
+ o << "f32x4.ne";
+ break;
+ case LtVecF32x4:
+ o << "f32x4.lt";
+ break;
+ case GtVecF32x4:
+ o << "f32x4.gt";
+ break;
+ case LeVecF32x4:
+ o << "f32x4.le";
+ break;
+ case GeVecF32x4:
+ o << "f32x4.ge";
+ break;
+ case EqVecF64x2:
+ o << "f64x2.eq";
+ break;
+ case NeVecF64x2:
+ o << "f64x2.ne";
+ break;
+ case LtVecF64x2:
+ o << "f64x2.lt";
+ break;
+ case GtVecF64x2:
+ o << "f64x2.gt";
+ break;
+ case LeVecF64x2:
+ o << "f64x2.le";
+ break;
+ case GeVecF64x2:
+ o << "f64x2.ge";
+ break;
- case AndVec128: o << "v128.and"; break;
- case OrVec128: o << "v128.or"; break;
- case XorVec128: o << "v128.xor"; break;
+ case AndVec128:
+ o << "v128.and";
+ break;
+ case OrVec128:
+ o << "v128.or";
+ break;
+ case XorVec128:
+ o << "v128.xor";
+ break;
- case AddVecI8x16: o << "i8x16.add"; break;
- case AddSatSVecI8x16: o << "i8x16.add_saturate_s"; break;
- case AddSatUVecI8x16: o << "i8x16.add_saturate_u"; break;
- case SubVecI8x16: o << "i8x16.sub"; break;
- case SubSatSVecI8x16: o << "i8x16.sub_saturate_s"; break;
- case SubSatUVecI8x16: o << "i8x16.sub_saturate_u"; break;
- case MulVecI8x16: o << "i8x16.mul"; break;
- case AddVecI16x8: o << "i16x8.add"; break;
- case AddSatSVecI16x8: o << "i16x8.add_saturate_s"; break;
- case AddSatUVecI16x8: o << "i16x8.add_saturate_u"; break;
- case SubVecI16x8: o << "i16x8.sub"; break;
- case SubSatSVecI16x8: o << "i16x8.sub_saturate_s"; break;
- case SubSatUVecI16x8: o << "i16x8.sub_saturate_u"; break;
- case MulVecI16x8: o << "i16x8.mul"; break;
- case AddVecI32x4: o << "i32x4.add"; break;
- case SubVecI32x4: o << "i32x4.sub"; break;
- case MulVecI32x4: o << "i32x4.mul"; break;
- case AddVecI64x2: o << "i64x2.add"; break;
- case SubVecI64x2: o << "i64x2.sub"; break;
+ case AddVecI8x16:
+ o << "i8x16.add";
+ break;
+ case AddSatSVecI8x16:
+ o << "i8x16.add_saturate_s";
+ break;
+ case AddSatUVecI8x16:
+ o << "i8x16.add_saturate_u";
+ break;
+ case SubVecI8x16:
+ o << "i8x16.sub";
+ break;
+ case SubSatSVecI8x16:
+ o << "i8x16.sub_saturate_s";
+ break;
+ case SubSatUVecI8x16:
+ o << "i8x16.sub_saturate_u";
+ break;
+ case MulVecI8x16:
+ o << "i8x16.mul";
+ break;
+ case AddVecI16x8:
+ o << "i16x8.add";
+ break;
+ case AddSatSVecI16x8:
+ o << "i16x8.add_saturate_s";
+ break;
+ case AddSatUVecI16x8:
+ o << "i16x8.add_saturate_u";
+ break;
+ case SubVecI16x8:
+ o << "i16x8.sub";
+ break;
+ case SubSatSVecI16x8:
+ o << "i16x8.sub_saturate_s";
+ break;
+ case SubSatUVecI16x8:
+ o << "i16x8.sub_saturate_u";
+ break;
+ case MulVecI16x8:
+ o << "i16x8.mul";
+ break;
+ case AddVecI32x4:
+ o << "i32x4.add";
+ break;
+ case SubVecI32x4:
+ o << "i32x4.sub";
+ break;
+ case MulVecI32x4:
+ o << "i32x4.mul";
+ break;
+ case AddVecI64x2:
+ o << "i64x2.add";
+ break;
+ case SubVecI64x2:
+ o << "i64x2.sub";
+ break;
- case AddVecF32x4: o << "f32x4.add"; break;
- case SubVecF32x4: o << "f32x4.sub"; break;
- case MulVecF32x4: o << "f32x4.mul"; break;
- case DivVecF32x4: o << "f32x4.div"; break;
- case MinVecF32x4: o << "f32x4.min"; break;
- case MaxVecF32x4: o << "f32x4.max"; break;
- case AddVecF64x2: o << "f64x2.add"; break;
- case SubVecF64x2: o << "f64x2.sub"; break;
- case MulVecF64x2: o << "f64x2.mul"; break;
- case DivVecF64x2: o << "f64x2.div"; break;
- case MinVecF64x2: o << "f64x2.min"; break;
- case MaxVecF64x2: o << "f64x2.max"; break;
+ case AddVecF32x4:
+ o << "f32x4.add";
+ break;
+ case SubVecF32x4:
+ o << "f32x4.sub";
+ break;
+ case MulVecF32x4:
+ o << "f32x4.mul";
+ break;
+ case DivVecF32x4:
+ o << "f32x4.div";
+ break;
+ case MinVecF32x4:
+ o << "f32x4.min";
+ break;
+ case MaxVecF32x4:
+ o << "f32x4.max";
+ break;
+ case AddVecF64x2:
+ o << "f64x2.add";
+ break;
+ case SubVecF64x2:
+ o << "f64x2.sub";
+ break;
+ case MulVecF64x2:
+ o << "f64x2.mul";
+ break;
+ case DivVecF64x2:
+ o << "f64x2.div";
+ break;
+ case MinVecF64x2:
+ o << "f64x2.min";
+ break;
+ case MaxVecF64x2:
+ o << "f64x2.max";
+ break;
- case InvalidBinary: WASM_UNREACHABLE();
+ case InvalidBinary:
+ WASM_UNREACHABLE();
}
restoreNormalColor(o);
}
- void visitSelect(Select* curr) {
- prepareColor(o) << "select";
- }
- void visitDrop(Drop* curr) {
- printMedium(o, "drop");
- }
- void visitReturn(Return* curr) {
- printMedium(o, "return");
- }
+ void visitSelect(Select* curr) { prepareColor(o) << "select"; }
+ void visitDrop(Drop* curr) { printMedium(o, "drop"); }
+ void visitReturn(Return* curr) { printMedium(o, "return"); }
void visitHost(Host* curr) {
switch (curr->op) {
- case CurrentMemory: printMedium(o, "current_memory"); break;
- case GrowMemory: printMedium(o, "grow_memory"); break;
+ case CurrentMemory:
+ printMedium(o, "current_memory");
+ break;
+ case GrowMemory:
+ printMedium(o, "grow_memory");
+ break;
}
}
- void visitNop(Nop* curr) {
- printMinor(o, "nop");
- }
- void visitUnreachable(Unreachable* curr) {
- printMinor(o, "unreachable");
- }
+ void visitNop(Nop* curr) { printMinor(o, "nop"); }
+ void visitUnreachable(Unreachable* curr) { printMinor(o, "unreachable"); }
};
// Prints an expression in s-expr format, including both the
@@ -608,8 +1157,8 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
unsigned indent = 0;
bool minify;
- const char *maybeSpace;
- const char *maybeNewLine;
+ const char* maybeSpace;
+ const char* maybeNewLine;
bool full = false; // whether to not elide nodes in output when possible
// (like implicit blocks) and to emit types
@@ -625,16 +1174,18 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
PrintSExpression(std::ostream& o) : o(o) {
setMinify(false);
- if (!full) full = isFullForced();
+ if (!full)
+ full = isFullForced();
}
- void printDebugLocation(const Function::DebugLocation &location) {
+ void printDebugLocation(const Function::DebugLocation& location) {
if (lastPrintedLocation == location) {
return;
}
lastPrintedLocation = location;
auto fileName = currModule->debugInfoFileNames[location.fileIndex];
- o << ";;@ " << fileName << ":" << location.lineNumber << ":" << location.columnNumber << '\n';
+ o << ";;@ " << fileName << ":" << location.lineNumber << ":"
+ << location.columnNumber << '\n';
doIndent(o, indent);
}
@@ -663,7 +1214,8 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
void setFull(bool full_) { full = full_; }
void incIndent() {
- if (minify) return;
+ if (minify)
+ return;
o << '\n';
indent++;
}
@@ -675,7 +1227,7 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
}
o << ')';
}
- void printFullLine(Expression *expression) {
+ void printFullLine(Expression* expression) {
!minify && doIndent(o, indent);
if (full) {
o << "[" << printType(expression->type) << "] ";
@@ -685,7 +1237,8 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
}
void visitBlock(Block* curr) {
- // special-case Block, because Block nesting (in their first element) can be incredibly deep
+ // special-case Block, because Block nesting (in their first element) can be
+ // incredibly deep
std::vector<Block*> stack;
while (1) {
if (stack.size() > 0) {
@@ -743,13 +1296,17 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
incIndent();
printFullLine(curr->condition);
// ifTrue and False have implict blocks, avoid printing them if possible
- if (!full && curr->ifTrue->is<Block>() && curr->ifTrue->dynCast<Block>()->name.isNull() && curr->ifTrue->dynCast<Block>()->list.size() == 1) {
+ if (!full && curr->ifTrue->is<Block>() &&
+ curr->ifTrue->dynCast<Block>()->name.isNull() &&
+ curr->ifTrue->dynCast<Block>()->list.size() == 1) {
printFullLine(curr->ifTrue->dynCast<Block>()->list.back());
} else {
printFullLine(curr->ifTrue);
}
if (curr->ifFalse) {
- if (!full && curr->ifFalse->is<Block>() && curr->ifFalse->dynCast<Block>()->name.isNull() && curr->ifFalse->dynCast<Block>()->list.size() == 1) {
+ if (!full && curr->ifFalse->is<Block>() &&
+ curr->ifFalse->dynCast<Block>()->name.isNull() &&
+ curr->ifFalse->dynCast<Block>()->list.size() == 1) {
printFullLine(curr->ifFalse->dynCast<Block>()->list.back());
} else {
printFullLine(curr->ifFalse);
@@ -795,7 +1352,8 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
}
incIndent();
}
- if (curr->value && !curr->value->is<Nop>()) printFullLine(curr->value);
+ if (curr->value && !curr->value->is<Nop>())
+ printFullLine(curr->value);
if (curr->condition) {
printFullLine(curr->condition);
}
@@ -805,13 +1363,13 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
o << '(';
PrintExpressionContents(currFunction, o).visit(curr);
incIndent();
- if (curr->value && !curr->value->is<Nop>()) printFullLine(curr->value);
+ if (curr->value && !curr->value->is<Nop>())
+ printFullLine(curr->value);
printFullLine(curr->condition);
decIndent();
}
- template<typename CallBase>
- void printCallOperands(CallBase* curr) {
+ template<typename CallBase> void printCallOperands(CallBase* curr) {
if (curr->operands.size() > 0) {
incIndent();
for (auto operand : curr->operands) {
@@ -895,7 +1453,7 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
decIndent();
}
void visitAtomicWait(AtomicWait* curr) {
- o << '(' ;
+ o << '(';
PrintExpressionContents(currFunction, o).visit(curr);
restoreNormalColor(o);
incIndent();
@@ -1060,7 +1618,8 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
// Module-level visitors
void visitFunctionType(FunctionType* curr, Name* internalName = nullptr) {
o << "(func";
- if (internalName) o << ' ' << *internalName;
+ if (internalName)
+ o << ' ' << *internalName;
if (curr->params.size() > 0) {
o << maybeSpace;
o << '(';
@@ -1082,11 +1641,20 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
printMedium(o, "export ");
printText(o, curr->name.str) << " (";
switch (curr->kind) {
- case ExternalKind::Function: o << "func"; break;
- case ExternalKind::Table: o << "table"; break;
- case ExternalKind::Memory: o << "memory"; break;
- case ExternalKind::Global: o << "global"; break;
- case ExternalKind::Invalid: WASM_UNREACHABLE();
+ case ExternalKind::Function:
+ o << "func";
+ break;
+ case ExternalKind::Table:
+ o << "table";
+ break;
+ case ExternalKind::Memory:
+ o << "memory";
+ break;
+ case ExternalKind::Global:
+ o << "global";
+ break;
+ case ExternalKind::Invalid:
+ WASM_UNREACHABLE();
}
o << ' ';
printName(curr->value, o) << "))";
@@ -1140,7 +1708,7 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
void visitImportedFunction(Function* curr) {
doIndent(o, indent);
currFunction = curr;
- lastPrintedLocation = { 0, 0, 0 };
+ lastPrintedLocation = {0, 0, 0};
o << '(';
emitImportHeader(curr);
if (curr->type.is()) {
@@ -1155,7 +1723,7 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
void visitDefinedFunction(Function* curr) {
doIndent(o, indent);
currFunction = curr;
- lastPrintedLocation = { 0, 0, 0 };
+ lastPrintedLocation = {0, 0, 0};
if (currFunction->prologLocation.size()) {
printDebugLocation(*currFunction->prologLocation.begin());
}
@@ -1180,7 +1748,8 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
for (size_t i = 0; i < curr->params.size(); i++) {
o << maybeSpace;
o << '(';
- printMinor(o, "param ") << printableLocal(i, currFunction) << ' ' << printType(curr->getLocalType(i)) << ')';
+ printMinor(o, "param ") << printableLocal(i, currFunction) << ' '
+ << printType(curr->getLocalType(i)) << ')';
}
}
if (curr->result != none) {
@@ -1192,14 +1761,17 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
for (size_t i = curr->getVarIndexBase(); i < curr->getNumLocals(); i++) {
doIndent(o, indent);
o << '(';
- printMinor(o, "local ") << printableLocal(i, currFunction) << ' ' << printType(curr->getLocalType(i)) << ')';
+ printMinor(o, "local ") << printableLocal(i, currFunction) << ' '
+ << printType(curr->getLocalType(i)) << ')';
o << maybeNewLine;
}
// Print the body.
if (!printStackIR || !curr->stackIR) {
- // It is ok to emit a block here, as a function can directly contain a list, even if our
- // ast avoids that for simplicity. We can just do that optimization here..
- if (!full && curr->body->is<Block>() && curr->body->cast<Block>()->name.isNull()) {
+ // It is ok to emit a block here, as a function can directly contain a
+ // list, even if our ast avoids that for simplicity. We can just do that
+ // optimization here..
+ if (!full && curr->body->is<Block>() &&
+ curr->body->cast<Block>()->name.isNull()) {
Block* block = curr->body->cast<Block>();
for (auto item : block->list) {
printFullLine(item);
@@ -1211,8 +1783,10 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
// Print the stack IR.
WasmPrinter::printStackIR(curr->stackIR.get(), o, curr);
}
- if (currFunction->epilogLocation.size() && lastPrintedLocation != *currFunction->epilogLocation.begin()) {
- // Print last debug location: mix of decIndent and printDebugLocation logic.
+ if (currFunction->epilogLocation.size() &&
+ lastPrintedLocation != *currFunction->epilogLocation.begin()) {
+ // Print last debug location: mix of decIndent and printDebugLocation
+ // logic.
doIndent(o, indent);
if (!minify) {
indent--;
@@ -1229,11 +1803,13 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
printMedium(o, "table") << ' ';
printName(curr->name, o) << ' ';
o << curr->initial;
- if (curr->hasMax()) o << ' ' << curr->max;
+ if (curr->hasMax())
+ o << ' ' << curr->max;
o << " funcref)";
}
void visitTable(Table* curr) {
- if (!curr->exists) return;
+ if (!curr->exists)
+ return;
if (curr->imported()) {
doIndent(o, indent);
o << '(';
@@ -1247,7 +1823,8 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
}
for (auto& segment : curr->segments) {
// Don't print empty segments
- if (segment.data.empty()) continue;
+ if (segment.data.empty())
+ continue;
doIndent(o, indent);
o << '(';
printMajor(o, "elem ");
@@ -1268,12 +1845,15 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
printMedium(o, "shared ");
}
o << curr->initial;
- if (curr->hasMax()) o << ' ' << curr->max;
- if (curr->shared) o << ")";
+ if (curr->hasMax())
+ o << ' ' << curr->max;
+ if (curr->shared)
+ o << ")";
o << ")";
}
void visitMemory(Memory* curr) {
- if (!curr->exists) return;
+ if (!curr->exists)
+ return;
if (curr->imported()) {
doIndent(o, indent);
o << '(';
@@ -1298,19 +1878,35 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
for (size_t i = 0; i < segment.data.size(); i++) {
unsigned char c = segment.data[i];
switch (c) {
- case '\n': o << "\\n"; break;
- case '\r': o << "\\0d"; break;
- case '\t': o << "\\t"; break;
- case '\f': o << "\\0c"; break;
- case '\b': o << "\\08"; break;
- case '\\': o << "\\\\"; break;
- case '"' : o << "\\\""; break;
- case '\'' : o << "\\'"; break;
+ case '\n':
+ o << "\\n";
+ break;
+ case '\r':
+ o << "\\0d";
+ break;
+ case '\t':
+ o << "\\t";
+ break;
+ case '\f':
+ o << "\\0c";
+ break;
+ case '\b':
+ o << "\\08";
+ break;
+ case '\\':
+ o << "\\\\";
+ break;
+ case '"':
+ o << "\\\"";
+ break;
+ case '\'':
+ o << "\\'";
+ break;
default: {
if (c >= 32 && c < 127) {
o << c;
} else {
- o << std::hex << '\\' << (c/16) << (c%16) << std::dec;
+ o << std::hex << '\\' << (c / 16) << (c % 16) << std::dec;
}
}
}
@@ -1331,27 +1927,20 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
visitFunctionType(child.get());
o << ")" << maybeNewLine;
}
- ModuleUtils::iterImportedMemories(*curr, [&](Memory* memory) {
- visitMemory(memory);
- });
- ModuleUtils::iterImportedTables(*curr, [&](Table* table) {
- visitTable(table);
- });
- ModuleUtils::iterImportedGlobals(*curr, [&](Global* global) {
- visitGlobal(global);
- });
- ModuleUtils::iterImportedFunctions(*curr, [&](Function* func) {
- visitFunction(func);
- });
- ModuleUtils::iterDefinedMemories(*curr, [&](Memory* memory) {
- visitMemory(memory);
- });
- ModuleUtils::iterDefinedTables(*curr, [&](Table* table) {
- visitTable(table);
- });
- ModuleUtils::iterDefinedGlobals(*curr, [&](Global* global) {
- visitGlobal(global);
- });
+ ModuleUtils::iterImportedMemories(
+ *curr, [&](Memory* memory) { visitMemory(memory); });
+ ModuleUtils::iterImportedTables(*curr,
+ [&](Table* table) { visitTable(table); });
+ ModuleUtils::iterImportedGlobals(
+ *curr, [&](Global* global) { visitGlobal(global); });
+ ModuleUtils::iterImportedFunctions(
+ *curr, [&](Function* func) { visitFunction(func); });
+ ModuleUtils::iterDefinedMemories(
+ *curr, [&](Memory* memory) { visitMemory(memory); });
+ ModuleUtils::iterDefinedTables(*curr,
+ [&](Table* table) { visitTable(table); });
+ ModuleUtils::iterDefinedGlobals(
+ *curr, [&](Global* global) { visitGlobal(global); });
for (auto& child : curr->exports) {
doIndent(o, indent);
visitExport(child.get());
@@ -1363,12 +1952,12 @@ struct PrintSExpression : public Visitor<PrintSExpression> {
printMedium(o, "start") << ' ' << curr->start << ')';
o << maybeNewLine;
}
- ModuleUtils::iterDefinedFunctions(*curr, [&](Function* func) {
- visitFunction(func);
- });
+ ModuleUtils::iterDefinedFunctions(
+ *curr, [&](Function* func) { visitFunction(func); });
for (auto& section : curr->userSections) {
doIndent(o, indent);
- o << ";; custom section \"" << section.name << "\", size " << section.data.size();
+ o << ";; custom section \"" << section.name << "\", size "
+ << section.data.size();
o << maybeNewLine;
}
decIndent();
@@ -1394,9 +1983,7 @@ public:
}
};
-Pass *createPrinterPass() {
- return new Printer();
-}
+Pass* createPrinterPass() { return new Printer(); }
// Prints out a minified module
@@ -1412,9 +1999,7 @@ public:
}
};
-Pass *createMinifiedPrinterPass() {
- return new MinifiedPrinter();
-}
+Pass* createMinifiedPrinterPass() { return new MinifiedPrinter(); }
// Prints out a module withough elision, i.e., the full ast
@@ -1430,9 +2015,7 @@ public:
}
};
-Pass *createFullPrinterPass() {
- return new FullPrinter();
-}
+Pass* createFullPrinterPass() { return new FullPrinter(); }
// Print Stack IR (if present)
@@ -1448,9 +2031,7 @@ public:
}
};
-Pass* createPrintStackIRPass() {
- return new PrintStackIR();
-}
+Pass* createPrintStackIRPass() { return new PrintStackIR(); }
// Print individual expressions
@@ -1466,7 +2047,10 @@ std::ostream& WasmPrinter::printModule(Module* module) {
return printModule(module, std::cout);
}
-std::ostream& WasmPrinter::printExpression(Expression* expression, std::ostream& o, bool minify, bool full) {
+std::ostream& WasmPrinter::printExpression(Expression* expression,
+ std::ostream& o,
+ bool minify,
+ bool full) {
if (!expression) {
o << "(null expression)";
return o;
@@ -1481,7 +2065,8 @@ std::ostream& WasmPrinter::printExpression(Expression* expression, std::ostream&
return o;
}
-std::ostream& WasmPrinter::printStackInst(StackInst* inst, std::ostream& o, Function* func) {
+std::ostream&
+WasmPrinter::printStackInst(StackInst* inst, std::ostream& o, Function* func) {
switch (inst->op) {
case StackInst::Basic: {
PrintExpressionContents(func, o).visit(inst->origin);
@@ -1503,12 +2088,14 @@ std::ostream& WasmPrinter::printStackInst(StackInst* inst, std::ostream& o, Func
o << "else";
break;
}
- default: WASM_UNREACHABLE();
+ default:
+ WASM_UNREACHABLE();
}
return o;
}
-std::ostream& WasmPrinter::printStackIR(StackIR* ir, std::ostream& o, Function* func) {
+std::ostream&
+WasmPrinter::printStackIR(StackIR* ir, std::ostream& o, Function* func) {
size_t indent = func ? 2 : 0;
auto doIndent = [&indent, &o]() {
for (size_t j = 0; j < indent; j++) {
@@ -1517,7 +2104,8 @@ std::ostream& WasmPrinter::printStackIR(StackIR* ir, std::ostream& o, Function*
};
for (Index i = 0; i < (*ir).size(); i++) {
auto* inst = (*ir)[i];
- if (!inst) continue;
+ if (!inst)
+ continue;
switch (inst->op) {
case StackInst::Basic: {
doIndent();
@@ -1548,7 +2136,8 @@ std::ostream& WasmPrinter::printStackIR(StackIR* ir, std::ostream& o, Function*
doIndent();
break;
}
- default: WASM_UNREACHABLE();
+ default:
+ WASM_UNREACHABLE();
}
std::cout << '\n';
}
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-06 01:08:34 +0000