/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | simplifyusingcontext1.cc | 33 Grid gr1(2); in test01() local 39 Grid gr2(gr1); in test01() 59 Grid gr1(2); in test02() local 65 Grid gr2(gr1); in test02() 86 Grid gr1(2); in test03() local 114 Grid gr1(2); in test04() local 142 Grid gr1(2); in test05() local 168 Grid gr1(2); in test06() local 185 ok &= (gr1 == known_result1 || gr1 == known_result2); in test06() 197 Grid gr1(2); in test07() local [all …]
|
H A D | griddifference1.cc | 33 Grid gr1(1); in test01() local 56 Grid gr1; in test02() local 77 Grid gr1(2); in test03() local 103 Grid gr1(2); in test04() local 111 Grid known_gr(gr1); in test04() 128 Grid gr1(2); in test05() local 133 Grid known_gr(gr1); in test05() 150 Grid gr1(2, EMPTY); in test06() local 203 Grid gr1(0); in test08() local 283 Grid gr1(3); in test11() local [all …]
|
H A D | timeelapse1.cc | 31 Grid gr1(0); in test01() local 50 Grid gr1(0); in test02() local 71 Grid gr1(4, EMPTY); in test03() local 94 Grid gr1(4); in test04() local 118 Grid gr1(2); in test05() local 126 Grid known_gr(gr1); in test05() 143 Grid gr1(1); in test06() local 168 Grid gr1(1); in test07() local 194 Grid gr1(2); in test08() local 223 Grid gr1(4, EMPTY); in test09() local [all …]
|
H A D | widening1.cc | 58 Grid gr1(1); in test02() local 85 Grid gr1(1); in test03() local 112 Grid gr1(2); in test04() local 142 Grid gr1(3); in test05() local 173 Grid gr1(3); in test06() local 207 Grid gr1(3); in test07() local 236 Grid gr1(5); in test08() local 259 Grid gr1(4); in test09() local 286 Grid gr1(2); in test10() local 314 Grid gr1(0); in test11() local [all …]
|
H A D | mingenerators1.cc | 31 Grid gr1(17, EMPTY); in test01() local 34 Grid known_gr = gr1; in test01() 51 Grid gr1(1); in test02() local 54 Grid known_gr = gr1; in test02() 70 Grid gr1(0, EMPTY); in test03() local 72 Grid known_gr = gr1; in test03() 88 Grid gr1(0); in test04() local 111 Grid gr1(3, EMPTY); in test05() local 139 Grid gr1(3); in test06() local 185 Grid gr1(0); in test08() local [all …]
|
H A D | upperbound2.cc | 40 Grid gr1(gs1); in test01() local 67 Grid gr1(4, EMPTY); in test03() local 89 Grid gr1(4, EMPTY); in test04() local 113 Grid gr1(4, EMPTY); in test05() local 136 Grid gr1(0); in test06() local 158 Grid gr1(1); in test07() local 184 Grid gr1(2); in test08() local 210 Grid gr1(2); in test09() local 245 Grid gr1(gs1); in test10() local 272 Grid gr1(gs); in test11() local [all …]
|
H A D | constraints1.cc | 31 Grid gr1(7, EMPTY); in test01() local 50 Grid gr1(7); in test02() local 86 Grid gr1(0); in test04() local 109 Grid gr1(3); in test05() local 136 Grid gr1(3); in test06() local 161 Grid gr1(3); in test07() local 203 Grid gr1(7); in test09() local 239 Grid gr1(0); in test11() local 262 Grid gr1(3); in test12() local 289 Grid gr1(3); in test13() local [all …]
|
H A D | mincongruences1.cc | 33 Grid gr1(4, EMPTY); in test01() local 36 Grid known_gr = gr1; in test01() 52 Grid gr1(6); in test02() local 70 Grid gr1(0, EMPTY); in test03() local 77 gr1.OK(); in test03() 93 Grid gr1(0); in test04() local 100 gr1.OK(); in test04() 119 Grid gr1(3); in test05() local 142 Grid gr1(3); in test06() local 167 Grid gr1(0); in test07() local [all …]
|
H A D | widening2.cc | 33 Grid gr1(2, EMPTY); in test01() local 59 Grid gr1(1, EMPTY); in test02() local 85 Grid gr1(1, EMPTY); in test03() local 209 Grid gr1(2); in test07() local 240 Grid gr1(2); in test08() local 271 Grid gr1(2); in test09() local 304 Grid gr1(2); in test10() local 334 Grid gr1(0); in test11() local 359 Grid gr1(2); in test12() local 389 Grid gr1(2); in test13() local [all …]
|
H A D | concatenate1.cc | 37 Grid gr1(cgs); in test01() local 48 gr1.concatenate_assign(gr2); in test01() 69 Grid gr1(2, EMPTY); in test02() local 100 Grid gr1(cgs); in test03() local 127 Grid gr1(1, UNIVERSE); in test04() local 168 Grid gr1(gs); in test05() local 203 Grid gr1(1); in test06() local 229 Grid gr1(2); in test07() local 255 Grid gr1(0); in test08() local 281 Grid gr1(0, EMPTY); in test09() local [all …]
|
H A D | limitedextrapolation1.cc | 33 Grid gr1(2, EMPTY); in test01() local 58 Grid gr1(1); in test02() local 86 Grid gr1(2); in test03() local 116 Grid gr1(3); in test04() local 147 Grid gr1(3); in test05() local 177 Grid gr1(5); in test06() local 200 Grid gr1(2); in test07() local 231 Grid gr1(2); in test08() local 266 Grid gr1(2); in test09() local 298 Grid gr1(0); in test10() local [all …]
|
H A D | limitedextrapolation2.cc | 37 Grid gr1(2, EMPTY); in test01() local 62 Grid gr1(1); in test02() local 90 Grid gr1(2); in test03() local 120 Grid gr1(3); in test04() local 151 Grid gr1(3); in test05() local 181 Grid gr1(5); in test06() local 204 Grid gr1(2); in test07() local 235 Grid gr1(2); in test08() local 270 Grid gr1(2); in test09() local 302 Grid gr1(0); in test10() local [all …]
|
H A D | limitedextrapolation3.cc | 37 Grid gr1(2, EMPTY); in test01() local 62 Grid gr1(1); in test02() local 90 Grid gr1(2); in test03() local 120 Grid gr1(3); in test04() local 151 Grid gr1(3); in test05() local 181 Grid gr1(5); in test06() local 204 Grid gr1(2); in test07() local 235 Grid gr1(2); in test08() local 270 Grid gr1(2); in test09() local 302 Grid gr1(0); in test10() local [all …]
|
H A D | intersection1.cc | 39 Grid gr1(cgs1); in test01() local 51 bool ok = (gr1 == known_gr); in test01() 71 Grid gr1(cgs1); in test02() local 101 Grid gr1(3, EMPTY); in test03() local 127 Grid gr1(cgs); in test04() local 153 Grid gr1(3, UNIVERSE); in test05() local 181 Grid gr1(cgs); in test06() local 208 Grid gr1(cgs); in test07() local 239 Grid gr1(gs1); in test08() local 265 Grid gr1(1, EMPTY); in test09() local [all …]
|
H A D | disjoint1.cc | 38 Grid gr1(gs); in test01() local 54 Grid gr1(2, EMPTY); in test02() local 72 Grid gr1(4, EMPTY); in test03() local 86 Grid gr1(0); in test04() local 121 Grid gr1(3); in test06() local 145 Grid gr1(3, EMPTY); in test07() local 167 Grid gr1(3, EMPTY); in test08() local 187 Grid gr1(1, EMPTY); in test09() local 205 Grid gr1(1, EMPTY); in test10() local 211 gr1.is_disjoint_from(gr2); in test10() [all …]
|
H A D | widening3.cc | 33 Grid gr1(2, EMPTY); in test01() local 44 gr2.widening_assign(gr1); in test01() 58 Grid gr1(1); in test02() local 70 gr2.widening_assign(gr1); in test02() 82 Grid gr1(0); in test03() local 111 Grid gr1(2); in test04() local 143 Grid gr1(2); in test05() local 178 Grid gr1(2, EMPTY); in test06() local 212 Grid gr1(2, EMPTY); in test07() local 245 Grid gr1(2); in test08() local [all …]
|
H A D | generators1.cc | 31 Grid gr1(7, EMPTY); in test01() local 33 Grid known_gr = gr1; in test01() 49 Grid gr1(7); in test02() local 51 Grid known_gr = gr1; in test02() 67 Grid gr1(0, EMPTY); in test03() local 69 Grid known_gr = gr1; in test03() 85 Grid gr1(0); in test04() local 107 Grid gr1(3, EMPTY); in test05() local 132 Grid gr1(3); in test06() local 176 Grid gr1(0); in test08() local [all …]
|
H A D | upperbound1.cc | 40 Grid gr1(gs1); in test01() local 45 gr1.upper_bound_assign(gr2); in test01() 53 bool ok = (gr1 == known_gr); in test01() 63 Grid gr1(3); in test02() local 86 Grid gr1(3); in test03() local 121 Grid gr1(gs1); in test04() local 151 Grid gr1(3); in test05() local 188 Grid gr1(gs); in test06() local 222 Grid gr1(gs); in test07() local 248 Grid gr1(3); in test08() local [all …]
|
H A D | contains1.cc | 36 Grid gr1(gs); in test01() local 53 Grid gr1(2, EMPTY); in test02() local 72 Grid gr1(4, EMPTY); in test03() local 87 Grid gr1(0); in test04() local 124 Grid gr1(3); in test06() local 126 gr1.add_congruence(C %= 0); in test06() 147 Grid gr1(3, EMPTY); in test07() local 168 Grid gr1(1, EMPTY); in test08() local 174 bool ok = !gr1.contains(gr2) && !gr2.contains(gr1); in test08() 185 Grid gr1(1, EMPTY); in test09() local [all …]
|
H A D | certificate1.cc | 37 Grid gr1(3); in test01() local 39 gr1.add_constraint(B == 3); in test01() 41 Grid_Certificate grc1(gr1); in test01() 65 Grid gr1(3); in test02() local 67 gr1.add_constraint(B == 3); in test02() 69 Grid_Certificate grc1(gr1); in test02() 90 Grid gr1(3); in test03() local 119 Grid gr1(3, EMPTY); in test04() local 146 Grid gr1(3); in test05() local 173 Grid gr1(0); in test06() local [all …]
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gdb/sim/testsuite/sim/frv/fr400/ |
H A D | csdiv.cgs | 14 set_gr_immed 12,gr1 15 csdiv gr1,gr3,gr2,cc4,1 21 csdiv gr1,gr3,gr2,cc4,1 47 csdiv gr1,gr3,gr2,cc4,1 52 set_gr_immed 12,gr1 53 csdiv gr1,gr3,gr2,cc4,0 59 csdiv gr1,gr3,gr2,cc4,0 77 set_gr_immed 12,gr1 106 set_gr_immed 12,gr1 131 set_gr_immed 12,gr1 [all …]
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gdb/sim/testsuite/sim/frv/ |
H A D | csdiv.cgs | 14 set_gr_immed 12,gr1 15 csdiv gr1,gr3,gr2,cc4,1 21 csdiv gr1,gr3,gr2,cc4,1 48 csdiv gr1,gr3,gr2,cc4,1 53 set_gr_immed 12,gr1 54 csdiv gr1,gr3,gr2,cc4,0 60 csdiv gr1,gr3,gr2,cc4,0 78 set_gr_immed 12,gr1 108 set_gr_immed 12,gr1 133 set_gr_immed 12,gr1 [all …]
|
/dports/devel/avr-gdb/gdb-7.3.1/sim/testsuite/sim/frv/fr400/ |
H A D | csdiv.cgs | 14 set_gr_immed 12,gr1 15 csdiv gr1,gr3,gr2,cc4,1 21 csdiv gr1,gr3,gr2,cc4,1 47 csdiv gr1,gr3,gr2,cc4,1 52 set_gr_immed 12,gr1 53 csdiv gr1,gr3,gr2,cc4,0 59 csdiv gr1,gr3,gr2,cc4,0 77 set_gr_immed 12,gr1 106 set_gr_immed 12,gr1 131 set_gr_immed 12,gr1 [all …]
|
/dports/devel/avr-gdb/gdb-7.3.1/sim/testsuite/sim/frv/ |
H A D | csdiv.cgs | 14 set_gr_immed 12,gr1 15 csdiv gr1,gr3,gr2,cc4,1 21 csdiv gr1,gr3,gr2,cc4,1 48 csdiv gr1,gr3,gr2,cc4,1 53 set_gr_immed 12,gr1 54 csdiv gr1,gr3,gr2,cc4,0 60 csdiv gr1,gr3,gr2,cc4,0 78 set_gr_immed 12,gr1 108 set_gr_immed 12,gr1 133 set_gr_immed 12,gr1 [all …]
|
/dports/devel/gdb761/gdb-7.6.1/sim/testsuite/sim/frv/ |
H A D | csdiv.cgs | 14 set_gr_immed 12,gr1 15 csdiv gr1,gr3,gr2,cc4,1 21 csdiv gr1,gr3,gr2,cc4,1 48 csdiv gr1,gr3,gr2,cc4,1 53 set_gr_immed 12,gr1 54 csdiv gr1,gr3,gr2,cc4,0 60 csdiv gr1,gr3,gr2,cc4,0 78 set_gr_immed 12,gr1 108 set_gr_immed 12,gr1 133 set_gr_immed 12,gr1 [all …]
|