diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-09 15:36:34 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-09 15:36:34 +0200 |
| commit | 2dce91b8e2cae0b49c8870df6c727e25aaa180d8 (patch) | |
| tree | 1b8bab698f77feb32bd2997911523cccd1e2924a /powerpc/Machregs.v | |
| parent | 62277541b0ea1c687c64df79a543f776b9f58f29 (diff) | |
| download | compcert-kvx-2dce91b8e2cae0b49c8870df6c727e25aaa180d8.tar.gz compcert-kvx-2dce91b8e2cae0b49c8870df6c727e25aaa180d8.zip | |
Add builtin for atomic load.
Implement the new __builtin_atomic_load(int *a, int *b); which stores
*a in *b. This differs from the atomic_load of the GCC, since the PPC
ISA manual states that you must jump before the load again if it fails.
Diffstat (limited to 'powerpc/Machregs.v')
0 files changed, 0 insertions, 0 deletions