diff options
Diffstat (limited to 'backend/Reload.v')
-rw-r--r-- | backend/Reload.v | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/backend/Reload.v b/backend/Reload.v index 17664b63..621e75b5 100644 --- a/backend/Reload.v +++ b/backend/Reload.v @@ -235,9 +235,6 @@ Definition transf_instr parallel_move args largs (Ltailcall sig (inr _ id) :: k) end - | LTLin.Lalloc arg res => - add_reload arg loc_alloc_argument - (Lalloc :: add_spill loc_alloc_result res k) | LTLin.Llabel lbl => Llabel lbl :: k | LTLin.Lgoto lbl => |