diff options
author | John Högberg <[email protected]> | 2018-10-25 08:33:08 +0200 |
---|---|---|
committer | John Högberg <[email protected]> | 2018-10-26 11:22:55 +0200 |
commit | 1056d2d1fd49f669a2001f03890e13c9cba76c1e (patch) | |
tree | 147f3faacd8a67df8b1126813a49a4b1a6d61091 /system | |
parent | 0aad6ef3bf360f2971d5c8b22620aecc3cdae3ef (diff) | |
download | otp-1056d2d1fd49f669a2001f03890e13c9cba76c1e.tar.gz otp-1056d2d1fd49f669a2001f03890e13c9cba76c1e.tar.bz2 otp-1056d2d1fd49f669a2001f03890e13c9cba76c1e.zip |
Inline erts_cmp
This greatly increases the performance of '--'/2 which does a lot
of term comparisons.
Diffstat (limited to 'system')
0 files changed, 0 insertions, 0 deletions