diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-12-08 16:24:49 +0100 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-12-08 16:31:58 +0100 |
commit | 35db979d7e723ba2ac5bef4629a15b4919d937d4 (patch) | |
tree | 2f34bae6f8a6f1d4c66579bf23190010b9949ac9 /backend/PrintAsm.ml | |
parent | f05e9e7ee26116ab88d8a5d7ff3ea68d1bd950ca (diff) | |
download | compcert-35db979d7e723ba2ac5bef4629a15b4919d937d4.tar.gz compcert-35db979d7e723ba2ac5bef4629a15b4919d937d4.zip |
Introduce and use C2C.atom_inline function with 3-valued result
Instead of two Boolean tests C2C.atom_is_{no,}inline, have a single
C2C.atom_inline function that returns one of the three possible values
stored in the the a_inline field.
Diffstat (limited to 'backend/PrintAsm.ml')
0 files changed, 0 insertions, 0 deletions