A freeze cannot be changed to a constant at will; only if it has no other users. This is currently not captured by the vcgen. e.g., ``` %v = freeze poison => %v = 42 ``` only correct if hasOneUse(%v) This is newsema branch only!
A freeze cannot be changed to a constant at will; only if it has no other users.
This is currently not captured by the vcgen.
e.g.,
only correct if hasOneUse(%v)
This is newsema branch only!