检测推测性浮点运算IEEE下溢异常的机制

摘要

公开了一种机制，用来检测以推测方式执行的浮点运算的下溢情况。浮点状态寄存器包括一个状态标志，当浮点指令产生的结果“细小”的时候将它置位。清除这个状态标志，屏蔽所有异常，以推测方式执行指令。读出“细小”异常标志，以确定以推测方式执行的指令是否会导致未屏蔽下溢异常。如果处理器到达跟这个指令有关的一个注册点就会发生这一异常。如果没到达这一点就可以忽略这一异常。

主权项

一种用于检测下溢的方法，包括：清除第一状态标志，该第一状态标志用于指示结果是否小到无法用指定的格式来加以表示；屏蔽下溢异常状态标志；执行浮点指令；以及读取该第一状态标志，以确定该浮点指令是否会导致未屏蔽下溢异常。