mirror of
https://github.com/ton-blockchain/ton
synced 2025-03-09 15:40:10 +00:00
f3e620f48c
This commit introduces nullable types `T?` that are distinct from non-nullable `T`. Example: `int?` (int or null) and `int` are different now. Previously, `null` could be assigned to any primitive type. Now, it can be assigned only to `T?`. A non-null assertion operator `!` was also introduced, similar to `!` in TypeScript and `!!` in Kotlin. If `int?` still occupies 1 stack slot, `(int,int)?` and other nullable tensors occupy N+1 slots, the last for "null precedence". `v == null` actually compares that slot. Assigning `(int,int)` to `(int,int)?` implicitly creates a null presence slot. Assigning `null` to `(int,int)?` widens this null value to 3 slots. This is called "type transitioning". All stdlib functions prototypes have been updated to reflect whether they return/accept a nullable or a strict value. This commit also contains refactoring from `const FunctionData*` to `FunctionPtr` and similar.
159 lines
2.8 KiB
Text
159 lines
2.8 KiB
Text
import "@stdlib/tvm-lowlevel"
|
|
|
|
fun pair_first<X, Y>(p: [X, Y]): X asm "FIRST";
|
|
|
|
fun one(dummy: tuple?) {
|
|
return 1;
|
|
}
|
|
|
|
fun main(a: int, x: int) {
|
|
var y: int = 0;
|
|
var z: int = 0;
|
|
while ((y = x * x) > a) {
|
|
x -= 1;
|
|
z = one(null);
|
|
}
|
|
return (y, z);
|
|
}
|
|
|
|
fun throwIfLt10(x: int): void {
|
|
if (x > 10) {
|
|
return;
|
|
}
|
|
throw 234;
|
|
return;
|
|
}
|
|
|
|
@method_id(88)
|
|
fun test88(x: int) {
|
|
try {
|
|
var x: void = throwIfLt10(x);
|
|
return 0;
|
|
} catch(code) {
|
|
return code;
|
|
}
|
|
}
|
|
|
|
@method_id(89)
|
|
fun test89(last: int): (int, int, int, int) {
|
|
var t: tuple = createEmptyTuple();
|
|
t.tuplePush(1);
|
|
t.tuplePush(2);
|
|
t.tuplePush(3);
|
|
t.tuplePush(last);
|
|
return (t.tupleAt(0), t.tupleAt(t.tupleSize() - 1), t.tupleFirst(), t.tupleLast());
|
|
}
|
|
|
|
@pure fun get10() { return 10; }
|
|
|
|
@method_id(91)
|
|
fun touchCodegen2() {
|
|
var f = get10();
|
|
f.stackMoveToTop();
|
|
return f;
|
|
}
|
|
|
|
@method_id(92)
|
|
fun testDumpDontPolluteStack() {
|
|
var f = get10();
|
|
f.debugPrint();
|
|
debugPrint(10);
|
|
var s = "asdf";
|
|
s.debugPrintString();
|
|
debugDumpStack();
|
|
debugPrintString("my");
|
|
return (f, getRemainingBitsCount(s));
|
|
}
|
|
|
|
@method_id(93)
|
|
fun testStartBalanceCodegen1() {
|
|
var t = getMyOriginalBalanceWithExtraCurrencies();
|
|
var first = t.pair_first();
|
|
return first;
|
|
}
|
|
|
|
@method_id(94)
|
|
fun testStartBalanceCodegen2() {
|
|
var first = getMyOriginalBalance();
|
|
return first;
|
|
}
|
|
|
|
global cur: [int, int, int];
|
|
global next: [int, int, int];
|
|
|
|
@method_id(95)
|
|
fun test95() {
|
|
cur = [1, 2, 3];
|
|
next = [2, 3, 4];
|
|
(cur, next) = (next, [3, 4, 5]);
|
|
return (cur, next);
|
|
}
|
|
|
|
/**
|
|
method_id | in | out
|
|
@testcase | 0 | 101 15 | 100 1
|
|
@testcase | 0 | 101 14 | 100 1
|
|
@testcase | 0 | 101 10 | 100 0
|
|
@testcase | 0 | 100 10 | 100 0
|
|
@testcase | 0 | 100 10 | 100 0
|
|
@testcase | 88 | 5 | 234
|
|
@testcase | 88 | 50 | 0
|
|
@testcase | 89 | 4 | 1 4 1 4
|
|
@testcase | 91 | | 10
|
|
@testcase | 92 | | 10 32
|
|
@testcase | 95 | | [ 2 3 4 ] [ 3 4 5 ]
|
|
|
|
@fif_codegen
|
|
"""
|
|
touchCodegen2 PROC:<{
|
|
//
|
|
get10 CALLDICT // f
|
|
}>
|
|
"""
|
|
|
|
@fif_codegen
|
|
"""
|
|
testDumpDontPolluteStack PROC:<{
|
|
...
|
|
DUMPSTK
|
|
x{6d79} PUSHSLICE // f s '5
|
|
STRDUMP DROP
|
|
SBITS // f '6
|
|
}>
|
|
"""
|
|
|
|
@fif_codegen
|
|
"""
|
|
testStartBalanceCodegen1 PROC:<{
|
|
//
|
|
BALANCE // t
|
|
FIRST // first
|
|
}>
|
|
"""
|
|
|
|
@fif_codegen
|
|
"""
|
|
testStartBalanceCodegen2 PROC:<{
|
|
//
|
|
BALANCE
|
|
FIRST // first
|
|
}>
|
|
"""
|
|
|
|
@fif_codegen
|
|
"""
|
|
test95 PROC:<{
|
|
...
|
|
next GETGLOB // g_next
|
|
3 PUSHINT // g_next '14=3
|
|
4 PUSHINT // g_next '14=3 '15=4
|
|
5 PUSHINT // g_next '14=3 '15=4 '16=5
|
|
TRIPLE // '10 '11
|
|
SWAP
|
|
cur SETGLOB
|
|
next SETGLOB
|
|
cur GETGLOB // g_cur
|
|
next GETGLOB // g_cur g_next
|
|
}>
|
|
"""
|
|
*/
|