mirror of
https://github.com/ton-blockchain/ton
synced 2025-03-09 15:40:10 +00:00
1389ff6789
In FunC (and in Tolk before), the assignment > lhs = rhs evaluation order (at IR level) was "rhs first, lhs second". In practice, this did not matter, because lhs could only be a primitive: > (v1, v2) = getValue() Left side of assignment actually has no "evaluation". Since Tolk implemented indexed access, there could be > getTensor().0 = getValue() or (in the future) > getObject().field = getValue() where evaluation order becomes significant. Now evaluation order will be to "lhs first, rhs second" (more expected from user's point of view), which will become significant when building control flow graph.
96 lines
1.5 KiB
Text
96 lines
1.5 KiB
Text
@method_id(101)
|
|
fun test1(): int {
|
|
var x: int = false as int;
|
|
if (x == true as int) {
|
|
x= 100500;
|
|
}
|
|
return x;
|
|
}
|
|
|
|
fun main(s: int) {
|
|
var (z, t) = (17, s);
|
|
while (z > 0) {
|
|
t = s;
|
|
z -= 1;
|
|
}
|
|
return ~ t;
|
|
}
|
|
|
|
/**
|
|
method_id | in | out
|
|
@testcase | 0 | 1 | -2
|
|
@testcase | 0 | 5 | -6
|
|
@testcase | 101 | | 0
|
|
|
|
Below, I just give examples of @fif_codegen tag:
|
|
* a pattern can be single-line (after the tag), or multi-line, surrounded with """
|
|
* there may be multiple @fif_codegen, they all will be checked
|
|
* identation (spaces) is not checked intentionally
|
|
* "..." means any number of any lines
|
|
* lines not divided with "..." are expected to be consecutive in fif output
|
|
* //comments can be omitted, but if present, they are also expected to be equal
|
|
* there is also a tag @fif_codegen_avoid to check a pattern does not occur
|
|
|
|
@fif_codegen
|
|
"""
|
|
main PROC:<{
|
|
// s
|
|
17 PUSHINT // s '3=17
|
|
OVER // s z=17 t
|
|
WHILE:<{
|
|
...
|
|
}>DO<{ // s z t
|
|
...
|
|
s1 s(-1) PUXC // s t z
|
|
...
|
|
2 1 BLKDROP2
|
|
...
|
|
}>
|
|
"""
|
|
|
|
@fif_codegen
|
|
"""
|
|
main PROC:<{
|
|
...
|
|
WHILE:<{
|
|
...
|
|
}>DO<{
|
|
...
|
|
}>
|
|
}END>c
|
|
"""
|
|
|
|
@fif_codegen
|
|
"""
|
|
OVER
|
|
0 GTINT // s z t '5
|
|
"""
|
|
|
|
@fif_codegen
|
|
"""
|
|
"Asm.fif" include
|
|
...
|
|
PROGRAM{
|
|
...
|
|
}END>c
|
|
"""
|
|
|
|
@fif_codegen
|
|
"""
|
|
test1 PROC:<{
|
|
//
|
|
FALSE
|
|
}>
|
|
"""
|
|
|
|
@fif_codegen NOT // '8
|
|
@fif_codegen main PROC:<{
|
|
|
|
@fif_codegen_avoid PROCINLINE
|
|
@fif_codegen_avoid END c
|
|
@fif_codegen_avoid
|
|
"""
|
|
multiline
|
|
can also be
|
|
"""
|
|
*/
|