diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-12-15 09:17:07 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-12-15 09:17:07 +0100 |
| commit | 91029ac1749b8186c17c6cb14347066be8226434 (patch) | |
| tree | c4c1670c20a2cc12dfa08402a91e04e85fe45f74 /powerpc/Asmexpand.ml | |
| parent | 67fda21314a577d6ae2bc9a5abf6df329b8ba85a (diff) | |
| download | compcert-kvx-91029ac1749b8186c17c6cb14347066be8226434.tar.gz compcert-kvx-91029ac1749b8186c17c6cb14347066be8226434.zip | |
Bug 17752, add rldicr instruction for PowerPC
Diffstat (limited to 'powerpc/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions