diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-08-13 17:13:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-13 17:13:46 +0200 |
| commit | 192bd462233d0284fa3d5f8e8994a514b549713e (patch) | |
| tree | 73d6ee96c12f2850e6e46222171c95a83ff75e61 /doc | |
| parent | 040d9c67942c73d875eec9a2ab131fbae6e8f984 (diff) | |
| download | compcert-kvx-192bd462233d0284fa3d5f8e8994a514b549713e.tar.gz compcert-kvx-192bd462233d0284fa3d5f8e8994a514b549713e.zip | |
Allow Long as const result for ppc64 variant.
Since the ppc64 has 64 bit registers it is okay to have a 64 bit
constant result.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions