Home
last modified time | relevance | path

Searched refs:Conditional (Results 1 – 13 of 13) sorted by relevance

/wasmtime-44.0.1/docs/
H A Dcontributing-conditional-compilation.md1 # Conditional Compilation in Wasmtime
83 Conditional compilation in any language can get hairy quickly and Rust is no
91 Conditional compilation can be great for quickly excluding an entire function in
189 ## Conditional Compilation Style Guide
198 attributes necessary in the repository**. Conditional compilation is required no
H A DSUMMARY.md67 - [Conditional Compilation](./contributing-conditional-compilation.md)
/wasmtime-44.0.1/cranelift/codegen/src/opts/
H A Dskeleton.isle6 ;; Conditional traps that will never trap.
/wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/
H A Dlib.rs186 Conditional(Box<Expr>, Box<Expr>, Box<Expr>), enumerator
280 Expr::Conditional(c, t, e) => write!(f, "(if {c} {t} {e})"), in fmt()
H A Dannotation_ir.rs229 Conditional(Box<Expr>, Box<Expr>, Box<Expr>), enumerator
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dannotations.rs227 Expr::Conditional( in spec_op_to_expr()
H A Dtype_inference.rs1180 annotation_ir::Expr::Conditional(c, t, e) => { in add_annotation_constraints()
1193 veri_ir::Expr::Conditional(Box::new(e1), Box::new(e2), Box::new(e3)), in add_annotation_constraints()
H A Dsolver.rs974 Expr::Conditional(c, t, e) => { in vir_expr_to_sexp()
/wasmtime-44.0.1/cranelift/docs/
H A Dir.md324 arguments, if it has any. Conditional branches terminate a BB, and transfer to
799 `trap`. Conditional branches and instructions that trap
/wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/
H A Dinst.isle558 ;; ZiCond: Integer Conditional Operations
1800 ;; Helper for emitting the `czero.eqz` ("Conditional zero, if condition is equal to zero") instruct…
1809 ;; Helper for emitting the `czero.nez` ("Conditional zero, if condition is nonzero") instruction.
/wasmtime-44.0.1/cranelift/codegen/src/isa/x64/
H A Dinst.isle43 ;; Conditional moves.
3332 ;; Conditional jump based on the condition code.
3337 ;; Conditional jump based on the OR of two condition codes.
3342 ;; Conditional jump based on a `CondResult`
/wasmtime-44.0.1/cranelift/codegen/src/isa/s390x/
H A Dinst.isle781 ;; Conditional vector move instruction.
1020 ;; Conditional branch breaking out of a loop emitted via Loop.
/wasmtime-44.0.1/cranelift/codegen/src/isa/pulley_shared/
H A Dlower.isle24 ;; Conditional branches on `icmp`s.