+++
title = "Call Heuristic"
date = "2022-05-11"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1c2h1"]
forwardlinks = ["1c2h3"]
zettelid = "1c2h2"
+++

> The successor block contains a call or unconditionally passes control
> to a block with a call that it dominates, and the successor block does
> not postdominate the branch. If the heuristic applies, predict the
> successor *without* the property.

This property states that one should not predict a function call, and
should try and avoid that if possible.