+++
title = "Simple comparisons of predicated instructions"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a7d"]
forwardlinks = []
zettelid = "3a7e"
+++

In practice, only a simple comparison of the predicates and values in
the registers should be enough. In addition to that, we also need to
keep track of the current state of the predicate register, which should
always match through the symbolic execution. The predicate registers
could just contain a simplistic overview of predicate operations that
are allowed, such as performing an "or" between two predicates, or
negating the predicate.