/dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vabsneg.d | 30 [^>]*> ffb1 e344 vabs.s8 q7, q2 55 [^>]*> ffb5 e344 vabs.s16 q7, q2 80 [^>]*> ffb9 e344 vabs.s32 q7, q2
|
H A D | mve-vcvt-4.d | 330 [^>]*> ffb7 e344 vcvtm.s16.f16 q7, q2 380 [^>]*> ffbb e344 vcvtm.s32.f32 q7, q2
|
/dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vabsneg.d | 30 [^>]*> ffb1 e344 vabs.s8 q7, q2 55 [^>]*> ffb5 e344 vabs.s16 q7, q2 80 [^>]*> ffb9 e344 vabs.s32 q7, q2
|
H A D | mve-vcvt-4.d | 330 [^>]*> ffb7 e344 vcvtm.s16.f16 q7, q2 380 [^>]*> ffbb e344 vcvtm.s32.f32 q7, q2
|
/dports/devel/binutils/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vabsneg.d | 30 [^>]*> ffb1 e344 vabs.s8 q7, q2 55 [^>]*> ffb5 e344 vabs.s16 q7, q2 80 [^>]*> ffb9 e344 vabs.s32 q7, q2
|
H A D | mve-vcvt-4.d | 330 [^>]*> ffb7 e344 vcvtm.s16.f16 q7, q2 380 [^>]*> ffbb e344 vcvtm.s32.f32 q7, q2
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/auflia/ |
H A D | fuzz-error1099.smt | 372 (let (?e344 (ite (p0 ?e37) 1 0)) 596 (flet ($e568 (> ?e344 ?e14)) 632 (flet ($e604 (>= ?e344 ?e288)) 644 (flet ($e616 (distinct ?e264 ?e344)) 667 (flet ($e639 (> ?e162 ?e344)) 668 (flet ($e640 (>= ?e327 ?e344)) 703 (flet ($e675 (distinct ?e170 ?e344))
|
H A D | fuzz-error232.smt | 361 (flet ($e344 (implies $e332 $e182)) 415 (flet ($e398 (iff $e344 $e296))
|
/dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
H A D | 0032.smt2 | 350 (let ((e344 (ite e147 e182 e293))) 359 (let ((e353 (or e344 e344)))
|
H A D | 0005.d.smt2 | 350 (let ((e344 (and e108 e323))) 418 (let ((e412 (not e344)))
|
H A D | 0003.smt2 | 350 (let ((e344 (xor e228 e318))) 512 (let ((e506 (and e385 e344)))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/ |
H A D | fuzz26.smt | 349 (flet ($e344 (distinct ?e75 (zero_extend[3] ?e106))) 540 (or (not $e412) (not $e344) (not $e291)) 555 (or $e377 $e344 (not $e503)) 588 (or $e344 $e219 $e211) 682 (or $e419 $e216 (not $e344))
|
H A D | fuzz09.smt | 349 (flet ($e344 (and $e321 $e340)) 358 (flet ($e353 (xor $e67 $e344))
|
H A D | fuzz07.smt | 349 (flet ($e344 (xor $e247 $e199)) 364 (flet ($e359 (or $e344 $e333))
|
H A D | fuzz32.smt | 349 (flet ($e344 (bvule ?e49 (sign_extend[3] ?e119))) 770 (or $e344 $e421 (not $e667)) 810 (or (not $e344) $e219 $e427) 837 (or $e514 $e498 $e344)
|
H A D | fuzz15.smt | 349 (let (?e344 (ite (bvslt ?e190 (sign_extend[2] ?e97)) bv1[1] bv0[1])) 590 (flet ($e585 (bvslt ?e208 (zero_extend[14] ?e344))) 860 (flet ($e855 (bvsle ?e39 (sign_extend[9] ?e344))) 934 (flet ($e929 (bvsge ?e149 (zero_extend[12] ?e344))) 1047 (flet ($e1042 (= (zero_extend[13] ?e344) ?e44)) 1274 (flet ($e1269 (bvsgt (sign_extend[9] ?e344) ?e36))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
H A D | incorrect1.smt | 562 (flet ($e554 (= ?e344 ?e21)) 585 (flet ($e577 (> ?e344 ?e219)) 714 (flet ($e706 (p0 ?e283 ?e344)) 760 (flet ($e752 (= ?e344 ?e352)) 872 (flet ($e864 (< ?e344 ?e254)) 1283 (flet ($e1275 (< ?e357 ?e344)) 1320 (flet ($e1312 (= ?e215 ?e344)) 1432 (flet ($e1424 (>= ?e344 ?e249)) 1515 (flet ($e1507 (> ?e282 ?e344)) 1544 (flet ($e1536 (> ?e218 ?e344)) [all …]
|
H A D | incorrect2.smt | 562 (flet ($e554 (= ?e344 ?e21)) 585 (flet ($e577 (> ?e344 ?e219)) 714 (flet ($e706 (p0 ?e283 ?e344)) 760 (flet ($e752 (= ?e344 ?e352)) 872 (flet ($e864 (< ?e344 ?e254)) 1283 (flet ($e1275 (< ?e357 ?e344)) 1320 (flet ($e1312 (= ?e215 ?e344)) 1432 (flet ($e1424 (>= ?e344 ?e249)) 1515 (flet ($e1507 (> ?e282 ?e344)) 1544 (flet ($e1536 (> ?e218 ?e344)) [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
H A D | incorrect1.smt | 349 (flet ($e344 (if_then_else $e303 $e289 $e224)) 364 (flet ($e359 (if_then_else $e344 $e314 $e340))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/aufbv/ |
H A D | fuzz01.smt | 349 (flet ($e344 (iff $e336 $e329)) 358 (flet ($e353 (if_then_else $e350 $e344 $e351))
|
H A D | fuzz02.smt | 349 (flet ($e344 (not $e149)) 361 (flet ($e356 (implies $e344 $e171))
|
H A D | fuzz03.smt | 349 (flet ($e344 (and $e262 $e343)) 377 (flet ($e372 (if_then_else $e165 $e240 $e344))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/decision/ |
H A D | aufbv-fuzz01.smt | 352 (flet ($e344 (iff $e336 $e329)) 361 (flet ($e353 (if_then_else $e350 $e344 $e351))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arrays/ |
H A D | incorrect3.smt | 349 (flet ($e344 (or $e328 $e186)) 362 (flet ($e357 (not $e344))
|
H A D | incorrect8.smt | 349 (flet ($e344 (if_then_else $e292 $e161 $e220)) 353 (flet ($e348 (if_then_else $e344 $e284 $e327))
|