SH C/C++コンパイラ Ver.7.1.01-Ver.7.1.03で対策した制限事項

発生条件：

次のいずれかの条件を満たす時、発生する可能性がある。

(a)

unsigned型の変数をfloat型にキャストしている。

(b)

unsigned型の変数をdouble型にキャストし、かつdouble=floatまたはfpu=singleオプションを指定、またはlong double型にキャストし、かつfpu=singleを指定している。

7. ld_ext()、st_ext()使用時のスタックポインタ不正移動

現象：

SH-4でld_exp()またはst_ext()組み込み関数使用時にパラメータにローカル配列を指定した場合、不正にスタックポインタを移動するコードを出力する場合がある。

[例]
    #include <machine.h>

    void main() {
        float table[4][4], data1[4][4], data2[4][4];
                :
        ld_ext(table);
        mtrx4mul(data1,data2);
                :
    }
[出力コード]
                :
    FRCHG
    FMOV.S   @R15+,FR0  ; R15を更新、この間で例外が発生した場合
　　　　　　　　　　　　　　　　　　　　上位のスタック領域が破壊
    FMOV.S   @R15+,FR1  ;                         |
    FMOV.S   @R15+,FR2  ;                         |
    FMOV.S   @R15+,FR3  ;                         |
    FMOV.S   @R15+,FR4  ;                         |
    FMOV.S   @R15+,FR5  ;                         |
    FMOV.S   @R15+,FR6  ;                         |
    FMOV.S   @R15+,FR7  ;                         |
    FMOV.S   @R15+,FR8  ;                         |
    FMOV.S   @R15+,FR9  ;                         |
    FMOV.S   @R15+,FR10 ;                         |
    FMOV.S   @R15+,FR11 ;                         |
    FMOV.S   @R15+,FR12 ;                         |
    FMOV.S   @R15+,FR13 ;                         |
    FMOV.S   @R15+,FR14 ;                         |
    FMOV.S   @R15+,FR15 ;                         |
    FRCHG               ;                         |
    ADD      #-64,R15   ;                         V
                :

[例]
    extern char g;
    #define DATA1A   (&g+2147483647)
    #define DATA10A  DATA1A,  DATA1A,  DATA1A,  DATA1A,  DATA1A,\
                     DATA1A,  DATA1A,  DATA1A,  DATA1A,  DATA1A
    #define DATA100A DATA10A, DATA10A, DATA10A, DATA10A, DATA10A,\
                     DATA10A, DATA10A, DATA10A, DATA10A, DATA10A

    /* 以下は(変数の数+offsetの合計桁数)=(3001+10*3001)=33011>33000となる */
    char *a1[1000] = {
        DATA100A, DATA100A, DATA100A, DATA100A, DATA100A,
        DATA100A, DATA100A, DATA100A, DATA100A, DATA100A
    };
    char *a2[1000] = {
        DATA100A, DATA100A, DATA100A, DATA100A, DATA100A,
        DATA100A, DATA100A, DATA100A, DATA100A, DATA100A
    };
    char *a3[1000] = {
        DATA100A, DATA100A, DATA100A, DATA100A, DATA100A,
        DATA100A, DATA100A, DATA100A, DATA100A, DATA100A
    };
    char *a = DATA1A;

[例]
  int i = 319;
  unsigned char v = 97;
  main()
  {
      int f;
      for(f=0; f<5; f++){
          i = i - v;   /* -vの結果がゼロ拡張されて演算される。*/
      }
  }

[例]
  unsigned short US = 256;
  int I;
  float F;

  main(){
      char c;
      c = US;      /* short型変数をchar型変数に型変換 */
      I = 3 & c;   /* char 型変数がレジスタに割り付く */
      F = c;       /* char 型から float 型への型変換 */
  }
[出力コード]
  _main:
    MOV.L    _US,R6
    MOV.L    _I,R5
    MOV.W    @R6,R0  /* 256 -> R0  char型への型変換EXTUが出力されない */
    LDS      R0,FPUL /* 256のままfloatに変換している */
        :

[例]
  double   dd;
  struct   tag {
      short  aa;
      long   bb;
      char   cc:5;
  }   str;
  main()
  {
      int i;
      str.bb = 10;
      str.aa = 10;
      for(i=5; i>=0; i--){
          str.cc = str.aa++;
          dd = str.bb;
      }
  }
[出力コード]
  _main:
    MOV.L    R14,@-R15
    MOV      #10,R5     ; H'0000000A
    MOV.L    L13+2,R2   ; _dd
    LDS      R5,FPUL
    MOV.L    L13+6,R7   ; _str
    FLOAT    FPUL,DR8   ;　LDS R2 FPSCRをまたいでループ外に移動
    ADD      #8,R2
    MOV      #8,R1      ; H'00000008
        ：
  L11:
    MOV.B       @(8,R7),R0
    MOV         R0,R6
        ：
    DT          R4
    OR          R1,R2
    LDS         R2,FPSCR
   ; FLOAT       FPUL,DR8　　　　　　　　　移動前の位置
    ADD         #1,R5
        ：

[例]
複数の変数に対して同じレジスタを割り付けてしまいレジスタ内容が破壊されている。
  for(i1 = 0; i1 < max1 ; i1++) {
      a = b;
      for(i2 = 0; i2 < max2 ; i2++) {     /* (イ) */
          c = x + b;                      /* (ロ) */
      }                                   /* (ハ) */
      ans = a + c;
  }
[出力コード]
    MOV.L  @(R0,R15),R5   ;a にR5が割り付いている
      :
    MOV.L  R5,@(R0,R15)   ;aの退避
      :                     ;ループ入口(イ)
    MOV.L  @(R0,R15),R5   ;c にR5を割り付けた
      :
  L1:
      :                     ;ループ本体(ロ)(a の参照無し)
    MOV    Rn,R5          ; c = x + b の結果をR5に格納
      :
    BF  L1
      :                     ;ループ出口(ハ)
    MOV.L  @(R0,R15),R5   ;cを退避せずにR5を上書き
      :
    MOV.L  R5,Rn          ;破壊されたc の値をロードしている

[例]
  double d0;
  float f0, f1, f2;
  main
  {
      int i;
      for(i = 0; i < 100; i++){
          d0++;
          f1 = f1 + f0;
      }
  }
[出力コード]
  _main:                   ; function: main
    MOV.L    L13+2,R1   ; _d0
    MOVA     L13+6,R0
          ： 
  L11:
    STS      FPSCR,R2
    DT       R6
    OR       R5,R2
    LDS      R2,FPSCR
    FADD     DR4,DR6    ; <--この後にSTS FPSCR,R2が必要
    AND      R4,R2
    LDS      R2,FPSCR
    BF/S     L11
    FADD     FR9,FR8
    ADD      #8,R1
          ：

[例] 
　実行時ルーチン(__itod_a)への引数(unsigned long int) R0 に
　cを符号拡張した値を渡していない。
  double D;
  int I;
  unsigned short US = 256;
  func2(){
      char c;
      c = US;
      I = 3 & c;
      D = c;
  }
[出力コード]
  _func2:
    STS.L    PR,@-R15
    ADD      #-12,R15
    MOV.L    L20,R6     ; _US
    MOV.L    L20+4,R5   ; _I
    MOV.W    @R6,R2
    MOV.L    L20+16,R6  ; _D
    MOV      R2,R0
    AND      #3,R0
    MOV.L    R6,@R15
    MOV.L    L20+20,R6  ; __itod_a
    MOV.L    R0,@R5     ; <--この後に EXTS.B  R2,R2が必要
    JSR      @R6
    MOV      R2,R0

[例]
  typedef struct {
      int aaa;
  } ST;
  void main()
  {
      ((ST (*)[2])0x10000)[0]->aaa = 100;
           /* 0x10000[0][0].aaaへの設定が正しく行われない */
  }