blob: 65ee9fd7c5900c4adebf0f045404688bf22a075e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
+++
title = "Replacing strict dominator by use"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8e1"]
forwardlinks = ["3a8e3"]
zettelid = "3a8e2"
+++
The strict dominator property `sdom` is a weaker precondition to the
`use` property, which determines when a variable is being used, which
implies that it has to be strictly dominated by the assignment. This is
because to use a variable, it must have been assigned beforehand, which
in SSA means it has to have been a strict dominator in the control-flow
graph.
|
