holey-bytes/lang/tests/son_tests_null_check_test.txt

get_ptr:
    LI64 r1, 0d
    JALA r0, r31, 0a
main:
    ADDI64 r254, r254, -40d
    ST r31, r254, 0a, 40h
    JAL r31, r0, :get_ptr
    LI64 r32, 0d
    JNE r1, r32, :0
    LI64 r1, 0d
    JMP :1
 0: LI64 r33, 10d
    CP r34, r1
 2: LD r1, r34, 0a, 8h
    JEQ r1, r33, :1
    ADDI64 r35, r1, 1d
    ST r35, r34, 0a, 8h
    JMP :2
 1: LD r31, r254, 0a, 40h
    ADDI64 r254, r254, 40d
    JALA r0, r31, 0a
code size: 185
ret: 0
status: Ok(())
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`get_ptr:`
adding some simple provenance checks on return values 2024-11-08 04:51:10 -06:00			`LI64 r1, 0d`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`JALA r0, r31, 0a`
			`main:`
making a Backend trait to separate the different backends we will have in the fucture 2024-11-05 07:52:30 -06:00			`ADDI64 r254, r254, -40d`
			`ST r31, r254, 0a, 40h`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`JAL r31, r0, :get_ptr`
making a Backend trait to separate the different backends we will have in the fucture 2024-11-05 07:52:30 -06:00			`LI64 r32, 0d`
			`JNE r1, r32, :0`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`LI64 r1, 0d`
			`JMP :1`
making a Backend trait to separate the different backends we will have in the fucture 2024-11-05 07:52:30 -06:00			`0: LI64 r33, 10d`
			`CP r34, r1`
			`2: LD r1, r34, 0a, 8h`
			`JEQ r1, r33, :1`
			`ADDI64 r35, r1, 1d`
			`ST r35, r34, 0a, 8h`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`JMP :2`
making a Backend trait to separate the different backends we will have in the fucture 2024-11-05 07:52:30 -06:00			`1: LD r31, r254, 0a, 40h`
			`ADDI64 r254, r254, 40d`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`JALA r0, r31, 0a`
adding some simple provenance checks on return values 2024-11-08 04:51:10 -06:00			`code size: 185`
			`ret: 0`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`status: Ok(())`