2020-02-09 14:06:16 +00:00
|
|
|
@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] phi()
|
|
|
|
[5] call model_ma_mem
|
|
|
|
to:main::@1
|
|
|
|
main::@1: scope:[main] from main
|
|
|
|
[6] phi()
|
|
|
|
[7] call model_ssa_zp
|
|
|
|
to:main::@return
|
|
|
|
main::@return: scope:[main] from main::@1
|
|
|
|
[8] return
|
|
|
|
to:@return
|
|
|
|
|
|
|
|
(void()) model_ssa_zp()
|
|
|
|
model_ssa_zp: scope:[model_ssa_zp] from main::@1
|
|
|
|
[9] phi()
|
|
|
|
to:model_ssa_zp::@1
|
|
|
|
model_ssa_zp::@1: scope:[model_ssa_zp] from model_ssa_zp model_ssa_zp::@1
|
|
|
|
[10] (byte) model_ssa_zp::i#2 ← phi( model_ssa_zp/(byte) 0 model_ssa_zp::@1/(byte) model_ssa_zp::i#1 )
|
|
|
|
[10] (byte*) model_ssa_zp::screen#2 ← phi( model_ssa_zp/(byte*) 1064 model_ssa_zp::@1/(byte*) model_ssa_zp::screen#1 )
|
|
|
|
[11] *((byte*) model_ssa_zp::screen#2) ← (byte) 'b'
|
|
|
|
[12] (byte*) model_ssa_zp::screen#1 ← ++ (byte*) model_ssa_zp::screen#2
|
|
|
|
[13] (byte) model_ssa_zp::i#1 ← ++ (byte) model_ssa_zp::i#2
|
|
|
|
[14] if((byte) model_ssa_zp::i#1!=(byte) 6) goto model_ssa_zp::@1
|
|
|
|
to:model_ssa_zp::@return
|
|
|
|
model_ssa_zp::@return: scope:[model_ssa_zp] from model_ssa_zp::@1
|
|
|
|
[15] return
|
|
|
|
to:@return
|
|
|
|
|
|
|
|
(void()) model_ma_mem()
|
|
|
|
model_ma_mem: scope:[model_ma_mem] from main
|
2020-02-13 10:36:27 +00:00
|
|
|
[16] (byte*) model_ma_mem::screen ← (byte*) 1024
|
|
|
|
[17] (byte) model_ma_mem::i ← (byte) 0
|
2020-02-09 14:06:16 +00:00
|
|
|
to:model_ma_mem::@1
|
|
|
|
model_ma_mem::@1: scope:[model_ma_mem] from model_ma_mem model_ma_mem::@1
|
2020-02-13 10:36:27 +00:00
|
|
|
[18] *((byte*) model_ma_mem::screen) ← (byte) 'a'
|
|
|
|
[19] (byte*) model_ma_mem::screen ← ++ (byte*) model_ma_mem::screen
|
|
|
|
[20] (byte) model_ma_mem::i ← ++ (byte) model_ma_mem::i
|
|
|
|
[21] if((byte) model_ma_mem::i!=(byte) 6) goto model_ma_mem::@1
|
2020-02-09 14:06:16 +00:00
|
|
|
to:model_ma_mem::@return
|
|
|
|
model_ma_mem::@return: scope:[model_ma_mem] from model_ma_mem::@1
|
2020-02-13 10:36:27 +00:00
|
|
|
[22] return
|
2020-02-09 14:06:16 +00:00
|
|
|
to:@return
|