Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit efe9cb0

Browse files
LukacmaLukacma
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

4 files changed

Lines changed: 602 additions & 375 deletions

File tree

0 commit comments

Comments
 (0)