diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-05-05 13:00:42 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-05-05 13:00:42 +0200 |
commit | ac1f753ae43c32ce745c792611def48ca678be63 (patch) | |
tree | 83dfb9f123bb0b466e4ab1fdd1d87c47ddbe8a6a /runtime/x86_64/i64_utof.S | |
parent | 77907cd402b8a37824111c7c726aab1fe5957af9 (diff) | |
download | compcert-ac1f753ae43c32ce745c792611def48ca678be63.tar.gz compcert-ac1f753ae43c32ce745c792611def48ca678be63.zip |
Print 64bit constants for rldimn and rldimi.
Diffstat (limited to 'runtime/x86_64/i64_utof.S')
0 files changed, 0 insertions, 0 deletions