diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-22 13:25:57 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-22 13:25:57 +0200 |
commit | c212ab7a8adea516db72f17d818393629dbde1b3 (patch) | |
tree | a94744c9c2c64efda9e8a042b9a1863be077739c /cparser/Builtins.mli | |
parent | a972e8ecbc011a48201279f446218676c15126ef (diff) | |
download | compcert-c212ab7a8adea516db72f17d818393629dbde1b3.tar.gz compcert-c212ab7a8adea516db72f17d818393629dbde1b3.zip |
Use R10 in atomic compare and exchange for the rlwinm.
Diffstat (limited to 'cparser/Builtins.mli')
0 files changed, 0 insertions, 0 deletions