Home
last modified time | relevance | path

Searched refs:e344 (Results 1 – 25 of 131) sorted by relevance

123456

/dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/arm/
H A Dmve-vabsneg.d30 [^>]*> ffb1 e344 vabs.s8 q7, q2
55 [^>]*> ffb5 e344 vabs.s16 q7, q2
80 [^>]*> ffb9 e344 vabs.s32 q7, q2
H A Dmve-vcvt-4.d330 [^>]*> 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 Dmve-vabsneg.d30 [^>]*> ffb1 e344 vabs.s8 q7, q2
55 [^>]*> ffb5 e344 vabs.s16 q7, q2
80 [^>]*> ffb9 e344 vabs.s32 q7, q2
H A Dmve-vcvt-4.d330 [^>]*> 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 Dmve-vabsneg.d30 [^>]*> ffb1 e344 vabs.s8 q7, q2
55 [^>]*> ffb5 e344 vabs.s16 q7, q2
80 [^>]*> ffb9 e344 vabs.s32 q7, q2
H A Dmve-vcvt-4.d330 [^>]*> 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 Dfuzz-error1099.smt372 (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 Dfuzz-error232.smt361 (flet ($e344 (implies $e332 $e182))
415 (flet ($e398 (iff $e344 $e296))
/dports/math/yices/yices-2.6.2/tests/regress/mantis/
H A D0032.smt2350 (let ((e344 (ite e147 e182 e293)))
359 (let ((e353 (or e344 e344)))
H A D0005.d.smt2350 (let ((e344 (and e108 e323)))
418 (let ((e412 (not e344)))
H A D0003.smt2350 (let ((e344 (xor e228 e318)))
512 (let ((e506 (and e385 e344)))
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/
H A Dfuzz26.smt349 (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 Dfuzz09.smt349 (flet ($e344 (and $e321 $e340))
358 (flet ($e353 (xor $e67 $e344))
H A Dfuzz07.smt349 (flet ($e344 (xor $e247 $e199))
364 (flet ($e359 (or $e344 $e333))
H A Dfuzz32.smt349 (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 Dfuzz15.smt349 (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 Dincorrect1.smt562 (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 Dincorrect2.smt562 (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 Dincorrect1.smt349 (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 Dfuzz01.smt349 (flet ($e344 (iff $e336 $e329))
358 (flet ($e353 (if_then_else $e350 $e344 $e351))
H A Dfuzz02.smt349 (flet ($e344 (not $e149))
361 (flet ($e356 (implies $e344 $e171))
H A Dfuzz03.smt349 (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 Daufbv-fuzz01.smt352 (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 Dincorrect3.smt349 (flet ($e344 (or $e328 $e186))
362 (flet ($e357 (not $e344))
H A Dincorrect8.smt349 (flet ($e344 (if_then_else $e292 $e161 $e220))
353 (flet ($e348 (if_then_else $e344 $e284 $e327))

123456