Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(218)

Side by Side Diff: src/trusted/validator_mips/mips32.table

Issue 9979025: [MIPS] Adding validator for MIPS architecture. (Closed) Base URL: http://src.chromium.org/native_client/trunk/src/native_client/
Patch Set: Update per initial code review. Nexes removed. Created 8 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
(Empty)
1 # Reference document:
2 #
3 # MIPS® Architecture For Programmers Volume II-A: The MIPS32® Instruction Set
4
5
6 -- mipsInstr (See Table A.2)
7 opcode(31:26)
8 000000 ->special
9 000001 ->regimm
10 000010 =JmpImm # j
11 000011 =JalImm # jal
12 000100 =Branch # beq
13 000101 =Branch # bne
14 000110 ->branch_1 # blez
15 000111 ->branch_1 # bgtz
16 001000 =Arithm2 # addi
17 001001 =Arithm2 # addiu
18 001010 =Arithm2 # slti
19 001011 =Arithm2 # sltiu
20 001100 =Arithm2 # andi
21 001101 =Arithm2 # ori
22 001110 =Arithm2 # xori
23 001111 ->arithm2_1 # lui
24 010000 ->cop0
25 010001 ->cop1
26 010010 ->cop2
27 010011 ->cop1x
28 010100 =Branch # beql
29 010101 =Branch # bnel
30 010110 ->branch_1 # blezl
31 010111 ->branch_1 # bgtzl
32 011000 =Forbidden
33 011001 =Forbidden
34 011010 =Forbidden
35 011011 =Forbidden
36 011100 ->special2
37 011101 =Forbidden # jalx
38 011110 =Forbidden
39 011111 ->special3
40 100000 =Load # lb
41 100001 =Load # lh
42 100010 =Load # lwl
43 100011 =Load # lw
44 100100 =Load # lbu
45 100101 =Load # lhu
46 100110 =Load # lwr
47 100111 =Forbidden
48 101000 =Store # sb
49 101001 =Store # sh
50 101010 =Store # swl
51 101011 =Store # sw
52 101100 =Forbidden
53 101101 =Forbidden
54 101110 =Store # swr
55 101111 =Forbidden # cache
56 110000 =Load # ll
57 110001 =FPLoadStore # lwc1
58 110010 =FPLoadStore # lwc2
59 110011 =Forbidden # pref
60 110100 =Forbidden
61 110101 =FPLoadStore # ldc1
62 110110 =FPLoadStore # ldc2
63 110111 =Forbidden
64 111000 =StoreConditional # sc
65 111001 =FPLoadStore # swc1
66 111010 =FPLoadStore # swc2
67 111011 =Forbidden
68 111100 =Forbidden
69 111101 =FPLoadStore # sdc1
70 111110 =FPLoadStore # sdc2
71 111111 =Forbidden
72
73
74 -- special (See Table A.3)
75 function(5:0)
76 000000 ->arithm3_1 # sll
77 000001 ->movci
78 000010 ->srl
79 000011 ->arithm3_1 # sra
80 000100 ->arithm3_2 # sllv
81 000101 =Forbidden
82 000110 ->srlv
83 000111 ->arithm3_2 # srav
84 001000 ->jr # jr
85 001001 ->jalr # jalr
86 001010 ->arithm3_2 # movz
87 001011 ->arithm3_2 # movn
88 001100 =Forbidden # syscall
89 001101 =Forbidden # break
90 001110 =Forbidden
91 001111 ->sync # sync
92 010000 ->mfhi # mfhi
93 010001 ->mthi # mthi
94 010010 ->mfhi # mflo
95 010011 ->mthi # mtlo
96 010100 =Forbidden
97 010101 =Forbidden
98 010110 =Forbidden
99 010111 =Forbidden
100 011000 ->mult # mult
101 011001 ->mult # multu
102 011010 ->mult # div
103 011011 ->mult # divu
104 011100 =Forbidden
105 011101 =Forbidden
106 011110 =Forbidden
107 011111 =Forbidden
108 100000 ->arithm3_3 # add
109 100001 ->arithm3_3 # addu
110 100010 ->arithm3_3 # sub
111 100011 ->arithm3_3 # subu
112 100100 ->arithm3_3 # and
113 100101 ->arithm3_3 # or
114 100110 ->arithm3_3 # xor
115 100111 ->arithm3_3 # nor
116 101000 =Forbidden
117 101001 =Forbidden
118 101010 ->arithm3_3 # slt
119 101011 ->arithm3_3 # sltu
120 101100 =Forbidden
121 101101 =Forbidden
122 101110 =Forbidden
123 101111 =Forbidden
124 110000 =Forbidden # tge
125 110001 =Forbidden # tgeu
126 110010 =Forbidden # tlt
127 110011 =Forbidden # tltu
128 110100 =Forbidden # teq
129 110101 =Forbidden
130 110110 =Forbidden # tne
131 110111 =Forbidden
132 111000 =Forbidden
133 111001 =Forbidden
134 111010 =Forbidden
135 111011 =Forbidden
136 111100 =Forbidden
137 111101 =Forbidden
138 111110 =Forbidden
139 111111 =Forbidden
140
141
142 -- jr ( )
143 rs(25:21) pat1(20:6)
144 00000 000000000000000 =NaClHalt # jr $zero
145 ~00000 000000000000000 =JmpReg # jr
146 xxxxx ~000000000000000 =Forbidden
147
148
149 -- jalr ( )
150 rt(20:16) hint(10:6)
151 00000 00000 =JalReg
152 ~00000 ~00000 =Forbidden
153
154
155 -- regimm (See Table A.4)
156 rt(20:16)
157 00000 =Branch # bltz
158 00001 =Branch # bgez
159 00010 =Branch # bltzl
160 00011 =Branch # bgezl
161 00100 =Forbidden
162 00101 =Forbidden
163 00110 =Forbidden
164 00111 =Forbidden
165 01000 =Forbidden # tgei
166 01001 =Forbidden # tgeiu
167 01010 =Forbidden # tlti
168 01011 =Forbidden # tltiu
169 01100 =Forbidden # teqi
170 01101 =Forbidden
171 01110 =Forbidden # tnei
172 01111 =Forbidden
173 10000 =BranchAndLink # bltzal
174 10001 =BranchAndLink # bgezal
175 10010 =BranchAndLink # bltzall
176 10011 =BranchAndLink # bgezall
177 10100 =Forbidden
178 10101 =Forbidden
179 10110 =Forbidden
180 10111 =Forbidden
181 11000 =Forbidden
182 11001 =Forbidden
183 11010 =Forbidden
184 11011 =Forbidden
185 11100 =Forbidden
186 11101 =Forbidden
187 11110 =Forbidden
188 11111 =Forbidden # synci
189
190
191 -- special2 (See Table A.5)
192 function(5:0)
193 000000 ->mult # madd
194 000001 ->mult # maddu
195 000010 ->arithm3_2 # mul
196 000011 =Forbidden
197 000100 ->mult # msub
198 000101 ->mult # msubu
199 000110 =Forbidden
200 000111 =Forbidden
201 001000 =Forbidden
202 001001 =Forbidden
203 001010 =Forbidden
204 001011 =Forbidden
205 001100 =Forbidden
206 001101 =Forbidden
207 001110 =Forbidden
208 001111 =Forbidden
209 010000 =Forbidden
210 010001 =Forbidden
211 010010 =Forbidden
212 010011 =Forbidden
213 010100 =Forbidden
214 010101 =Forbidden
215 010110 =Forbidden
216 010111 =Forbidden
217 011000 =Forbidden
218 011001 =Forbidden
219 011010 =Forbidden
220 011011 =Forbidden
221 011100 =Forbidden
222 011101 =Forbidden
223 011110 =Forbidden
224 011111 =Forbidden
225 100000 ->arithm3_2 # clz
226 100001 ->arithm3_2 # clo
227 100010 =Forbidden
228 100011 =Forbidden
229 100100 =Forbidden
230 100101 =Forbidden
231 100110 =Forbidden
232 100111 =Forbidden
233 101000 =Forbidden
234 101001 =Forbidden
235 101010 =Forbidden
236 101011 =Forbidden
237 101100 =Forbidden
238 101101 =Forbidden
239 101110 =Forbidden
240 101111 =Forbidden
241 110000 =Forbidden
242 110001 =Forbidden
243 110010 =Forbidden
244 110011 =Forbidden
245 110100 =Forbidden
246 110101 =Forbidden
247 110110 =Forbidden
248 110111 =Forbidden
249 111000 =Forbidden
250 111001 =Forbidden
251 111010 =Forbidden
252 111011 =Forbidden
253 111100 =Forbidden
254 111101 =Forbidden
255 111110 =Forbidden
256 111111 =Forbidden # sdbbp
257
258
259 -- special3 (See Table A.6)
260 function(5:0)
261 000000 =ExtIns # ext
262 000001 =Forbidden
263 000010 =Forbidden
264 000011 =Forbidden
265 000100 =ExtIns # ins
266 000101 =Forbidden
267 000110 =Forbidden
268 000111 =Forbidden
269 001000 =Forbidden
270 001001 =Forbidden
271 001010 =Forbidden
272 001011 =Forbidden
273 001100 =Forbidden
274 001101 =Forbidden
275 001110 =Forbidden
276 001111 =Forbidden
277 010000 =Forbidden
278 010001 =Forbidden
279 010010 =Forbidden
280 010011 =Forbidden
281 010100 =Forbidden
282 010101 =Forbidden
283 010110 =Forbidden
284 010111 =Forbidden
285 011000 =Forbidden
286 011001 =Forbidden
287 011010 =Forbidden
288 011011 =Forbidden
289 011100 =Forbidden
290 011101 =Forbidden
291 011110 =Forbidden
292 011111 =Forbidden
293 100000 ->bshfl
294 100001 =Forbidden
295 100010 =Forbidden
296 100011 =Forbidden
297 100100 =Forbidden
298 100101 =Forbidden
299 100110 =Forbidden
300 100111 =Forbidden
301 101000 =Forbidden
302 101001 =Forbidden
303 101010 =Forbidden
304 101011 =Forbidden
305 101100 =Forbidden
306 101101 =Forbidden
307 101110 =Forbidden
308 101111 =Forbidden
309 110000 =Forbidden
310 110001 =Forbidden
311 110010 =Forbidden
312 110011 =Forbidden
313 110100 =Forbidden
314 110101 =Forbidden
315 110110 =Forbidden
316 110111 =Forbidden
317 111000 =Forbidden
318 111001 =Forbidden
319 111010 =Forbidden
320 111011 =Forbidden # rdhwr
321 111100 =Forbidden
322 111101 =Forbidden
323 111110 =Forbidden
324 111111 =Forbidden
325
326
327 -- movci (See Table A.7)
328 pat0(17:16) pat1(10:6)
329 00 00000 =Arithm3 # movf
330 01 00000 =Arithm3 # movt
331 xx ~00000 =Forbidden
332
333
334 -- srl (See Table A.8)
335 pat0(25:22) R(21)
336 0000 0 =Arithm3 # srl
337 0000 1 =Arithm3 # rotr
338 ~0000 x =Forbidden
339
340
341 -- srlv (See Table A.9)
342 pat0(10:7) R(6)
343 0000 0 =Arithm3 # srlv
344 0000 1 =Arithm3 # rotrv
345 ~0000 x =Forbidden
346
347
348 -- bshfl (See Table A.10)
349 sa(10:6)
350 00000 =Forbidden
351 00001 =Forbidden
352 00010 ->arithm3_1 # wsbh
353 00011 =Forbidden
354 00100 =Forbidden
355 00101 =Forbidden
356 00110 =Forbidden
357 00111 =Forbidden
358 01000 =Forbidden
359 01001 =Forbidden
360 01010 =Forbidden
361 01011 =Forbidden
362 01100 =Forbidden
363 01101 =Forbidden
364 01110 =Forbidden
365 01111 =Forbidden
366 10000 ->arithm3_1 # seb
367 10001 =Forbidden
368 10010 =Forbidden
369 10011 =Forbidden
370 10100 =Forbidden
371 10101 =Forbidden
372 10110 =Forbidden
373 10111 =Forbidden
374 11000 ->arithm3_1 # seh
375 11001 =Forbidden
376 11010 =Forbidden
377 11011 =Forbidden
378 11100 =Forbidden
379 11101 =Forbidden
380 11110 =Forbidden
381 11111 =Forbidden
382
383
384 -- cop0 (See Table A.11)
385 rs(25:21)
386 00000 =Forbidden # mfc0
387 00001 =Forbidden
388 00010 =Forbidden
389 00011 =Forbidden
390 00100 =Forbidden # mtc0
391 00101 =Forbidden
392 00110 =Forbidden
393 00111 =Forbidden
394 01000 =Forbidden
395 01001 =Forbidden
396 01010 =Forbidden # rdpgpr
397 01011 ->mfmc0
398 01100 =Forbidden
399 01101 =Forbidden
400 01110 =Forbidden # wrpgpr
401 01111 =Forbidden
402 10000 ->c0
403 10001 =Forbidden
404 10010 =Forbidden
405 10011 =Forbidden
406 10100 =Forbidden
407 10101 =Forbidden
408 10110 =Forbidden
409 10111 =Forbidden
410 11000 =Forbidden
411 11001 =Forbidden
412 11010 =Forbidden
413 11011 =Forbidden
414 11100 =Forbidden
415 11101 =Forbidden
416 11110 =Forbidden
417 11111 =Forbidden
418
419
420 -- c0 (See Table A.12)
421 function(5:0)
422 000000 =Forbidden
423 000001 =Forbidden # tlbr
424 000010 =Forbidden # tlbwi
425 000011 =Forbidden
426 000100 =Forbidden
427 000101 =Forbidden
428 000110 =Forbidden # tlbwr
429 000111 =Forbidden
430 001000 =Forbidden # tlbp
431 001001 =Forbidden
432 001010 =Forbidden
433 001011 =Forbidden
434 001100 =Forbidden
435 001101 =Forbidden
436 001110 =Forbidden
437 001111 =Forbidden
438 010000 =Forbidden
439 010001 =Forbidden
440 010010 =Forbidden
441 010011 =Forbidden
442 010100 =Forbidden
443 010101 =Forbidden
444 010110 =Forbidden
445 010111 =Forbidden
446 011000 =Forbidden # eret
447 011001 =Forbidden
448 011010 =Forbidden
449 011011 =Forbidden
450 011100 =Forbidden
451 011101 =Forbidden
452 011110 =Forbidden
453 011111 =Forbidden # deret
454 100000 =Forbidden # wait
455 100001 =Forbidden
456 100010 =Forbidden
457 100011 =Forbidden
458 100100 =Forbidden
459 100101 =Forbidden
460 100110 =Forbidden
461 100111 =Forbidden
462 101000 =Forbidden
463 101001 =Forbidden
464 101010 =Forbidden
465 101011 =Forbidden
466 101100 =Forbidden
467 101101 =Forbidden
468 101110 =Forbidden
469 101111 =Forbidden
470 110000 =Forbidden
471 110001 =Forbidden
472 110010 =Forbidden
473 110011 =Forbidden
474 110100 =Forbidden
475 110101 =Forbidden
476 110110 =Forbidden
477 110111 =Forbidden
478 111000 =Forbidden
479 111001 =Forbidden
480 111010 =Forbidden
481 111011 =Forbidden
482 111100 =Forbidden
483 111101 =Forbidden
484 111110 =Forbidden
485 111111 =Forbidden
486
487
488 -- cop1 (See Table A.13)
489 rs(25:21)
490 00000 ->mfc1 # mfc1
491 00001 =Forbidden
492 00010 =Forbidden # cfc1
493 00011 ->mfc1 # mfhc1
494 00100 ->mtc1 # mtc1
495 00101 =Forbidden
496 00110 =Forbidden # ctc1
497 00111 ->mtc1 # mthc1
498 01000 ->bc1
499 01001 =Forbidden
500 01010 =Forbidden
501 01011 =Forbidden
502 01100 =Forbidden
503 01101 =Forbidden
504 01110 =Forbidden
505 01111 =Forbidden
506 10000 ->c1 # S
507 10001 ->c1 # D
508 10010 =Forbidden
509 10011 =Forbidden
510 10100 ->c1 # W
511 10101 ->c1 # L
512 10110 ->c1 # PS
513 10111 ->c1
514 11000 ->c1
515 11001 ->c1
516 11010 ->c1
517 11011 ->c1
518 11100 ->c1
519 11101 ->c1
520 11110 ->c1
521 11111 ->c1
522
523
524 -- c1 (See Table A.14, A.15, A.16, A.17)
525 function(5:0)
526 000000 =Safe # add.fmt
527 000001 =Safe # sub.fmt
528 000010 =Safe # mul.fmt
529 000011 =Safe # div.fmt
530 000100 ->sqrt # sqrt.fmt
531 000101 ->sqrt # abs.fmt
532 000110 ->sqrt # mov.fmt
533 000111 ->sqrt # neg.fmt
534 001000 ->sqrt # round.l.fmt
535 001001 ->sqrt # trunc.l.fmt
536 001010 ->sqrt # ceil.l.fmt
537 001011 ->sqrt # floor.l.fmt
538 001100 ->sqrt # round.w.fmt
539 001101 ->sqrt # trunc.w.fmt
540 001110 ->sqrt # ceil.w.fmt
541 001111 ->sqrt # floor.w.fmt
542 010000 =Forbidden
543 010001 ->movcf
544 010010 =Safe # movz.fmt
545 010011 =Safe # movn.fmt
546 010100 =Forbidden
547 010101 ->sqrt # recip.fmt
548 010110 ->sqrt # rsqrt.fmt
549 010111 =Forbidden
550 011000 =Forbidden
551 011001 =Forbidden
552 011010 =Forbidden
553 011011 =Forbidden
554 011100 =Forbidden
555 011101 =Forbidden
556 011110 =Forbidden
557 011111 =Forbidden
558 100000 ->sqrt # cvt.s.fmt
559 100001 ->sqrt # cvt.d.fmt
560 100010 =Forbidden
561 100011 =Forbidden
562 100100 ->sqrt # cvt.w.fmt
563 100101 ->sqrt # cvt.l.fmt
564 100110 =Safe # cvt.ps.fmt
565 100111 =Forbidden
566 101000 ->sqrt # cvt.s.pl
567 101001 =Forbidden
568 101010 =Forbidden
569 101011 =Forbidden
570 101100 =Safe # pll.ps
571 101101 =Safe # plu.ps
572 101110 =Safe # pul.ps
573 101111 =Safe # puu.ps
574 110000 ->c_cond_fmt # c.f.fmt
575 110001 ->c_cond_fmt # c.un.fmt
576 110010 ->c_cond_fmt # c.eq.fmt
577 110011 ->c_cond_fmt # c.ueq.fmt
578 110100 ->c_cond_fmt # c.olt.fmt
579 110101 ->c_cond_fmt # c.ult.fmt
580 110110 ->c_cond_fmt # c.ole.fmt
581 110111 ->c_cond_fmt # c.ule.fmt
582 111000 ->c_cond_fmt # c.sf.fmt
583 111001 ->c_cond_fmt # c.ngle.fmt
584 111010 ->c_cond_fmt # c.seq.fmt
585 111011 ->c_cond_fmt # c.ngl.fmt
586 111100 ->c_cond_fmt # c.lt.fmt
587 111101 ->c_cond_fmt # c.nge.fmt
588 111110 ->c_cond_fmt # c.le.fmt
589 111111 ->c_cond_fmt # c.ngt.fmt
590
591
592 -- movcf (See Table A.18)
593 tf(17:16)
594 00 =Safe # movf.fmt
595 01 =Safe # movt.fmt
596 1x =Forbidden
597
598
599 -- cop2 (See Table A.19)
600 rs(25:21)
601 00000 =Forbidden # mfc2
602 00001 =Forbidden
603 00010 =Forbidden # cfc2
604 00011 =Forbidden # mfhc2
605 00100 =Forbidden # mtc2
606 00101 =Forbidden
607 00110 =Forbidden # ctc2
608 00111 =Forbidden # mthc2
609 01000 ->bc2
610 01001 =Forbidden
611 01010 =Forbidden
612 01011 =Forbidden
613 01100 =Forbidden
614 01101 =Forbidden
615 01110 =Forbidden
616 01111 =Forbidden
617 10000 =Forbidden
618 10001 =Forbidden
619 10010 =Forbidden
620 10011 =Forbidden
621 10100 =Forbidden
622 10101 =Forbidden
623 10110 =Forbidden
624 10111 =Forbidden
625 11000 =Forbidden
626 11001 =Forbidden
627 11010 =Forbidden
628 11011 =Forbidden
629 11100 =Forbidden
630 11101 =Forbidden
631 11110 =Forbidden
632 11111 =Forbidden
633
634
635 -- cop1x (See Table A.20)
636 function(5:0)
637 000000 =Forbidden # lwxc1
638 000001 =Forbidden # ldxc1
639 000010 =Forbidden
640 000011 =Forbidden
641 000100 =Forbidden
642 000101 =Forbidden # luxc1
643 000110 =Forbidden
644 000111 =Forbidden
645 001000 =Forbidden # swxc1
646 001001 =Forbidden # sdxc1
647 001010 =Forbidden
648 001011 =Forbidden
649 001100 =Forbidden
650 001101 =Forbidden # suxc1
651 001110 =Forbidden
652 001111 =Forbidden # prefx
653 010000 =Forbidden
654 010001 =Forbidden
655 010010 =Forbidden
656 010011 =Forbidden
657 010100 =Forbidden
658 010101 =Forbidden
659 010110 =Forbidden
660 010111 =Forbidden
661 011000 =Forbidden
662 011001 =Forbidden
663 011010 =Forbidden
664 011011 =Forbidden
665 011100 =Forbidden
666 011101 =Forbidden
667 011110 =Safe # alnv.ps
668 011111 =Forbidden
669 100000 =Safe # madd.s
670 100001 =Safe # madd.d
671 100010 =Forbidden
672 100011 =Forbidden
673 100100 =Forbidden
674 100101 =Forbidden
675 100110 =Safe # madd.ps
676 100111 =Forbidden
677 101000 =Safe # msub.s
678 101001 =Safe # msub.d
679 101010 =Forbidden
680 101011 =Forbidden
681 101100 =Forbidden
682 101101 =Forbidden
683 101110 =Safe # msub.ps
684 101111 =Forbidden
685 110000 =Safe # nmadd.s
686 110001 =Safe # nmadd.d
687 110010 =Forbidden
688 110011 =Forbidden
689 110100 =Forbidden
690 110101 =Forbidden
691 110110 =Safe # nmadd.ps
692 110111 =Forbidden
693 111000 =Safe # nmsub.s
694 111001 =Safe # nmsub.d
695 111010 =Forbidden
696 111011 =Forbidden
697 111100 =Forbidden
698 111101 =Forbidden
699 111110 =Safe # nmsub.ps
700 111111 =Forbidden
701
702
703 -- branch_1 ( )
704 pat0(20:16)
705 00000 =Branch
706 ~00000 =Forbidden
707
708
709 -- arithm2_1 ( )
710 pat0(25:21)
711 00000 =Arithm2
712 ~00000 =Forbidden
713
714
715 -- arithm3_1 ( )
716 pat0(25:21)
717 00000 =Arithm3
718 ~00000 =Forbidden
719
720
721 -- arithm3_2 ( )
722 pat0(10:6)
723 00000 =Arithm3
724 ~00000 =Forbidden
725
726
727 -- sync ( )
728 pat0(25:6)
729 00000000000000000000 =Safe
730 ~00000000000000000000 =Forbidden
731
732
733 -- mfhi ( )
734 pat0(25:16) pat1(10:6)
735 0000000000 00000 =Arithm3
736 ~0000000000 ~00000 =Forbidden
737
738
739 -- mthi ( )
740 pat0(20:6)
741 000000000000000 =Safe
742 ~000000000000000 =Forbidden
743
744
745 -- mult ( )
746 pat0(15:6)
747 0000000000 =Safe
748 ~0000000000 =Forbidden
749
750
751 -- arithm3_3 ( )
752 pat0(10:6)
753 00000 =Arithm3
754 ~00000 =Forbidden
755
756
757 -- mfmc0 ( )
758 pat0(15:6) sc(5) pat2(4:0)
759 0110000000 0 00000 =Forbidden # di
760 0110000000 1 00000 =Forbidden # ei
761 0110000000 x ~00000 =Forbidden
762 ~0110000000 x 00000 =Forbidden
763 ~0110000000 x ~00000 =Forbidden
764
765
766 -- mfc1 ( )
767 pat0(10:0)
768 00000000000 =Arithm2
769 ~00000000000 =Forbidden
770
771
772 -- mtc1 ( )
773 pat0(10:0)
774 00000000000 =Safe
775 ~00000000000 =Forbidden
776
777
778 -- bc1 ( )
779 nd_tf(17:16)
780 00 =Branch # bc1f
781 01 =Branch # bc1t
782 10 =Branch # bc1fl
783 11 =Branch # bc1tl
784
785
786 -- sqrt ( )
787 pat0(20:16)
788 00000 =Safe
789 ~00000 =Forbidden
790
791
792 -- bc2 ( )
793 nd_tf(17:16)
794 00 =Forbidden # bc2f
795 01 =Forbidden # bc2t
796 10 =Forbidden # bc2fl
797 11 =Forbidden # bc2tl
798
799
800 -- c_cond_fmt ( )
801 pat0(7:6)
802 00 =Safe
803 ~00 =Forbidden
804
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698