From 3347602be3c8a8bad3652c10e1e2db01315269e3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= Date: Sun, 20 Feb 2011 12:05:00 +0100 Subject: ops.tab: Remove line instructions before tail-recursive calls --- erts/emulator/beam/ops.tab | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) (limited to 'erts/emulator/beam') diff --git a/erts/emulator/beam/ops.tab b/erts/emulator/beam/ops.tab index 503a0aecb5..538f0b94af 100644 --- a/erts/emulator/beam/ops.tab +++ b/erts/emulator/beam/ops.tab @@ -102,14 +102,26 @@ return move S r | line Loc | call_ext Ar Func => \ line Loc | move S r | call_ext Ar Func -move S r | line Loc | call_ext_last Ar Func D => \ +move S r | line Loc | call_ext_last Ar Func=u$is_bif D => \ line Loc | move S r | call_ext_last Ar Func D -move S r | line Loc | call_ext_only Ar Func => \ +move S r | line Loc | call_ext_only Ar Func=u$is_bif => \ line Loc | move S r | call_ext_only Ar Func - move S r | line Loc | call Ar Func => \ line Loc | move S r | call Ar Func +# +# A tail-recursive call to an external function (non-BIF) will +# never be saved on the stack, so there is no reason to keep +# the line instruction. (The compiler did not remove the line +# instruction because it cannot tell the difference between +# BIFs and ordinary Erlang functions.) +# + +line Loc | call_ext_last Ar Func=u$is_not_bif D => \ + call_ext_last Ar Func D +line Loc | call_ext_only Ar Func=u$is_not_bif => \ + call_ext_only Ar Func + line Loc | func_info M F A => func_info M F A | line Loc line I -- cgit v1.2.3