add result type assertion (#6184)

2023-04-09 20:55:15 +01:00
parent e84305b445
commit e3dbad9cc2
1 changed files with 1 additions and 0 deletions
--- 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]