patmos: loop bound annotations for __udivmodsi4, __udivsi3