[llvm][AArch64][SVE] Model FFR-using intrinsics with inaccessiblemem
authorPeter Waller <peter.waller@arm.com>
Thu, 13 May 2021 14:44:53 +0000 (14:44 +0000)
committerPeter Waller <peter.waller@arm.com>
Wed, 19 May 2021 12:50:13 +0000 (13:50 +0100)
commitfd4ef793ea54e5730838998863fea5484fcba541
treec7e62732a795a44597261546fe20245cfcea1dcc
parent6825bfe23e3829c81574e7d5d41887ca2dae4bef
[llvm][AArch64][SVE] Model FFR-using intrinsics with inaccessiblemem

Intriniscs reading or writing the FFR register need to model the fact
there is additional state being read/wrtten.

Model this state as inaccessible memory.

* setffr => write inaccessiblememonly
* rdffr => read inaccessiblememonly
* ldff* => read arg memory, write inaccessiblemem
* ldnf => read arg memory, write inaccessiblemem
llvm/include/llvm/IR/IntrinsicsAArch64.td