Home
last modified time | relevance | path

Searched refs:adr_lo (Results 1 – 13 of 13) sorted by relevance

/dports/math/cvc4/CVC4-1.7/test/regress/regress0/uflia/
H A Dxs-09-16-3-4-1-5.delta02.smt4 :extrafuns ((adr_lo Int))
10 (flet ($n2 (= ?n1 adr_lo))
15 (flet ($n7 (= adr_lo ?n6))
18 (flet ($n10 (= adr_lo ?n9))
21 (flet ($n13 (= adr_lo ?n12))
32 (flet ($n24 (= adr_lo ?n8))
H A Dxs-09-16-3-4-1-5.delta05.smt4 :extrafuns ((adr_lo Int))
9 (flet ($n2 (= ?n1 adr_lo))
11 (flet ($n4 (= adr_lo ?n3))
14 (flet ($n7 (= adr_lo ?n6))
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/
H A Dxs-11-20-5-2-5-3.smt16 :extrafuns ((adr_lo Int))
24 …(and (and (and (and (and (and (and (= distance 20) (= fmt_length 11)) (= adr_lo 5)) (= adr_medlo 2…
26 …adr_lo)) (= (select_format 0) adr_medlo)) (= (select_format 0) adr_medhi)) (= (select_format 0) ad…
29 …fmt1) percent) (= (select_format (+ fmt1 1)) s)) (= (select_format arg1) adr_lo)) (= (select_forma…
H A Dxs-09-16-3-4-1-5.decn.smt19 :extrafuns ((adr_lo Int))
27 (flet ($concval (and (and (and (and (and (and (and (and (= distance 16) (= fmt_length 9)) (= adr_lo…
29 …adr_lo)) (= (select_format 0) adr_medlo)) (= (select_format 0) adr_medhi)) (= (select_format 0) ad…
32 …fmt1) percent) (= (select_format (+ fmt1 1)) s)) (= (select_format arg1) adr_lo)) (= (select_forma…
H A Dxs-09-16-3-4-1-5.smt16 :extrafuns ((adr_lo Int))
24 (flet ($concval (and (and (and (and (and (and (and (and (= distance 16) (= fmt_length 9)) (= adr_lo…
26 …adr_lo)) (= (select_format 0) adr_medlo)) (= (select_format 0) adr_medhi)) (= (select_format 0) ad…
29 …fmt1) percent) (= (select_format (+ fmt1 1)) s)) (= (select_format arg1) adr_lo)) (= (select_forma…
H A Dxs-11-20-5-2-5-3.smt215 (declare-fun adr_lo () Int)
22 …adr_lo 5)) (= adr_medlo 2)) (= adr_medhi 5)) (= adr_hi 3)) (= percent 37)) (= s 115)) (= x 120)) (…
H A Derror0.smt214 (declare-fun adr_lo () Int)
40 (assert (<= adr_lo 3))
41 (assert (>= adr_lo 3))
57 (assert (<= adr_lo 3))
58 (assert (>= adr_lo 3))
1008 …- 1) (format 2))) 0)) (not (>= x 120)) (not (>= (+ adr_lo (* (- 1) (format arg1))) 0)) (not (<= ad…
1014 …- 1) (format 2))) 0)) (not (>= s 115)) (not (>= (+ adr_lo (* (- 1) (format arg1))) 0)) (not (<= ad…
H A Duflia-error0.smt217 (declare-fun adr_lo () Int)
43 (assert (<= adr_lo 3))
44 (assert (>= adr_lo 3))
60 (assert (<= adr_lo 3))
61 (assert (>= adr_lo 3))
1011 …- 1) (format 2))) 0)) (not (>= x 120)) (not (>= (+ adr_lo (* (- 1) (format arg1))) 0)) (not (<= ad…
1017 …- 1) (format 2))) 0)) (not (>= s 115)) (not (>= (+ adr_lo (* (- 1) (format arg1))) 0)) (not (<= ad…
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/decision/
H A Duflia-xs-09-16-3-4-1-5.smt19 :extrafuns ((adr_lo Int))
27 (flet ($concval (and (and (and (and (and (and (and (and (= distance 16) (= fmt_length 9)) (= adr_lo…
29 …adr_lo)) (= (select_format 0) adr_medlo)) (= (select_format 0) adr_medhi)) (= (select_format 0) ad…
32 …fmt1) percent) (= (select_format (+ fmt1 1)) s)) (= (select_format arg1) adr_lo)) (= (select_forma…
/dports/devel/urjtag/urjtag-2021.03/src/bus/
H A Dejtag.c626 uint16_t adr_hi, adr_lo; in ejtag_gen_read() local
630 adr_lo = adr & 0xffff; in ejtag_gen_read()
633 adr_hi += (adr_lo >> 15); in ejtag_gen_read()
645 *p++ = 0x90620000 | adr_lo; // lbu $2,adr_lo($3) in ejtag_gen_read()
651 *p++ = 0x8c620000 | (adr_lo & ~3); // lw $2,adr_lo($3) in ejtag_gen_read()
725 uint16_t adr_hi, adr_lo; in ejtag_bus_write() local
729 adr_lo = adr & 0xffff; in ejtag_bus_write()
730 adr_hi = ((adr >> 16) & 0x1fff) + (adr_lo >> 15) + 0xa000; in ejtag_bus_write()
741 *p++ = 0xa0620000 | adr_lo; // sb $2,adr_lo($3) in ejtag_bus_write()
745 *p++ = 0xa4620000 | (adr_lo & ~1); // sh $2,adr_lo($3) in ejtag_bus_write()
[all …]
/dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/net/ethernet/amd/
H A Datarilance.c139 unsigned short adr_lo; /* Low 16 bits of address */ member
617 MEM->init.rx_ring.adr_lo = offsetof( struct lance_memory, rx_head ); in lance_probe1()
620 MEM->init.tx_ring.adr_lo = offsetof( struct lance_memory, tx_head ); in lance_probe1()
/dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/net/ethernet/amd/
H A Datarilance.c139 unsigned short adr_lo; /* Low 16 bits of address */ member
617 MEM->init.rx_ring.adr_lo = offsetof( struct lance_memory, rx_head ); in lance_probe1()
620 MEM->init.tx_ring.adr_lo = offsetof( struct lance_memory, tx_head ); in lance_probe1()
/dports/multimedia/libv4l/linux-5.13-rc2/drivers/net/ethernet/amd/
H A Datarilance.c139 unsigned short adr_lo; /* Low 16 bits of address */ member
617 MEM->init.rx_ring.adr_lo = offsetof( struct lance_memory, rx_head ); in lance_probe1()
620 MEM->init.tx_ring.adr_lo = offsetof( struct lance_memory, tx_head ); in lance_probe1()