diff options
| author | Kostis Sagonas <[email protected]> | 2013-03-10 16:05:26 +0100 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2013-03-10 16:05:26 +0100 |
| commit | 1b5fa1c408af3a4b84c02b75013a1aa02ff36509 (patch) | |
| tree | 3fed62e9bb2cbd7ed07a76b8612056a389fd3af6 /lib/hipe/cerl | |
| parent | c78d32a29cc92739cda6e6093a7eb79ae946786e (diff) | |
| download | otp-1b5fa1c408af3a4b84c02b75013a1aa02ff36509.tar.gz otp-1b5fa1c408af3a4b84c02b75013a1aa02ff36509.tar.bz2 otp-1b5fa1c408af3a4b84c02b75013a1aa02ff36509.zip | |
Add type info for hipe_bifs:nstack_used_size/0
Diffstat (limited to 'lib/hipe/cerl')
| -rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 0a2c6e822f..42c7e360c1 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -1053,6 +1053,8 @@ type(hipe_bifs, mark_referred_from, 1, Xs) -> fun (_) -> t_nil() end); type(hipe_bifs, merge_term, 1, Xs) -> strict(arg_types(hipe_bifs, merge_term, 1), Xs, fun ([X]) -> X end); +type(hipe_bifs, nstack_used_size, 0, _) -> + t_non_neg_fixnum(); type(hipe_bifs, patch_call, 3, Xs) -> strict(arg_types(hipe_bifs, patch_call, 3), Xs, fun (_) -> t_nil() end); type(hipe_bifs, patch_insn, 3, Xs) -> @@ -2361,6 +2363,8 @@ arg_types(hipe_bifs, mark_referred_from, 1) -> [t_mfa()]; arg_types(hipe_bifs, merge_term, 1) -> [t_any()]; +arg_types(hipe_bifs, nstack_used_size, 0) -> + []; arg_types(hipe_bifs, patch_call, 3) -> [t_integer(), t_integer(), t_trampoline()]; arg_types(hipe_bifs, patch_insn, 3) -> |