[llvm] Attributor: Infer noalias.addrspace metadata for memory instructions (PR #136553)

[Shilei Tian via llvm-commits]

================
@@ -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>;
----------------
shiltian wrote:

An inter range state is not sufficient because the actual range could be a joint of multiple non-continuous ones.

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