Virtual Operations and Renaming Units

    

In order to avoid the dependence of a domain on a subdomain, we split the call to an operation in the subdomain into two steps:

1. Call the (uniquely determined) virtual operation in the corresponding virtual domain.
2. Map the virtual operation to the appropriate operation in the subdomain.

The second step is carried out by renaming instructions. All renaming instructions from a virtual domain to an actually implemented domain are collected in the renaming unit.