Registers:
const10int
normalx_1int
tmp1int
normalm_m_2int
normalx_3int
normal_t_return_var_1_4int
tmp2int
tmp3int
State Machine:
branch:1memory:2funcall:3function_entry:4assign:5
inputs:
int
outputs:
int
s0 next:
1
id:24
s1(initial) next:
2
id:4
id:0
s2 next:
3
id:5
inputs:
10
outputs:
var:x_1
id:1
s3 next:
15
id:6
function:f
inputs:
var:x_1
outputs:
tmp:reg_t1
id:2
s15 next:
14
id:19
inputs:
var:x_1
outputs:
tmp:reg_t2
id:18
s14 next:
10
id:21
s16 next:
4
id:22
inputs:
tmp:reg_t3
outputs:
tmp:reg_t1
id:20
s4 next:
5
id:7
inputs:
tmp:reg_t1
outputs:
var:m_m_2
id:3
s5(return) next:
5
id:25
s6(initial) next:
7
id:11
inputs:
var:x_3
outputs:
var:_t_return_var_1_4
id:8
s7 next:
8
id:12
inputs:
var:x_3
outputs:
var:_t_return_var_1_4
id:9
s8 next:
9
id:10
s9(return)
s10(initial) next:
11
id:14
inputs:
tmp:reg_t2
outputs:
tmp:reg_t3
id:13
s11 next:
12
id:16
inputs:
tmp:reg_t2
outputs:
tmp:reg_t3
id:15
s12 next:
13
id:17
s13(return) next:
16
id:23