Using physical address proxies to handle synonyms when writing store data to a virtually-indexed cache

A method, comprising:

• in a microprocessor comprising:
• a virtually-indexed first-level data cache that has an allocation policy that permits multiple synonyms to be co-resident in the first-level data cache wherein each synonym holds a copy of a line of memory;
• and
• a physical address proxy (PAP) directory that is organized to detect any synonyms of the first-level data cache;
• during processing of a store instruction that specifies store data and a store virtual address:
• receiving a store PAP for a store physical memory line address from an entry of the first-level data cache hit upon by the store virtual address, wherein the store physical memory line address is a translation of the store virtual address;
• searching the PAP directory using the store PAP to detect any synonyms in the first-level data cache;
• writing the store data to at least one of any detected synonyms in the first-level data cache;
• and
• evicting any detected synonyms from the first-level data cache to which the store data is not written.