diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-10 12:44:00 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-10 12:44:00 +0100 |
commit | b33da04f33c996246944f468dd037ceb994c4c21 (patch) | |
tree | 76efb4672396b4000c937ddccbf281dc9ca686ec /exportclight/Clightgen.ml | |
parent | b38eba3c9806f050d942353bb9e18ed9fb1a58d4 (diff) | |
download | compcert-kvx-b33da04f33c996246944f468dd037ceb994c4c21.tar.gz compcert-kvx-b33da04f33c996246944f468dd037ceb994c4c21.zip |
Add riscv and attributes to Clightgen
Diffstat (limited to 'exportclight/Clightgen.ml')
-rw-r--r-- | exportclight/Clightgen.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/exportclight/Clightgen.ml b/exportclight/Clightgen.ml index 05ece5de..76040b18 100644 --- a/exportclight/Clightgen.ml +++ b/exportclight/Clightgen.ml @@ -185,8 +185,12 @@ let _ = if Configuration.abi = "macosx" then Machine.x86_32_macosx else Machine.x86_32 + | "riscV" -> if Configuration.model = "64" + then Machine.rv64 + else Machine.rv32 | _ -> assert false end; Builtins.set C2C.builtins; + Cutil.declare_attributes C2C.attributes; CPragmas.initialize(); parse_cmdline cmdline_actions |