Owen Anderson b12d54d680 [CHERI] Refine LoopIdiomRecognize handling of stable representation non-integral pointers. (#189402) ...

This makes two changes:
- memset can be formed from stores of null pointers, even if they are
non-integral. Null pointers are already assumed to be equivalent to the
all-zeros bit pattern, and it's not the goal of non-integral pointer
support to change that assumption.
- memcpy can be formed from copies of non-integral pointers. We assume
if the environment provides a memcpy implementation for a non-integral
pointer address space, then that memcpy is non-integral pointer aware.

These changes are not applied to pointers with unstable representation.

2026-04-07 10:50:26 +02:00

134 KiB

Raw Permalink Blame History

View Raw