diff options
| author | Björn Gustavsson <[email protected]> | 2016-05-21 08:57:28 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-05-23 08:39:53 +0200 |
| commit | 57c4432ed543898676ccc646ab6d556c7e6ea79a (patch) | |
| tree | c420ae873c0fbb68eb2a9e7bb662376a7700a808 /lib/compiler/test/beam_utils_SUITE.erl | |
| parent | 69bb7b21a552c6e7d0615d4ead0345370deec2a0 (diff) | |
| download | otp-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_utils_SUITE.erl')
0 files changed, 0 insertions, 0 deletions