| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 394 static uint x14007 = 14007; in testfastudiv() local
400 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
403 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
406 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
661 static int x14007 = 14007; in testfastdiv() local
667 r = div14007(u); assert(r == u/x14007); in testfastdiv()
670 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
673 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 394 static uint x14007 = 14007; in testfastudiv() local
400 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
403 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
406 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
661 static int x14007 = 14007; in testfastdiv() local
667 r = div14007(u); assert(r == u/x14007); in testfastdiv()
670 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
673 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 393 static uint x14007 = 14007; in testfastudiv() local
399 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
402 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
405 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
660 static int x14007 = 14007; in testfastdiv() local
666 r = div14007(u); assert(r == u/x14007); in testfastdiv()
669 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
672 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 393 static uint x14007 = 14007; in testfastudiv() local
399 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
402 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
405 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
660 static int x14007 = 14007; in testfastdiv() local
666 r = div14007(u); assert(r == u/x14007); in testfastdiv()
669 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
672 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 394 static uint x14007 = 14007; in testfastudiv() local
400 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
403 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
406 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
661 static int x14007 = 14007; in testfastdiv() local
667 r = div14007(u); assert(r == u/x14007); in testfastdiv()
670 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
673 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 394 static uint x14007 = 14007; in testfastudiv() local
400 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
403 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
406 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
661 static int x14007 = 14007; in testfastdiv() local
667 r = div14007(u); assert(r == u/x14007); in testfastdiv()
670 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
673 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 394 static uint x14007 = 14007; in testfastudiv() local
400 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
403 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
406 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
661 static int x14007 = 14007; in testfastdiv() local
667 r = div14007(u); assert(r == u/x14007); in testfastdiv()
670 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
673 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 394 static uint x14007 = 14007; in testfastudiv() local
400 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
403 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
406 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
661 static int x14007 = 14007; in testfastdiv() local
667 r = div14007(u); assert(r == u/x14007); in testfastdiv()
670 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
673 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 393 static uint x14007 = 14007; in testfastudiv() local
399 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
402 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
405 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
660 static int x14007 = 14007; in testfastdiv() local
666 r = div14007(u); assert(r == u/x14007); in testfastdiv()
669 r = mod14007(u); assert(r == u%x14007); in testfastdiv()
672 r = remquo14007(u); assert(r == ((u/x14007)|(u%x14007))); in testfastdiv()
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gdc.test/runnable/ |
| H A D | mars1.d | 170 static uint x14007 = 14007; in testfastudiv() local
176 r = udiv14007(u); assert(r == u/x14007); in testfastudiv()
179 r = umod14007(u); assert(r == u%x14007); in testfastudiv()
182 r = uremquo14007(u); assert(r == ((u/14007)|(u%x14007))); in testfastudiv()
|
| /dports/textproc/sphinxsearch/sphinx-2.2.11-release/test/test_039/ |
| H A D | model.bin | 1 …tle) VALUES (1400, 11, 'x14000 x14001 x14002 x14003 x14004 x14005 x14006 x14007 x14008 x14009 x140…
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | comb2.shuffled-as.sat03-420.smt | 14015 :extrapreds ((x14007))
35529 :assumption (or (not x15621) x26575 (not x16596) x14007)
52751 :assumption (or (not x26575) (not x14007))
66666 :assumption (or x16596 (not x14007))
125346 :assumption (or x25156 x14007)
128140 :assumption (or (not x14007) (not x25156))
129225 :assumption (or (not x14007) x15621)
|