properly handle identical lower 32 bits in switch legalization
fixme comment