Можно сразу посмотреть на то, что выполняется в цикле вообще. Здесь к переменной a прибавляется двойка, а b умножает саму себя на 2. Имея числа a = 5 и b = 1 нетрудно догадаться, что оно пройдёт лишь первую итерацию с вышеописанными данными, а потом примет значения a = 7 и b = 2 и второй цикл уже не пройдёт, так как 7 · 2 = 14 > 8. В таком случае r будет равен r = 2 - 3 = -1.