Skip to content

Commit 524f0b4

Browse files
authored
flambda-backend: Initial refactoring of To_cmm (#619)
1 parent 0bf75de commit 524f0b4

File tree

2 files changed

+16
-0
lines changed

2 files changed

+16
-0
lines changed

utils/target_system.ml

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,18 @@ let architecture () : architecture =
2020
| "riscv" -> Riscv
2121
| arch -> Misc.fatal_errorf "Unknown architecture `%s'" arch
2222

23+
let is_64_bit =
24+
match architecture () with
25+
| X86_64
26+
| AArch64
27+
| POWER
28+
| Z
29+
| Riscv -> true
30+
| IA32
31+
| ARM -> false
32+
33+
let is_32_bit = not is_64_bit
34+
2335
type derived_system =
2436
| Linux
2537
| MinGW_32

utils/target_system.mli

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,10 @@ type architecture =
99

1010
val architecture : unit -> architecture
1111

12+
val is_64_bit : bool
13+
14+
val is_32_bit : bool
15+
1216
type derived_system =
1317
| Linux
1418
| MinGW_32

0 commit comments

Comments
 (0)