Searched refs:SpecExpr (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};
62 fn spec_to_usize(s: &SpecExpr) -> Option<usize> { in spec_to_usize()
64 SpecExpr::ConstInt { val, pos: _ } => Some(*val as usize), in spec_to_usize()
72 args: &[SpecExpr], in spec_op_to_expr() argument
85 args: &[SpecExpr], in spec_op_to_expr() argument
102 args: &[SpecExpr], in spec_op_to_expr() argument
242 SpecExpr::Pair { l, r } => { in spec_op_to_expr()
280 fn spec_to_expr(s: &SpecExpr, env: &ParsingEnv) -> Expr { in spec_to_expr() argument
282 SpecExpr::ConstUnit { pos: _ } => Expr::Const(Const { in spec_to_expr()
304 SpecExpr::Pair { l, r } => { in spec_to_expr()
[all …]
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | parser.rs | 414 fn parse_spec_expr(&mut self) -> Result<SpecExpr> { in parse_spec_expr() argument
420 return Ok(SpecExpr::ConstInt { in parse_spec_expr()
426 return Ok(SpecExpr::ConstBool { val, pos }); in parse_spec_expr()
429 return Ok(SpecExpr::Var { var, pos }); in parse_spec_expr()
440 args.push(SpecExpr::Pair { l, r }); in parse_spec_expr()
443 return Ok(SpecExpr::Op { in parse_spec_expr()
452 let mut args: Vec<SpecExpr> = vec![]; in parse_spec_expr()
457 return Ok(SpecExpr::Op { op, args, pos }); in parse_spec_expr()
462 return Ok(SpecExpr::Enum { name: ident }); in parse_spec_expr()
468 return Ok(SpecExpr::ConstUnit { pos }); in parse_spec_expr()
[all …]
|
| H A D | ast.rs | 90 pub enum SpecExpr { enum
119 args: Vec<SpecExpr>,
124 l: Box<SpecExpr>,
125 r: Box<SpecExpr>,
218 pub provides: Vec<SpecExpr>,
220 pub requires: Vec<SpecExpr>,
242 EnumValues(Vec<(Ident, SpecExpr)>),
|
| H A D | printer.rs | 472 impl ToSExpr for SpecExpr { implementation
475 SpecExpr::ConstInt { val, pos: _ } => SExpr::atom(val), in to_sexpr()
476 SpecExpr::ConstBitVec { val, width, pos: _ } => SExpr::atom(if *width % 4 == 0 { in to_sexpr()
481 SpecExpr::ConstBool { val, pos: _ } => SExpr::atom(if *val { "true" } else { "false" }), in to_sexpr()
482 SpecExpr::ConstUnit { pos: _ } => SExpr::List(Vec::new()), in to_sexpr()
483 SpecExpr::Var { var, pos: _ } => var.to_sexpr(), in to_sexpr()
484 SpecExpr::Op { op, args, pos: _ } => { in to_sexpr()
489 SpecExpr::Pair { l, r } => SExpr::List(vec![l.to_sexpr(), r.to_sexpr()]), in to_sexpr()
490 SpecExpr::Enum { name } => SExpr::List(vec![name.to_sexpr()]), in to_sexpr()
|