diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 13:16:03 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 13:16:03 +0200 |
commit | 916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70 (patch) | |
tree | b26e517989410a4e145d0d4efe8f8dbe70d99572 /runtime/arm/i64_utof.S | |
parent | b04bb783badb9051c62b26fb1858f916d0e4ccd0 (diff) | |
download | compcert-916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70.tar.gz compcert-916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70.zip |
Bitfield improvements continued: perform bitfield expansion before unblocking; improve translation of bitfield initializers and compound literals.
Diffstat (limited to 'runtime/arm/i64_utof.S')
0 files changed, 0 insertions, 0 deletions