use `casted_rhs` instead of `rhs` so `icmp` works correctly for `airShlSat`

42ddf592ddStefan Su committed on 12/22/2023, 2:51:41 PM· committed by GitHubparentfd98fc1
2 files changedLine totals unavailable