diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-08 10:44:34 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-08 10:44:34 +0200 |
commit | 2246044e99569fcf1c2172f0e710134123be8b49 (patch) | |
tree | df56ebe23cb71259f346ee1f73fafe3f9a96e476 /backend/CMtypecheck.ml | |
parent | 73e20bd6e0586e38fbc7d87d8c306fad7b578418 (diff) | |
download | compcert-2246044e99569fcf1c2172f0e710134123be8b49.tar.gz compcert-2246044e99569fcf1c2172f0e710134123be8b49.zip |
Added builtin for isel.
The builtin_isel function takes a _Bool as first argument and returns
either the second or the third depending on the value of the _Bool.
Diffstat (limited to 'backend/CMtypecheck.ml')
0 files changed, 0 insertions, 0 deletions