+++
title = "Register definition"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8c"]
forwardlinks = ["3a8e"]
zettelid = "3a8d"
+++

CompCertSSA redefines the instructions and registers to act on SSA
registers instead, which are a combination of names and indices, which
thereby create a new register every time an assignment is performed.