From 7cc91421e4d80e1260f2dff959fa11307f2398aa Mon Sep 17 00:00:00 2001 From: Afonso Bordado Date: Wed, 5 Jul 2023 21:09:19 +0100 Subject: [PATCH] cranelift: Use `fits_in_64` in ireduce rule --- cranelift/codegen/src/opts/cprop.isle | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/cranelift/codegen/src/opts/cprop.isle b/cranelift/codegen/src/opts/cprop.isle index ee7b37346b26..338c694b0449 100644 --- a/cranelift/codegen/src/opts/cprop.isle +++ b/cranelift/codegen/src/opts/cprop.isle @@ -70,8 +70,7 @@ (iconst _ k2))) (subsume (iconst ty (imm64_sshr ty k1 k2)))) -;; No need to check fits_in_64 since iconst is only implemented for <= 64 bits. -(rule (simplify (ireduce narrow (iconst _ (u64_from_imm64 imm)))) +(rule (simplify (ireduce narrow (iconst (fits_in_64 _) (u64_from_imm64 imm)))) (subsume (iconst narrow (imm64_masked narrow imm)))) (rule (simplify (uextend (fits_in_64 wide) (iconst narrow imm)))