Searched refs:VSh (Results 1 – 1 of 1) sorted by relevance
165 enum { Orig=1, VSh=2, BSh=3 } enumerator275 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh ); in findShadowTmpV()305 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh ); in newShadowTmpV()349 return ent->kind == VSh || ent->kind == BSh; in isShadowAtom()464 case 'V': k = VSh; break; in assignNew()4714 IRTemp datavbits = newTemp(mce, ty, VSh); in expr2vbits_Load_WRK()