![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to fmoveto.php CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Isaki's NoNo m68k/m88k emulator] / nono / exp|
Return to fmoveto.php CVS log | Up to [Isaki's NoNo m68k/m88k emulator] / nono / exp |
1.1 root 1: ;
2: ; nono
3: ; Copyright (C) 2025 nono project
4: ;
5: ; Redistribution and use in source and binary forms, with or without
6: ; modification, are permitted provided that the following conditions
7: ; are met:
8: ; 1. Redistributions of source code must retain the above copyright
9: ; notice, this list of conditions and the following disclaimer.
10: ; 2. Redistributions in binary form must reproduce the above copyright
11: ; notice, this list of conditions and the following disclaimer in the
12: ; documentation and/or other materials provided with the distribution.
13: ;
14: ; THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
15: ; IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
16: ; OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
17: ; IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
18: ; INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
19: ; BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
20: ; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
21: ; AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
22: ; OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23: ; OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24: ; SUCH DAMAGE.
25:
26: ; FMOVE.? FPn,<ea> で例外の起きる <ea> を確認する。
27: ; あと不当命令のところで命令を処理してしまわないことを確認する。
28:
29: ; How to compile
30: ; > has fmoveto.has
31: ; > hlk fmoveto.o
32:
33: .include doscall.mac
34: .include iocscall.mac
35: .list
36: .cpu 68030
37:
38: PRINT .macro msg
39: pea.l msg
40: DOS _PRINT
41: addq.l #4,sp
42: .endm
43:
44: .text
45: .even
46:
47: <?php
48: // レジスタ割り当て
49: // d0-d3 work
50: // d4 d8(An,IX) の IX で使う。形式だけでいいので値は 0。
51: // d7 1=検査対象命令でFライン例外がおきた
52: // 2=FPSR の condition byte が変化した
53: // a0-a1 work
54: // a2 結果(1テストにつき、期待値.b と結果.b)バッファ
55: // a3 検査対象命令の次の位置 (Fライン例外から戻るのに使用)
56: // a4 元のFライン例外ハンドラ置き場
57: ?>
58: <?php
59: // サイズ名から dstfmt への変換。
60: $sizelist = array(
61: "B" => 6,
62: "W" => 4,
63: "L" => 0,
64: "S" => 1,
65: "D" => 5,
66: "X" => 2,
67: "P" => 3,
68: );
69: // EA 種別と、テストに使うモード(6ビット)、表示名。
70: $ealist = array(
71: "d" => array("mode" => 006, "name" => "Dn"), // d6 を使う
72: "a" => array("mode" => 010, "name" => "An"),
73: "m" => array("mode" => 020, "name" => "(An)"),
74: "mi" => array("mode" => 030, "name" => "(An)+"),
75: "md" => array("mode" => 040, "name" => "-(An)"),
76: "r" => array("mode" => 050, "name" => "d16(An)"),
77: "x" => array("mode" => 060, "name" => "d8(An,IX)"),
78: // ちょっとテストが難しいので保留。
79: //"w" => array("mode" => 071, "name" => "Abs",
80: "p" => array("mode" => 072, "name" => "(PC)"),
81: "i" => array("mode" => 074, "name" => "#imm"),
82: "o" => array("mode" => 075, "name" => "075"),
83: );
84:
85: // "exp_int", "exp_mem" はそれぞれ .BWLS と .DXP の場合の期待値。
86: // 下位 4 ビットが FPSR の Condition Byte で、
87: // 4ビット目はトラップの有無、%0 なら通過、%1 ならトラップを表す。
88: // Condition Byte には通常絶対成立しない $b を入れておいて
89: // これが変化するかしないかを調べる。
90: $testlist = array();
91:
92: // FMOVE.? FPn,<ea>
93: $table = array(
94: // +----- .B/W/L/S の期待値 (0が通過、1がトラップ)
95: // | +-- .D/X/P の期待値 (〃)
96: "d" => array(0, 1),
97: "a" => array(1, 1),
98: "m" => array(0, 0),
99: "mi" => array(0, 0),
100: "md" => array(0, 0),
101: "r" => array(0, 0),
102: "x" => array(0, 0),
103: "w" => array(0, 0),
104: "p" => array(1, 1),
105: "i" => array(1, 1),
106: "o" => array(1, 1),
107: );
108: foreach ($table as $eatype => $exparray) {
109: list ($exp_int, $exp_mem) = $exparray;
110: if (!isset($ealist[$eatype])) continue;
111: $eamode = $ealist[$eatype]['mode'];
112: $ei = ($exp_int == 1 ? 0x1b : 0x0b);
113: $em = ($exp_mem == 1 ? 0x1b : 0x0b);
114: $test = array(
115: "opname" => "fmove",
116: "is_store" => true,
117: "eatype" => $eatype,
118: "eamode" => $eamode,
119: "inst" => 0xf2006000 | ($eamode << 16),
120: "has_dstfmt"=> true,
121: "expected" => array(
122: "B" => $ei,
123: "W" => $ei,
124: "L" => $ei,
125: "S" => $ei,
126: "D" => $em,
127: "X" => $em,
128: "P" => $em,
129: ),
130: );
131: $testlist[] = $test;
132: }
133:
134: // Fgen.? <ea>,FPn (代表として FMOVE を使う)
135: $table = array(
136: // +----- .B/W/L/S の期待値 (0が通過、1がトラップ)
137: // | +-- .D/X/P の期待値 (〃)
138: "d" => array(0, 1),
139: "a" => array(1, 1),
140: "m" => array(0, 0),
141: "mi" => array(0, 0),
142: "md" => array(0, 0),
143: "r" => array(0, 0),
144: "x" => array(0, 0),
145: "w" => array(0, 0),
146: "p" => array(0, 0),
147: "i" => array(0, 0),
148: "o" => array(1, 1),
149: );
150: foreach ($table as $eatype => $exparray) {
151: list ($exp_int, $exp_mem) = $exparray;
152: if (!isset($ealist[$eatype])) continue;
153: $eamode = $ealist[$eatype]['mode'];
154: $ei = ($exp_int == 1 ? 0x1b : 0x04);
155: $em = ($exp_mem == 1 ? 0x1b : 0x04);
156: $test = array(
157: "opname" => "fgen",
158: "is_store" => false,
159: "eatype" => $eatype,
160: "eamode" => $eamode,
161: "inst" => 0xf2004000 | ($eamode << 16),
162: "has_dstfmt"=> true,
163: "expected" => array(
164: "B" => $ei,
165: "W" => $ei,
166: "L" => $ei,
167: "S" => $ei,
168: "D" => $em,
169: "X" => $em,
170: "P" => $em,
171: ),
172: );
173: $testlist[] = $test;
174: }
175: // FSCALE.? <ea>,FPn は NetBSD FPE が Fgen とは別パスで実装してあるので
176: // 同じ結果になることを確認する。
177: foreach ($table as $eatype => $exparray) {
178: list ($exp_int, $exp_mem) = $exparray;
179: if (!isset($ealist[$eatype])) continue;
180: $eamode = $ealist[$eatype]['mode'];
181: $ei = ($exp_int == 1 ? 0x1b : 0x04);
182: $em = ($exp_mem == 1 ? 0x1b : 0x04);
183: $test = array(
184: "opname" => "fscale",
185: "is_store" => false,
186: "eatype" => $eatype,
187: "eamode" => $eamode,
188: "inst" => 0xf2004026 | ($eamode << 16),
189: "has_dstfmt"=> true,
190: "expected" => array(
191: "B" => $ei,
192: "W" => $ei,
193: "L" => $ei,
194: "S" => $ei,
195: "D" => $em,
196: "X" => $em,
197: "P" => $em,
198: ),
199: );
200: $testlist[] = $test;
201: }
202:
203: // FScc.B <ea>。サイズは .B のみ。
204: // An と (PC), #imm に相当するところには FDBcc、FTRAPcc がいるので
205: // 検査しない(出来ない)。
206: $table = array(
207: // .B の期待値 (0が通過、1がトラップ)
208: "d" => 0,
209: "m" => 0,
210: "mi" => 0,
211: "md" => 0,
212: "r" => 0,
213: "x" => 0,
214: "w" => 0,
215: "o" => 1,
216: );
217: foreach ($table as $eatype => $exp_int) {
218: if (!isset($ealist[$eatype])) continue;
219: $eamode = $ealist[$eatype]['mode'];
220: $ei = ($exp_int == 1 ? 0x1b : 0x0b); // フラグは変化しない
221: $test = array(
222: "opname" => "fscc",
223: "is_store" => true,
224: "eatype" => $eatype,
225: "eamode" => $eamode,
226: "inst" => 0xf2400000 | ($eamode << 16), // FSF
227: "expected" => array(
228: "B" => $ei,
229: ),
230: );
231: $testlist[] = $test;
232: }
233:
234: // FMOVEM.X FPn,<ea>。
235: // FMOVEM 自体のテストではないのでレジスタリストは FPn 1つのみ。
236: $table = array(
237: // 期待値 (0が通過、1がトラップ)
238: "d" => 1,
239: "a" => 1,
240: "m" => 0,
241: "mi" => 1,
242: "md" => 0,
243: "r" => 0,
244: "x" => 0,
245: "w" => 0,
246: "p" => 1,
247: "i" => 1,
248: "o" => 1,
249: );
250: foreach ($table as $eatype => $exp_int) {
251: if (!isset($ealist[$eatype])) continue;
252: $eamode = $ealist[$eatype]['mode'];
253: $ei = ($exp_int == 1 ? 0x1b : 0x0b); // フラグは変化しない
254: $cmode = ($eatype == "md") ? 0 : 0x1000;
255: $test = array(
256: "opname" => "fmovem_rm",
257: "is_store" => true,
258: "eatype" => $eatype,
259: "eamode" => $eamode,
260: "inst" => 0xf200e001 | ($eamode << 16) | $cmode,
261: "expected" => array(
262: "X" => $ei,
263: ),
264: );
265: $testlist[] = $test;
266: }
267:
268: // FMOVEM.X <ea>,FPn。
269: // FMOVEM 自体のテストではないのでレジスタリストは FPn 1つのみ。
270: $table = array(
271: // 期待値 (0が通過、1がトラップ)
272: "d" => 1,
273: "a" => 1,
274: "m" => 0,
275: "mi" => 0,
276: "md" => 1,
277: "r" => 0,
278: "x" => 0,
279: "w" => 0,
280: "p" => 0,
281: "i" => 1,
282: "o" => 1,
283: );
284: foreach ($table as $eatype => $exp_int) {
285: if (!isset($ealist[$eatype])) continue;
286: $eamode = $ealist[$eatype]['mode'];
287: $ei = ($exp_int == 1 ? 0x1b : 0x0b); // フラグは変化しない
288: $cmode = ($eatype == "md") ? 0 : 0x1000;
289: $test = array(
290: "opname" => "fmovem_mr",
291: "is_store" => false,
292: "eatype" => $eatype,
293: "eamode" => $eamode,
294: "inst" => 0xf200c001 | ($eamode << 16) | $cmode,
295: "expected" => array(
296: "X" => $ei,
297: ),
298: );
299: $testlist[] = $test;
300: }
301:
302: $crlist = array(
303: "c" => array("mode" => (4 << 10), "name" => "FPCR"),
304: "s" => array("mode" => (2 << 10), "name" => "FPSR"),
305: "i" => array("mode" => (1 << 10), "name" => "FPIAR"),
306: "m" => array("mode" => (3 << 10), "name" => "FPSR/FPIAR"),
307: );
308:
309: // FMOVEM.L FPcr,<ea>。
310: // FPIAR かどうか、リストが複数かどうかで変わる。
311: // 横はサイズではなくレジスタリストをとる。
312: $table = array(
313: // FPCR FPSR FPIAR multi
314: "d" => array( 0, 0, 0, 1), // 単一レジスタのみ可能
315: "a" => array( 1, 1, 0, 1), // FPIAR のみ可能
316: "m" => array( 0, 0, 0, 0),
317: "mi" => array( 0, 0, 0, 0),
318: "md" => array( 0, 0, 0, 0),
319: "r" => array( 0, 0, 0, 0),
320: "x" => array( 0, 0, 0, 0),
321: "w" => array( 0, 0, 0, 0),
322: "p" => array( 1, 1, 1, 1),
323: "i" => array( 1, 1, 1, 1),
324: "o" => array( 1, 1, 1, 1),
325: );
326: foreach ($table as $eatype => $exparray) {
327: list ($exp_cr, $exp_sr, $exp_ir, $exp_m) = $exparray;
328: if (!isset($ealist[$eatype])) continue;
329: $eamode = $ealist[$eatype]['mode'];
330: // フラグは変化しない
331: $ec = ($exp_cr == 1 ? 0x1b : 0x0b);
332: $es = ($exp_sr == 1 ? 0x1b : 0x0b);
333: $ei = ($exp_ir == 1 ? 0x1b : 0x0b);
334: $em = ($exp_m == 1 ? 0x1b : 0x0b);
335: $test = array(
336: "opname" => "fmovem_cm",
337: "is_store" => true,
338: "eatype" => $eatype,
339: "eamode" => $eamode,
340: "inst" => 0xf200a000 | ($eamode << 16),
341: "fmovemc" => true,
342: "expected" => array(
343: "c" => $ec,
344: "s" => $es,
345: "i" => $ei,
346: "m" => $em,
347: ),
348: );
349: $testlist[] = $test;
350: }
351:
352: // FMOVEM.L <ea>,FPcr。
353: // FPIAR かどうか、リストが複数かどうかで変わる。
354: $table = array(
355: // FPCR FPSR FPIAR multi
356: "d" => array( 0, 0, 0, 1), // 単一レジスタのみ可能
357: "a" => array( 1, 1, 0, 1), // FPIAR のみ可能
358: "m" => array( 0, 0, 0, 0),
359: "mi" => array( 0, 0, 0, 0),
360: "md" => array( 0, 0, 0, 0),
361: "r" => array( 0, 0, 0, 0),
362: "x" => array( 0, 0, 0, 0),
363: "w" => array( 0, 0, 0, 0),
364: "p" => array( 0, 0, 0, 0),
365: "i" => array( 0, 0, 0, 0),
366: "o" => array( 1, 1, 1, 1),
367: );
368: foreach ($table as $eatype => $exparray) {
369: list ($exp_cr, $exp_sr, $exp_ir, $exp_m) = $exparray;
370: if (!isset($ealist[$eatype])) continue;
371: $eamode = $ealist[$eatype]['mode'];
372: // フラグは FPSR への代入だけ変化することになる
373: $ec = ($exp_cr == 1 ? 0x1b : 0x0b);
374: $es = ($exp_sr == 1 ? 0x1b : 0x00); // FPSR
375: $ei = ($exp_ir == 1 ? 0x1b : 0x0b);
376: $em = ($exp_m == 1 ? 0x1b : 0x00); // FPSR/FPIAR
377: $test = array(
378: "opname" => "fmovem_mc",
379: "is_store" => false,
380: "eatype" => $eatype,
381: "eamode" => $eamode,
382: "inst" => 0xf2008000 | ($eamode << 16),
383: "fmovemc" => true,
384: "expected" => array(
385: "c" => $ec,
386: "s" => $es,
387: "i" => $ei,
388: "m" => $em,
389: ),
390: );
391: $testlist[] = $test;
392: }
393:
394:
395: // コマンド名を抽出する。
396: $cmdlist = array();
397: foreach ($testlist as $test) {
398: $opname = $test['opname'];
399: if (!isset($cmdlist[$opname])) {
400: $cmdlist[$opname] = $opname;
401: }
402: }
403: ?>
404:
405: start:
406: bsr parse_arg
407: clr.l -(sp)
408: DOS _SUPER
409:
410: fmovem.x fp0-fp7,-(sp)
411: fmovem.l fpcr/fpsr/fpiar,-(sp)
412:
413: moveq.l #0,d0
414: fmove.s d0,fp0 ; FP0 = +0.0
415: fmove.l d0,fpcr ; Init round prec, round mode.
416: move.l d0,failed ; Init failed count.
417:
418: <?php
419: $opname = "";
420: foreach ($testlist as $test) {
421: if ($opname != $test['opname']) {
422: $opname = $test['opname'];
423: out("@@:");
424: out("tst.b is_{$opname}(pc)");
425: out("beq @f");
426: out("PRINT msg_head_{$opname}(pc)");
427: $n = count($test['expected']);
428: if ($n == 4 || $n == 7) {
429: out("PRINT msg_head_guide{$n}(pc)");
430: }
431: }
432: out(" bsr test_{$opname}_{$test['eatype']}");
433: }
434: ?>
435: @@:
436: tst.l failed(pc)
437: beq @f
438: PRINT msg_failed(pc)
439: @@:
440: fmovem.l (sp)+,fpcr/fpsr/fpiar
441: fmovem.x (sp)+,fp0-fp7
442: DOS _EXIT
443:
444: <?php
445: // ここからテスト本体を展開。
446: // テスト中では Dn の場合の格納先は d6、アドレスは A0。
447: foreach ($testlist as $test) {
448: $eatype = $test['eatype'];
449: $eaname = $ealist[$eatype]['name'];
450: $expected_array = $test['expected'];
451: out("test_{$test['opname']}_{$eatype}:");
452: out(" lea.l result(pc),a2");
453: foreach ($expected_array as $sizename => $expected) {
454: $inst = $test['inst'];
455: if (($test['has_dstfmt'] ?? false) != false) {
456: $dstfmt = $sizelist[$sizename];
457: $inst |= ($dstfmt << 10);
458: }
459: if (($test['fmovemc'] ?? false) != false) {
460: // FMOVEM FPcr の時だけループ変数は $sizename ではなく $crtype。
461: $crtype = $sizename;
462: $inst |= $crlist[$crtype]['mode'];
463: $crname = $crlist[$crtype]['name'];
464: }
465: switch ($test['opname']) {
466: case "fmove":
467: out(" ; FMOVE.{$sizename} FPn,{$eaname}");
468: break;
469: case "fgen":
470: out(" ; Fgen.{$sizename} {$eaname},FPn");
471: break;
472: case "fscale":
473: out(" ; FSCALE.{$sizename} {$eaname},FPn");
474: break;
475: case "fscc":
476: out(" ; FScc.B {$eaname}");
477: break;
478: case "fmovem_rm":
479: out(" ; FMOVEM.X FPn,{$eaname}");
480: break;
481: case "fmovem_mr":
482: out(" ; FMOVEM.X {$eaname},FPn");
483: break;
484: case "fmovem_cm":
485: out(" ; FMOVEM.L {$crname},{$eaname}");
486: break;
487: case "fmovem_mc":
488: out(" ; FMOVEM.L {$eaname},{$crname}");
489: break;
490: }
491: $expected = sprintf("$%02x", $expected);
492: out(" move.b #{$expected},(a2)+");
493: // ConditionByte の N, Inf, NAN を立てる。Z は下げておく。
494: out(" fmovem.l #$0b000000,fpsr");
495: out(" bsr set_fline");
496: out(" moveq.l #0,d7");
497: // 命令を作成。
498: $post = "";
499: $dir = ($test['is_store'] ? "store" : "load");
500: switch ("{$dir}_{$eatype}") {
501: // 書き込み先のポインタだけ設定。
502: case "store_m":
503: case "store_mi":
504: out(" lea.l workarea(pc),a0");
505: break;
506: case "store_md":
507: out(" lea.l workarea+12(pc),a0");
508: break;
509: case "store_r":
510: out(" lea.l workarea(pc),a0");
511: $post = ".dc.w $0000";
512: break;
513: case "store_x":
514: out(" moveq.l #0,d4");
515: out(" lea.l workarea(pc),a0");
516: $post = ".dc.w $4000";
517: break;
518:
519: // 読み込み元になるデータもゼロで用意する必要がある。
520: case "load_d":
521: out(" moveq.l #0,d6");
522: break;
523: case "load_m":
524: case "load_mi":
525: out(" lea.l workarea+12(pc),a0");
526: out(" move.l d7,-(a0)");
527: out(" move.l d7,-(a0)");
528: out(" move.l d7,-(a0)");
529: break;
530: case "load_md":
531: out(" lea.l workarea(pc),a0");
532: out(" move.l d7,(a0)+");
533: out(" move.l d7,(a0)+");
534: out(" move.l d7,(a0)+");
535: break;
536: case "load_r":
537: out(" lea.l workarea+12(pc),a0");
538: out(" move.l d7,-(a0)");
539: out(" move.l d7,-(a0)");
540: out(" move.l d7,-(a0)");
541: $post = ".dc.w $0000";
542: break;
543: case "load_x":
544: out(" moveq.l #0,d4");
545: out(" lea.l workarea+12(pc),a0");
546: out(" move.l d7,-(a0)");
547: out(" move.l d7,-(a0)");
548: out(" move.l d7,-(a0)");
549: $post = ".dc.w $4000";
550: break;
551: case "load_p":
552: out(" bra @f");
553: out(" .dc.l 0, 0, 0");
554: out("@@:");
555: // 命令本体(4) + 直前のLEA(6) + ここ(12)
556: $post = ".dc.w -4-6-12";
557: break;
558: case "load_i":
559: switch ($sizename) {
560: case "B":
561: case "W":
562: $post = ".dc.w 0";
563: break;
564: case "L":
565: case "S":
566: case "c": // FPCR
567: case "s": // FPSR
568: case "i": // FPIAR
569: $post = ".dc.l 0";
570: break;
571: case "D":
572: case "m": // FPSR/FPIAR
573: $post = ".dc.l 0, 0";
574: break;
575: case "X":
576: case "P":
577: $post = ".dc.l 0, 0, 0";
578: break;
579: }
580: break;
581:
582: default:
583: break;
584: }
585: out(" lea.l @f,a3");
586: out(" .dc.l $%08x", $inst);
587: if (strlen($post) > 0) {
588: out(" {$post}");
589: }
590: out("@@:");
591: out(" bsr restore_fline");
592: out(" fmovem.l fpsr,d0");
593: out(" rol.l #8,d0");
594: out(" or.l d7,d0");
595: out(" move.b d0,(a2)+");
596: out("");
597: }
598: out(" lea.l msg_test_{$test['eatype']},a0");
599: out(" moveq.l #" . count($expected_array) . "-1,d0");
600: out(" bsr print_result");
601: out(" rts");
602: out("");
603: }
604: ?>
605: <?php
606: // 1行を出力する。引数は printf のように fmt... で指定可能。
607: // 改行はこちらで付加する。
608: function out()
609: {
610: $args = func_get_args();
611: $fmt = array_shift($args);
612: print vsprintf($fmt, $args);
613: print "\n";
614: }
615: ?>
616:
617: ; 引数を処理する。
618: ; 引数がなければヘルプを表示。
619: ; 引数... があれば列挙されたテストを実行。
620: ; "all" ならすべて実行。
621: parse_arg:
622: movem.l d0-d2/a0,-(sp)
623: tst.b (a2)
624: beq parse_done
625: parse_loop:
626: adda.l #1,a2
627: move.b (a2),d0 ; '\0' なら終了
628: beq parse_done
629:
630: cmpi.b #' ',d0
631: beq parse_loop
632: cmpi.b #$09,d0
633: beq parse_loop
634:
635: ; "help"
636: lea.l cmd_help(pc),a0
637: bsr match
638: beq print_help
639:
640: ; "all"
641: lea.l cmd_all(pc),a0
642: bsr match
643: bne @f
644: <?php
645: foreach ($cmdlist as $cmd) {
646: out(" st.b is_{$cmd}");
647: }
648: ?>
649: ; 後は無視していいだろう。
650: bra parse_done
651: @@:
652: <?php
653: // 個別コマンドのループ
654: foreach ($cmdlist as $cmd) {
655: out(" ; \"{$cmd}\"");
656: out(" lea.l cmd_{$cmd}(pc),a0");
657: out(" bsr match");
658: out(" bne @f");
659: out(" st.b is_{$cmd}");
660: out(" bra parse_loop");
661: out("@@:");
662: }
663: ?>
664:
665: parse_done:
666: ; どのコマンドも実行になってなければヘルプを表示。
667: moveq.l #0,d0
668: lea.l is_tests(pc),a0
669: moveq.l #<?php print count($cmdlist); ?>-1,d1
670: @@:
671: or.b (a0)+,d0
672: dbra d1,@b
673: beq print_help
674:
675: movem.l (sp)+,d0-d2/a0
676: rts
677:
678: ; ヘルプを表示して終了。
679: print_help:
680: PRINT msg_help(pc)
681: DOS _EXIT
682:
683: ; (a2) からの単語が (a0) からのゼロ終端文字列と一致するか。
684: ; 一致すれば d0 = 0 を返して (a2) は単語の最後の1文字を指すようにする。
685: ; 一致しなければ d0 != 0 を返して (a2) は元の位置のまま。
686: match:
687: movem.l a1,-(sp)
688: movea.l a2,a1 ; 戻り値用
689: match_loop:
690: move.b (a2)+,d0
691: cmpi.b #' ',d0 ; d0 が ' ' なら '\0' に
692: bne @f
693: moveq.l #0,d0
694: bra match_main
695: @@:
696: cmpi.b #$09,d0 ; d0 が TAB なら '\0' に
697: bne match_main
698: moveq.l #0,d0
699: match_main:
700: ; この状態で比較
701: cmp.b (a0)+,d0
702: bne not_match
703: ; '\0' 以外で一致したら次の文字へ。
704: tst.b d0
705: bne match_loop
706: ; '\0' で一致したので完了。
707: suba.l #1,a2
708: moveq.l #0,d0
709: movem.l (sp)+,a1
710: rts
711:
712: not_match:
713: ; 不一致なので a2 を元に戻す。
714: movea.l a1,a2
715: moveq.l #1,d0
716: movem.l (sp)+,a1
717: rts
718:
719: ; 結果を1行表示する。
720: ; A0 にテスト名、D0 に(テスト数-1)を入れて呼ぶこと。
721: ;
722: ; A2 からの result バッファは 2バイト1組で、
723: ; +0 バイト目が期待値、bit4 がトラップの有無、bit3-0 が ConditionByte。
724: ; +1 バイト目が結果値、構造は同じ。
725: ;
726: ; 期待値 結果
727: ; (0<<4)|(x) (0<<4)|(x) pass:OK
728: ; (0<<4)|(x) (0<<4)|(y) flag:FAIL
729: ; (0<<4)|(x) (1<<4)|(x) trap:FAIL
730: ; (0<<4)|(x) (1<<4)|(y) trap:FAIL
731: ; (1<<4)|(x) (0<<4)|(x) pass:FAIL
732: ; (1<<4)|(x) (0<<4)|(y) pass:FAIL
733: ; (1<<4)|(x) (1<<4)|(x) trap:OK
734: ; (1<<4)|(x) (1<<4)|(y) flag:FAIL
735: print_result:
736: movem.l d0-d4/a2,-(sp)
737: move.l d0,d4
738: PRINT (a0)
739: lea.l result(pc),a2
740: moveq.l #0,d0
741: moveq.l #0,d1
742: prloop:
743: move.b (a2)+,d0 ; 期待値
744: move.b (a2)+,d1 ; 結果
745: ; 先に failed のカウント
746: cmp.b d1,d0
747: beq @f
748: addi.l #1,failed
749: @@:
750: bfextu d0{#27:#1},d2 ; 期待値のトラップビット
751: bfextu d1{#27:#1},d3 ; 結果のトラップビット
752: andi.b #$0f,d0
753: andi.b #$0f,d1
754: cmp.b d1,d0
755: sne.b d0
756: neg.b d0 ; d0 は一致なら $0、そうでなければ $1
757: lsl.l #1,d3 ; d3 は結果がトラップなら $2、通過なら $0
758: or.b d3,d0
759: lsl.l #2,d2 ; d2 は期待値がトラップなら $4、通過なら $0
760: or.b d2,d0
761: add.b d0,d0 ; d0 *= 2
762: PRINT msg_result(pc,d0.w*8)
763: dbra d4,prloop
764: PRINT msg_crlf(pc)
765: movem.l (sp)+,d0-d4/a2
766: rts
767:
768: ; Fライン例外をテスト用のものに差し替える。
769: ; 変更前のアドレスを a4 に格納する。
770: set_fline:
771: movem.l d0-d1/a1,-(sp)
772: moveq.l #$b,d1
773: lea.l fline_handler(pc),a1
774: IOCS _B_INTVCS
775: movea.l d0,a4
776: movem.l (sp)+,d0-d1/a1
777: rts
778:
779: ; Fライン例外を元に戻す。
780: restore_fline:
781: movem.l d0-d1/a1,-(sp)
782: moveq.l #$b,d1
783: movea.l a4,a1
784: IOCS _B_INTVCS
785: movem.l (sp)+,d0-d1/a1
786: rts
787:
788: ; Fライン例外ハンドラ
789: ; a3 に戻りアドレスをセットしてあること
790: ; d7 を $10 にして帰る
791: fline_handler:
792: moveq.l #$10,d7
793: move.l a3,2(sp)
794: rte
795:
796: <?php
797: foreach ($ealist as $eatype => $arr) {
798: $eaname = $arr['name'];
799: while (strlen($eaname) < 9) {
800: $eaname .= " ";
801: }
802: out("msg_test_{$eatype}: .dc.b \" {$eaname}\",0");
803: }
804: ?>
805:
806: msg_head_fmove:
807: .dc.b "FMOVEtomem ",0
808: msg_head_fgen:
809: .dc.b "Fgen ",0
810: msg_head_fscale:
811: .dc.b "FSCALE ",0
812: msg_head_fmovem_cm:
813: .dc.b "FMOVEM_cm ",0
814: msg_head_fmovem_mc:
815: .dc.b "FMOVEM_mc ",0
816: msg_head_fscc:
817: .dc.b "FScc .B",$d,$a,0
818: msg_head_fmovem_rm:
819: .dc.b "FMOVEM_rm .X",$d,$a,0
820: msg_head_fmovem_mr:
821: .dc.b "FMOVEM_mr .X",$d,$a,0
822:
823: msg_head_guide4:
824: .dc.b "FPCR "
825: .dc.b "FPSR "
826: .dc.b "FPIAR "
827: .dc.b "FPSR/FPIAR",$d,$a,0
828:
829: msg_head_guide7:
830: .dc.b ".B "
831: .dc.b ".W "
832: .dc.b ".L "
833: .dc.b ".S "
834: .dc.b ".D "
835: .dc.b ".X "
836: .dc.b ".P",$d,$a,0
837:
838: msg_result:
839: .dc.b " pass:OK ",0,0,0,0,0,0
840: .dc.b " flag:FAIL",0,0,0,0,0,0
841: .dc.b " trap:FAIL",0,0,0,0,0,0
842: .dc.b " trap:FAIL",0,0,0,0,0,0
843: .dc.b " pass:FAIL",0,0,0,0,0,0
844: .dc.b " pass:FAIL",0,0,0,0,0,0
845: .dc.b " trap:OK ",0,0,0,0,0,0
846: .dc.b " flag:FAIL",0
847:
848: msg_failed:
849: .dc.b "FAILED" ; ,$d,$a,0
850: msg_crlf:
851: .dc.b $d,$a,0
852:
853: msg_help:
854: .dc.b "usage: { 'all' | 'help' | testnames... }",$d,$a
855: .dc.b " testnames:"
856: <?php
857: foreach ($cmdlist as $cmd) {
858: out(" .dc.b \" {$cmd}\"");
859: }
860: ?>
861: .dc.b $d,$a,0
862:
863: cmd_help:
864: .dc.b "help",0
865: cmd_all:
866: .dc.b "all",0
867: <?php
868: foreach ($cmdlist as $cmd) {
869: out("cmd_{$cmd}:");
870: out(" .dc.b \"{$cmd}\",0");
871: }
872: ?>
873:
874: .bss
875: .even
876: result:
877: .ds.w <?php print count($sizelist)."\n"; ?>
878: .align 4
879: workarea:
880: .ds.l 3
881: failed:
882: .ds.l 1
883:
884: ; テストを実行する場合は !0
885: is_tests:
886: <?php
887: foreach ($cmdlist as $cmd) {
888: out("is_{$cmd}:");
889: out(" .ds.b 1");
890: }
891: ?>
892:
893: .end start
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.