diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-09-18 13:11:32 +0200 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-09-18 13:11:32 +0200 |
commit | e891a43f00680d1d99063c3b8231fb862738e0e3 (patch) | |
tree | 7532064543928be156f3f590fefe63718dc799d3 /powerpc/PrintOp.ml | |
parent | 51d32b92df4eeba729c4cb950d6374b8f879ca5c (diff) | |
download | compcert-e891a43f00680d1d99063c3b8231fb862738e0e3.tar.gz compcert-e891a43f00680d1d99063c3b8231fb862738e0e3.zip |
Support __builtin_isel64 for non-EREF PPC64 platforms (#141)
If the isel instruction is missing, it can be emulated just like we do
in the 32-bit case (__builtin_isel).
Follow-up to commit 51d32b92.
Bug 24516
Diffstat (limited to 'powerpc/PrintOp.ml')
0 files changed, 0 insertions, 0 deletions