Searched refs:ModelType (Results 1 – 4 of 4) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 5 use cranelift_isle::ast::{Def, Ident, Model, ModelType, SpecExpr, SpecOp};
317 fn model_type_to_type(model_type: &ModelType) -> veri_ir::Type { in model_type_to_type()
319 ModelType::Int => veri_ir::Type::Int, in model_type_to_type()
320 ModelType::Unit => veri_ir::Type::Unit, in model_type_to_type()
321 ModelType::Bool => veri_ir::Type::Bool, in model_type_to_type()
322 ModelType::BitVec(size) => veri_ir::Type::BitVector(*size), in model_type_to_type()
350 ModelType::Int => annotation_ir::Type::Int, in parse_annotations()
351 ModelType::Unit => annotation_ir::Type::Unit, in parse_annotations()
352 ModelType::Bool => annotation_ir::Type::Bool, in parse_annotations()
353 ModelType::BitVec(None) => annotation_ir::Type::BitVector, in parse_annotations()
[all …]
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 225 pub enum ModelType { enum
240 TypeValue(ModelType),
256 pub args: Vec<ModelType>,
257 pub ret: ModelType,
258 pub canonical: ModelType,
|
| H A D | printer.rs | 442 impl ToSExpr for ModelType { implementation
445 ModelType::Unit => SExpr::atom("Unit"), in to_sexpr()
446 ModelType::Int => SExpr::atom("Int"), in to_sexpr()
447 ModelType::Bool => SExpr::atom("Bool"), in to_sexpr()
448 ModelType::BitVec(Some(size)) => { in to_sexpr()
451 ModelType::BitVec(None) => SExpr::List(vec![SExpr::atom("bv")]), in to_sexpr()
|
| H A D | parser.rs | 623 fn parse_model_type(&mut self) -> Result<ModelType> { in parse_model_type() argument
626 Ok(ModelType::Bool) in parse_model_type()
628 Ok(ModelType::Int) in parse_model_type()
630 Ok(ModelType::Unit) in parse_model_type()
647 Ok(ModelType::BitVec(width)) in parse_model_type()
690 fn parse_tagged_types(&mut self, tag: &str) -> Result<Vec<ModelType>> { in parse_tagged_types() argument
704 fn parse_tagged_type(&mut self, tag: &str) -> Result<ModelType> { in parse_tagged_type() argument
|