Home
last modified time | relevance | path

Searched refs:extended_value_from_value (Results 1 – 4 of 4) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/iadd/
H A Dbroken_add_extend.isle62 ;; Only including the i8 to i32 opcodes, based on the impl of extended_value_from_value
63 (spec (extended_value_from_value x)
77 (decl extended_value_from_value (ExtendedValue) Value)
78 (extern extractor extended_value_from_value extended_value_from_value)
108 (rule 0 (lower (has_type (fits_in_64 ty) (iadd x (extended_value_from_value y))))
/wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/lower/
H A Disle.rs426 fn extended_value_from_value(&mut self, val: Value) -> Option<ExtendedValue> { in extended_value_from_value() method
/wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/
H A Dinst.isle1993 ;; Only including the i8 to i32 opcodes, based on the impl of extended_value_from_value
1994 (spec (extended_value_from_value x)
2008 (decl extended_value_from_value (ExtendedValue) Value)
2009 (extern extractor extended_value_from_value extended_value_from_value)
H A Dlower.isle76 …xtend_right 0 (lower (has_type (ty_int_ref_scalar_64 ty) (iadd _ x (extended_value_from_value y))))
79 …extend_left 1 (lower (has_type (ty_int_ref_scalar_64 ty) (iadd _ (extended_value_from_value x) y)))
738 (rule isub_extend 1 (lower (has_type (ty_int_ref_scalar_64 ty) (isub _ x (extended_value_from_value…