Home
last modified time | relevance | path

Searched refs:e340 (Results 1 – 25 of 195) sorted by relevance

12345678

/dports/emulators/x49gp/x49gp/x49gp-code/
H A DSYSCALL-28-TRACE4 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 Dmve-vabsneg.d28 [^>]*> 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 Dmve-vabsneg.d28 [^>]*> 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 Dmve-vabsneg.d28 [^>]*> 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 Dfuzz15.smt345 (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 Dfuzz32.smt345 (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 Dfuzz09.smt345 (flet ($e340 (implies $e325 $e339))
349 (flet ($e344 (and $e321 $e340))
H A Dfuzz07.smt345 (flet ($e340 (not $e106))
379 (flet ($e374 (or $e340 $e351))
H A Dfuzz16.smt345 (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 Dfuzz26.smt345 (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 Dincorrect2.smt345 (flet ($e340 (iff $e338 $e335))
346 (flet ($e341 (implies $e339 $e340))
H A Dincorrect3.smt345 (flet ($e340 (if_then_else $e20 $e104 $e254))
398 (flet ($e393 (and $e383 $e340))
H A Dincorrect8.smt345 (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 D0005.d.smt2346 (let ((e340 (ite e316 e305 e332)))
398 (let ((e392 (xor e368 e340)))
H A D0032.smt2346 (let ((e340 (or e193 e189)))
351 (let ((e345 (not e340)))
H A D0003.smt2346 (let ((e340 (= e217 e314)))
368 (let ((e362 (ite e216 e340 e44)))
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/
H A Dincorrect1.smt345 (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 Dfuzz01.smt345 (flet ($e340 (and $e339 $e111))
347 (flet ($e342 (not $e340))
H A Dfuzz02.smt345 (flet ($e340 (not $e131))
382 (flet ($e377 (if_then_else $e314 $e340 $e309))
H A Dfuzz03.smt345 (flet ($e340 (xor $e304 $e337))
373 (flet ($e368 (iff $e340 $e335))
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/decision/
H A Daufbv-fuzz01.smt348 (flet ($e340 (and $e339 $e111))
350 (flet ($e342 (not $e340))
H A Dbug374a.smt357 (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 Dfuzz-error232.smt357 (flet ($e340 (xor $e231 $e315))
358 (flet ($e341 (and $e340 $e195))
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/
H A Dbug374.smt354 (let (?e340 (- ?e196 ?e163))
672 (flet ($e658 (= ?e340 ?e9))
673 (flet ($e659 (p0 ?e340))
706 (flet ($e692 (>= ?e340 ?e308))
H A Dbug374.delta01.smt354 (let (?e340 (- ?e196 ?e163))
672 (flet ($e658 (= ?e340 ?e9))
673 (flet ($e659 (p0 ?e340))
706 (flet ($e692 (>= ?e340 ?e308))

12345678