[llvm] Attributor: Add noalias.addrspace attribute for store and load (PR #136553)

via llvm-commits llvm-commits at lists.llvm.org
Sat Apr 26 17:54:24 PDT 2025


================
@@ -6338,8 +6338,8 @@ struct AAAddressSpace : public StateWrapper<BooleanState, AbstractAttribute> {
 
 /// An abstract interface for potential address space information.
 struct AANoAliasAddrSpace
-    : public StateWrapper<BitIntegerState<uint32_t>, AbstractAttribute> {
-  using Base = StateWrapper<BitIntegerState<uint32_t>, AbstractAttribute>;
+    : public StateWrapper<BooleanState, AbstractAttribute> {
+  using Base = StateWrapper<BooleanState, AbstractAttribute>;
----------------
Shoreshen wrote:

Hi @arsenm , the boolean state is just to indicate the status of the attribute (fixed or not) and control if we need to print the metadata.

The detailed content is saved in ASRange. 

https://github.com/llvm/llvm-project/pull/136553


More information about the llvm-commits mailing list