diff options
Diffstat (limited to 'backend/Linearizeaux.ml')
-rw-r--r-- | backend/Linearizeaux.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backend/Linearizeaux.ml b/backend/Linearizeaux.ml index 1f4e5fac..ce7788f4 100644 --- a/backend/Linearizeaux.ml +++ b/backend/Linearizeaux.ml @@ -94,6 +94,7 @@ let basic_blocks f joins = | Lstore (chunk, addr, args, src, s) -> next_in_block blk minpc s | Lcall (sig0, ros, args, res, s) -> next_in_block blk minpc s | Ltailcall (sig0, ros, args) -> end_block blk minpc + | Lbuiltin (ef, args, res, s) -> next_in_block blk minpc s | Lcond (cond, args, ifso, ifnot) -> end_block blk minpc; start_block ifso; start_block ifnot | Ljumptable(arg, tbl) -> |