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 /backend/Tailcall.v | |
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 'backend/Tailcall.v')
0 files changed, 0 insertions, 0 deletions