summaryrefslogtreecommitdiff
path: root/test/example/relooper-fuzz.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/example/relooper-fuzz.c')
-rw-r--r--test/example/relooper-fuzz.c96
1 files changed, 48 insertions, 48 deletions
diff --git a/test/example/relooper-fuzz.c b/test/example/relooper-fuzz.c
index 11e25d19c..28be4bd90 100644
--- a/test/example/relooper-fuzz.c
+++ b/test/example/relooper-fuzz.c
@@ -17,7 +17,7 @@ int main() {
BinaryenExpressionRef halter = BinaryenIf(module,
BinaryenBinary(module,
BinaryenEqInt32(),
- BinaryenLoad(module, 4, 0, 0, 0, BinaryenInt32(), BinaryenConst(module, BinaryenLiteralInt32(4))),
+ BinaryenLoad(module, 4, 0, 0, 0, BinaryenTypeInt32(), BinaryenConst(module, BinaryenLiteralInt32(4))),
BinaryenConst(module, BinaryenLiteralInt32(4 * 27)) // jumps of 4 bytes
),
BinaryenUnreachable(module),
@@ -29,10 +29,10 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(4)),
BinaryenBinary(module,
BinaryenAddInt32(),
- BinaryenLoad(module, 4, 0, 0, 0, BinaryenInt32(), BinaryenConst(module, BinaryenLiteralInt32(4))),
+ BinaryenLoad(module, 4, 0, 0, 0, BinaryenTypeInt32(), BinaryenConst(module, BinaryenLiteralInt32(4))),
BinaryenConst(module, BinaryenLiteralInt32(4))
),
- BinaryenInt32()
+ BinaryenTypeInt32()
);
// optionally, print the return value
@@ -41,23 +41,23 @@ int main() {
BinaryenSubInt32(),
BinaryenConst(module, BinaryenLiteralInt32(0)),
BinaryenLoad(module,
- 4, 0, 4, 0, BinaryenInt32(),
- BinaryenLoad(module, 4, 0, 0, 0, BinaryenInt32(), BinaryenConst(module, BinaryenLiteralInt32(4)))
+ 4, 0, 4, 0, BinaryenTypeInt32(),
+ BinaryenLoad(module, 4, 0, 0, 0, BinaryenTypeInt32(), BinaryenConst(module, BinaryenLiteralInt32(4)))
)
)
};
BinaryenExpressionRef debugger;
- if (1) debugger = BinaryenCallImport(module, "print", args, 1, BinaryenNone());
+ if (1) debugger = BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone());
else debugger = BinaryenNop(module);
// return the decision. need to subtract 4 that we just added, and add 8 since that's where we start, so overall offset 4
BinaryenExpressionRef returner = BinaryenLoad(module,
- 4, 0, 4, 0, BinaryenInt32(),
- BinaryenLoad(module, 4, 0, 0, 0, BinaryenInt32(), BinaryenConst(module, BinaryenLiteralInt32(4)))
+ 4, 0, 4, 0, BinaryenTypeInt32(),
+ BinaryenLoad(module, 4, 0, 0, 0, BinaryenTypeInt32(), BinaryenConst(module, BinaryenLiteralInt32(4)))
);
BinaryenExpressionRef checkBodyList[] = { halter, incer, debugger, returner };
- BinaryenExpressionRef checkBody = BinaryenBlock(module, NULL, checkBodyList, sizeof(checkBodyList) / sizeof(BinaryenExpressionRef), BinaryenUndefined());
- BinaryenFunctionTypeRef i = BinaryenAddFunctionType(module, "i", BinaryenInt32(), NULL, 0);
+ BinaryenExpressionRef checkBody = BinaryenBlock(module, NULL, checkBodyList, sizeof(checkBodyList) / sizeof(BinaryenExpressionRef), BinaryenTypeAuto());
+ BinaryenFunctionTypeRef i = BinaryenAddFunctionType(module, "i", BinaryenTypeInt32(), NULL, 0);
BinaryenAddFunction(module, "check", i, NULL, 0, checkBody);
// contents of main() begin here
@@ -69,97 +69,97 @@ int main() {
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(0)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b0 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b0 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperBlockRef b1;
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(1)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b1 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b1 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperBlockRef b2;
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(2)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b2 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b2 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperBlockRef b3;
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(3)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b3 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b3 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperBlockRef b4;
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(4)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b4 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b4 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperBlockRef b5;
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(5)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b5 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b5 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperBlockRef b6;
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(6)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b6 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b6 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperBlockRef b7;
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(7)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b7 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b7 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperBlockRef b8;
{
BinaryenExpressionRef args[] = { BinaryenConst(module, BinaryenLiteralInt32(8)) };
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
- BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenInt32()))
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
+ BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0, BinaryenTypeInt32()))
};
- b8 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenUndefined()));
+ b8 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2, BinaryenTypeAuto()));
}
RelooperAddBranch(b0, b5, BinaryenBinary(module,
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(2))
),
BinaryenConst(module, BinaryenLiteralInt32(0))
@@ -175,7 +175,7 @@ int main() {
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(2))
),
BinaryenConst(module, BinaryenLiteralInt32(0))
@@ -187,7 +187,7 @@ int main() {
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(3))
),
BinaryenConst(module, BinaryenLiteralInt32(0))
@@ -197,7 +197,7 @@ int main() {
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(3))
),
BinaryenConst(module, BinaryenLiteralInt32(1))
@@ -209,7 +209,7 @@ int main() {
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(2))
),
BinaryenConst(module, BinaryenLiteralInt32(0))
@@ -237,22 +237,22 @@ int main() {
4, 0, 0,
BinaryenConst(module, BinaryenLiteralInt32(8 + 4 * i)),
BinaryenConst(module, BinaryenLiteralInt32(decisions[i])),
- BinaryenInt32()
+ BinaryenTypeInt32()
);
}
}
full[numDecisions] = body;
- BinaryenExpressionRef all = BinaryenBlock(module, NULL, full, numDecisions + 1, BinaryenUndefined());
+ BinaryenExpressionRef all = BinaryenBlock(module, NULL, full, numDecisions + 1, BinaryenTypeAuto());
- BinaryenFunctionTypeRef v = BinaryenAddFunctionType(module, "v", BinaryenNone(), NULL, 0);
- BinaryenType localTypes[] = { BinaryenInt32(), BinaryenInt32() }; // state, free-for-label
+ BinaryenFunctionTypeRef v = BinaryenAddFunctionType(module, "v", BinaryenTypeNone(), NULL, 0);
+ BinaryenType localTypes[] = { BinaryenTypeInt32(), BinaryenTypeInt32() }; // state, free-for-label
BinaryenFunctionRef theMain = BinaryenAddFunction(module, "main", v, localTypes, 2, all);
BinaryenSetStart(module, theMain);
// import
- BinaryenType iparams[] = { BinaryenInt32() };
- BinaryenFunctionTypeRef vi = BinaryenAddFunctionType(module, "vi", BinaryenNone(), iparams, 1);
+ BinaryenType iparams[] = { BinaryenTypeInt32() };
+ BinaryenFunctionTypeRef vi = BinaryenAddFunctionType(module, "vi", BinaryenTypeNone(), iparams, 1);
BinaryenAddFunctionImport(module, "print", "spectest", "print", vi);
// memory
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-25 04:07:15 +0000