blob: f03cbfa9b36725aaf097eff03f7338eb5d9c5f1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
+++
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.
|
