1
((declare (out) float a) (declare (out) float b)
3
(signature float (parameters)
4
((declare (temporary) bool execute_flag)
5
(assign (x) (var_ref execute_flag) (constant bool (1)))
6
(declare (temporary) float return_value)
7
(declare (temporary) bool return_flag)
8
(assign (x) (var_ref return_flag) (constant bool (0)))
10
((assign (x) (var_ref a) (constant float (1.000000)))
11
(assign (x) (var_ref return_value) (constant float (2.000000)))
12
(assign (x) (var_ref return_flag) (constant bool (1)))
14
(if (var_ref return_flag) ()
15
((assign (x) (var_ref b) (constant float (3.000000)))
16
(assign (x) (var_ref return_value) (constant float (4.000000)))
17
(assign (x) (var_ref return_flag) (constant bool (1)))
18
(assign (x) (var_ref execute_flag) (constant bool (0)))))
19
(return (var_ref return_value))))))