なんだか

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57232
internal compiler errorになるとのこと

var-tracking.cでエラーになっているので関連オプションに的を絞ってあれやこれややってみました。
  -fvar-tracking              変数追跡を実施する
  -fvar-tracking-assignments  Perform variable tracking by annotating
  -fvar-tracking-assignments-toggle Toggle -fvar-tracking-assignments
  -fvar-tracking-uninit       Perform variable tracking and also tag variables

newlibをmakeを下のようにするとエラーは回避出来ます。
make AM_CFLAGS='-fomit-frame-pointer -fno-var-tracking'

これでは、気に入らないと思い
make AM_CFLAGS='-fomit-frame-pointer -fvar-tracking-assignments-toggle'
これを試したところ、見事に回避出来ました。

[0回]

mingw32およびmsysのインストール後、mingwのwgetをインストールする。

mingw32のshellを起動する
mingw-getでパケージ管理できるようになってました。(2013.01.22)

$ mingw-get install msys-wget msys-libbz2

$ cd /mingw
$ wget http://sourceforge.net/projects/mingw/files/MinGW/Base/gmp/gmp-5.0.1-1/gmp-5.0.1-1-mingw32-dev.tar.lzma/download
$ tar xJf gmp-5.0.1-1-mingw32-dev.tar.lzma
$ wget http://sourceforge.net/projects/mingw/files/MinGW/Base/mpfr/mpfr-2.4.1-1/mpfr-2.4.1-1-mingw32-dev.tar.lzma/download
$ tar xJf mpfr-2.4.1-1/mpfr-2.4.1-1-mingw32-dev.tar.lzma
$ wget http://sourceforge.net/projects/mingw/files/MinGW/Base/mpc/mpc-0.8.1-1/mpc-0.8.1-1-mingw32-dev.tar.lzma/download
$ tar xJf mpc-0.8.1-1-mingw32-dev.tar.lzma

$ mingw-get install mingw32-libiconv-dev mingw32-gmp-dev mingw32-mpfr-dev mingw32-mpc-dev

$ notepad /etc/fstab
C:\rx-elf /rx-elf
を追加する

$ cd ~
$ mkdir binutils
$ wget http://www.dnsbalance.ring.gr.jp/archives/GNU/binutils/binutils-2.23.1.tar.bz2
$ tar xjf binutils-2.23.1.tar.bz2
$ mkdir rx-elf
$ cd rx-elf
$ ../binutils-2.23.1/configure --prefix=/rx-elf --target=rx-elf
$ make
$ make install
$ export PATH=/rx-elf/bin:$PATH
$ cd ../..
$ mkdir gcc
$ cd gcc
$ wget http://www.dnsbalance.ring.gr.jp/archives/lang/egcs/releases/gcc-4.7.2/gcc-4.7.2.tar.bz2
$ tar xjf gcc-4.7.2.tar.bz2
$ mkdir rx-elf
$ cd rx-elf
$ ../gcc-4.7.2/configure --prefix=/rx-elf --target=rx-elf --enable-languages=c --disable-win32-registry
$ make all-gcc
$ make install-gcc
$ cd ../..
$ mkdir newlib
$ cd newlib
$ wget newlib-2.0.0.tar.gz
$ tar xf newlib-2.0.0.tar.gz
$ mkdir rx-elf
$ cd rx-elf
$ ../newlib-2.0.0/configure --prefix=/rx-elf  --target=rx-elf
$ make
$ make install
$ cd ../../gcc
$ rm rx-elf -fr
$ mkdir rx-elf
$ cd rx-elf
$ ../gcc-4.7.2/configure --prefix=/rx-elf --target=rx-elf --enable-languages=c,c++ --disable-win32-registry --with-newlib
$ make
$ make install
$ LANG=ja_JP@ rx-elf-gcc -v
組み込み spec を使用しています。
COLLECT_GCC=C:\rx-elf\bin\rx-elf-gcc.exe
COLLECT_LTO_WRAPPER=c:/rx-elf/bin/../libexec/gcc/rx-elf/4.7.2/lto-wrapper.exe
ターゲット: rx-elf
configure 設定: ../gcc-4.7.2/configure --prefix=/rx-elf --target=rx-elf --enable-languages=c,c++ --disable-win32-registry
スレッドモデル: single
gcc バージョン 4.7.2 (GCC)

[0回]

今回は、bit7の場合です。

0000 FB E2 00 00 00 00     mov.L   #_bar1, r14
0006 CC EE                 mov.B   [r14], r14
0008 61 0E                 cmp     #0, r14
000a FB E2 00 00 00 00     mov.L   #_bar, r14
0010 29 05                 blt     .L5
0012 F0 E7                 bset    #7, [r14].B
0014 02                    rts
                       .L5:
0015 F0 EF                 bclr    #7, [r14].B
0017 02                    rts

ちょっと違うやり方になります。

Failed to match this instruction:
(set (pc)
    (if_then_else (ge (subreg:SI (mem/c:QI (reg/f:SI 30) [0 bar1+0 S1 A8]) 0)
            (const_int 0 [0]))
        (label_ref 17)
        (pc)))


コンバインパターンはこうなっています。

(define_insn_and_split "*cbranchqi4_tst_ext_bitmem_msb"
  [(set (pc)
    (if_then_else
      (match_operator 2 "rx_zs_comparison_operator"
        [(subreg:SI
        (match_operand:QI 0 "rx_restricted_mem_operand" "Q") 0)
         (const_int 0)])
      (match_operand 1 "label_ref_operand" "")
      (pc)))]
  ""
  "#"
  "reload_completed"
  [(const_int 0)]
{
  rtx x;
  enum rtx_code code;

  x = gen_rtx_AND (SImode, operands[0], gen_int_mode (0x80, SImode));

  code = GET_CODE (operands[2]);
  if (code == GE) code = EQ;
  if (code == LT) code = NE;
  rx_split_cbranch (CC_ZSmode, code,
            x, const0_rtx, operands[1]);
  DONE;
})

rx.mdにこれを追加します。（*tstqi_bitmemをちょっと修正しています。）

コンパイルしたコードはこうなります。

0000 FB E2 00 00 00 00     mov.L   #_bar1, r14
0006 F4 E7                 btst    #7, [r14].B
0008 FB E2 00 00 00 00     mov.L   #_bar, r14
000e 1C                    bne     .L5
000f F0 E7                 bset    #7, [r14].B
0011 02                    rts
                       .L5:
0012 F0 EF                 bclr    #7, [r14].B
0014 02                    rts


btst-rx.patch　　まとめたpatch

[0回]

その２でこうなりましたが、

0000 FB E2 00 00 00 00     mov.L #_bar1, r14
0006 CC EE                 mov.B [r14], r14
0008 7C 1E                 btst #1, r14
000a FB E2 00 00 00 00     mov.L #_bar, r14
0010 1C                    bne .L5
0011 F0 E1                 bset #1, [r14].B
0013 02                    rts
                       .L5:
0014 F0 E9                 bclr #1, [r14].B
0016 02                    rts

色の付いたところをメモリに対してのbtstにします。

Failed to match this instruction:
(set (pc)
    (if_then_else (eq (if_then_else:SI (zero_extract:SI (mem/c:QI (reg/f:SI 30) [0 bar1+0 S1 A8])
                    (const_int 1 [0x1])
                    (const_int 1 [0x1]))
                (const_int 2 [0x2])
                (const_int 0 [0]))
            (const_int 0 [0]))
        (label_ref 20)
        (pc)))

このコンバインパターンを成功するようにrx.mdに以下を追加します。

(define_insn_and_split "*cbranchqi4_tst_ext_mem"
  [(set (pc)
    (if_then_else
      (match_operator 4 "rx_z_comparison_operator"
        [ (if_then_else:SI
               (zero_extract:SI
                 (match_operand:QI 0 "rx_restricted_mem_operand" "Q")
           (match_operand    1 "rx_constshift_operand" "")
           (match_operand    2 "rx_constshift_operand" ""))
               (match_operand 5 "const_int_operand" "")
               (const_int 0))
         (const_int 0)])
      (match_operand 3 "label_ref_operand" "")
      (pc)))]
  "INTVAL (operands[1]) == 1"
  "#"
  "reload_completed"
  [(const_int 0)]
{
  HOST_WIDE_INT mask;
  rtx x;

  mask = 1;
  mask <<= INTVAL (operands[1]);
  mask -= 1;
  mask <<= INTVAL (operands[2]);
  x = gen_rtx_AND (SImode, operands[0], gen_int_mode (mask, SImode));

  rx_split_cbranch (CC_ZSmode, GET_CODE (operands[4]),
            x, const0_rtx, operands[3]);
  DONE;
})

これでコンパイルするとこうなります。

0000 FB E2 00 00 00 00     mov.L   #_bar1, r14
0006 F4 E1                 btst    #1, [r14].B
0008 FB E2 00 00 00 00     mov.L   #_bar, r14
000e 1C                    bne     .L5
000f F0 E1                 bset    #1, [r14].B
0011 02                    rts
                       .L5:
0012 F0 E9                 bclr    #1, [r14].B
0014 02                    rts

[0回]

その１では、ここまでできました。

0000 FB E2 00 00 00 00     mov.L #_bar1, r14
0006 CC EE                 mov.B [r14], r14
0008 7C 0E                 btst #0, r14
000a FB E2 00 00 00 00     mov.L #_bar, r14
0010 1C                    bne .L5
0011 F0 E0                 bset #0, [r14].B
0013 02                    rts
                       .L5:
0014 F0 E8                 bclr #0, [r14].B
0016 02                    rts

ズバリ、以下をrx.mdに追加します。

(define_insn_and_split "*cbranchqi4_tst_ext_bitmem"
  [(set (pc)
    (if_then_else
      (match_operator 4 "rx_z_comparison_operator"
        [(zero_extract:SI
        (match_operand:QI 0 "rx_restricted_mem_operand" "Q")
        (match_operand    1 "rx_constshift_operand" "")
        (match_operand    2 "rx_constshift_operand" ""))
         (const_int 0)])
      (match_operand 3 "label_ref_operand" "")
      (pc)))]
  "INTVAL (operands[1]) == 1"
  "#"
  "reload_completed"
  [(const_int 0)]
{
  HOST_WIDE_INT mask;
  rtx x;

  mask = 1;
  mask <<= INTVAL (operands[1]);
  mask -= 1;
  mask <<= INTVAL (operands[2]);
  x = gen_rtx_AND (SImode, operands[0], gen_int_mode (mask, SImode));

  rx_split_cbranch (CC_ZSmode, GET_CODE (operands[4]),
            x, const0_rtx, operands[3]);
  DONE;
})

(define_insn "*tstqi_bitmem"
  [(set (reg:CC_ZS CC_REG)
    (compare:CC_ZS
      (and:SI (match_operand:QI 0 "rx_restricted_mem_operand"  "Q")
           (match_operand:QI 1 "const_int_operand" ""))
      (const_int 0)))]
  "reload_completed
   && exact_log2 (INTVAL (operands[1])) >= 0
   && exact_log2 (INTVAL (operands[1])) <= 7"
  "*
{
  rtx xoperands[2];
  xoperands[0] = operands[0];
  xoperands[1] = GEN_INT (exact_log2 (INTVAL (operands[1]) & 0xff));
  output_asm_insn (\"btst\\t%1, %0.B\", xoperands);
  return \"\";
}
  "
  [(set_attr "timings" "33")
   (set_attr "length"  "3")]
)

追加したrx-elf-gccでコンパイルすると

0000 FB E2 00 00 00 00    mov.L   #_bar1, r14
0006 F4 E0                btst    #0, [r14].B
0008 FB E2 00 00 00 00    mov.L   #_bar, r14
000e 1C                   bne     .L5
000f F0 E0                bset    #0, [r14].B
0011 02                   rts
                      .L5:
0012 F0 E8                bclr    #0, [r14].B
0014 02                   rts

こうなります。

[0回]