Searched refs:spec_to_expr (Results 1 – 1 of 1) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | annotations.rs | 81 u(Box::new(spec_to_expr(&args[0], env))) in spec_op_to_expr()
95 Box::new(spec_to_expr(&args[0], env)), in spec_op_to_expr()
96 Box::new(spec_to_expr(&args[1], env)), in spec_op_to_expr()
169 Box::new(spec_to_expr(&args[1], env)), in spec_op_to_expr()
176 Box::new(spec_to_expr(&args[1], env)), in spec_op_to_expr()
194 Box::new(spec_to_expr(&args[2], env)), in spec_op_to_expr()
205 Box::new(spec_to_expr(&args[1], env)), in spec_op_to_expr()
215 Box::new(spec_to_expr(&args[0], env)), in spec_op_to_expr()
216 Box::new(spec_to_expr(&args[1], env)), in spec_op_to_expr()
217 Box::new(spec_to_expr(&args[2], env)), in spec_op_to_expr()
[all …]
|