blob: 18a624c864ebc8b3ff70fdfe8de08c003732b80a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
+++
title = "Guard Heuristic"
date = "2022-05-11"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1c2h3"]
forwardlinks = ["1c2h5"]
zettelid = "1c2h4"
+++
> Register *r* is an operand of the branch instruction, register *r* is
> used in the successor block before it is defined, and the successor
> block does not postdominate the branch. If the heuristic applies,
> predict the successor *with* the property.
This property predicts that one will not take the branch that contains a
guard condition, and instead will follow along in the code.
|