diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 11:34:08 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 11:34:08 +0200 |
commit | fd0562ffa499e57eff1243b5d9defe94a3f91d3c (patch) | |
tree | 0a09dbb7d9cf25cecb5d068990eac694ffb3dc46 /cparser/Machine.ml | |
parent | 3cecb184dc53baf94ac1b98ec392f27576106d35 (diff) | |
download | compcert-kvx-fd0562ffa499e57eff1243b5d9defe94a3f91d3c.tar.gz compcert-kvx-fd0562ffa499e57eff1243b5d9defe94a3f91d3c.zip |
MPPA - Fixed wrong DWARF informations
Diffstat (limited to 'cparser/Machine.ml')
-rw-r--r-- | cparser/Machine.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/Machine.ml b/cparser/Machine.ml index 7d5a7f77..bd524cf8 100644 --- a/cparser/Machine.ml +++ b/cparser/Machine.ml @@ -225,7 +225,8 @@ let rv64 = struct_return_style = SR_ref } (* to check *) let mppa_k1c = - { ilp32ll64 with name = "k1c"; + { ilp32ll64 with sizeof_ptr = 8; + name = "k1c"; char_signed = true; supports_unaligned_accesses = true } |