diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-20 14:32:33 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-20 14:32:33 +0200 |
commit | 1801685f8352b7a120d87d5b529d290728129529 (patch) | |
tree | d5b1458e741a426e2f62ec2a0c8100ddb6aca8f5 /cparser | |
parent | 2fa58b2f496c9aa8c0310c4f9f1683d106e8975d (diff) | |
download | compcert-kvx-1801685f8352b7a120d87d5b529d290728129529.tar.gz compcert-kvx-1801685f8352b7a120d87d5b529d290728129529.zip |
__builtin_bswap16, 32 and 64
Diffstat (limited to 'cparser')
-rw-r--r-- | cparser/Machine.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Machine.ml b/cparser/Machine.ml index 658cf0f4..ac34fa5f 100644 --- a/cparser/Machine.ml +++ b/cparser/Machine.ml @@ -254,7 +254,7 @@ let mppa_k1c = sizeof_wchar = 4; sizeof_size_t = 8; sizeof_ptrdiff_t = 8; - sizeof_intreg = 4; (* What is this for ? *) + sizeof_intreg = 8; (* What is this for ? *) alignof_ptr = 8; alignof_short = 2; alignof_int = 4; |