Home
last modified time | relevance | path

Searched refs:Type (Results 1 – 25 of 232) sorted by relevance

12345678910

/wasmtime-44.0.1/crates/test-util/src/
H A Dcomponent_fuzz.rs128 Map(Box<Type>, Box<Type>),
278 Type::Bool | Type::S8 | Type::U8 => Kind::Primitive("i32.store8"), in store_flat()
280 Type::S32 | Type::U32 | Type::Char => Kind::Primitive("i32.store"), in store_flat()
284 Type::String | Type::List(_) | Type::Map(_, _) => Kind::PointerPair, in store_flat()
448 Type::U32 | Type::S32 | Type::Char => Kind::Primitive("i32.load"), in load_flat()
452 Type::String | Type::List(_) | Type::Map(_, _) => Kind::PointerPair, in load_flat()
706 Type::String | Type::List(_) | Type::Map(_, _) => { in lower()
725 Type::Bool | Type::S8 | Type::U8 => SizeAndAlignment { in size_and_alignment()
735 Type::S32 | Type::U32 | Type::Char | Type::Float32 => SizeAndAlignment { in size_and_alignment()
740 Type::S64 | Type::U64 | Type::Float64 => SizeAndAlignment { in size_and_alignment()
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/
H A Disle_prelude.rs290 fn fits_in_16(&mut self, ty: Type) -> Option<Type> {
299 fn fits_in_32(&mut self, ty: Type) -> Option<Type> {
342 fn ty_16(&mut self, ty: Type) -> Option<Type> {
347 fn ty_32(&mut self, ty: Type) -> Option<Type> {
352 fn ty_64(&mut self, ty: Type) -> Option<Type> {
357 fn ty_128(&mut self, ty: Type) -> Option<Type> {
413 fn ty_int(&mut self, ty: Type) -> Option<Type> {
418 fn ty_scalar(&mut self, ty: Type) -> Option<Type> {
463 fn ty_vec64(&mut self, ty: Type) -> Option<Type> {
472 fn ty_vec128(&mut self, ty: Type) -> Option<Type> {
[all …]
H A Dprelude.isle32 (type Type (primitive Type))
355 (decl fits_in_16 (Type) Type)
362 (decl fits_in_32 (Type) Type)
377 (decl ty_16 (Type) Type)
381 (decl ty_32 (Type) Type)
385 (decl ty_64 (Type) Type)
389 (decl ty_128 (Type) Type)
430 (decl ty_int (Type) Type)
434 (decl ty_scalar (Type) Type)
460 (decl ty_vec128 (Type) Type)
[all …]
/wasmtime-44.0.1/crates/wasmtime/src/runtime/component/
H A Dtypes.rs331 pub fn ty(&self) -> Type { in ty() argument
370 pub ty: Type,
430 pub ty: Option<Type>,
522 Some(Type::from( in ok()
530 Some(Type::from( in err()
602 Some(Type::from( in ty()
659 Some(Type::from( in ty()
708 pub enum Type { enum
738 impl Type { impl
1124 Type(Type), enumerator
[all …]
/wasmtime-44.0.1/crates/c-api/src/component/types/
H A Dval.rs38 fn from(item: Type) -> Self { in from()
40 Type::Bool => Self::Bool, in from()
41 Type::S8 => Self::S8, in from()
42 Type::S16 => Self::S16, in from()
43 Type::S32 => Self::S32, in from()
44 Type::S64 => Self::S64, in from()
45 Type::U8 => Self::U8, in from()
46 Type::U16 => Self::U16, in from()
47 Type::U32 => Self::U32, in from()
48 Type::U64 => Self::U64, in from()
[all …]
/wasmtime-44.0.1/crates/wit-bindgen/src/
H A Drust.rs38 Type::U8 => "u8".to_string(), in ty()
39 Type::U16 => "u16".to_string(), in ty()
40 Type::U32 => "u32".to_string(), in ty()
41 Type::U64 => "u64".to_string(), in ty()
42 Type::S8 => "i8".to_string(), in ty()
43 Type::S16 => "i16".to_string(), in ty()
44 Type::S32 => "i32".to_string(), in ty()
49 Type::String => match mode { in ty()
62 Type::ErrorContext => { in ty()
130 TypeDefKind::Type(Type::Id(t)) => { in tyid()
[all …]
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dtype_inference.rs149 fn convert_type(aty: &annotation_ir::Type) -> veri_ir::Type { in convert_type() argument
152 annotation_ir::Type::BitVector => veri_ir::Type::BitVector(None), in convert_type()
154 annotation_ir::Type::Int => veri_ir::Type::Int, in convert_type()
155 annotation_ir::Type::Bool => veri_ir::Type::Bool, in convert_type()
156 annotation_ir::Type::Unit => veri_ir::Type::Unit, in convert_type()
157 annotation_ir::Type::Poly(_) => veri_ir::Type::BitVector(None), in convert_type()
1978 fn annotation_type_for_vir_type(ty: &Type) -> annotation_ir::Type { in annotation_type_for_vir_type() argument
1981 Type::BitVector(None) => annotation_ir::Type::BitVector, in annotation_type_for_vir_type()
1982 Type::Bool => annotation_ir::Type::Bool, in annotation_type_for_vir_type()
1983 Type::Int => annotation_ir::Type::Int, in annotation_type_for_vir_type()
[all …]
/wasmtime-44.0.1/crates/fuzzing/src/oracles/
H A Dcomponent_api.rs35 use component::Type; in arbitrary_val()
51 Type::List(list) => { in arbitrary_val()
67 Type::Tuple(tuple) => Val::Tuple( in arbitrary_val()
73 Type::Variant(variant) => { in arbitrary_val()
82 Type::Enum(en) => { in arbitrary_val()
87 Type::Option(option) => { in arbitrary_val()
95 Type::Result(result) => { in arbitrary_val()
109 Type::Flags(flags) => Val::Flags( in arbitrary_val()
121 Type::Map(map) => { in arbitrary_val()
133 Type::Own(_) | Type::Borrow(_) | Type::Future(_) | Type::Stream(_) | Type::ErrorContext => { in arbitrary_val()
[all …]
/wasmtime-44.0.1/crates/wiggle/generate/src/types/
H A Dmod.rs23 witx::Type::Variant(v) => match error { in define_datatype()
33 witx::Type::Pointer(p) => { in define_datatype()
36 witx::Type::ConstPointer(p) => { in define_datatype()
105 impl WiggleType for witx::Type { implementation
108 witx::Type::Record(x) => x.impls_display(), in impls_display()
109 witx::Type::Variant(x) => x.impls_display(), in impls_display()
110 witx::Type::Handle(x) => x.impls_display(), in impls_display()
111 witx::Type::Builtin(x) => x.impls_display(), in impls_display()
112 witx::Type::Pointer { .. } in impls_display()
113 | witx::Type::ConstPointer { .. } in impls_display()
[all …]
/wasmtime-44.0.1/crates/wiggle/generate/src/
H A Dlifetimes.rs14 impl LifetimeExt for witx::Type { implementation
17 witx::Type::Builtin(b) => b.needs_lifetime(), in needs_lifetime()
18 witx::Type::Record(s) => s.needs_lifetime(), in needs_lifetime()
19 witx::Type::Variant(u) => u.needs_lifetime(), in needs_lifetime()
20 witx::Type::Handle { .. } => false, in needs_lifetime()
21 witx::Type::Pointer { .. } in needs_lifetime()
22 | witx::Type::ConstPointer { .. } in needs_lifetime()
23 | witx::Type::List { .. } => true, in needs_lifetime()
H A Dnames.rs5 use witx::{BuiltinType, Id, Type, TypeRef, WasmType};
45 Type::Builtin(builtin) => builtin_type(*builtin), in type_ref()
46 Type::Pointer(pointee) | Type::ConstPointer(pointee) => { in type_ref()
50 Type::List(pointee) => match &**pointee.type_() { in type_ref()
51 Type::Builtin(BuiltinType::Char) => { in type_ref()
59 Type::Variant(v) => match v.as_expected() { in type_ref()
73 Type::Record(r) if r.is_tuple() => { in type_ref()
172 Type::Builtin(b) => builtin_name(&b).to_owned(), in snake_typename()
/wasmtime-44.0.1/tests/all/component_model/
H A Ddynamic.rs29 Param(Type::F32, Some(0)), in primitives()
34 Param(Type::F64, Some(0)), in primitives()
599 Param(Type::U8, Some(0)), in variants()
601 Param(Type::I32, None), in variants()
620 Param(Type::U8, Some(0)), in variants()
690 Param(Type::U8, Some(0)), in variants()
692 Param(Type::I32, None), in variants()
722 &[Param(Type::U8, Some(0))], in flags()
1173 assert_eq!(ty, types::Type::S8); in introspection()
1199 [types::Type::U32, types::Type::U32] in introspection()
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/isa/s390x/
H A Dinst.isle1642 (decl gpr32_ty (Type) Type)
1646 (decl gpr64_ty (Type) Type)
1650 (decl vr128_ty (Type) Type)
3118 (decl ty_ext32 (Type) Type)
3125 (decl ty_ext64 (Type) Type)
3560 (decl vec_widen_type (Type) Type)
4863 (decl fcvt_flt_ty (Type Type) Type)
4869 (decl fcvt_int_ty (Type Type) Type)
4893 (decl fcvt_to_uint_ub (Type Type) Reg)
4936 (decl fcvt_to_sint_ub (Type Type) Reg)
[all …]
/wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/
H A Dannotation_ir.rs9 pub ty: Option<Type>,
77 pub enum Type { enum
105 impl fmt::Display for Type { implementation
108 Type::Poly(_) => write!(f, "poly"), in fmt()
109 Type::BitVector => write!(f, "bv"), in fmt()
112 Type::Int => write!(f, "Int"), in fmt()
113 Type::Bool => write!(f, "Bool"), in fmt()
114 Type::Unit => write!(f, "Unit"), in fmt()
119 impl Type { implementation
121 matches!(self, Type::Poly(_)) in is_poly()
[all …]
H A Dlib.rs13 pub tymap: HashMap<u32, Type>,
24 pub ty: Type,
43 pub enum Type { enum
65 impl fmt::Display for Type { implementation
68 Type::BitVector(None) => write!(f, "bv"), in fmt()
70 Type::Bool => write!(f, "Bool"), in fmt()
71 Type::Int => write!(f, "Int"), in fmt()
72 Type::Unit => write!(f, "Unit"), in fmt()
79 pub args: Vec<Type>,
80 pub ret: Type,
[all …]
/wasmtime-44.0.1/cranelift/interpreter/src/
H A Dinstruction.rs3 use cranelift_codegen::ir::{DataFlowGraph, Inst, InstructionData, Type, Value};
12 fn type_of(&self, v: Value) -> Option<Type>; in type_of() argument
13 fn controlling_type(&self) -> Option<Type>; in controlling_type() argument
35 fn type_of(&self, v: Value) -> Option<Type> { in type_of() argument
39 fn controlling_type(&self) -> Option<Type> { in controlling_type() argument
/wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/lower/
H A Disle.rs204 fn ty_vec_fits_in_register(&mut self, ty: Type) -> Option<Type> { in ty_vec_fits_in_register() argument
212 fn ty_supported(&mut self, ty: Type) -> Option<Type> { in ty_supported() argument
257 fn ty_supported_float_size(&mut self, ty: Type) -> Option<Type> { in ty_supported_float_size() argument
262 fn ty_supported_float_min(&mut self, ty: Type) -> Option<Type> { in ty_supported_float_min() argument
267 fn ty_supported_float_full(&mut self, ty: Type) -> Option<Type> { in ty_supported_float_full() argument
272 fn ty_supported_vec(&mut self, ty: Type) -> Option<Type> { in ty_supported_vec() argument
276 fn ty_reg_pair(&mut self, ty: Type) -> Option<Type> { in ty_reg_pair() argument
551 fn valid_atomic_transaction(&mut self, ty: Type) -> Option<Type> { in valid_atomic_transaction() argument
666 fn fcvt_smin_bound(&mut self, float: Type, int: Type, saturating: bool) -> u64 { in fcvt_smin_bound() argument
686 fn fcvt_smax_bound(&mut self, float: Type, int: Type, saturating: bool) -> u64 { in fcvt_smax_bound() argument
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/ir/
H A Ddynamic_type.rs16 pub base_vector_ty: Type,
23 pub fn new(base_vector_ty: Type, dynamic_scale: GlobalValue) -> Self { in new() argument
32 pub fn concrete(&self) -> Option<Type> { in concrete() argument
41 pub fn dynamic_to_fixed(ty: Type) -> Type { in dynamic_to_fixed() argument
H A Dglobalvalue.rs4 use crate::ir::{ExternalName, GlobalValue, MemFlags, Type};
32 global_type: Type,
47 global_type: Type,
82 vector_type: Type,
96 pub fn global_type(&self, isa: &dyn TargetIsa) -> Type { in global_type() argument
H A Dtypes.rs26 pub struct Type(u16); struct
29 pub const INVALID: Type = Type(0);
36 impl Type { implementation
417 Type(bits) in from_repr()
421 impl Display for Type { implementation
440 impl Debug for Type { implementation
459 impl Default for Type { implementation
609 assert_eq!(Type::int(0), None); in int_from_size()
610 assert_eq!(Type::int(8), Some(I8)); in int_from_size()
611 assert_eq!(Type::int(33), None); in int_from_size()
[all …]
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/
H A Dbroken_fits_in_16_with_imm_rotl_to_rotr.isle10 (decl sub (Type Reg Reg) Reg)
36 (decl and_imm (Type Reg ImmLogic) Reg)
59 (decl sub_imm (Type Reg Imm12) Reg)
72 (decl lsr (Type Reg Reg) Reg)
81 (decl lsl (Type Reg Reg) Reg)
90 (decl orr (Type Reg Reg) Reg)
116 (decl negate_imm_shift (Type ImmShift) ImmShift)
126 (decl lsr_imm (Type Reg ImmShift) Reg)
136 (decl lsl_imm (Type Reg ImmShift) Reg)
148 (decl rotr_opposite_amount (Type ImmShift) ImmShift)
[all …]
H A Dbroken_fits_in_16_rotl_to_rotr.isle9 (decl sub (Type Reg Reg) Reg)
34 (decl and_imm (Type Reg ImmLogic) Reg)
48 ;; fn rotr_mask(&mut self, ty: Type) -> ImmLogic {
53 (decl rotr_mask (Type) ImmLogic)
67 (decl sub_imm (Type Reg Imm12) Reg)
80 (decl lsr (Type Reg Reg) Reg)
89 (decl lsl (Type Reg Reg) Reg)
98 (decl orr (Type Reg Reg) Reg)
124 (decl small_rotr (Type Reg Reg) Reg)
/wasmtime-44.0.1/crates/wasmtime/src/runtime/wave/
H A Dcomponent.rs19 impl WasmType for component::Type { implementation
117 type Type = component::Type; typedef
176 ty: &Self::Type, in make_list() argument
185 ty: &Self::Type, in make_record() argument
198 ty: &Self::Type, in make_tuple() argument
207 ty: &Self::Type, in make_variant() argument
229 ty: &Self::Type, in make_result() argument
241 ty: &Self::Type, in make_flags() argument
405 type Type = component::Type; typedef
462 use crate::component::{Type, Val}; in test_round_trip_floats()
[all …]
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/ctz/
H A Dbroken_ctz16.isle34 (decl operand_size (Type) OperandSize)
38 (decl bit_rr (BitOp Type Reg) Reg)
41 (decl alu_rr_imm_logic (ALUOp Type Reg ImmLogic) Reg)
54 (decl a64_clz (Type Reg) Reg)
67 (decl orr_imm (Type Reg ImmLogic) Reg)
77 (decl rbit (Type Reg) Reg)
83 (decl u64_into_imm_logic (Type u64) ImmLogic)
H A Dbroken_ctz8.isle34 (decl operand_size (Type) OperandSize)
38 (decl bit_rr (BitOp Type Reg) Reg)
41 (decl alu_rr_imm_logic (ALUOp Type Reg ImmLogic) Reg)
54 (decl a64_clz (Type Reg) Reg)
67 (decl orr_imm (Type Reg ImmLogic) Reg)
77 (decl rbit (Type Reg) Reg)
83 (decl u64_into_imm_logic (Type u64) ImmLogic)

12345678910