diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-14 19:41:39 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-14 19:41:39 +0200 |
commit | 9dc0dd73f75875b301c886df40087192d0fad386 (patch) | |
tree | 64d362acab74e67e6c2f80fde7e8622563c4b865 /powerpc/AsmToJSON.ml | |
parent | 0de3d126e70dfedfd6f74710da31c4b9636f900a (diff) | |
download | compcert-9dc0dd73f75875b301c886df40087192d0fad386.tar.gz compcert-9dc0dd73f75875b301c886df40087192d0fad386.zip |
Use fix registers for atomic builtins.
In order to avoid clashes during register allocation etc. The
builtins now use fixed registers and mark additional registers as
destroyed for temporaries.
Diffstat (limited to 'powerpc/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions