تدفّق التحكّم من الأسمبلي

لا توجد في الأسمبلي جملة if ولا حلقة while، بل مقارنة ثم قفزة. فالأمر cmp a, b يقارن ويحفظ النتيجة في أعلام (flags) داخل المعالج، ثم تقرأ القفزة الشرطية التي بعده هذه الأعلام، فإمّا أن تقفز إلى عنوان (label) وإمّا أن يكمل التنفيذ إلى السطر التالي.

• القفزة jg تقفز إن كان الأوّل أكبر، وjle إن كان أصغر أو يساوي.
• القفزة je تقفز إن تساويا، وjne إن اختلفا.
• القفزة jmp تقفز دائمًا بلا شرط.

وهذه القفزات تقارن بالإشارة، أي تفهم أن العدد قد يكون سالبًا، ولها أخوات تقارن بلا إشارة مثل ja وjb. وأوّل ما تسأله أمام شفرة الأسمبلي: متى تقفز؟ والسبب أن المترجِم يضع غالبًا قفزة تتخطّى جسم if حين لا يتحقّق شرطها، فالقفزة تحمل الشرط المعاكس:

h:
  cmp  edi, 10
  jle  .small
  mov  eax, 1
  ret
.small:
  mov  eax, 0
  ret

فالقفزة jle .small تعني: إن كان x أصغر من عشرة أو يساويها فاذهب إلى .small وأرجِع 0، وإلا فأكمل إلى السطر التالي وأرجِع 1.

والحلقة قفزة إلى الخلف. في هذه الدالة يحمل eax المجموع ويحمل ecx العدّاد، والأمر xor eax, eax طريقة المترجِمات المختصرة لتصفير مسجّل، والأمر inc يزيد واحدًا. والقفزة jg .done تُخرجك من الحلقة حين يتجاوز العدّاد n، والقفزة jmp .top تعيدك إلى أوّلها:

loop_sum:
  xor  eax, eax   ; eax = 0
  mov  ecx, 1     ; ecx = 1
.top:
  cmp  ecx, edi
  jg   .done      ; ecx > n
  add  eax, ecx   ; eax += ecx
  inc  ecx        ; ecx += 1
  jmp  .top
.done:
  ret

وقبل أن تكتب، تأمّل ما تفعله الحلقة حين يكون n صفرًا أو سالبًا، فالحكم لشفرة الأسمبلي لا لاسم الدالة ولا لما تتوقّعه منها.