Couldn't this be handled with some conditional primitives like in ARM assembly adequately?

Actually that's not a bad idea ... writes it down...