michael@0: // Copyright 2009 the Sputnik authors.  All rights reserved.
michael@0: // This code is governed by the BSD license found in the LICENSE file.
michael@0: 
michael@0: /**
michael@0:  * The result of a ECMAScript floating-point remainder operation is determined by the rules of IEEE arithmetics
michael@0:  *
michael@0:  * @path ch11/11.5/11.5.3/S11.5.3_A4_T5.js
michael@0:  * @description If dividend is finite and the divisor is an infinity, the result equals the dividend
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: if (1 % Number.NEGATIVE_INFINITY !== 1) {
michael@0:   $ERROR('#1: 1 % -Infinity === 1. Actual: ' + (1 % -Infinity));
michael@0: }
michael@0: //CHECK#2
michael@0: if (1 % Number.POSITIVE_INFINITY !==1) {
michael@0:   $ERROR('#2: 1 % Infinity === 1. Actual: ' + (1 % Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#3
michael@0: if (-1 % Number.POSITIVE_INFINITY !== -1) {
michael@0:   $ERROR('#3: -1 % Infinity === -1. Actual: ' + (-1 % Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#4
michael@0: if (-1 % Number.NEGATIVE_INFINITY !== -1) {
michael@0:   $ERROR('#4: -1 % -Infinity === -1. Actual: ' + (-1 % -Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#5
michael@0: if (0 % Number.POSITIVE_INFINITY !== 0) {
michael@0:   $ERROR('#5.1: 0 % Infinity === 0. Actual: ' + (0 % Infinity));
michael@0: } else {
michael@0:   if (1 / (0 % Number.POSITIVE_INFINITY) !== Number.POSITIVE_INFINITY) {
michael@0:     $ERROR('#5.2: 0 % Infinity === + 0. Actual: -0');
michael@0:   }
michael@0: }
michael@0: 
michael@0: //CHECK#6
michael@0: if (0 % Number.NEGATIVE_INFINITY !== 0) {
michael@0:   $ERROR('#6.1: 0 % -Infinity === 0. Actual: ' + (0 % -Infinity));
michael@0: } else {
michael@0:   if (1 / (0 %  Number.NEGATIVE_INFINITY) !== Number.POSITIVE_INFINITY) {
michael@0:     $ERROR('#6.2: 0 % -Infinity === + 0. Actual: -0');
michael@0:   }
michael@0: }
michael@0: 
michael@0: //CHECK#7
michael@0: if (-0 % Number.POSITIVE_INFINITY !== -0) {
michael@0:   $ERROR('#7.1: -0 % Infinity === 0. Actual: ' + (-0 % Infinity));
michael@0: } else {
michael@0:   if (1 / (-0 % Number.POSITIVE_INFINITY) !== Number.NEGATIVE_INFINITY) {
michael@0:     $ERROR('#7.2: -0 % Infinity === - 0. Actual: +0');
michael@0:   }
michael@0: }
michael@0: 
michael@0: //CHECK#8
michael@0: if (-0 %  Number.NEGATIVE_INFINITY !== -0) {
michael@0:   $ERROR('#8.1: -0 % -Infinity === 0. Actual: ' + (-0 % -Infinity));
michael@0: } else {
michael@0:   if (1 / (-0 %  Number.NEGATIVE_INFINITY) !== Number.NEGATIVE_INFINITY) {
michael@0:     $ERROR('#8.2: -0 % -Infinity === - 0. Actual: +0');
michael@0:   }
michael@0: }
michael@0: 
michael@0: //CHECK#9
michael@0: if (Number.MAX_VALUE % Number.NEGATIVE_INFINITY !== Number.MAX_VALUE) {
michael@0:   $ERROR('#9: Number.MAX_VALUE % -Infinity === Number.MAX_VALUE. Actual: ' + (Number.MAX_VALUE % -Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#10
michael@0: if (Number.MAX_VALUE % Number.POSITIVE_INFINITY !== Number.MAX_VALUE) {
michael@0:   $ERROR('#10: Number.MAX_VALUE % Infinity === Number.MAX_VALUE. Actual: ' + (Number.MAX_VALUE % Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#11
michael@0: if (-Number.MAX_VALUE % Number.POSITIVE_INFINITY !== -Number.MAX_VALUE) {
michael@0:   $ERROR('#11: -Number.MAX_VALUE % Infinity === -Number.MAX_VALUE. Actual: ' + (-Number.MAX_VALUE % Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#12
michael@0: if (-Number.MAX_VALUE % Number.NEGATIVE_INFINITY !== -Number.MAX_VALUE) {
michael@0:   $ERROR('#12: -Number.MAX_VALUE % -Infinity === -Number.MAX_VALUE. Actual: ' + (-Number.MAX_VALUE % -Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#13
michael@0: if (Number.MIN_VALUE % Number.NEGATIVE_INFINITY !== Number.MIN_VALUE) {
michael@0:   $ERROR('#13: Number.MIN_VALUE % -Infinity === Number.MIN_VALUE. Actual: ' + (Number.MIN_VALUE % -Infinity));
michael@0: }
michael@0: //CHECK#14
michael@0: if (Number.MIN_VALUE % Number.POSITIVE_INFINITY !== Number.MIN_VALUE) {
michael@0:   $ERROR('#14: Number.MIN_VALUE % Infinity === Number.MIN_VALUE. Actual: ' + (Number.MIN_VALUE % Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#15
michael@0: if (-Number.MIN_VALUE % Number.POSITIVE_INFINITY !== -Number.MIN_VALUE) {
michael@0:   $ERROR('#15: -Number.MIN_VALUE % Infinity === -Number.MIN_VALUE. Actual: ' + (-Number.MIN_VALUE % Infinity));
michael@0: }
michael@0: 
michael@0: //CHECK#16
michael@0: if (-Number.MIN_VALUE % Number.NEGATIVE_INFINITY !== -Number.MIN_VALUE) {
michael@0:   $ERROR('#16: -Number.MIN_VALUE % -Infinity === -Number.MIN_VALUE. Actual: ' + (-Number.MIN_VALUE % -Infinity));
michael@0: }
michael@0: