swift
e0f5888a - SIL: define `mark_dependence_addr` to read and write to its address operand

Commit
209 days ago
SIL: define `mark_dependence_addr` to read and write to its address operand This prevents simplification and SILCombine passes to remove (alive) `mark_dependence_addr`. The instruction is conceptually equivalent to ``` %v = load %addr %d = mark_dependence %v on %base store %d to %addr ``` Therefore the address operand has to be defined as writing to the address.
Author
Committer
Parents
Loading