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