And really, aren't loops just ifs and jumps under the hood? So coding is just ifs
Indeed. Jump on zero and integer manipulation are sufficient for turing-completeness. For example: https://en.wikipedia.org/wiki/Counter_machine
All you really need is `mov`.