diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-09-18 10:43:53 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-09-18 10:43:53 +0200 |
| commit | 51d32b92df4eeba729c4cb950d6374b8f879ca5c (patch) | |
| tree | 996b6ba29f667490777dfdade843f51b452716fc /powerpc/Machregsaux.mli | |
| parent | 0af832379495bbfcd5f4cef6c5d00fad820b5856 (diff) | |
| download | compcert-51d32b92df4eeba729c4cb950d6374b8f879ca5c.tar.gz compcert-51d32b92df4eeba729c4cb950d6374b8f879ca5c.zip | |
Add builtin isel (conditional move) for int64, uint64 and _Bool (#140)
New builtin isel variants to support conditional moves for 64bit integers and _Bool values.
Bug 24516
Diffstat (limited to 'powerpc/Machregsaux.mli')
0 files changed, 0 insertions, 0 deletions