aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2018-08-17 07:21:20 +0200
committerBjörn Gustavsson <[email protected]>2018-08-17 09:50:59 +0200
commitec64aa2d6f5391fa49c6a6d05713267485654ab2 (patch)
treecd621aa1b07452457d6061a6cf433fc1a5771439 /lib/compiler
parentb4e41395494cb395fa8eb9bd771cadc712912ff3 (diff)
downloadotp-ec64aa2d6f5391fa49c6a6d05713267485654ab2.tar.gz
otp-ec64aa2d6f5391fa49c6a6d05713267485654ab2.tar.bz2
otp-ec64aa2d6f5391fa49c6a6d05713267485654ab2.zip
beam_utils: Make is_tagged_tuple a pure test
This will enable more optimizations.
Diffstat (limited to 'lib/compiler')
-rw-r--r--lib/compiler/src/beam_utils.erl1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_utils.erl b/lib/compiler/src/beam_utils.erl
index 5580d2f123..989294cf0a 100644
--- a/lib/compiler/src/beam_utils.erl
+++ b/lib/compiler/src/beam_utils.erl
@@ -258,6 +258,7 @@ is_pure_test({test,is_ge,_,[_,_]}) -> true;
is_pure_test({test,is_lt,_,[_,_]}) -> true;
is_pure_test({test,is_nil,_,[_]}) -> true;
is_pure_test({test,is_nonempty_list,_,[_]}) -> true;
+is_pure_test({test,is_tagged_tuple,_,[_,_,_]}) -> true;
is_pure_test({test,test_arity,_,[_,_]}) -> true;
is_pure_test({test,has_map_fields,_,[_|_]}) -> true;
is_pure_test({test,is_bitstr,_,[_]}) -> true;