1
0
mirror of https://gitlab.com/camelot/kickc.git synced 2024-11-20 02:32:36 +00:00
kickc/src/test/ref/loop-problem.cfg

47 lines
977 B
INI

@begin: scope:[] from
[0] phi()
to:@1
@1: scope:[] from @begin
[1] phi()
[2] call main
to:@end
@end: scope:[] from @1
[3] phi()
(void()) main()
main: scope:[main] from @1
[4] *((const byte*) SCREEN#0) ← (byte) '0'
[5] call d
to:main::@1
main::@1: scope:[main] from main
[6] phi()
[7] call b
to:main::@return
main::@return: scope:[main] from main::@1
[8] return
to:@return
(void()) b()
b: scope:[b] from main::@1
[9] phi()
to:b::@1
b::@1: scope:[b] from b b::@2
[10] (byte) b::i#2 ← phi( b/(byte) 0 b::@2/(byte) b::i#1 )
[11] call d
to:b::@2
b::@2: scope:[b] from b::@1
[12] (byte) b::i#1 ← ++ (byte) b::i#2
[13] if((byte) b::i#1!=(byte) 4) goto b::@1
to:b::@return
b::@return: scope:[b] from b::@2
[14] return
to:@return
(void()) d()
d: scope:[d] from b::@1 main
[15] *((const byte*) SCREEN#0) ← ++ *((const byte*) SCREEN#0)
to:d::@return
d::@return: scope:[d] from d
[16] return
to:@return