You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(or x (or x y)) -> (or x y) seems like a simple rewrite rule to capture this case.
In general, I'm not too worried about such cases. They tend not to happen much in user's code (except maybe generated code?) and the compiler doesn't introduce them as part of other phases.
dev.ssa branch.
The compiler doesn't detect that v24 is a copy of v23 in the following case.
v23 = Or64 v19 v22
v24 = Or64 v19 v23
The compiler doesn't detect that v24 is a copy of v22 in the following case.
v23 = Xor64 v12 v22
v24 = Xor64 v12 v23
Not sure if we care about them or if they can be done (in a more general case) using rewrite rules only.
The text was updated successfully, but these errors were encountered: