|
1
|
1 module floatcmp;
|
|
|
2
|
|
|
3 void eq()
|
|
|
4 {
|
|
|
5 float _3 = 3;
|
|
|
6 assert(!(_3 == 4));
|
|
|
7 assert(!(_3 == 2));
|
|
|
8 assert(_3 == 3);
|
|
|
9 assert(!(_3 == float.nan));
|
|
|
10 }
|
|
|
11
|
|
|
12 void neq()
|
|
|
13 {
|
|
|
14 float _3 = 3;
|
|
|
15 assert(_3 != 4);
|
|
|
16 assert(_3 != 2);
|
|
|
17 assert(!(_3 != 3));
|
|
|
18 assert(_3 != float.nan);
|
|
|
19 }
|
|
|
20
|
|
|
21 void gt()
|
|
|
22 {
|
|
|
23 float _3 = 3;
|
|
|
24 assert(_3 > 2);
|
|
|
25 assert(!(_3 > 4));
|
|
|
26 assert(!(_3 > 3));
|
|
|
27 assert(!(_3 > float.nan));
|
|
|
28 }
|
|
|
29
|
|
|
30 void ge()
|
|
|
31 {
|
|
|
32 float _3 = 3;
|
|
|
33 assert(_3 >= 2);
|
|
|
34 assert(!(_3 >= 4));
|
|
|
35 assert(_3 >= 3);
|
|
|
36 assert(!(_3 >= float.nan));
|
|
|
37 }
|
|
|
38
|
|
|
39 void lt()
|
|
|
40 {
|
|
|
41 float _3 = 3;
|
|
|
42 assert(_3 < 4);
|
|
|
43 assert(!(_3 < 2));
|
|
|
44 assert(!(_3 < 3));
|
|
|
45 assert(!(_3 < float.nan));
|
|
|
46 }
|
|
|
47
|
|
|
48 void le()
|
|
|
49 {
|
|
|
50 float _3 = 3;
|
|
|
51 assert(_3 <= 4);
|
|
|
52 assert(!(_3 <= 2));
|
|
|
53 assert(_3 <= 3);
|
|
|
54 assert(!(_3 <= float.nan));
|
|
|
55 }
|
|
|
56
|
|
|
57 void uno()
|
|
|
58 {
|
|
|
59 float _3 = 3;
|
|
|
60 assert(!(_3 !<>= 2));
|
|
|
61 assert(!(_3 !<>= 3));
|
|
|
62 assert(!(_3 !<>= 4));
|
|
|
63 assert(_3 !<>= float.nan);
|
|
|
64 }
|
|
|
65
|
|
|
66 void lg()
|
|
|
67 {
|
|
|
68 float _3 = 3;
|
|
|
69 assert(_3 <> 4);
|
|
|
70 assert(_3 <> 2);
|
|
|
71 assert(!(_3 <> 3));
|
|
|
72 assert(!(_3 <> float.nan));
|
|
|
73 }
|
|
|
74
|
|
|
75 void lge()
|
|
|
76 {
|
|
|
77 float _3 = 3;
|
|
|
78 assert(_3 <>= 4);
|
|
|
79 assert(_3 <>= 2);
|
|
|
80 assert(_3 <>= 3);
|
|
|
81 assert(!(_3 <>= float.nan));
|
|
|
82 }
|
|
|
83
|
|
|
84 void ugt()
|
|
|
85 {
|
|
|
86 float _3 = 3;
|
|
|
87 assert(_3 !<= 2);
|
|
|
88 assert(!(_3 !<= 4));
|
|
|
89 assert(!(_3 !<= 3));
|
|
|
90 assert(_3 !<= float.nan);
|
|
|
91 }
|
|
|
92
|
|
|
93 void uge()
|
|
|
94 {
|
|
|
95 float _3 = 3;
|
|
|
96 assert(_3 !< 2);
|
|
|
97 assert(!(_3 !< 4));
|
|
|
98 assert(_3 !< 3);
|
|
|
99 assert(_3 !< float.nan);
|
|
|
100 }
|
|
|
101
|
|
|
102 void ult()
|
|
|
103 {
|
|
|
104 float _3 = 3;
|
|
|
105 assert(_3 !>= 4);
|
|
|
106 assert(!(_3 !>= 2));
|
|
|
107 assert(!(_3 !>= 3));
|
|
|
108 assert(_3 !>= float.nan);
|
|
|
109 }
|
|
|
110
|
|
|
111 void ule()
|
|
|
112 {
|
|
|
113 float _3 = 3;
|
|
|
114 assert(_3 !> 4);
|
|
|
115 assert(!(_3 !> 2));
|
|
|
116 assert(_3 !> 3);
|
|
|
117 assert(_3 !> float.nan);
|
|
|
118 }
|
|
|
119
|
|
|
120 void ueq()
|
|
|
121 {
|
|
|
122 float _3 = 3;
|
|
|
123 assert(!(_3 !<> 2));
|
|
|
124 assert(!(_3 !<> 4));
|
|
|
125 assert(_3 !<> 3);
|
|
|
126 assert(_3 !<> float.nan);
|
|
|
127 }
|
|
|
128
|
|
|
129 void main()
|
|
|
130 {
|
|
|
131 printf("floating point comparison test\n");
|
|
|
132
|
|
|
133 eq();
|
|
|
134 neq();
|
|
|
135 gt();
|
|
|
136 ge();
|
|
|
137 lt();
|
|
|
138 le();
|
|
|
139 uno();
|
|
|
140 lg();
|
|
|
141 lge();
|
|
|
142 ugt();
|
|
|
143 uge();
|
|
|
144 ult();
|
|
|
145 ule();
|
|
|
146 ueq();
|
|
|
147
|
|
|
148 printf(" SUCCESS\n");
|
|
|
149 }
|
|
|
150
|
|
|
151 /+
|
|
|
152 void gt()
|
|
|
153 {
|
|
|
154 float _3 = 3;
|
|
|
155 assert();
|
|
|
156 assert();
|
|
|
157 assert();
|
|
|
158 assert();
|
|
|
159 }
|
|
|
160 +/
|
