From e3dbad9cc20ca3464b9a5d8848c01a9005d4b4bf Mon Sep 17 00:00:00 2001 From: kevaundray Date: Sun, 9 Apr 2023 20:55:15 +0100 Subject: [PATCH] add result type assertion (#6184) --- cranelift/codegen/src/ir/instructions.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/cranelift/codegen/src/ir/instructions.rs b/cranelift/codegen/src/ir/instructions.rs index 085f203639..e90488d229 100644 --- a/cranelift/codegen/src/ir/instructions.rs +++ b/cranelift/codegen/src/ir/instructions.rs @@ -933,6 +933,7 @@ mod tests { assert!(cmp.requires_typevar_operand()); assert_eq!(cmp.num_fixed_results(), 1); assert_eq!(cmp.num_fixed_value_arguments(), 2); + assert_eq!(cmp.result_type(0, types::I64), types::I8); } #[test]