aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
diff options
context:
space:
mode:
authorMichał Muskała <[email protected]>2017-08-26 15:15:01 +0200
committerMichał Muskała <[email protected]>2017-09-08 01:49:10 +0200
commitf9a323d10a9f5da305cbdec632d6bdf7ad4770b5 (patch)
tree7c71ba5bf06ea9b13f3846f05a767be19895399d /lib/dialyzer
parent5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6 (diff)
downloadotp-f9a323d10a9f5da305cbdec632d6bdf7ad4770b5.tar.gz
otp-f9a323d10a9f5da305cbdec632d6bdf7ad4770b5.tar.bz2
otp-f9a323d10a9f5da305cbdec632d6bdf7ad4770b5.zip
Optimise equality comparisons
* In both loader and compiler, make sure constants are always the second operand - many passes of the compiler assume that's always the case. * In loader rewrite is_eq_exact with same arguments to skip the instruction and with different constants move one to an x register to maintain the properly outlined above. * The same (but in reverse) is done with the is_ne_exact, where we rewrite to an unconditional jump or add a move to an x register. * All of the above allow to replace is_eq_exact_fss with is_eq_exact_fyy and is_ne_exact_fss with is_ne_exact_fSS as those are the only possibilities left.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions