Rust Crate Documentation

cretonne
This is the core code generator crate. It takes Cretonne IR as input and emits encoded machine instructions, along with symbolic relocations, as output.
cretonne-wasm
This crate translates WebAssembly code into Cretonne IR.
cretonne-frontend
This crate provides utilities for translating code into Cretonne IR.
cretonne-native
This crate performs auto-detection of the host, allowing Cretonne to generate code optimized for the machine it’s running on.
cretonne-reader
This crate translates from Cretonne IR’s text format into Cretonne IR in in-memory data structures.

Indices and tables

Todo list

Todo

Add and subtract with signed overflow.

For example, see llvm.sadd.with.overflow.* and llvm.ssub.with.overflow.* in LLVM.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cretonne/checkouts/stable/docs/langref.rst, line 781.)

Todo

Larger multiplication results.

For example, smulx which multiplies i32 operands to produce a i64 result. Alternatively, smulhi and smullo pairs.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cretonne/checkouts/stable/docs/langref.rst, line 790.)

Todo

Integer minimum / maximum.

NEON has smin, smax, umin, and umax instructions. We should replicate those for both scalar and vector integer types. Even if the target ISA doesn’t have scalar operations, these are good pattern matching targets.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cretonne/checkouts/stable/docs/langref.rst, line 804.)

Todo

Saturating arithmetic.

Mostly for SIMD use, but again these are good patterns for contraction. Something like usatadd, usatsub, ssatadd, and ssatsub is a good start.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cretonne/checkouts/stable/docs/langref.rst, line 811.)

Todo

Saturating fcvt_to_sint and fcvt_to_uint.

For example, these appear in Rust and WebAssembly.

(The original entry is located in /home/docs/checkouts/readthedocs.org/user_builds/cretonne/checkouts/stable/docs/langref.rst, line 934.)