Branchement

Une instruction de branchement est un point dans la séquence d'instructions d'un programme pour lequel l'instruction suivante n'est pas forcément celle qui suit dans la mémoire d’instructions. Ces instructions sont de deux types : branchement inconditionnel (instructions goto ou jump...) ou conditionnel (des clauses de type if-then-else...). Pour les branches conditionnelles, la décision de prendre ou non une branche dépend de certaines conditions qui doivent être évaluées. Durant ce temps d'évaluation, le processeur exécute, de façon spéculative, des instructions de l'une des options, plutôt que d'attendre à l'arrêt le retour de la décision finale. S'il se trouve que la spéculation était conforme à la décision, alors l'exécution continue sans plus attendre. Dans le cas contraire, la mauvaise prédiction a fait perdre quelques cycles d'horloge.