diff --git a/cranelift/docs/langref.rst b/cranelift/docs/langref.rst index b5471d2a0c..d422163885 100644 --- a/cranelift/docs/langref.rst +++ b/cranelift/docs/langref.rst @@ -769,6 +769,12 @@ Integer operations .. autoinst:: isub_bout .. autoinst:: isub_borrow +.. todo:: Add and subtract with signed overflow. + + For example, see + `llvm.sadd.with.overflow.*` and `llvm.ssub.with.overflow.*` in + LLVM `_. + .. autoinst:: imul .. autoinst:: imul_imm @@ -916,6 +922,12 @@ Conversion operations .. autoinst:: fcvt_from_uint .. autoinst:: fcvt_from_sint +.. todo:: Saturating fcvt_to_sint and fcvt_to_uint. + + For example, these appear in + `Rust `_ and + `WebAssembly https://github.com/WebAssembly/nontrapping-float-to-int-conversions>`_. + Legalization operations -----------------------