> add t0, t1, t2 bltu t0, t1 How does this work? Isn't `bltu` simply a branch that is taken if `t0 < t1`? How does that detect addition overflow? EDIT: Ah, be

> add t0, t1, t2 bltu t0, t1 How does this work? Isn't `bltu` simply a branch that is taken if `t0 < t1`? How does that detect addition overflow? EDIT: Ah, because the operands are `t1` and `t2`. `t0` is the result. Quack.