gdbシミュレータのバグ？

libbfdspをbfin-elf-gccのコードとリンクする実験が途中で破綻した件ですが、どうやらPizzaFactory Expressがつかっているbfin-elf-gdbのシミュレーターのバグじゃないかと疑っています。PFEのBfサポートは3.1.2.200703051526。再現は簡単で、以下のコードをビルドしてステップ実行するだけで、pack命令を実行するといきなりデバッギ・プロセスが終了します。

int main()
{

	asm("r6=pack(r2.H, r2.L) || i1+=4 || nop; ": : :"R2", "R6", "I1");
        return 0;
}

PFEのディスアセンブル・ペインには正しく命令が表示されていますので、シミュレータに何らかの問題があると思われます。思われる、と歯切れが悪いのは、他のプラットホームでのテストが難航しているからです。もうちょっと調べるつもりですが、打ち切ってlibfdspの試験に進むかもしれません。
追記:Ubuntuにインストールしたbfin-elf-gcc-3.4.xを使って、小さなプログラムを作り、libfdspをリンクしてみました。で、この.outファイルをVDSP++5.0に食わせたところ、ほんの少しレジスタをいじってやるだけできちんと動きました。crtとldさえ合わせこめば問題ないようです。