fix(cxx): Use temporary variables when unpacking tuples

[riantkb]

153

Summary

• tuple を展開する際に、一時変数に一度結果を格納するようにした

Comment

• 変数名をどういう規則でつければ良いのかわからなかった（これは自分が関数型言語にも言語処理系にも疎いことが原因だと思っています）ので適当な名前がついています……
• かなり見よう見まねで書いているので、書き方が少し微妙だったり使い方を間違っているものがあったりする場合は直すので言ってください。

Tests

• 153 に貼ったコードに関しては、N が小さいケースでは正しく動作することが確認しています。

• N が大きいケースに関してはオーバーフローが発生するため途中で mod を取る必要がありますが、mod を取るように変更したコードを変換すると今度は MoveSemantics により一時変数が消されて正しくないコードに変換されていることがわかりました。
  • よって、#153 に貼ったコードをテストに追加する、等のことはしていません 🙇
  • これは後で（これが merge された後で？）別に issue を立てようと思っています。

$ cat fib.py

def f(n: int) -> int:
    a = 0
    b = 1
    for _ in range(n):
        c = (a + b) % 1000000007
        a = b
        b = c
    return a

def solve(n: int) -> int:
    return f(n)

$ stack run convert fib.py > fib.cpp $ cat fib.cpp

// ...
int64_t solve(int64_t n_0) {
    int64_t x1_4 = 1;
    int64_t x1_5 = 0;
    for (int32_t i2 = 0; i2 < int32_t(n_0); ++ i2) {
        int64_t x6 = jikka::mod::plus(jikka::modmat::floormod<2>(std::array<int64_t, 2>{x1_4, x1_5}, 1000000007)[1], jikka::modmat::floormod<2>(std::array<int64_t, 2>{x1_4, x1_5}, 1000000007)[0], 1000000007);
        x1_4 = x6;
        x1_5 = x1_4;
    }
    return x1_5;
}
// ...

下をコメントアウトした状態で生成した fib.cpp https://github.com/kmyk/Jikka/blob/cae51d2d847c340e0c81f3aa64f49e3d995b67be/src/Jikka/CPlusPlus/Convert.hs#L25

// ...
int64_t solve(int64_t n_0) {
    int64_t x1_4 = 1;
    int64_t x1_5 = 0;
    for (int32_t i2 = 0; i2 < int32_t(n_0); ++ i2) {
        int64_t x6 = jikka::mod::plus(jikka::modmat::floormod<2>(std::array<int64_t, 2>{x1_4, x1_5}, 1000000007)[1], jikka::modmat::floormod<2>(std::array<int64_t, 2>{x1_4, x1_5}, 1000000007)[0], 1000000007);
        int64_t x7 = x1_4;
        x1_4 = x6;
        x1_5 = x7;
    }
    return x1_5;
}
// ...

• また、この変更により
  • https://github.com/kmyk/Jikka/blob/cae51d2d847c340e0c81f3aa64f49e3d995b67be/examples/wip/abc206_b.py
  • https://github.com/kmyk/Jikka/blob/cae51d2d847c340e0c81f3aa64f49e3d995b67be/examples/wip/abc208_b.py が正しく変換できるようになっていることを確認しています。