В общем, то, что вы разумно ожидаете, вперед, вперед.vmul.f32 перенаправляет в vadd.f32 и т. п.
Я не верю, что точные пути пересылки точно задокументированы в любом месте так, как вы ищете.Во всяком случае, я их не нашел.Если вы их найдете, обязательно сообщите нам, где.Конечно, для любой данной пары инструкций не слишком сложно определить, происходит ли переадресация, но это не общее решение.К сожалению.