loopbr Loop with branch_if