| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | annotation_ir.rs | 154 And(Box<Expr>, Box<Expr>),
155 Or(Box<Expr>, Box<Expr>),
157 Eq(Box<Expr>, Box<Expr>),
159 Lt(Box<Expr>, Box<Expr>),
201 BVSubs(Box<Expr>, Box<Expr>, Box<Expr>),
229 Conditional(Box<Expr>, Box<Expr>, Box<Expr>),
232 Switch(Box<Expr>, Vec<(Expr, Expr)>),
234 LoadEffect(Box<Expr>, Box<Expr>, Box<Expr>),
236 StoreEffect(Box<Expr>, Box<Expr>, Box<Expr>, Box<Expr>),
244 pub fn unary<F: Fn(Box<Expr>) -> Expr>(f: F, x: Expr) -> Expr { in unary() argument
[all …]
|
| H A D | lib.rs | 168 pub enum Expr { enum
174 Binary(BinaryOp, Box<Expr>, Box<Expr>),
177 CLZ(Box<Expr>),
183 BVSubs(Box<Expr>, Box<Expr>, Box<Expr>),
186 Conditional(Box<Expr>, Box<Expr>, Box<Expr>),
189 Switch(Box<Expr>, Vec<(Expr, Expr)>),
206 BVZeroExtToVarWidth(Box<Expr>, Box<Expr>),
210 BVSignExtToVarWidth(Box<Expr>, Box<Expr>),
213 BVConvTo(Box<Expr>, Box<Expr>),
217 LoadEffect(Box<Expr>, Box<Expr>, Box<Expr>),
[all …]
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 70 fn unop<F: Fn(Box<Expr>) -> Expr>( in spec_op_to_expr() argument
75 ) -> Expr { in spec_op_to_expr()
83 fn binop<F: Fn(Box<Expr>, Box<Expr>) -> Expr>( in spec_op_to_expr() argument
88 ) -> Expr { in spec_op_to_expr()
100 fn variadic_binop<F: Fn(Box<Expr>, Box<Expr>) -> Expr>( in spec_op_to_expr() argument
105 ) -> Expr { in spec_op_to_expr()
191 Expr::BVExtract( in spec_op_to_expr()
203 Expr::BVIntToBv( in spec_op_to_expr()
214 Expr::BVSubs( in spec_op_to_expr()
239 let arms: Vec<(Expr, Expr)> = args[1..] in spec_op_to_expr()
[all …]
|
| H A D | type_inference.rs | 35 lhs_assumptions: Vec<Expr>,
36 rhs_assumptions: Vec<Expr>,
38 rhs_assertions: Vec<Expr>,
60 assertions: Vec<veri_ir::Expr>,
87 pub lhs: veri_ir::Expr,
88 pub rhs: veri_ir::Expr,
96 pub rhs_assertions: Vec<Expr>,
357 expr: annotation_ir::Expr, in add_annotation_constraints() argument
360 ) -> (veri_ir::Expr, u32) { in add_annotation_constraints() argument
1404 ) -> Option<veri_ir::Expr> { in add_rule_constraints() argument
[all …]
|
| H A D | interp.rs | 3 use veri_ir::{BoundVar, Expr};
15 assume: Expr,
20 pub fn new(assume: Expr) -> Self { in new()
26 pub fn assume(&self) -> &Expr { in assume() argument
|
| H A D | solver.rs | 541 pub fn assume_same_width(&mut self, x: &Expr, y: &Expr) { in assume_same_width() argument
552 pub fn assume_comparable_types(&mut self, x: &Expr, y: &Expr) { in assume_comparable_types() argument
614 Expr::Unary(op, arg) => { in vir_expr_to_sexp()
848 Expr::BVToInt(x) => { in vir_expr_to_sexp()
944 Expr::WidthOf(x) => { in vir_expr_to_sexp()
1024 Expr::CLZ(e) => { in vir_expr_to_sexp()
1040 Expr::CLS(e) => { in vir_expr_to_sexp()
1056 Expr::Rev(e) => { in vir_expr_to_sexp()
1090 Expr::BVPopcnt(x) => { in vir_expr_to_sexp()
1134 Expr::BVConcat(xs) => { in vir_expr_to_sexp()
[all …]
|
| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 281 pub expr: Expr,
290 pub expr: Expr,
504 pub enum Expr { enum
508 args: Vec<Expr>,
522 body: Box<Expr>,
527 impl Expr { implementation
530 &Expr::Term { pos, .. } in pos()
531 | &Expr::Var { pos, .. } in pos()
554 Expr::Var { .. } in terms()
556 | Expr::ConstInt { .. } in terms()
[all …]
|
| H A D | sema.rs | 659 pub rhs: Expr,
693 pub rhs: Expr,
732 pub enum Expr { enum
751 body: Box<Expr>,
923 impl Expr { impl
948 Expr::Let { in visit()
1001 ) -> V::Expr { in visit_in_rule() argument
1031 type Expr; typedef
1056 expr: Self::Expr, in expr_as_pattern() argument
2315 expr: &ast::Expr, in maybe_implicit_convert_expr() argument
[all …]
|
| H A D | parser.rs | 36 Expr(Expr), enumerator
815 IfLetOrExpr::Expr(expr) => { in parse_rule()
893 self.parse_expr().map(IfLetOrExpr::Expr) in parse_iflet_or_expr()
914 fn parse_expr(&mut self) -> Result<Expr> { in parse_expr() argument
923 Ok(Expr::ConstPrim { val, pos }) in parse_expr()
925 Ok(Expr::ConstBool { val: true, pos }) in parse_expr()
927 Ok(Expr::ConstBool { val: false, pos }) in parse_expr()
930 Ok(Expr::Var { name, pos }) in parse_expr()
933 Ok(Expr::ConstInt { val, pos }) in parse_expr()
949 Ok(Expr::Let { defs, body, pos }) in parse_expr_inner_parens()
[all …]
|
| H A D | printer.rs | 600 impl ToSExpr for Expr { implementation
603 Expr::Term { sym, args, pos: _ } => { in to_sexpr()
608 Expr::Var { name, pos: _ } => name.to_sexpr(), in to_sexpr()
609 Expr::ConstInt { val, pos: _ } => SExpr::atom(val), in to_sexpr()
610 Expr::ConstBool { val, pos: _ } => SExpr::atom(if *val { "true" } else { "false" }), in to_sexpr()
611 Expr::ConstPrim { val, pos: _ } => SExpr::atom(format!("${}", val.0)), in to_sexpr()
612 Expr::Let { defs, body, pos: _ } => { in to_sexpr()
|
| H A D | trie_again.rs | 690 type Expr = BindingId; typedef
|
| /wasmtime-44.0.1/crates/environ/src/compile/ |
| H A D | module_environ.rs | 415 wasmparser::TableInit::Expr(expr) => { in translate_payload()
420 TableInitialValue::Expr(init) in translate_payload()
1237 if let TableInitialValue::Expr(expr) = init { in try_func_table_init()
1325 TableInitialValue::Expr(_) => break, in try_func_table_init()
|
| /wasmtime-44.0.1/crates/environ/src/ |
| H A D | module.rs | 255 Expr(ConstExpr), enumerator
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/vm/instance/ |
| H A D | allocator.rs | 541 TableInitialValue::Expr(expr) => { in initialize_tables()
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/vm/ |
| H A D | instance.rs | 1286 TableInitialValue::Expr(_) => unreachable!(), in get_defined_table_with_lazy_init()
|