[msan] Implement exact shadow propagation for relational ICmp.