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))))))