diff options
Diffstat (limited to 'llvm')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/GVN.cpp | 2 | ||||
| -rw-r--r-- | llvm/test/Transforms/GVN/load-metadata.ll | 24 |
2 files changed, 26 insertions, 0 deletions
diff --git a/llvm/lib/Transforms/Scalar/GVN.cpp b/llvm/lib/Transforms/Scalar/GVN.cpp index 97ec1eab654..5236c526e75 100644 --- a/llvm/lib/Transforms/Scalar/GVN.cpp +++ b/llvm/lib/Transforms/Scalar/GVN.cpp @@ -1567,6 +1567,8 @@ bool GVN::PerformLoadPRE(LoadInst *LI, AvailValInBlkVect &ValuesPerBlock, NewLoad->setMetadata(LLVMContext::MD_invariant_load, MD); if (auto *InvGroupMD = LI->getMetadata(LLVMContext::MD_invariant_group)) NewLoad->setMetadata(LLVMContext::MD_invariant_group, InvGroupMD); + if (auto *RangeMD = LI->getMetadata(LLVMContext::MD_range)) + NewLoad->setMetadata(LLVMContext::MD_range, RangeMD); // Transfer DebugLoc. NewLoad->setDebugLoc(LI->getDebugLoc()); diff --git a/llvm/test/Transforms/GVN/load-metadata.ll b/llvm/test/Transforms/GVN/load-metadata.ll new file mode 100644 index 00000000000..3294cda7ee9 --- /dev/null +++ b/llvm/test/Transforms/GVN/load-metadata.ll @@ -0,0 +1,24 @@ +; RUN: opt -S -gvn < %s | FileCheck %s + +define i32 @test1(i32* %p, i1 %C) { +; CHECK-LABEL: @test1( +block1: + br i1 %C, label %block2, label %block3 + +block2: + br label %block4 +; CHECK: block2: +; CHECK-NEXT: load i32, i32* %p, !range !0, !invariant.group !1 + +block3: + store i32 0, i32* %p + br label %block4 + +block4: + %PRE = load i32, i32* %p, !range !0, !invariant.group !1 + ret i32 %PRE +} + + +!0 = !{i32 40, i32 100} +!1 = !{!"magic ptr"} |
