Skip to content

Commit efe9cb0

Browse files
authored
[AArch64] Model ZA array using inaccessible memory (#132058)
This patch changes how ZA array is modelled at LLVM-IR level. Currently accesses to ZA are represented at LLVM-IR level as memory reads and writes and at instruction level as unmodeled side-effects. This patch changes that and models them as purely Inaccessible memory accesses without any unmodeled side-effects.
1 parent 10a1502 commit efe9cb0

File tree

4 files changed

+602
-375
lines changed

4 files changed

+602
-375
lines changed

0 commit comments

Comments
 (0)