Launder sealed pointers when calling cheri.cap.address.get intrinsic#276

Merged

xdoardo merged 1 commit intoCHERIoT-Platform:cheriotfrom

xdoardo:launder-sealed-globals

Nov 26, 2025

Commits on Nov 26, 2025

[LLVM][CHERI] Introduce the llvm.launder.alignment intrinsic and use it to lower __builtin_cheri_address_get on sealed pointers
xdoardo
committed