diff options
Diffstat (limited to 'backend/LICMaux.ml')
| -rw-r--r-- | backend/LICMaux.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backend/LICMaux.ml b/backend/LICMaux.ml index 32044cc9..4ebc7844 100644 --- a/backend/LICMaux.ml +++ b/backend/LICMaux.ml @@ -141,7 +141,8 @@ let rewrite_loop_body (last_alloc : reg ref) new_res)); PTree.set res new_res mapper | Iload(trap, chunk, addr, args, res, pc') - when Archi.has_notrap_loads -> + when Archi.has_notrap_loads && + !Clflags.option_fnontrap_loads -> let new_res = P.succ !last_alloc in last_alloc := new_res; add_inj (INJload(chunk, addr, |