summaryrefslogtreecommitdiff
path: root/test/example/relooper-fuzz1.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/example/relooper-fuzz1.c')
-rw-r--r--test/example/relooper-fuzz1.c100
1 files changed, 50 insertions, 50 deletions
diff --git a/test/example/relooper-fuzz1.c b/test/example/relooper-fuzz1.c
index 676c9b8f4..9be2daa10 100644
--- a/test/example/relooper-fuzz1.c
+++ b/test/example/relooper-fuzz1.c
@@ -17,7 +17,7 @@ int main() {
BinaryenExpressionRef halter = BinaryenIf(module,
BinaryenBinary(module,
BinaryenEqInt32(),
- BinaryenLoad(module, 4, 0, 0, 0, BinaryenInt32(),
+ BinaryenLoad(module, 4, 0, 0, 0, BinaryenTypeInt32(),
BinaryenConst(module, BinaryenLiteralInt32(4))),
BinaryenConst(module, BinaryenLiteralInt32(4 * 30)) // jumps of 4 bytes
),
@@ -30,11 +30,11 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(4)),
BinaryenBinary(module,
BinaryenAddInt32(),
- BinaryenLoad(module, 4, 0, 0, 0, BinaryenInt32(),
+ BinaryenLoad(module, 4, 0, 0, 0, BinaryenTypeInt32(),
BinaryenConst(module, BinaryenLiteralInt32(4))),
BinaryenConst(module, BinaryenLiteralInt32(4))
),
- BinaryenInt32()
+ BinaryenTypeInt32()
);
// optionally, print the return value
@@ -43,32 +43,32 @@ int main() {
BinaryenSubInt32(),
BinaryenConst(module, BinaryenLiteralInt32(0)),
BinaryenLoad(module,
- 4, 0, 4, 0, BinaryenInt32(),
- BinaryenLoad(module, 4, 0, 0, 0, BinaryenInt32(),
+ 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());
+ 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(),
+ 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()
+ BinaryenTypeAuto()
);
BinaryenFunctionTypeRef i = BinaryenAddFunctionType(module, "i",
- BinaryenInt32(),
+ BinaryenTypeInt32(),
NULL, 0);
BinaryenAddFunction(module, "check", i, NULL, 0, checkBody);
@@ -83,13 +83,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(0))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b0 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -99,13 +99,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(1))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b1 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -115,13 +115,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(2))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b2 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -131,13 +131,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(3))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b3 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -147,13 +147,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(4))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b4 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -163,13 +163,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(5))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b5 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -179,13 +179,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(6))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b6 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -195,13 +195,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(7))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b7 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -211,13 +211,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(8))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b8 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -227,13 +227,13 @@ int main() {
BinaryenConst(module, BinaryenLiteralInt32(9))
};
BinaryenExpressionRef list[] = {
- BinaryenCallImport(module, "print", args, 1, BinaryenNone()),
+ BinaryenCallImport(module, "print", args, 1, BinaryenTypeNone()),
BinaryenSetLocal(module, 0, BinaryenCall(module, "check", NULL, 0,
- BinaryenInt32()))
+ BinaryenTypeInt32()))
};
b9 = RelooperAddBlock(relooper, BinaryenBlock(module, NULL, list, 2,
- BinaryenUndefined()));
+ BinaryenTypeAuto()));
}
@@ -241,7 +241,7 @@ int main() {
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(4))
),
BinaryenConst(module, BinaryenLiteralInt32(0))
@@ -251,7 +251,7 @@ int main() {
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(4))
),
BinaryenConst(module, BinaryenLiteralInt32(2))
@@ -263,7 +263,7 @@ int main() {
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(2))
),
BinaryenConst(module, BinaryenLiteralInt32(0))
@@ -277,7 +277,7 @@ int main() {
BinaryenEqInt32(),
BinaryenBinary(module,
BinaryenRemUInt32(),
- BinaryenGetLocal(module, 0, BinaryenInt32()),
+ BinaryenGetLocal(module, 0, BinaryenTypeInt32()),
BinaryenConst(module, BinaryenLiteralInt32(3))
),
BinaryenConst(module, BinaryenLiteralInt32(0))
@@ -301,29 +301,29 @@ 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());
+ BinaryenTypeAuto());
BinaryenFunctionTypeRef v = BinaryenAddFunctionType(module, "v",
- BinaryenNone(),
+ BinaryenTypeNone(),
NULL, 0);
// locals: state, free-for-label
- BinaryenType localTypes[] = { BinaryenInt32(), BinaryenInt32() };
+ BinaryenType localTypes[] = { BinaryenTypeInt32(), BinaryenTypeInt32() };
BinaryenFunctionRef theMain = BinaryenAddFunction(module, "main", v,
localTypes, 2, all);
BinaryenSetStart(module, theMain);
// import
- BinaryenType iparams[] = { BinaryenInt32() };
+ BinaryenType iparams[] = { BinaryenTypeInt32() };
BinaryenFunctionTypeRef vi = BinaryenAddFunctionType(module, "vi",
- BinaryenNone(),
+ BinaryenTypeNone(),
iparams, 1);
BinaryenAddFunctionImport(module, "print", "spectest", "print", vi);
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-24 22:35:17 +0000