holey-bytes/lang/tests/son_tests_null_check_test.txt

get_ptr:
    CP r1, r0
    JALA r0, r31, 0a
main:
    ADDI64 r254, r254, -40d
    ST r31, r254, 0a, 40h
    JAL r31, r0, :get_ptr
    CP r32, r1
    JNE r32, r0, :0
    CP r1, r0
    JMP :1
 0: LI64 r33, 10d
 3: LD r34, r32, 0a, 8h
    JEQ r34, r33, :2
    ADDI64 r34, r34, 1d
    ST r34, r32, 0a, 8h
    JMP :3
 2: CP r1, r34
 1: LD r31, r254, 0a, 40h
    ADDI64 r254, r254, 40d
    JALA r0, r31, 0a
code size: 164
ret: 0
status: Ok(())
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`get_ptr:`
making use of zero register 2024-11-13 03:28:16 -06:00			`CP r1, r0`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`JALA r0, r31, 0a`
			`main:`
maybe fixed mandelbrot 2024-11-15 15:35:03 -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`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`CP r32, r1`
			`JNE r32, r0, :0`
making use of zero register 2024-11-13 03:28:16 -06:00			`CP r1, r0`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`JMP :1`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`0: LI64 r33, 10d`
			`3: LD r34, r32, 0a, 8h`
			`JEQ r34, r33, :2`
			`ADDI64 r34, r34, 1d`
			`ST r34, r32, 0a, 8h`
			`JMP :3`
			`2: CP r1, r34`
			`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`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`code size: 164`
adding some simple provenance checks on return values 2024-11-08 04:51:10 -06:00			`ret: 0`
deferring all null checks after the peepholes 2024-11-03 14:13:24 -06:00			`status: Ok(())`