Searched refs:possibleOppositeZeros (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/tools/riscv-pk/softfloat/
H A Df128M_eq.c59 bool possibleOppositeZeros; local
69 possibleOppositeZeros = false;
71 possibleOppositeZeros = (((uiA96 | uiB96) & 0x7FFFFFFF) == 0);
72 if ( ! possibleOppositeZeros ) goto false_checkSigNaNs;
82 if ( possibleOppositeZeros && ((mashWord | wordA | wordB) != 0) ) {
H A Df128M_eq_signaling.c59 bool possibleOppositeZeros; local
73 possibleOppositeZeros = false;
75 possibleOppositeZeros = (((uiA96 | uiB96) & 0x7FFFFFFF) == 0);
76 if ( ! possibleOppositeZeros ) return false;
87 && (! possibleOppositeZeros || ((mashWord | wordA | wordB) == 0));

Completed in 69 milliseconds