VequalsIR