holey-bytes/lang/tests/son_tests_exhaustive_loop_testing.txt

continue_and_state_change:
    CP r13, r2
    LI64 r16, 3d
    LI64 r17, 2d
    LI64 r18, 10d
    CP r15, r0
    LI64 r14, 4d
 6: JLTU r13, r18, :0
    JMP :1
 0: JNE r13, r17, :2
    CP r13, r14
    JMP :3
 2: JNE r13, r16, :4
    CP r13, r15
 1: CP r1, r13
    JMP :5
 4: ADDI64 r13, r13, 1d
 3: JMP :6
 5: JALA r0, r31, 0a
infinite_loop:
    ADDI64 r254, r254, -32d
    ST r31, r254, 0a, 32h
    LI64 r34, 1d
    CP r33, r0
    CP r32, r33
 1: JNE r32, r34, :0
    JMP :0
 0: CP r2, r33
    JAL r31, r0, :continue_and_state_change
    CP r32, r1
    JMP :1
    LD r31, r254, 0a, 32h
    ADDI64 r254, r254, 32d
    JALA r0, r31, 0a
main:
    ADDI64 r254, r254, -40d
    ST r31, r254, 0a, 40h
    CP r2, r0
    JAL r31, r0, :multiple_breaks
    LI64 r32, 3d
    CP r33, r1
    JEQ r33, r32, :0
    LI64 r32, 1d
    CP r1, r32
    JMP :1
 0: LI64 r33, 4d
    CP r2, r33
    JAL r31, r0, :multiple_breaks
    LI64 r34, 10d
    CP r35, r1
    JEQ r35, r34, :2
    LI64 r32, 2d
    CP r1, r32
    JMP :1
 2: CP r2, r0
    JAL r31, r0, :state_change_in_break
    CP r35, r1
    JEQ r35, r0, :3
    CP r1, r32
    JMP :1
 3: CP r2, r33
    JAL r31, r0, :state_change_in_break
    CP r35, r1
    JEQ r35, r34, :4
    CP r1, r33
    JMP :1
 4: CP r2, r34
    JAL r31, r0, :continue_and_state_change
    CP r33, r1
    JEQ r33, r34, :5
    LI64 r32, 5d
    CP r1, r32
    JMP :1
 5: CP r2, r32
    JAL r31, r0, :continue_and_state_change
    CP r32, r1
    JEQ r32, r0, :6
    LI64 r32, 6d
    CP r1, r32
    JMP :1
 6: JAL r31, r0, :infinite_loop
    CP r1, r0
 1: LD r31, r254, 0a, 40h
    ADDI64 r254, r254, 40d
    JALA r0, r31, 0a
multiple_breaks:
    CP r13, r2
    LI64 r14, 3d
    LI64 r15, 10d
 4: JLTU r13, r15, :0
    JMP :1
 0: ADDI64 r13, r13, 1d
    JNE r13, r14, :2
 1: CP r1, r13
    JMP :3
 2: JMP :4
 3: JALA r0, r31, 0a
state_change_in_break:
    CP r13, r2
    LI64 r14, 3d
    LI64 r15, 10d
 4: JLTU r13, r15, :0
    JMP :1
 0: JNE r13, r14, :2
    CP r13, r0
 1: CP r1, r13
    JMP :3
 2: ADDI64 r13, r13, 1d
    JMP :4
 3: JALA r0, r31, 0a
timed out
code size: 667
ret: 10
status: Ok(())
fixing report bug 2024-09-20 04:01:10 -05:00			`continue_and_state_change:`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`CP r13, r2`
			`LI64 r16, 3d`
			`LI64 r17, 2d`
			`LI64 r18, 10d`
making the instruction scheduling smarter the instructions that are only depended by phis are pushed to the end of the block, which usually saves copy instructions Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 04:00:19 -06:00			`CP r15, r0`
			`LI64 r14, 4d`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`6: JLTU r13, r18, :0`
fixing report bug 2024-09-20 04:01:10 -05:00			`JMP :1`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`0: JNE r13, r17, :2`
			`CP r13, r14`
fixing report bug 2024-09-20 04:01:10 -05:00			`JMP :3`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`2: JNE r13, r16, :4`
			`CP r13, r15`
			`1: CP r1, r13`
			`JMP :5`
			`4: ADDI64 r13, r13, 1d`
fixing report bug 2024-09-20 04:01:10 -05:00			`3: JMP :6`
fixed a stack prelude postlude being needlesly generated + struct can now be compared 2024-11-17 03:06:10 -06:00			`5: JALA r0, r31, 0a`
handling infinite loops properly 2024-10-27 05:32:34 -05:00			`infinite_loop:`
fixed a stack prelude postlude being needlesly generated + struct can now be compared 2024-11-17 03:06:10 -06:00			`ADDI64 r254, r254, -32d`
			`ST r31, r254, 0a, 32h`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`LI64 r34, 1d`
making use of zero register 2024-11-13 03:28:16 -06:00			`CP r33, r0`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`CP r32, r33`
			`1: JNE r32, r34, :0`
handling infinite loops properly 2024-10-27 05:32:34 -05:00			`JMP :0`
			`0: CP r2, r33`
			`JAL r31, r0, :continue_and_state_change`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`CP r32, r1`
handling infinite loops properly 2024-10-27 05:32:34 -05:00			`JMP :1`
fixed a stack prelude postlude being needlesly generated + struct can now be compared 2024-11-17 03:06:10 -06:00			`LD r31, r254, 0a, 32h`
			`ADDI64 r254, r254, 32d`
handling infinite loops properly 2024-10-27 05:32:34 -05:00			`JALA r0, r31, 0a`
implementing multiple breaks 2024-09-06 15:00:23 -05:00			`main:`
fixed a stack prelude postlude being needlesly generated + struct can now be compared 2024-11-17 03:06:10 -06:00			`ADDI64 r254, r254, -40d`
			`ST r31, r254, 0a, 40h`
making use of zero register 2024-11-13 03:28:16 -06:00			`CP r2, r0`
implementing multiple breaks 2024-09-06 15:00:23 -05:00			`JAL r31, r0, :multiple_breaks`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`LI64 r32, 3d`
			`CP r33, r1`
			`JEQ r33, r32, :0`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`LI64 r32, 1d`
			`CP r1, r32`
implementing multiple breaks 2024-09-06 15:00:23 -05:00			`JMP :1`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`0: LI64 r33, 4d`
			`CP r2, r33`
implementing multiple breaks 2024-09-06 15:00:23 -05:00			`JAL r31, r0, :multiple_breaks`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`LI64 r34, 10d`
			`CP r35, r1`
			`JEQ r35, r34, :2`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`LI64 r32, 2d`
			`CP r1, r32`
implementing multiple breaks 2024-09-06 15:00:23 -05:00			`JMP :1`
making use of zero register 2024-11-13 03:28:16 -06:00			`2: CP r2, r0`
making many tests work 2024-09-15 13:14:56 -05:00			`JAL r31, r0, :state_change_in_break`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`CP r35, r1`
			`JEQ r35, r0, :3`
			`CP r1, r32`
making many tests work 2024-09-15 13:14:56 -05:00			`JMP :1`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`3: CP r2, r33`
making many tests work 2024-09-15 13:14:56 -05:00			`JAL r31, r0, :state_change_in_break`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`CP r35, r1`
			`JEQ r35, r34, :4`
			`CP r1, r33`
making many tests work 2024-09-15 13:14:56 -05:00			`JMP :1`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`4: CP r2, r34`
making many tests work 2024-09-15 13:14:56 -05:00			`JAL r31, r0, :continue_and_state_change`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`CP r33, r1`
			`JEQ r33, r34, :5`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`LI64 r32, 5d`
			`CP r1, r32`
making many tests work 2024-09-15 13:14:56 -05:00			`JMP :1`
making the Call node less special return value is now a separate node pinned to the call Signed-off-by: Jakub Doka <jakub.doka2@gmail.com> 2024-12-19 03:48:05 -06:00			`5: CP r2, r32`
making many tests work 2024-09-15 13:14:56 -05:00			`JAL r31, r0, :continue_and_state_change`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`CP r32, r1`
			`JEQ r32, r0, :6`
			`LI64 r32, 6d`
			`CP r1, r32`
making many tests work 2024-09-15 13:14:56 -05:00			`JMP :1`
making use of zero register 2024-11-13 03:28:16 -06:00			`6: JAL r31, r0, :infinite_loop`
			`CP r1, r0`
fixed a stack prelude postlude being needlesly generated + struct can now be compared 2024-11-17 03:06:10 -06:00			`1: LD r31, r254, 0a, 40h`
			`ADDI64 r254, r254, 40d`
making many tests work 2024-09-15 13:14:56 -05:00			`JALA r0, r31, 0a`
fixing report bug 2024-09-20 04:01:10 -05:00			`multiple_breaks:`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`CP r13, r2`
			`LI64 r14, 3d`
			`LI64 r15, 10d`
			`4: JLTU r13, r15, :0`
making many tests work 2024-09-15 13:14:56 -05:00			`JMP :1`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`0: ADDI64 r13, r13, 1d`
			`JNE r13, r14, :2`
			`1: CP r1, r13`
			`JMP :3`
			`2: JMP :4`
fixed a stack prelude postlude being needlesly generated + struct can now be compared 2024-11-17 03:06:10 -06:00			`3: JALA r0, r31, 0a`
fixing report bug 2024-09-20 04:01:10 -05:00			`state_change_in_break:`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`CP r13, r2`
			`LI64 r14, 3d`
			`LI64 r15, 10d`
			`4: JLTU r13, r15, :0`
making many tests work 2024-09-15 13:14:56 -05:00			`JMP :1`
maybe fixed mandelbrot 2024-11-15 15:35:03 -06:00			`0: JNE r13, r14, :2`
			`CP r13, r0`
			`1: CP r1, r13`
			`JMP :3`
			`2: ADDI64 r13, r13, 1d`
fixing report bug 2024-09-20 04:01:10 -05:00			`JMP :4`
fixed a stack prelude postlude being needlesly generated + struct can now be compared 2024-11-17 03:06:10 -06:00			`3: JALA r0, r31, 0a`
should work better 2024-10-23 05:26:07 -05:00			`timed out`
fixed a stack prelude postlude being needlesly generated + struct can now be compared 2024-11-17 03:06:10 -06:00			`code size: 667`
should work better 2024-10-23 05:26:07 -05:00			`ret: 10`
implementing multiple breaks 2024-09-06 15:00:23 -05:00			`status: Ok(())`