1(declare (extended-bindings) (not constant-fold) (not safe)) 2 3(define zero 0.0) 4(define negzero -0.0) 5 6(define (test x y) 7 (println (##fl< x y)) 8 (println (##fl< x 0.0)) 9 (println (##fl< 0.0 y)) 10 (println (##fl< x -0.0)) 11 (println (##fl< -0.0 y)) 12 (println (##fl< x zero)) 13 (println (##fl< zero y)) 14 (println (##fl< x negzero)) 15 (println (##fl< negzero y)) 16 17 (println (##fl<= x y)) 18 (println (##fl<= x 0.0)) 19 (println (##fl<= 0.0 y)) 20 (println (##fl<= x -0.0)) 21 (println (##fl<= -0.0 y)) 22 (println (##fl<= x zero)) 23 (println (##fl<= zero y)) 24 (println (##fl<= x negzero)) 25 (println (##fl<= negzero y)) 26 27 (println (##fl> x y)) 28 (println (##fl> x 0.0)) 29 (println (##fl> 0.0 y)) 30 (println (##fl> x -0.0)) 31 (println (##fl> -0.0 y)) 32 (println (##fl> x zero)) 33 (println (##fl> zero y)) 34 (println (##fl> x negzero)) 35 (println (##fl> negzero y)) 36 37 (println (##fl>= x y)) 38 (println (##fl>= x 0.0)) 39 (println (##fl>= 0.0 y)) 40 (println (##fl>= x -0.0)) 41 (println (##fl>= -0.0 y)) 42 (println (##fl>= x zero)) 43 (println (##fl>= zero y)) 44 (println (##fl>= x negzero)) 45 (println (##fl>= negzero y)) 46 47 (println (##fl= x y)) 48 (println (##fl= x 0.0)) 49 (println (##fl= 0.0 y)) 50 (println (##fl= x -0.0)) 51 (println (##fl= -0.0 y)) 52 (println (##fl= x zero)) 53 (println (##fl= zero y)) 54 (println (##fl= x negzero)) 55 (println (##fl= negzero y))) 56 57(define (test-reg+stack a b x y e f) 58 (println (##fl< x y)) 59 (println (##fl< x 0.0)) 60 (println (##fl< 0.0 y)) 61 (println (##fl< x -0.0)) 62 (println (##fl< -0.0 y)) 63 (println (##fl< x zero)) 64 (println (##fl< zero y)) 65 (println (##fl< x negzero)) 66 (println (##fl< negzero y)) 67 68 (println (##fl<= x y)) 69 (println (##fl<= x 0.0)) 70 (println (##fl<= 0.0 y)) 71 (println (##fl<= x -0.0)) 72 (println (##fl<= -0.0 y)) 73 (println (##fl<= x zero)) 74 (println (##fl<= zero y)) 75 (println (##fl<= x negzero)) 76 (println (##fl<= negzero y)) 77 78 (println (##fl> x y)) 79 (println (##fl> x 0.0)) 80 (println (##fl> 0.0 y)) 81 (println (##fl> x -0.0)) 82 (println (##fl> -0.0 y)) 83 (println (##fl> x zero)) 84 (println (##fl> zero y)) 85 (println (##fl> x negzero)) 86 (println (##fl> negzero y)) 87 88 (println (##fl>= x y)) 89 (println (##fl>= x 0.0)) 90 (println (##fl>= 0.0 y)) 91 (println (##fl>= x -0.0)) 92 (println (##fl>= -0.0 y)) 93 (println (##fl>= x zero)) 94 (println (##fl>= zero y)) 95 (println (##fl>= x negzero)) 96 (println (##fl>= negzero y)) 97 98 (println (##fl= x y)) 99 (println (##fl= x 0.0)) 100 (println (##fl= 0.0 y)) 101 (println (##fl= x -0.0)) 102 (println (##fl= -0.0 y)) 103 (println (##fl= x zero)) 104 (println (##fl= zero y)) 105 (println (##fl= x negzero)) 106 (println (##fl= negzero y))) 107 108 109(define (test-stack a x y d e f) 110 (println (##fl< x y)) 111 (println (##fl< x 0.0)) 112 (println (##fl< 0.0 y)) 113 (println (##fl< x -0.0)) 114 (println (##fl< -0.0 y)) 115 (println (##fl< x zero)) 116 (println (##fl< zero y)) 117 (println (##fl< x negzero)) 118 (println (##fl< negzero y)) 119 120 (println (##fl<= x y)) 121 (println (##fl<= x 0.0)) 122 (println (##fl<= 0.0 y)) 123 (println (##fl<= x -0.0)) 124 (println (##fl<= -0.0 y)) 125 (println (##fl<= x zero)) 126 (println (##fl<= zero y)) 127 (println (##fl<= x negzero)) 128 (println (##fl<= negzero y)) 129 130 (println (##fl> x y)) 131 (println (##fl> x 0.0)) 132 (println (##fl> 0.0 y)) 133 (println (##fl> x -0.0)) 134 (println (##fl> -0.0 y)) 135 (println (##fl> x zero)) 136 (println (##fl> zero y)) 137 (println (##fl> x negzero)) 138 (println (##fl> negzero y)) 139 140 (println (##fl>= x y)) 141 (println (##fl>= x 0.0)) 142 (println (##fl>= 0.0 y)) 143 (println (##fl>= x -0.0)) 144 (println (##fl>= -0.0 y)) 145 (println (##fl>= x zero)) 146 (println (##fl>= zero y)) 147 (println (##fl>= x negzero)) 148 (println (##fl>= negzero y)) 149 150 (println (##fl= x y)) 151 (println (##fl= x 0.0)) 152 (println (##fl= 0.0 y)) 153 (println (##fl= x -0.0)) 154 (println (##fl= -0.0 y)) 155 (println (##fl= x zero)) 156 (println (##fl= zero y)) 157 (println (##fl= x negzero)) 158 (println (##fl= negzero y))) 159 160 161(test 0.0 0.0) 162(test 0.0 -0.0) 163(test -0.0 0.0) 164(test -0.0 -0.0) 165(test 0.0 1.0) 166(test -0.0 1.0) 167(test 1.0 0.0) 168(test 1.0 -0.0) 169 170(test-reg+stack 9.0 9.0 0.0 0.0 9.0 9.0) 171(test-reg+stack 9.0 9.0 0.0 1.0 9.0 9.0) 172(test-reg+stack 9.0 9.0 1.0 0.0 9.0 9.0) 173 174(test-stack 9.0 0.0 0.0 9.0 9.0 9.0) 175(test-stack 9.0 0.0 1.0 9.0 9.0 9.0) 176(test-stack 9.0 1.0 0.0 9.0 9.0 9.0) 177