egraphs/cprop: Don't extend constants to i128 (#5717)

Fixes #5711.
This commit is contained in:
Jamey Sharp
2023-02-06 09:34:21 -08:00
committed by GitHub
parent 482f541101
commit 23e1d6b5e3

View File

@@ -70,10 +70,10 @@
(iconst _ k2)))
(subsume (iconst ty (imm64_sshr ty k1 k2))))
(rule (simplify (uextend wide (iconst narrow imm)))
(rule (simplify (uextend (fits_in_64 wide) (iconst narrow imm)))
(subsume (iconst wide (imm64 (u64_uextend_imm64 narrow imm)))))
(rule (simplify (sextend wide (iconst narrow imm)))
(rule (simplify (sextend (fits_in_64 wide) (iconst narrow imm)))
(subsume (iconst wide (imm64_masked wide (i64_as_u64 (i64_sextend_imm64 narrow imm))))))
(rule (simplify