fix LLVM's !dereferenceable metadata semantics

AliveToolkit · Dec 14, 2023 · 65e98d2 · 65e98d2
1 parent 030007d
commit 65e98d2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 20 deletions.
diff --git a/llvm_util/llvm2alive.cpp b/llvm_util/llvm2alive.cpp
@@ -58,14 +58,6 @@ FpExceptionMode parse_exceptions(llvm::Instruction &i) {
   }
 }
 
-Value* get_ptr(Instr &i) {
-  for (auto *op : i.operands()) {
-    if (op->getType().isPtrType())
-      return op;
-  }
-  UNREACHABLE();
-}
-
 bool hit_limits;
 unsigned constexpr_idx;
 unsigned copy_idx;
@@ -1297,7 +1289,7 @@ class llvm2alive_ : public llvm::InstVisitor<llvm2alive_, unique_ptr<Instr>> {
         auto bytes = get_operand(
           llvm::mdconst::extract<llvm::ConstantInt>(Node->getOperand(0)));
         BB->addInstr(
-          make_unique<Assume>(vector<Value*>{get_ptr(*i), bytes}, kind));
+          make_unique<Assume>(vector<Value*>{i, bytes}, kind));
         break;
       }
 

diff --git a/tests/alive-tv/memory/dereferenceable_metadata.srctgt.ll b/tests/alive-tv/memory/dereferenceable_metadata.srctgt.ll