Skip to content
GitLab

[Morello][SCEV] Compute SCEV expressions for some cheri intrinsics

Merged Silviu Baranga requested to merge scevintrinsics into morello/dev

The SCEV ptrtoint expression matches llvm.cheri.cap.address.get and should expand to it.

cheri.cap.address.set(x, y) is equivalent to x + (-1)*(ptrtoint x) + y.