summaryrefslogtreecommitdiffstats
path: root/content/zettel/1c2h2.md
blob: d1c0abc51dddd737ae237a567de984187f16facb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
+++
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.