(1 << 31 - 1) != ((1 << 31) - 1)

The IR is simpler if we just use an int constant though.