float_round_up
z = absZ + ( ( roundingMode == float_round_up ) & aSigExtra );
^ ( roundingMode == float_round_up ) ) {
case float_round_up:
^ ( roundingMode == float_round_up ) ) {
if ( roundingMode == float_round_up ) roundIncrement = 0;
increment = ( roundingMode == float_round_up ) && zSig2;
|| ( zSign && ( roundingMode == float_round_up ) )
increment = ( roundingMode == float_round_up ) && zSig2;
z += ( roundingMode == float_round_up ) & aSigExtra;
case float_round_up:
if ( extractFloat32Sign( z ) ^ ( roundingMode == float_round_up ) ) {
roundingCode = float_round_up;
increment = ( roundingMode == float_round_up ) && zSig2;
|| ( zSign && ( roundingMode == float_round_up ) )
increment = ( roundingMode == float_round_up ) && zSig2;
if ( roundingMode == float_round_up ) roundIncrement = 0;
case float_round_up:
if ( extractFloat32Sign( z ) ^ ( roundingMode == float_round_up ) ) {
increment = ( roundingMode == float_round_up ) && absZ1;
increment = ( roundingMode == float_round_up ) && absZ1;
case float_round_up:
if ( extractFloat64Sign( z ) ^ ( roundingMode == float_round_up ) ) {
case float_round_up:
if ( extractFloatx80Sign( z ) ^ ( roundingMode == float_round_up ) ) {
if ( roundingMode == float_round_up ) roundIncrement = 0;
^ ( roundingMode == float_round_up ) ) {
case float_round_up:
^ ( roundingMode == float_round_up ) ) {
if ( roundingMode == float_round_up ) roundIncrement = 0;
if ( roundingMode == float_round_up ) roundIncrement = 0;
increment = ( roundingMode == float_round_up ) && zSig1;
|| ( zSign && ( roundingMode == float_round_up ) )
increment = ( roundingMode == float_round_up ) && zSig1;