Assembly Language
Contrôle de flux
Recherche…
Introduction
Trivial IF-THEN-ELSE dans l'assemblage m68k
; IF d0 == 10 GO TO ten, ELSE GO TO other
CMP #10,d0 ; compare register contents to immediate value 10
; instruction affects the zero flag
BEQ ten ; branch if zero flag set
other:
; do whatever needs to be done for d0 != 10
BRA afterother ; unconditionally jump across IF case
ten:
; do whatever needs to be done for d0 == 10
afterother:
; continue normal common program flow
Les instructions qui affectent les drapeaux et les branches conditionnelles (qui peuvent également être basées sur des combinaisons spécifiques de drapeaux ) sont disponibles, dépendent beaucoup du processeur choisi et doivent être recherchées dans les manuels.
POUR ... SUIVANT dans l'assemblage Z80
Le Z80 a une instruction spécifique pour implémenter les comptages de boucle: DJNZ
pour "décrémenter B enregistrer et sauter sinon zéro". Donc, B est le registre de choix pour implémenter des boucles sur ce processeur. FOR ... NEXT doit être implémenté "en arrière", car le registre est décompté à zéro. D'autres processeurs (comme le 8086, ce processeur utilise le registre CX comme compteur de boucle) peuvent avoir des registres et des instructions de compteur de boucle similaires, d'autres CPU permettent des commandes de boucle avec des registres arbitraires (m68k a une instruction DBRA compatible avec n'importe quel registre de données).
; Trivial multiplication (by repeated adding, ignores zero in factors, so
; not recommended for general use)
;
; inputs: A = Factor 1
; B = Factor 2
;
; output: A = Factor 1 * Factor 2
;
; Pseudo code
; C = A : A = 0 : FOR B = Factor 2 DOWNTO 0 : A = A + C : NEXT B
mul:
LD C,A ; Save Factor 1 in C register
XOR A ; Clear accumulator
mLoop:
ADD A,C ; Add Factor 1 to accumulator
DJNZ mLoop ; Do this Factor 2 times
RET ; return to caller
If-instruction dans l'assembly Intel-syntax
section .data
msg_eq db 'Equal', 10
len_eq equ $ - msg_eq
msg_le db 'Less than', 10
len_le equ $ - msg_le
msg_gr db 'Greater than', 10
len_gr equ $ - msg_gr ; Length of msg_gr
section .text
global _main ; Make the _main label global for linker
_main:
cmp 4, 5 ; Compare 4 and 5
je _equal ; je = jump if equal
jl _less ; jl = jump if less
jg _greater ; jg = jump if greater
exit:
ret ; Return
_equal:
; Whatever code here
mov rax, 0x2000004 ; sys_write, 4 for linux
mov rdi, 1 ; STDOUT
mov rsi, msg_eq
mov rdi, len_eq
syscall
jmp exit ; Exit
_less:
; Whatever code here
mov rax, 0x2000004
mov rdi, 1
mov rsi, msg_le
mov rdi, len_le
syscall
jmp exit
_greater:
; Whatever code here
mov rax, 0x2000004
mov rdi, 1
mov rsi, msg_gr
mov rdi, len_gr
syscall
jmp exit
Boucle tant que la condition est vraie dans l'assembly de syntaxe Intel
section .data
msg db 'Hello, world!', 0xA
len equ $ - msg
section .text
global _main
_main:
mov rax, 0 ; This will be the current number
mov rcx, 10 ; This will be the last number
_loop:
cmp rax, rcx
jl .loopbody ; Jump to .loopbody if rax < rcx
jge _exit ; Jump to _exit if rax ≥ rcx
.loopbody:
push rax ; Store the rax value for later use
mov rax, 0x2000004 ; 4 for Linux
mov rdi, 1 ; STDOUT
mov rsi, msg
mov rdx, len
syscall
pop rax ; Take it back to rax
inc rax ; Add 1 to rax. This is required since the loop must have an ending.
jmp _loop ; Back to loop
_exit:
ret ; Return
Cela exécutera .loopbody
aussi longtemps que rax < rcx
.