Paris8/compilateurMIPS
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

stop fn on return

Browse source
This commit is contained in:
Mylloon 2022-12-10 16:28:12 +01:00
parent c1d7a8e749
commit 16ee21d6d0
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
semantics.ml
View file

@ -74,8 +74,11 @@ let rec analyze_block env ua ret_t = function
| [] -> [], ua
| instr :: new_block ->
let new_instr, new_env, ua1 = analyze_instr env ua ret_t instr in
let new_block, ua2 = analyze_block new_env ua1 ret_t new_block in
new_instr :: new_block, ua2
(match new_instr with
| Return _ -> [ new_instr ], ua1
| _ ->
let new_block, ua2 = analyze_block new_env ua1 ret_t new_block in
new_instr :: new_block, ua2)
;;
let analyze_func env ua = function