* `pick` at -O1 keeps a phi. At -O3 the SimplifyCFG pass converts the * if/else into a `select` instruction (still SSA, but no phi node). * `running_sum` keeps a phi at ANY optimization level, because ...