diff options
Diffstat (limited to 'aarch64/Peephole.v')
-rw-r--r-- | aarch64/Peephole.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/aarch64/Peephole.v b/aarch64/Peephole.v index a1bb6c6c..54670708 100644 --- a/aarch64/Peephole.v +++ b/aarch64/Peephole.v @@ -160,7 +160,6 @@ Fixpoint pair_rep (insns : list basic) : list basic := end. Definition optimize_body (insns : list basic) := - (* TODO ADD A FLAG TO ENABLE PEEPHOLE *) if Compopts.optim_coalesce_mem tt then (pair_rep insns) else insns. |