LICM may hoist an instruction with undefined behavior above a trap.