Nikita Popov 60990d9042 [BasicAA] Move experimental.guard modelling to getModRefBehavior() ...

While we can't express this with attributes yet, we can model
these intrinsics as readonly + writing inaccessible memory (for
the control dependence) in FMRB. This way we don't need to
special-case them in getModRefInfo(), it falls out of the usual
logic.

2022-09-22 16:48:51 +02:00

73 KiB

Raw Blame History

View Raw