Other passes are unable to reverse this transform if we use dominating conditions. Fixes #88239.
trunc
i1