Skip to content

[InstSimplify] Simplify 'x u>= 1' to true when x is known non-zero#145204

Merged
el-ev merged 3 commits intomainfrom
users/el-ev/fold-loop-umax
Jun 22, 2025
Merged

[InstSimplify] Simplify 'x u>= 1' to true when x is known non-zero#145204
el-ev merged 3 commits intomainfrom
users/el-ev/fold-loop-umax

Commits

Commits on Jun 22, 2025