Local: Handle noalias.addrspace in copyMetadataForLoad

arsenm · arsenm · commit 7dcad2060905 · 2024-10-08T00:12:58.000+04:00
diff --git a/llvm/lib/Transforms/Utils/Local.cpp b/llvm/lib/Transforms/Utils/Local.cpp
@@ -3473,6 +3473,7 @@ void llvm::copyMetadataForLoad(LoadInst &Dest, const LoadInst &Source) {
     case LLVMContext::MD_mem_parallel_loop_access:
     case LLVMContext::MD_access_group:
     case LLVMContext::MD_noundef:
+    case LLVMContext::MD_noalias_addrspace:
       // All of these directly apply.
       Dest.setMetadata(ID, N);
       break;
diff --git a/llvm/test/Transforms/InstCombine/loadstore-metadata.ll b/llvm/test/Transforms/InstCombine/loadstore-metadata.ll
@@ -177,7 +177,7 @@ define i32 @test_load_cast_combine_noalias_addrspace(ptr %ptr) {
 ; Ensure (cast (load (...))) -> (load (cast (...))) preserves TBAA.
 ; CHECK-LABEL: @test_load_cast_combine_noalias_addrspace(
 ; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[L1:%.*]] = load i32, ptr [[PTR:%.*]], align 4
+; CHECK-NEXT:    [[L1:%.*]] = load i32, ptr [[PTR:%.*]], align 4, !noalias.addrspace [[META10:![0-9]+]]
 ; CHECK-NEXT:    ret i32 [[L1]]
 ;
 entry:

Original file line number	Diff line number	Diff line change
`@@ -177,7 +177,7 @@ define i32 @test_load_cast_combine_noalias_addrspace(ptr %ptr) {`
`177`	`177`	`; Ensure (cast (load (...))) -> (load (cast (...))) preserves TBAA.`
`178`	`178`	`; CHECK-LABEL: @test_load_cast_combine_noalias_addrspace(`
`179`	`179`	`; CHECK-NEXT: entry:`
`180`		`-; CHECK-NEXT: [[L1:%.]] = load i32, ptr [[PTR:%.]], align 4`
	`180`	`+; CHECK-NEXT: [[L1:%.]] = load i32, ptr [[PTR:%.]], align 4, !noalias.addrspace [[META10:![0-9]+]]`
`181`	`181`	`; CHECK-NEXT: ret i32 [[L1]]`
`182`	`182`	`;`
`183`	`183`	`entry:`