Return specifications

On return from IDIXSFOR, the contents of registers are:
Register
Contents
0-1
Undefined.
2-14
Unchanged.
15
Undefined.