aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/test/beam_reorder_SUITE.erl
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2016-05-21 08:57:28 +0200
committerBjörn Gustavsson <[email protected]>2016-05-23 08:39:53 +0200
commit57c4432ed543898676ccc646ab6d556c7e6ea79a (patch)
treec420ae873c0fbb68eb2a9e7bb662376a7700a808 /lib/compiler/test/beam_reorder_SUITE.erl
parent69bb7b21a552c6e7d0615d4ead0345370deec2a0 (diff)
downloadotp-57c4432ed543898676ccc646ab6d556c7e6ea79a.tar.gz
otp-57c4432ed543898676ccc646ab6d556c7e6ea79a.tar.bz2
otp-57c4432ed543898676ccc646ab6d556c7e6ea79a.zip
beam_reorder: Don't confuse beam_validator
Make sure we don't optimize code such as: is_tuple Fail Src test_arity Fail Src Arity get_tuple_element Src Pos Dst is_map Fail Src If we would reorder the instructions like this: is_tuple Fail Src test_arity Fail Src Arity is_map Fail Src get_tuple_element Src Pos Dst beam_validator would complain that the type for Src is a map instead of a tuple. Since the code has problems to begin with, there is no need to do the optimization.
Diffstat (limited to 'lib/compiler/test/beam_reorder_SUITE.erl')
-rw-r--r--lib/compiler/test/beam_reorder_SUITE.erl16
1 files changed, 14 insertions, 2 deletions
diff --git a/lib/compiler/test/beam_reorder_SUITE.erl b/lib/compiler/test/beam_reorder_SUITE.erl
index 4b2262f65b..ff31f2d3bd 100644
--- a/lib/compiler/test/beam_reorder_SUITE.erl
+++ b/lib/compiler/test/beam_reorder_SUITE.erl
@@ -21,7 +21,7 @@
-export([all/0,suite/0,groups/0,init_per_suite/1,end_per_suite/1,
init_per_group/2,end_per_group/2,
- alloc/1]).
+ alloc/1,confused_beam_validator/1]).
suite() -> [{ct_hooks,[ts_install_cth]}].
@@ -31,7 +31,8 @@ all() ->
groups() ->
[{p,[parallel],
- [alloc
+ [alloc,
+ confused_beam_validator
]}].
init_per_suite(Config) ->
@@ -65,5 +66,16 @@ alloc_b(_U1, _U2, R) ->
_ = id(0),
Res.
+confused_beam_validator(_Config) ->
+ {'EXIT',{{badmap,{any}},_}} = (catch efficient({any})),
+ ok.
+
+efficient({Var}=God) ->
+ id(God#{}),
+ catch
+ receive _ ->
+ Var
+ end.
+
id(I) ->
I.