| /wasmtime-44.0.1/cranelift/isle/isle/src/ |
| H A D | ast.rs | 92 ConstInt { enumerator
326 ConstInt { val: i128, pos: Pos }, enumerator
370 | Pattern::ConstInt { .. } in terms()
433 | &Pattern::ConstInt { .. } in make_macro_template()
477 | &Pattern::ConstInt { .. } in subst_macro_args()
486 | &Pattern::ConstInt { pos, .. } in pos()
516 ConstInt { val: i128, pos: Pos }, enumerator
533 | &Expr::ConstInt { pos, .. } in pos()
556 | Expr::ConstInt { .. } in terms()
|
| H A D | trie_again.rs | 59 ConstInt { enumerator
167 ConstInt { enumerator
265 Binding::ConstInt { .. } => &[][..], in sources()
286 | Constraint::ConstInt { .. } in bindings_for()
551 let bindings = self.set_constraint(input, Constraint::ConstInt { val, ty }); in add_match_int()
624 self.dedup_binding(Binding::ConstInt { val, ty }) in add_const_int()
|
| H A D | sema.rs | 713 ConstInt(TypeId, i128), enumerator
740 ConstInt(TypeId, i128), enumerator
801 Self::ConstInt(t, ..) => t, in ty()
833 Pattern::ConstInt(ty, value) => visitor.add_match_int(input, ty, value), in visit()
930 Self::ConstInt(t, ..) => t, in ty()
946 Expr::ConstInt(ty, val) => visitor.add_const_int(ty, val), in visit()
2093 &ast::Pattern::ConstInt { val, pos } => { in translate_pattern()
2105 Some(Pattern::ConstInt(expected_ty, val)) in translate_pattern()
2517 &ast::Expr::ConstInt { val, pos } => { in translate_expr()
2538 Some(Expr::ConstInt(ty, val)) in translate_expr()
|
| H A D | parser.rs | 420 return Ok(SpecExpr::ConstInt { in parse_spec_expr()
595 SpecExpr::ConstInt { in parse_model()
832 Ok(Pattern::ConstInt { in parse_pattern()
933 Ok(Expr::ConstInt { val, pos }) in parse_expr()
|
| H A D | printer.rs | 475 SpecExpr::ConstInt { val, pos: _ } => SExpr::atom(val), in to_sexpr()
566 Pattern::ConstInt { val, pos: _ } => SExpr::atom(val), in to_sexpr()
609 Expr::ConstInt { val, pos: _ } => SExpr::atom(val), in to_sexpr()
|
| H A D | codegen.rs | 684 | Constraint::ConstInt { .. } in emit_block_contents()
893 &Binding::ConstInt { val, ty } => self.emit_int(ctx, val, ty), in emit_expr()
998 Constraint::ConstInt { val, ty } => self.emit_int(ctx, val, ty), in emit_constraint()
|
| H A D | serialize.rs | 516 Binding::ConstInt { .. } => false, in use_expr()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | termname.rs | 15 | Pattern::ConstInt(..) in pattern_contains_termname()
|
| H A D | annotations.rs | 64 SpecExpr::ConstInt { val, pos: _ } => Some(*val as usize), in spec_to_usize()
287 SpecExpr::ConstInt { val, pos: _ } => Expr::Const(Const { in spec_to_expr()
|
| H A D | solver.rs | 1364 isle::sema::Pattern::ConstInt(_, num) => { in display_isle_pattern()
1441 isle::sema::Expr::ConstInt(_, num) => { in display_isle_expr()
|
| H A D | type_inference.rs | 2182 isle::sema::Pattern::ConstInt(_, num) => { in create_parse_tree_pattern()
2313 isle::sema::Expr::ConstInt(_, num) => { in create_parse_tree_expr()
|