diff options
author | Björn Gustavsson <[email protected]> | 2017-11-27 10:18:52 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-11-27 10:18:52 +0100 |
commit | 5b0ba5e5f09d65cb15d00f8e089f5d98c5734d1a (patch) | |
tree | 318fc28eca569343720f11ab6322d9e13bb4a290 /erts/configure.in | |
parent | 58f3bec6734977e164683854f5ffe11038bd8526 (diff) | |
parent | 1cbc6a430d18d80a0b5e6ad0f7f1010d5394056a (diff) | |
download | otp-5b0ba5e5f09d65cb15d00f8e089f5d98c5734d1a.tar.gz otp-5b0ba5e5f09d65cb15d00f8e089f5d98c5734d1a.tar.bz2 otp-5b0ba5e5f09d65cb15d00f8e089f5d98c5734d1a.zip |
Merge pull request #1545 from michalmuskala/move-opt
Place move S x0 instructions at the end of blocks
Diffstat (limited to 'erts/configure.in')
0 files changed, 0 insertions, 0 deletions