Skip to content
GitLab

[Cheri] Enable some other address_get simplifications. 

cheri_address_get can mostly have the same simplifications
as ptrtoint.
28 jobs for !220 with nodiff in 309 minutes and 11 seconds (queued for 12 seconds)
latest merge request
7a8665f9
1 related merge request: !220 [Cheri] Use a sub with cheri.cap.address.get operands