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

> The successor block contains a return or unconditionally passes
> control to a block that contains a return. If the heuristic applies,
> predict the successor without the property.

In addition to that, this property says that one should avoid predicting
a return instruction.