diff options
| author | Guilherme Andrade <[email protected]> | 2016-10-25 22:59:50 +0100 |
|---|---|---|
| committer | Guilherme Andrade <[email protected]> | 2016-11-02 18:55:28 +0000 |
| commit | 3137cabe8ac09841fcaa4786fd7da8fc7caf621b (patch) | |
| tree | 2246cabdafa1ce6a478eb09a8a99947b3b04842e | |
| parent | e21a6c9ec713219b0aa2b2a4224f97e713d7337f (diff) | |
| download | otp-3137cabe8ac09841fcaa4786fd7da8fc7caf621b.tar.gz otp-3137cabe8ac09841fcaa4786fd7da8fc7caf621b.tar.bz2 otp-3137cabe8ac09841fcaa4786fd7da8fc7caf621b.zip | |
Support math:fmod/2 BIF on compiler
| -rw-r--r-- | lib/compiler/src/beam_type.erl | 1 | ||||
| -rw-r--r-- | lib/compiler/src/beam_validator.erl | 1 | ||||
| -rw-r--r-- | lib/compiler/src/erl_bifs.erl | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_type.erl b/lib/compiler/src/beam_type.erl index b4776294be..d324580cba 100644 --- a/lib/compiler/src/beam_type.erl +++ b/lib/compiler/src/beam_type.erl @@ -594,6 +594,7 @@ is_math_bif(atan2, 2) -> true; is_math_bif(pow, 2) -> true; is_math_bif(ceil, 1) -> true; is_math_bif(floor, 1) -> true; +is_math_bif(fmod, 2) -> true; is_math_bif(pi, 0) -> true; is_math_bif(_, _) -> false. diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index 6e53f53a20..5659077c5d 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -1646,6 +1646,7 @@ return_type_math(atan2, 2) -> {float,[]}; return_type_math(pow, 2) -> {float,[]}; return_type_math(ceil, 1) -> {float,[]}; return_type_math(floor, 1) -> {float,[]}; +return_type_math(fmod, 2) -> {float,[]}; return_type_math(pi, 0) -> {float,[]}; return_type_math(F, A) when is_atom(F), is_integer(A), A >= 0 -> term. diff --git a/lib/compiler/src/erl_bifs.erl b/lib/compiler/src/erl_bifs.erl index 831730ba48..d60f73d421 100644 --- a/lib/compiler/src/erl_bifs.erl +++ b/lib/compiler/src/erl_bifs.erl @@ -138,6 +138,7 @@ is_pure(math, erf, 1) -> true; is_pure(math, erfc, 1) -> true; is_pure(math, exp, 1) -> true; is_pure(math, floor, 1) -> true; +is_pure(math, fmod, 2) -> true; is_pure(math, log, 1) -> true; is_pure(math, log2, 1) -> true; is_pure(math, log10, 1) -> true; |