+++
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.