M68000のmovem命令のレジスタリストがオールゼロのやつ

TcbnErik / 立花@桑島技研 @kg68k

movemのレジスタリストがオールゼロとかいう逆アセンブラ界の与太者 pic.twitter.com/JbaMH4pAPX

拡大

あくぞう @akuzo2p

@kg68k これ実行できるの？

TcbnErik / 立花@桑島技研 @kg68k

@akuzo2p 思いついたのが3日前なので、エミュで実行できる(0バイト転送＝何も起きないのと同義)のは確認しましたが、実MPUで試したことはないです。

TcbnErik / 立花@桑島技研 @kg68k

GNU assembler version 2.35 (m68k-elf)だと movem.l#0,-(%sp) movem.l(%sp)+,#0 これで通るけど、モトローラ書式というかHAS系ではどうすれば… #M68000

Makoto Kamada @kamadox

緩募。X68000実機(X68030を含まない)でこれをやったらどうなるかの確認。 twitter.com/kg68k/status/1… pic.twitter.com/tKuC04sTv6

拡大

Makoto Kamada @kamadox

メモリ不足でmewがバスエラーになる場合は200000を適宜減らしてください。

トラップ @x68trap

@kamadox XVI で試してみました。 pic.twitter.com/ge2RqwmqEW

拡大

Makoto Kamada @kamadox

@x68trap ありがとうございます！　同じ結果で安心しました。MOVEMは過去に何度も修正していてレジスタリストが空の場合も確認した覚えがあるのですがメモを見つけられなくて不安になったのでした。MOVEMの呪い再びとならなくてよかったです。

トラップ @x68trap

@kamadox お役に立てて光栄です。XEiJのみならず、昔から色々な物にお世話になっております。あらためまして感謝申し上げます m(_ _)m

Motorolaer @MB25015

@x68trap @kamadox 030などでも試してみました。 XVI＋xellent30 ・68000使用時はアドレスエラー ・68030使用時は何事もなく戻ってくる 020以降は奇数アドレスのワードアクセス可能な事がここでも有効。 pic.twitter.com/SY7ha4Cgxz

拡大

拡大

Motorolaer @MB25015

@x68trap @kamadox X68030+060turbo ・68030使用時 正常終了 ・68060使用時 正常終了 異常なし。 ちなみに、060→030切り替えのために電源を切りましたがDRAMの内容は揮発していなかったので横着してそのまま実行。。 pic.twitter.com/qhzA2Rq2Wa

拡大

拡大

Makoto Kamada @kamadox

@MB25015 @x68trap ありがとうございます。68030と68060のMOVEM.wl <ea>,<list>は<list>が空のとき<ea>をリードしないので、アドレスが奇数かどうかに関係なく何も起こらないのだろうと思います。

isaki @isaki68k

あのgasのmovemの書式はd0-d7/a0-a7が複雑すぎてパース出来なかったかする気がなかった賜物だと思うけど(知らんけど)、movemのリストがなかった時のニーモニック誰か考案してほしい…。>RT

isaki @isaki68k

nonoは仕方ないので movem noregs,-(sp) fmovem nofpn,-(sp) fmovem nofpc,-(sp) と表示してる。いまいちしっくりは来ていない。

isaki @isaki68k

movem だけなら何でもよかったんだけど(XM6iの時は nolist,-(sp)て単語にしてたはず)、fmovemはFP0-7かFPcrレジスタかによってバイナリも違うし空だった時の挙動も違うので区別しないといけないんだけど、命令語側で区別できなくてレジスタリストで区別しないといけないので難易度高い。

isaki @isaki68k

リストが空の{,f}movemなんてバイナリエディタで置かないと出てこんからまあええやろ…と普通は思うところだけど、LUNA-IとかいうマシンのPROMには普通にサブルーチンごとにこの命令が現れてだな…。

isaki @isaki68k

なので fmovem のリストが空の時やらEAが正しくない組み合わせの時の挙動を調べるテストコードを何年か前に書いた。今見るとソースにコメントなさすぎてつらいけど nono のソースアーカイブの exp/fmovem{c,n}.has がそれなので興味ある人はどうぞ。

isaki @isaki68k

fmovem FP0-7 が空の場合は転送しないだけで済むけど、fmovem FPcr のほうが空だと FPIAR を転送するっぽいという挙動をする。

isaki @isaki68k

一見謎だけどたぶん中身こうだよね? 0来るとは思ってなかった的な。 if (立ってるビット数>1) { // 複数レジスタ転送 } else if (FPCRのビット) { // FPCRを転送 } else if (FPSRのビット) { // FPSRを転送 } else { // FPIARを転送 }

isaki @isaki68k

なので話は戻って fmovem の空リストを2種類区別するデファクトな名前を誰かー。