[Bug tree-optimization/109184] [10/11/12/13 Regression] csmith: 2017 bug with -floop-interchange

[jakub at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109184

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I've tried to deobfuscate the innermost loop's body:
                        int32_t l_1942 = (-3L);
                        int32_t *****l_1947 = &l_1946[0][6];
                        int i, j;
                        uint64_t t1 = --l_1930[g_1179];
                        t1 += 0xFC07342370A5FE25ULL;
                        t1 &= 38;
                        uint64_t t2 = (g_1731[l_1719 + 1][l_1721] &= t1);
                        l_1942 ^= (t2 + 4ULL <= p_5.f0);
                        l_1943[0][1][1]++;
                        int32_t ****t3 = l_1946[0][6];
                        *l_1947 = t3;
                        l_1949 = t3 == g_1948;