Skip to content

Commit 23e1d6b

Browse files
authored
egraphs/cprop: Don't extend constants to i128 (#5717)
Fixes #5711.
1 parent 482f541 commit 23e1d6b

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cranelift/codegen/src/opts/cprop.isle

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -70,10 +70,10 @@
7070
(iconst _ k2)))
7171
(subsume (iconst ty (imm64_sshr ty k1 k2))))
7272

73-
(rule (simplify (uextend wide (iconst narrow imm)))
73+
(rule (simplify (uextend (fits_in_64 wide) (iconst narrow imm)))
7474
(subsume (iconst wide (imm64 (u64_uextend_imm64 narrow imm)))))
7575

76-
(rule (simplify (sextend wide (iconst narrow imm)))
76+
(rule (simplify (sextend (fits_in_64 wide) (iconst narrow imm)))
7777
(subsume (iconst wide (imm64_masked wide (i64_as_u64 (i64_sextend_imm64 narrow imm))))))
7878

7979
(rule (simplify

0 commit comments

Comments
 (0)