Home
last modified time | relevance | path

Searched refs:value_type (Results 1 – 25 of 79) sorted by relevance

1234

/wasmtime-44.0.1/cranelift/codegen/src/opts/
H A Dextends.isle17 (rule (simplify (band wide x @ (uextend _ (value_type narrow)) (iconst_u _ mask)))
30 (uextend $I64 x @ (value_type $I32))
35 (uextend $I64 x @ (value_type $I32))
40 (rule (simplify (eq _ (sextend _ x@(value_type ty)) (iconst_s _ 0)))
42 (rule (simplify (ne _ (sextend _ x@(value_type ty)) (iconst_s _ 0)))
44 (rule (simplify (icmp _ cc (sextend _ x@(value_type ty)) (iconst_s _ 0)))
50 (rule (simplify (ireduce ty (sextend _ x @ (value_type ty)))) (subsume x))
51 (rule (simplify (ireduce ty (uextend _ x @ (value_type ty)))) (subsume x))
71 (rule (simplify (band bigty (uextend _ x@(value_type smallty)) (uextend _ y@(value_type smallty))))
73 (rule (simplify (bor bigty (uextend _ x@(value_type smallty)) (uextend _ y@(value_type smallty))))
[all …]
H A Dicmp.isle257 (rule (simplify (select ty (eq _ a_hi @ (value_type $I64) b_hi @ (value_type $I64))
258 (uge ty a_lo @ (value_type $I64) b_lo @ (value_type $I64))
262 (rule (simplify (select ty (eq _ a_hi @ (value_type $I64) b_hi @ (value_type $I64))
263 (uge ty a_lo @ (value_type $I64) b_lo @ (value_type $I64))
267 (rule (simplify (select ty (eq _ a_hi @ (value_type $I64) b_hi @ (value_type $I64))
268 (ugt ty a_lo @ (value_type $I64) b_lo @ (value_type $I64))
272 (rule (simplify (select ty (eq _ a_hi @ (value_type $I64) b_hi @ (value_type $I64))
273 (ugt ty a_lo @ (value_type $I64) b_lo @ (value_type $I64))
277 (rule (simplify (select ty (eq _ a_hi @ (value_type $I64) b_hi @ (value_type $I64))
278 (ule ty a_lo @ (value_type $I64) b_lo @ (value_type $I64))
[all …]
H A Dshifts.isle52 (uextend wide x @ (value_type narrow))
210 (rule 1 (iadd_uextend x @ (value_type ty) y @ (value_type ty))
212 (rule 2 (iadd_uextend x @ (value_type x_ty) y @ (value_type y_ty))
215 (rule 3 (iadd_uextend x @ (value_type x_ty) y @ (value_type y_ty))
222 (rule 1 (isub_uextend x @ (value_type ty) y @ (value_type ty))
224 (rule 2 (isub_uextend x @ (value_type x_ty) y @ (value_type y_ty))
227 (rule 3 (isub_uextend x @ (value_type x_ty) y @ (value_type y_ty))
259 (rule (simplify (rotr ty (rotr ty x y @ (value_type kty)) z @ (value_type kty)))
261 (rule (simplify (rotl ty (rotl ty x y @ (value_type kty)) z @ (value_type kty)))
264 (rule (simplify (rotr ty (rotl ty x y @ (value_type kty)) z @ (value_type kty)))
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/isa/pulley_shared/
H A Dlower.isle19 (rule 1 (lower_cond val @ (value_type $I64))
701 (rule 2 (lower (bmask _ a @ (value_type $I64)))
740 (rule (lower (icmp _ cc a b @ (value_type (ty_int ty))))
851 (rule 1 (lower (icmp _ cc a @ (value_type (ty_vec128 ty)) b))
1342 (rule (lower (isplit _ x @ (value_type $I128)))
1819 (rule (lower (scalar_to_vector _ a @ (value_type $I8)))
1821 (rule (lower (scalar_to_vector _ a @ (value_type $I16)))
1823 (rule (lower (scalar_to_vector _ a @ (value_type $I32)))
1825 (rule (lower (scalar_to_vector _ a @ (value_type $I64)))
1827 (rule (lower (scalar_to_vector _ a @ (value_type $F32)))
[all …]
H A Dinst.isle272 (rule (sinkable_load value @ (value_type ty))
766 (rule (zext32 val @ (value_type $I8)) (pulley_zext8 val))
768 (rule (zext32 val @ (value_type $I32)) val)
769 (rule (zext32 val @ (value_type $I64)) val)
773 (rule (sext32 val @ (value_type $I8)) (pulley_sext8 val))
775 (rule (sext32 val @ (value_type $I32)) val)
776 (rule (sext32 val @ (value_type $I64)) val)
780 (rule (zext64 val @ (value_type $I8)) (pulley_zext8 val))
783 (rule (zext64 val @ (value_type $I64)) val)
787 (rule (sext64 val @ (value_type $I8)) (pulley_sext8 val))
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/ir/
H A Dextfunc.rs141 pub value_type: Type, field
152 value_type: vt, in new()
161 value_type: vt, in special()
169 debug_assert!(self.value_type.is_int(), "uext on {} arg", self.value_type); in uext()
178 debug_assert!(self.value_type.is_int(), "sext on {} arg", self.value_type); in sext()
188 write!(f, "{}", self.value_type)?; in fmt()
H A Ddfg.rs530 let ty = self.value_type(original); in change_to_alias()
532 self.value_type(dest), in change_to_alias()
537 self.value_type(dest), in change_to_alias()
572 self.value_type(dest), in replace_with_aliases()
577 self.value_type(dest), in replace_with_aliases()
1088 let ty = self.value_type(x); in union()
1210 self.value_type( in ctrl_typevar()
1337 let ty = self.value_type(param); in attach_block_param()
1452 self.value_type(v), in set_value_type_for_parser()
1521 self.value_type(src) in make_value_alias_for_serialization()
[all …]
H A Dbuilder.rs233 assert_eq!(pos.func.dfg.value_type(v0), I32); in types()
237 assert_eq!(pos.func.dfg.value_type(v1), I32); in types()
241 assert_eq!(pos.func.dfg.value_type(cmp), I8); in types()
253 assert_eq!(pos.func.dfg.value_type(v0), I32); in reuse_results()
/wasmtime-44.0.1/crates/cranelift/src/func_environ/stack_switching/
H A Dfatpointer.rs23 debug_assert_eq!(pos.func.dfg.value_type(contobj), fatpointer_type(env)); in deconstruct()
46 debug_assert_eq!(pos.func.dfg.value_type(contref_addr), ptr_ty); in construct()
47 debug_assert_eq!(pos.func.dfg.value_type(revision_counter), ptr_ty); in construct()
/wasmtime-44.0.1/cranelift/codegen/src/isa/x64/
H A Dlower.isle3197 value @ (value_type $F32X4)
3205 value @ (value_type $F64X2)
3221 value @ (value_type $I128)
4370 (rule (lower (ceil _ a @ (value_type ty)))
4375 (rule (lower (floor _ a @ (value_type ty)))
4380 (rule (lower (nearest _ a @ (value_type ty)))
4385 (rule (lower (trunc _ a @ (value_type ty)))
4404 (rule 2 (lower (udiv _ a @ (value_type $I8) b))
4504 (rule (lower (srem _ a @ (value_type ty) b))
4936 (rule 1 (is_vall_true val @ (value_type ty))
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/
H A Dlower.isle2120 (lower (trapz value @ (value_type (fits_in_64 _)) code))
2124 (lower (trapz value @ (value_type $I128) code))
2136 (lower (trapnz value @ (value_type (fits_in_64 _)) code))
2140 (lower (trapnz value @ (value_type $I128) code))
2274 (rule 0 (lower (icmp _ cc x @ (value_type (fits_in_64 ty)) y))
2364 (rule 20 (lower (icmp _ cc x @ (value_type $I128) y))
2438 (rule (lower (has_type ity (fcvt_to_uint _ v @ (value_type fty))))
2455 (rule (lower (has_type ity (fcvt_to_sint _ v @ (value_type fty))))
2815 val @ (value_type (ty_int _))
2914 (rule (lower (vall_true _ x @ (value_type (ty_supported_vec ty))))
[all …]
/wasmtime-44.0.1/cranelift/fuzzgen/src/passes/
H A Dint_divz.rs44 assert_eq!(pos.func.dfg.value_type(lhs), pos.func.dfg.value_type(rhs)); in insert_int_divz_sequence()
45 let ty = pos.func.dfg.value_type(lhs); in insert_int_divz_sequence()
H A Dfcvt.rs71 let float_ty = dfg.value_type(arg); in insert_fcvt_sequence()
72 let int_ty = dfg.value_type(dfg.first_result(inst)); in insert_fcvt_sequence()
/wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/
H A Dlower.isle253 (rule (lower (isplit _ x @ (value_type $I128)))
288 (rule -1 (lower (scalar_to_vector _ x @ (value_type $I64)))
305 (rule (lower (vall_true _ x @ (value_type (multi_lane 64 2))))
337 (rule (lower (vany_true _ x @ (value_type in_ty)))
2857 (rule 1 (lower (insertlane _ vec @ (value_type vty)
2858 val @ (value_type (ty_int _))
2862 (rule (lower (insertlane _ vec @ (value_type vty)
2883 (rule (lower (vhigh_bits _ vec @ (value_type $I8X16)))
2907 (rule (lower (vhigh_bits _ vec @ (value_type $I16X8)))
2920 (rule (lower (vhigh_bits _ vec @ (value_type $I32X4)))
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/verifier/
H A Dmod.rs1099 let value_type = self.func.dfg.value_type(arg); in verify_bitcast() localVariable
1101 if typ.bits() != value_type.bits() { in verify_bitcast()
1107 value_type.bits(), in verify_bitcast()
1162 let value_type = self.func.dfg.value_type(v); in verify_is_address() localVariable
1164 let value_width = value_type.bits(); in verify_is_address()
1437 .map(|a| a.value_type); in typecheck_variable_args()
1457 .map(|a| a.value_type); in typecheck_variable_args()
1464 .map(|a| a.value_type); in typecheck_variable_args()
1714 if actual_type != expected_type.value_type { in typecheck_return_types()
1849 let ty = self.func.dfg.value_type(arg); in immediate_constraints()
[all …]
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/clz/
H A Dbroken_clz16.isle73 (rule (put_in_reg_zext32 val @ (value_type (fits_in_32 ty)))
75 (rule (put_in_reg_zext32 val @ (value_type $I32)) val)
76 (rule (put_in_reg_zext32 val @ (value_type $I64)) val)
H A Dbroken_clz8.isle74 (rule (put_in_reg_zext32 val @ (value_type (fits_in_32 ty)))
76 (rule (put_in_reg_zext32 val @ (value_type $I32)) val)
77 (rule (put_in_reg_zext32 val @ (value_type $I64)) val)
/wasmtime-44.0.1/cranelift/codegen/src/
H A Dinst_predicates.rs112 let ty = func.dfg.value_type(func.dfg.inst_results(inst)[0]); in inst_addr_offset_type()
116 let ty = func.dfg.value_type(func.dfg.inst_results(inst)[0]); in inst_addr_offset_type()
120 let ty = func.dfg.value_type(args[0]); in inst_addr_offset_type()
124 let ty = func.dfg.value_type(args[0]); in inst_addr_offset_type()
/wasmtime-44.0.1/cranelift/fuzzgen/src/
H A Dcranelift_arbitrary.rs75 let value_type = self._type(simd_enabled)?; in abi_param() localVariable
78 let extension = if value_type.is_int() { in abi_param()
89 value_type, in abi_param()
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/cls/
H A Dbroken_cls16.isle73 (rule (put_in_reg_zext32 val @ (value_type (fits_in_32 ty)))
75 (rule (put_in_reg_zext32 val @ (value_type $I32)) val)
76 (rule (put_in_reg_zext32 val @ (value_type $I64)) val)
H A Dbroken_cls8.isle73 (rule (put_in_reg_zext32 val @ (value_type (fits_in_32 ty)))
75 (rule (put_in_reg_zext32 val @ (value_type $I32)) val)
76 (rule (put_in_reg_zext32 val @ (value_type $I64)) val)
/wasmtime-44.0.1/cranelift/codegen/src/isa/s390x/
H A Dlower.isle63 (rule (lower (isplit _ x @ (value_type $I128)))
981 (rule (lower (ireduce _ x @ (value_type (vr128_ty _ty))))
2174 (rule 1 (lower (insertlane _ x @ (value_type ty)
2175 y @ (value_type in_ty)
2181 (rule 0 (lower (insertlane _ x @ (value_type ty)
2187 (rule 2 (lower (insertlane _ x @ (value_type ty)
2409 x @ (value_type in_ty))))
3783 (rule (icmpu_val _ x @ (value_type (fits_in_64 ty)) y)
3891 (rule (fcmp_val float_cc x @ (value_type ty) y)
3937 (rule -1 (vall_true_val x @ (value_type ty))
[all …]
/wasmtime-44.0.1/crates/cranelift/src/
H A Dbounds_checks.rs138 assert_eq!(builder.func.dfg.value_type(index), ir::types::I32); in bounds_check_and_compute_addr()
139 assert_eq!(builder.func.dfg.value_type(offset), ir::types::I32); in bounds_check_and_compute_addr()
140 assert_eq!(builder.func.dfg.value_type(object_size), ir::types::I32); in bounds_check_and_compute_addr()
627 debug_assert_eq!(pos.func.dfg.value_type(index), addr_ty); in compute_addr()
675 let ty = func.dfg.value_type(index); in statically_in_bounds()
H A Dtrap.rs59 let ty = builder.func.dfg.value_type(value); in trapz()
70 let ty = builder.func.dfg.value_type(value); in trapnz()
H A Dlib.rs128 let ir_ty = value_type(isa, ty); in unbarriered_load_type_at_offset()
133 fn value_type(isa: &dyn TargetIsa, ty: WasmValType) -> ir::types::Type { in value_type() function
204 let cvt = |ty: &WasmValType| ir::AbiParam::new(value_type(isa, *ty)); in wasm_call_signature()
418 if arg.value_type.is_int() { in host_signature()

1234