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 /x86/Op.v | |
| parent | 77907cd402b8a37824111c7c726aab1fe5957af9 (diff) | |
| download | compcert-ac1f753ae43c32ce745c792611def48ca678be63.tar.gz compcert-ac1f753ae43c32ce745c792611def48ca678be63.zip | |
Print 64bit constants for rldimn and rldimi.
Diffstat (limited to 'x86/Op.v')
0 files changed, 0 insertions, 0 deletions