| [bits 32] | |
| svdc tword [2*eax+esi+12345678h],cs | |
| svdc tword [2*eax+esi+12345678h],ds | |
| svdc [2*eax+esi+12345678h],es | |
| rsdc cs,tword [2*eax+esi+12345678h] | |
| rsdc ds,tword [2*eax+esi+12345678h] | |
| rsdc es,[2*eax+esi+12345678h] | |
| wrshr eax | |
| wrshr dword [4*edx+esi+12345678h] | |
| wrshr [4*edx+esi+12345678h] | |
| rdshr eax | |
| rdshr dword [4*edx+esi+12345678h] | |
| rdshr [4*edx+esi+12345678h] | |