Fix alias.scope lowering

[nimiwio]

Summary

alias.scope should always reference a list of scopes, not a single scope

[mehdi_amini]

mlir/test/Target/LLVMIR/llvmir.mlir

2

This test is mark XFAIL at HEAD (It seems like your patch isn't rebased): are you fixing the test with this patch?

[mehdi_amini]

@ftynse is fixing the same thing here I believe: https://reviews.llvm.org/D110140

[nimiwio]

Ah, we wrote the same patch :) I missed the XFAIL on this test, I'll revert this one and let ftynse@ push the change through.

mlir/lib/Target/LLVMIR/ModuleTranslation.cpp

auto populateScopeMetadata = [this, op, inst](StringRef attrName,
                                                 StringRef llvmMetadataName) {
     auto scopes = op->getAttrOfType<ArrayAttr>(attrName);
     if (!scopes || scopes.empty())
       return;
     llvm::Module *module = inst->getModule();
     SmallVector<llvm::Metadata *> scopeMDs;
     for (SymbolRefAttr scopeRef : scopes.getAsRange<SymbolRefAttr>())
       scopeMDs.push_back(getAliasScope(*op, scopeRef));
-    llvm::MDNode *unionMD = nullptr;
-    if (scopeMDs.size() == 1)
-      unionMD = llvm::cast<llvm::MDNode>(scopeMDs.front());
-    else if (scopeMDs.size() >= 2)
-      unionMD = llvm::MDNode::get(module->getContext(), scopeMDs);
+    llvm::MDNode *unionMD = llvm::MDNode::get(module->getContext(), scopeMDs);
     inst->setMetadata(module->getMDKindID(llvmMetadataName), unionMD);
   };
 
   populateScopeMetadata(LLVMDialect::getAliasScopesAttrName(), "alias.scope");
   populateScopeMetadata(LLVMDialect::getNoAliasScopesAttrName(), "noalias");
 }
 
 llvm::Type *ModuleTranslation::convertType(Type type) {

mlir/test/Target/LLVMIR/llvmir.mlir

 // RUN: mlir-translate -mlir-to-llvmir -split-input-file %s | FileCheck %s
 
 // CHECK: @global_aligned32 = private global i64 42, align 32
 "llvm.mlir.global"() ({}) {sym_name = "global_aligned32", type = i64, value = 42 : i64, linkage = #llvm.linkage<private>, alignment = 32} : () -> ()
 
 // CHECK: @global_aligned64 = private global i64 42, align 64
 llvm.mlir.global private @global_aligned64(42 : i64) {alignment = 64 : i64} : i64
 
 // CHECK: @global_aligned64_native = private global i64 42, align 64
 llvm.mlir.global private @global_aligned64_native(42 : i64) { alignment = 64 } : i64

 // Function
 // CHECK-LABEL: aliasScope
 // CHECK:  store {{.*}}, !alias.scope ![[SCOPE1:[0-9]+]], !noalias ![[SCOPES23:[0-9]+]]
 // CHECK:  store {{.*}}, !alias.scope ![[SCOPE2:[0-9]+]], !noalias ![[SCOPES13:[0-9]+]]
 // CHECK:  load {{.*}},  !alias.scope ![[SCOPE3:[0-9]+]], !noalias ![[SCOPES12:[0-9]+]]
 
 // Metadata
 // CHECK-DAG: ![[DOMAIN:[0-9]+]] = distinct !{![[DOMAIN]], !"The domain"}
-// CHECK-DAG: ![[SCOPE1]] = distinct !{![[SCOPE1]], ![[DOMAIN]], !"The first scope"}
-// CHECK-DAG: ![[SCOPE2]] = distinct !{![[SCOPE2]], ![[DOMAIN]]}
-// CHECK-DAG: ![[SCOPE3]] = distinct !{![[SCOPE3]], ![[DOMAIN]]}
+// CHECK-DAG: ![[SCOPE1_NODE:[0-9]+]] = distinct !{![[SCOPE1_NODE]], ![[DOMAIN]], !"The first scope"}
+// CHECK-DAG: ![[SCOPE2_NODE:[0-9]+]] = distinct !{![[SCOPE2_NODE]], ![[DOMAIN]]}
+// CHECK-DAG: ![[SCOPE3_NODE:[0-9]+]] = distinct !{![[SCOPE3_NODE]], ![[DOMAIN]]}
+// CHECK-DAG: ![[SCOPE1]] = !{![[SCOPE1_NODE]]}
+// CHECK-DAG: ![[SCOPE2]] = !{![[SCOPE2_NODE]]}
+// CHECK-DAG: ![[SCOPE3]] = !{![[SCOPE3_NODE]]}
 // CHECK-DAG: ![[SCOPES12]] = !{![[SCOPE1]], ![[SCOPE2]]}
 // CHECK-DAG: ![[SCOPES13]] = !{![[SCOPE1]], ![[SCOPE3]]}
 // CHECK-DAG: ![[SCOPES23]] = !{![[SCOPE2]], ![[SCOPE3]]}