Skip to content

Commit 02c6b0a

Browse files
Lukacmagithub-actions[bot]
authored andcommitted
Automerge: [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.
2 parents 322b5e3 + efe9cb0 commit 02c6b0a

File tree

4 files changed

+602
-375
lines changed

4 files changed

+602
-375
lines changed

0 commit comments

Comments
 (0)