Lines Matching defs:jump
88 jump n gives a list of the bits that are 1 if the address of the
92 let jump = mk_A_ADDR;;
151 2 , rsw @ wpc @ (jump 0); % switches --> PC %
152 3 , rsw @ wacc @ (jump 0); % switches --> ACC %
153 4 , rpc @ wmar @ (jump 7); % PC --> MAR %
155 6 , rpc @ wmar @ (jump 8); % PC --> MAR %
156 7 , racc @ write @ (jump 0); % ACC --> MEM (MAR) %
157 8 , read @ wir @ (jump 9); % MEM (MAR) --> IR %
159 10, (jump 0); % HALT %
160 11, rir @ wpc @ (jump 5); % JMP, IR --> PC %
162 13, racc @ warg @ (jump 19); % ADD, ACC --> ARG %
163 14, racc @ warg @ (jump 22); % SUB, ACC --> ARG %
164 15, rir @ wmar @ (jump 24); % LD, IR --> MAR %
165 16, rir @ wmar @ (jump 25); % ST, IR --> MAR %
166 17, rpc @ inc @ (jump 18); % SKIP, PC + 1 --> BUF %
167 18, rbuf @ wpc @ (jump 5); % BUF --> PC %
168 19, rir @ wmar @ (jump 20); % IR --> MAR %
169 20, read @ add @ (jump 21); % ARG + MEM (MAR) --> BUF %
170 21, rbuf @ wacc @ (jump 17); % BUF --> ACC %
171 22, rir @ wmar @ (jump 23); % IR --> MAR %
172 23, read @ sub @ (jump 21); % ARG - MEM (MAR) --> BUF %
173 24, read @ wacc @ (jump 17); % MEM (MAR) --> ACC %
174 25, racc @ write @ (jump 17); % ACC --> MEM (MAR) %
175 26, (jump 0); % unused %
176 27, (jump 0); % unused %
177 28, (jump 0); % unused %
178 29, (jump 0); % unused %
179 30, (jump 0); % unused %
180 31, (jump 0)];; % unused %