2.1                                (arg1)
2.2                                (arg2)
2.3                                (arg3)
2.4 <- 2.3 == [0]                   (cmp)
2.5 <- 2.4 == [0]                (branch)
2.6 <- 2.3 + [-1]                 (binop)
2.7 <- 2.6 > [0]                    (cmp)
2.8 <- 2.7 == [1]                (branch)
2.9 <- [0]                          (phi)
2.10 <- 2.1, 2.9                    (gep)
2.11 <- 2.2, 2.9                    (gep)
2.12 <- 2.11 written by 0.0        (load)
2.13 <- 2.12 @ 2.10               (store)
2.14 <- 2.12 == [0]                 (cmp)
2.15 <- 2.14 == [0]              (branch)
2.16 <- 2.9 + [1]                 (binop)
2.17 <- 2.1, 2.16                   (gep)
2.18 <- 2.16 < 2.6                  (cmp)
2.19 <- 2.18 == [1]              (branch)
2.20 <- 2.16                        (phi)
2.21 <- 2.1, 2.20                   (gep)
2.22 <- 2.2, 2.20                   (gep)
2.23 <- 2.22 written by 0.0        (load)
2.24 <- 2.23 @ 2.21               (store)
2.25 <- 2.23 == [0]                 (cmp)
2.26 <- 2.25 == [0]              (branch)
2.27 <- 2.20 + [1]                (binop)
2.28 <- 2.1, 2.27                   (gep)
2.29 <- 2.27 < 2.6                  (cmp)
2.30 <- 2.29 == [1]              (branch)
2.31 <- 2.27                        (phi)
2.32 <- 2.1, 2.31                   (gep)
2.33 <- 2.2, 2.31                   (gep)
2.34 <- 2.33 written by 0.0        (load)
2.35 <- 2.34 @ 2.32               (store)
2.36 <- 2.34 == [0]                 (cmp)
2.37 <- 2.36 == [0]              (branch)
2.38 <- 2.31 + [1]                (binop)
2.39 <- 2.1, 2.38                   (gep)
2.40 <- 2.38 < 2.6                  (cmp)
2.41 <- 2.40 == [1]              (branch)
2.42 <- 2.38                        (phi)
2.43 <- 2.1, 2.42                   (gep)
2.44 <- 2.2, 2.42                   (gep)
2.45 <- 2.44 written by 0.0        (load)
2.46 <- 2.45 @ 2.43               (store)
2.47 <- 2.45 == [0]                 (cmp)
2.48 <- 2.47 == [0]              (branch)
2.49 <- 2.42 + [1]                (binop)
2.50 <- 2.1, 2.49                   (gep)
2.51 <- 2.49 < 2.6                  (cmp)
2.52 <- 2.51 == [1]              (branch)
2.53 <- 2.49                        (phi)
2.54 <- 2.1, 2.53                   (gep)
2.55 <- 2.2, 2.53                   (gep)
2.56 <- 2.55 written by 0.0        (load)
2.57 <- 2.56 @ 2.54               (store)
2.58 <- 2.56 == [0]                 (cmp)
2.59 <- 2.58 == [1]              (branch)
2.60 <- 2.54                        (phi)
2.61 <- 2.60                        (ret)
--------------------
backtrace of ID 2.45:
	load(gep(arg2, phi(binop(phi(binop(phi(binop(phi([0]) + [1])) + [1])) + [1]))) written by <unknown id>)
Nodes in dataflow tree: 61
avg node size in binary log: 26.5901639344262