diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-12-15 10:01:49 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-12-15 10:01:49 +0100 |
commit | 00e3b7b59515c086fb92751c15d61b0352f9fde9 (patch) | |
tree | ca4aa7fe1d11e1a10703f2c0e98bd31499b5b980 /cparser | |
parent | 91029ac1749b8186c17c6cb14347066be8226434 (diff) | |
download | compcert-00e3b7b59515c086fb92751c15d61b0352f9fde9.tar.gz compcert-00e3b7b59515c086fb92751c15d61b0352f9fde9.zip |
bug 17752, add builtin64_set_spr and builtin64_get_spr for PowerPC
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions