GCCで関数の引数が渡らない

gcc Ver2.9 でSH-2の開発をしています。
通常に関数を作成し、引数を渡しているのですが、引数が渡らないという現象が起きています。
現象は、
１．引数はポインタではなく値渡しである
２．引数の値が０の時だけ正しく渡らない。値が０以外の時は正常にわたる
３．引数の型は一致している
４．引数は複数あるが、後半のいくつかがだめ（何個とまでは詳しく調べていません）
５．ある特定の関数の特定の呼び出しのみがだめで全てだめというわけではない
６．コンパイルオプションに -m2 をつけるとだめだが、-m1 オプションだと問題ない
７．最適化オプションをなくしても同じだった
といった状況です。

上記５からある特定の記述方法とか順序になるとだめになるのではないかといろいろ試してみたのですが見つけられません。６から記述方法に誤りがあるとも考えにくい状況です。コンパイラのバグといって片付けていいものなのかどうかです。どなたか同じような経験をされた方はいらっしゃいませんか。また関数呼び出しの場合、コンパイラがどうやって引数を渡すかご教授願えませんか。

No.3 回答者： toysmith 回答日時： 2003/01/09 18:07

イミディエイト値の0だけで発生する現象のようですね。

0Lや0Uでも同じ現象でしょうか？

イミディエイトな0だけが問題を起こすならint ZERO = 0;のようなグローバル変数を定義して、0の代わりに使うという手も…

この回答へのお礼

ご意見ありがとうございます。
残念ながらイミディエイト値の0だけで発生するわけではありません。
変数であってもその値が0とコンパイル時にわかる場合はだめなようです。
したがってローカル変数でint ZERO = 0;のように定義してもだめです。
しかし仰るようにグローバル変数でint ZERO = 0;のように定義すればコンパイル時にその値が0であるかどうかはわかりませんのでうまく回避できるようです。
しかし調子に乗って、const int ZERO = 0;などとやると変数の値が固定されてしまうのでコンパイラに0であることがバレて(笑)だめになってしまいます。

一応、その他の回避方法を試行錯誤で調べましたので書いておきます。但しコンパイラそのものを解析したわけではありませんので絶対にＯＫという保証はありません。

１．引数の数を４個以下にする。
２．引数リストの中にコンパイル時点で０になる計算式を含めない
３．０の引数は、引数リストの先頭に持ってくる

とりあえずこれで問題は起きてないみたいです。

お礼日時：2003/01/10 16:30

No.2 回答者： toysmith 回答日時： 2002/12/26 01:46

現在スタックへのプッシュ・ポップで引数を渡すコンパイラというのはほとんど存在しないでしょう。

効率が悪すぎ、関数呼び出しの度に大きなオーバーヘッドになります。

SH-2のアーキテクチャを良く知らないで、以下は一般論です。

１．レジスタが豊富で引数用レジスタが用意できる場合（ＲＩＳＣに多い）
SPARCなどで採用されている方法です。
レジスタのうちの１０～２０個程度を引数要に割り当てます（引数がそれ以上の場合は２の方法を併用）。
更に下位の関数を呼び出す場合はスタックに退避し、関数から戻ったときにレジスタに復帰します。
下位関数の呼び出しが無ければスタックへのアクセスが発生しないため、非常に高速です。

２．ベースポインタを利用する（ＣＩＳＣに多い）
スタック上の引数に対してベースポインタからの相対アドレッシングで直接アクセスします。
ベースポインタが用意されていないＣＰＵでは汎用アドレスレジスタを流用します。
稀にスタックポインタをベースポインタとして利用することもあるようです。

３．引数領域を別途用意する
スタックが無く、レジスタに余裕が無い場合にのみ利用されます。
汎用コンピュータのＣコンパイラで見られます。

スタックを利用する場合でもＰＵＳＨ・ＰＯＰ（ＰＵＬＬ）系の命令が使われることはほとんどありません。
1ワードを超えるデータ長の引数を扱うときに効率が悪くなるため、ベースポインタからの相対アドレスに対してＭＯＶＥ系の命令を使うことが多いでしょう。

gccなら-Sオプションでコンパイルすればアセンブラ展開形が確認できると思います。

この回答へのお礼

詳しい解説をありがとうございます。
デバッガで逆アセンブルをかけて解読しました。
結論は、コンパイラのバグのようです。

ＳＨ２は汎用レジスタの数が比較的少ないため、引数はレジスタとスタックで渡されています。
スタックはレジスタの相対アドレッシングで参照しています。問題の引数は通常、レジスタにイミディエイトで値をセットし、それをスタックにセットするという手順で渡されています。
ところが、問題の箇所で引数が０の場合、イミディエイトで値をセットする代わりに、ＭＡＣレジスタの値を転送しています。
このＭＡＣレジスタがクリアされていれば問題ないわけですがそれは行われていません。
デバッガでクリアされない値が渡っていくことを確認しました。
コードで書くとこんな具合です。
（XXXXには相対アドレスが入ります）
正常時：
MOV 　　　 #0, R1
MOV.L 　　R1, @(XXXX,R15) ;これで引数セット

NG時：
STS 　　　MACL, R1
MOV.L 　　R1, @(XXXX,R15) ;これで引数セット

残る問題は対策です。コンパイラのbugfixを待つのは正攻法ですが、そんな悠長なことは言ってられません。引数に０を使わないというのも無理があるし、引数０があるたびにＭＡＣレジスタクリアの命令を挿入するのも面倒だし弱っています。どういう記述をするとそうなるのかという法則を見出すしかないのでしょうか。

お礼日時：2002/12/26 13:37

No.1 回答者： hidebu- 回答日時： 2002/12/25 20:53

引数がいくつかっていうのが気になりますが、

0というのは定数リテラルで渡してるんでしょうか？
それともConst定数でしょうか？それとも変数に格納したもので？

引数を渡すときは、最終的にスタック領域にプッシュして関数ポインタにジャンプしてスタックからポップという動きになるのはどのコンパイラでも一緒ですからねえ。。。
単なるコンパイラのバグと片付けてしまっていいと思いますよ。
どうしても気になるんでしたら、逆アセンブルをかけてアセンブラにしてトレースしていけば詳しい動きがわかりますよ。（結果は同じなんですけどね^^;）