Closed emmanuel099 closed 4 years ago
As proposed in https://github.com/falconre/falcon/pull/54#issuecomment-576538554 fences are lifted to Intrinsic instructions to keep the IL simple. If fences are required during analysis, then something like https://github.com/falconre/finch/blob/f880cf79add2e096c9644aa5f1eb7bddf2e590ec/lib/platform/linux/mips.rs#L187 can be used to obtain them.
Intrinsic
As proposed in https://github.com/falconre/falcon/pull/54#issuecomment-576538554 fences are lifted to
Intrinsicinstructions to keep the IL simple. If fences are required during analysis, then something like https://github.com/falconre/finch/blob/f880cf79add2e096c9644aa5f1eb7bddf2e590ec/lib/platform/linux/mips.rs#L187 can be used to obtain them.