/dports/emulators/x49gp/x49gp/x49gp-code/ |
H A D | SYSCALL-28-TRACE | 4 sp 0801e340, lr 0001ebb4, pc 0001ebec, insn e3500000: cmp r0, #0 ; 0x0 5 sp 0801e340, lr 0001ebb4, pc 0001ebf0, insn 0afffffc: beq 0x0001ebe8 6 sp 0801e340, lr 0001ebb4, pc 0001ebe8, insn ebffffee: bl 0x0001eba8 7 sp 0801e340, lr 0001ebec, pc 0001eba8, insn e92d4008: stmdb sp!, {r3, lr} 210 sp 0801e340, lr 0001ebb4, pc 0001ebec, insn e3500000: cmp r0, #0 ; 0x0 211 sp 0801e340, lr 0001ebb4, pc 0001ebf0, insn 0afffffc: beq 0x0001ebe8 212 sp 0801e340, lr 0001ebb4, pc 0001ebe8, insn ebffffee: bl 0x0001eba8 322 sp 0801e340, lr 0001ebb4, pc 0001ebec, insn e3500000: cmp r0, #0 ; 0x0 323 sp 0801e340, lr 0001ebb4, pc 0001ebf0, insn 0afffffc: beq 0x0001ebe8 324 sp 0801e340, lr 0001ebb4, pc 0001ebf4, insn e1a00004: mov r0, r4 [all …]
|
/dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vabsneg.d | 28 [^>]*> ffb1 e340 vabs.s8 q7, q0 53 [^>]*> ffb5 e340 vabs.s16 q7, q0 78 [^>]*> ffb9 e340 vabs.s32 q7, q0
|
/dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vabsneg.d | 28 [^>]*> ffb1 e340 vabs.s8 q7, q0 53 [^>]*> ffb5 e340 vabs.s16 q7, q0 78 [^>]*> ffb9 e340 vabs.s32 q7, q0
|
/dports/devel/binutils/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vabsneg.d | 28 [^>]*> ffb1 e340 vabs.s8 q7, q0 53 [^>]*> ffb5 e340 vabs.s16 q7, q0 78 [^>]*> ffb9 e340 vabs.s32 q7, q0
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/ |
H A D | fuzz15.smt | 345 (let (?e340 (bvashr (zero_extend[13] ?e139) ?e279)) 401 (flet ($e396 (bvsgt (sign_extend[13] ?e355) ?e340)) 558 (flet ($e553 (bvult ?e177 ?e340)) 773 (flet ($e768 (bvugt (zero_extend[13] ?e243) ?e340)) 823 (flet ($e818 (bvsle ?e340 ?e124)) 825 (flet ($e820 (bvslt ?e340 (zero_extend[13] ?e237))) 1100 (flet ($e1095 (bvule (sign_extend[13] ?e113) ?e340)) 1242 (flet ($e1237 (bvsgt ?e328 (zero_extend[2] ?e340))) 1269 (flet ($e1264 (bvuge (sign_extend[13] ?e223) ?e340)) 1301 (flet ($e1296 (distinct (zero_extend[1] ?e254) ?e340)) [all …]
|
H A D | fuzz32.smt | 345 (flet ($e340 (bvuge ?e46 (zero_extend[3] ?e156))) 834 (or (not $e694) (not $e645) $e340) 863 (or (not $e462) $e173 $e340) 880 (or (not $e583) (not $e552) $e340) 889 (or (not $e553) $e602 (not $e340)) 959 (or $e366 $e340 $e555)
|
H A D | fuzz09.smt | 345 (flet ($e340 (implies $e325 $e339)) 349 (flet ($e344 (and $e321 $e340))
|
H A D | fuzz07.smt | 345 (flet ($e340 (not $e106)) 379 (flet ($e374 (or $e340 $e351))
|
H A D | fuzz16.smt | 345 (let (?e340 (rotate_right[0] ?e203)) 624 (let (?e619 (sign_extend[14] ?e340)) 981 (flet ($e976 (= ?e627 (zero_extend[13] ?e340))) 1728 (flet ($e1723 (distinct ?e371 ?e340)) 2003 (flet ($e1998 (bvuge ?e340 ?e459)) 2033 (flet ($e2028 (bvsle ?e488 (sign_extend[13] ?e340))) 2083 (flet ($e2078 (bvslt (zero_extend[10] ?e340) ?e229)) 2186 (flet ($e2181 (bvugt ?e284 ?e340)) 2300 (flet ($e2295 (distinct ?e563 ?e340)) 2337 (flet ($e2332 (bvule ?e340 ?e270)) [all …]
|
H A D | fuzz26.smt | 345 (flet ($e340 (bvslt ?e49 (zero_extend[3] ?e54))) 565 (or $e501 $e479 (not $e340)) 604 (or (not $e340) $e523 (not $e400))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arrays/ |
H A D | incorrect2.smt | 345 (flet ($e340 (iff $e338 $e335)) 346 (flet ($e341 (implies $e339 $e340))
|
H A D | incorrect3.smt | 345 (flet ($e340 (if_then_else $e20 $e104 $e254)) 398 (flet ($e393 (and $e383 $e340))
|
H A D | incorrect8.smt | 345 (flet ($e340 (or $e324 $e217)) 439 (flet ($e434 (if_then_else $e340 $e184 $e432))
|
/dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
H A D | 0005.d.smt2 | 346 (let ((e340 (ite e316 e305 e332))) 398 (let ((e392 (xor e368 e340)))
|
H A D | 0032.smt2 | 346 (let ((e340 (or e193 e189))) 351 (let ((e345 (not e340)))
|
H A D | 0003.smt2 | 346 (let ((e340 (= e217 e314))) 368 (let ((e362 (ite e216 e340 e44)))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
H A D | incorrect1.smt | 345 (flet ($e340 (or $e102 $e154)) 364 (flet ($e359 (if_then_else $e344 $e314 $e340))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/aufbv/ |
H A D | fuzz01.smt | 345 (flet ($e340 (and $e339 $e111)) 347 (flet ($e342 (not $e340))
|
H A D | fuzz02.smt | 345 (flet ($e340 (not $e131)) 382 (flet ($e377 (if_then_else $e314 $e340 $e309))
|
H A D | fuzz03.smt | 345 (flet ($e340 (xor $e304 $e337)) 373 (flet ($e368 (iff $e340 $e335))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/decision/ |
H A D | aufbv-fuzz01.smt | 348 (flet ($e340 (and $e339 $e111)) 350 (flet ($e342 (not $e340))
|
H A D | bug374a.smt | 357 (let (?e340 (- ?e196 ?e163)) 675 (flet ($e658 (= ?e340 ?e9)) 676 (flet ($e659 (p0 ?e340)) 709 (flet ($e692 (>= ?e340 ?e308))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/auflia/ |
H A D | fuzz-error232.smt | 357 (flet ($e340 (xor $e231 $e315)) 358 (flet ($e341 (and $e340 $e195))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/ |
H A D | bug374.smt | 354 (let (?e340 (- ?e196 ?e163)) 672 (flet ($e658 (= ?e340 ?e9)) 673 (flet ($e659 (p0 ?e340)) 706 (flet ($e692 (>= ?e340 ?e308))
|
H A D | bug374.delta01.smt | 354 (let (?e340 (- ?e196 ?e163)) 672 (flet ($e658 (= ?e340 ?e9)) 673 (flet ($e659 (p0 ?e340)) 706 (flet ($e692 (>= ?e340 ?e308))
|