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 | |
| parent | b38eba3c9806f050d942353bb9e18ed9fb1a58d4 (diff) | |
| download | compcert-kvx-b33da04f33c996246944f468dd037ceb994c4c21.tar.gz compcert-kvx-b33da04f33c996246944f468dd037ceb994c4c21.zip | |
Add riscv and attributes to Clightgen
Diffstat (limited to 'exportclight')
| -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 |