硬件中用于选择功能单元的调度队列算法

我的问题是，一个周期内发出的指令是否多于功能单元能够执行的指令，硬件使用哪种算法来决定首先执行哪个指令？

例如，以zen 2体系结构here为例，假设一个周期中有4条指令从分派发送到浮点单元。还要假设这4条指令中没有数据依赖项。现在，如果这些指令只能由浮点单元的4个功能单元中的2个执行，那么硬件如何确定在调度队列中首先执行哪些指令？