StaticValueFacts (B2R2)

StaticValueFacts Type

Represents statically resolvable memory access addresses and constant register definitions in a sequence of LowUIR statements.

Record Field	Description
`MemReadAddrs` Full Usage: `MemReadAddrs` Field type: `Addr[]`	Field type: `Addr[]`
`MemWriteAddrs` Full Usage: `MemWriteAddrs` Field type: `Addr[]`	Field type: `Addr[]`
`PCDefs` Full Usage: `PCDefs` Field type: `Addr[]`	Field type: `Addr[]`
`RegConstDefs` Full Usage: `RegConstDefs` Field type: `(RegisterID * BitVector)[]`	Field type: `(RegisterID * BitVector)[]`