Ist in x86-64 SysV ABI Müll in hohen Bits von Parameter- und Rückgabewertregistern zulässig?

Das x86-64 SysV ABI legt unter anderem fest, wie Funktionsparameter in Registern übergeben werden (erstes Argument inrdi, dannrsi und so weiter) und wie ganzzahlige Rückgabewerte zurückgegeben werden (inrax und dannrdx für wirklich große ...