ocamlopt
E559811
ocamlopt is the native-code optimizing compiler for the OCaml programming language, producing efficient machine code executables.
All labels observed (1)
| Label | Occurrences |
|---|---|
| ocamlopt canonical | 1 |
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
OCaml compiler
ⓘ
native-code compiler ⓘ optimizing compiler ⓘ |
| category | compiler ⓘ |
| comparesWith | ocamlc NERFINISHED ⓘ |
| designedFor | high-performance OCaml code ⓘ |
| distributedWith | OCaml compiler package ⓘ |
| implements | OCaml language specification NERFINISHED ⓘ |
| inputFormat |
.cmx compiled module files
ⓘ
.cmxa library files ⓘ .ml source files ⓘ .mli interface files ⓘ |
| invokedAs | ocamlopt NERFINISHED ⓘ |
| license | LGPL with linking exception ⓘ |
| maintainedBy |
Inria
NERFINISHED
ⓘ
OCaml development team NERFINISHED ⓘ |
| optimizationLevel | higher than ocamlc ⓘ |
| outputFormat |
.a static libraries
ⓘ
.cmx compiled module files ⓘ .cmxa native libraries ⓘ .o object files ⓘ native executable binaries ⓘ |
| partOf |
OCaml distribution
ⓘ
OCaml toolchain ⓘ |
| produces | native executables ⓘ |
| programmingLanguage | OCaml NERFINISHED ⓘ |
| relatedTo |
ocaml
NERFINISHED
ⓘ
ocamlc NERFINISHED ⓘ |
| supports |
debug information generation
ⓘ
flambda optimizations (on supported builds) ⓘ linking of compiled modules ⓘ profiling options ⓘ separate compilation ⓘ |
| supportsOperatingSystem |
Linux
ⓘ
Windows NERFINISHED ⓘ macOS NERFINISHED ⓘ |
| supportsPlatform |
ARM
NERFINISHED
ⓘ
PowerPC NERFINISHED ⓘ x86 ⓘ x86-64 ⓘ |
| target | native machine code ⓘ |
| uses |
C toolchain linker
ⓘ
constant propagation ⓘ dead code elimination ⓘ inlining ⓘ instruction selection ⓘ peephole optimizations ⓘ register allocation ⓘ |
| writtenIn | OCaml NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.