[PATCH] D69086: [IR] Fix mayReadFromMemory() for writeonly calls

[Yevgeny Rouban via Phabricator via llvm-commits]

yrouban updated this revision to Diff 225378.
yrouban added a comment.

Added a simple early-cse test.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D69086/new/

https://reviews.llvm.org/D69086

Files:
  llvm/lib/IR/Instruction.cpp
  llvm/test/Transforms/EarlyCSE/writeonly.ll


Index: llvm/test/Transforms/EarlyCSE/writeonly.ll
===================================================================
--- /dev/null
+++ llvm/test/Transforms/EarlyCSE/writeonly.ll
@@ -0,0 +1,15 @@
+; RUN: opt -S -early-cse < %s | FileCheck %s
+
+ at var = global i32 undef
+declare void @foo() nounwind
+
+define void @test() {
+; CHECK-LABEL: @test(
+; CHECK-NOT: store i32 1, i32* @var
+  store i32 1, i32* @var
+; CHECK: call void @foo()
+  call void @foo() writeonly
+; CHECK: store i32 2, i32* @var
+  store i32 2, i32* @var
+  ret void
+}
Index: llvm/lib/IR/Instruction.cpp
===================================================================
--- llvm/lib/IR/Instruction.cpp
+++ llvm/lib/IR/Instruction.cpp
@@ -524,7 +524,7 @@
   case Instruction::Call:
   case Instruction::Invoke:
   case Instruction::CallBr:
-    return !cast<CallBase>(this)->doesNotAccessMemory();
+    return !cast<CallBase>(this)->doesNotReadMemory();
   case Instruction::Store:
     return !cast<StoreInst>(this)->isUnordered();
   }


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D69086.225378.patch
Type: text/x-patch
Size: 1011 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191017/ca338ddb/attachment.bin>