From 60a983d0509ed5cb0e2e423f91ab00af3201497f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luk=C3=A1=C5=A1=20Koren=C4=8Dik?= <xkorenc1@fi.muni.cz>
Date: Thu, 30 Jan 2020 14:21:45 +0000
Subject: [PATCH] ra: Remove now obsolete util.h.
---
divine/ra/llvmrefine.hpp | 1 -
divine/ra/test.hpp | 1 -
divine/ra/util.hpp | 50 ----------------------------------------
3 files changed, 52 deletions(-)
delete mode 100644 divine/ra/util.hpp
diff --git a/divine/ra/llvmrefine.hpp b/divine/ra/llvmrefine.hpp
index 0b3d39020..cae8e8b57 100644
--- a/divine/ra/llvmrefine.hpp
+++ b/divine/ra/llvmrefine.hpp
@@ -27,7 +27,6 @@
#include <divine/mc/job.hpp>
#include <divine/ra/base.hpp>
-#include <divine/ra/util.hpp>
DIVINE_RELAX_WARNINGS
#include <llvm/IR/Module.h>
diff --git a/divine/ra/test.hpp b/divine/ra/test.hpp
index 82a6aa9d2..9b1b5bfbb 100644
--- a/divine/ra/test.hpp
+++ b/divine/ra/test.hpp
@@ -28,7 +28,6 @@
#include <divine/mc/job.hpp>
#include <divine/ra/base.hpp>
-#include <divine/ra/util.hpp>
DIVINE_RELAX_WARNINGS
#include <llvm/IR/Module.h>
diff --git a/divine/ra/util.hpp b/divine/ra/util.hpp
deleted file mode 100644
index 502362b88..000000000
--- a/divine/ra/util.hpp
+++ /dev/null
@@ -1,50 +0,0 @@
-/*
- * (c) 2020 Lukáš Korenčik <xkorenc1@fi.muni.cz>
- *
- * Permission to use, copy, modify, and distribute this software for any
- * purpose with or without fee is hereby granted, provided that the above
- * copyright notice and this permission notice appear in all copies.
- *
- * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
- * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
- * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
- * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
- * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
- * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
- * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
- */
-
-#pragma once
-
-#include <memory>
-
-#include <bricks/brick-llvm>
-
-DIVINE_RELAX_WARNINGS
-#include <llvm/IR/LLVMContext.h>
-#include <llvm/IR/Module.h>
-DIVINE_UNRELAX_WARNINGS
-
-
-namespace divine::ra::util {
-
- std::unique_ptr< llvm::Module > load_bc( const std::string &str,
- llvm::LLVMContext *ctx )
- {
- using namespace llvm::object;
-
- std::unique_ptr< llvm::MemoryBuffer > input =
- std::move( llvm::MemoryBuffer::getFile( str ).get() );
- auto bc_input = IRObjectFile::findBitcodeInMemBuffer( input->getMemBufferRef() );
-
- if ( !bc_input )
- UNREACHABLE( "Could not load bitcode file" );
- auto module = llvm::parseBitcodeFile( bc_input.get(), *ctx );
-
- if ( !module )
- UNREACHABLE( "Error parsing input model; probably not a valid bc file." );
-
- return std::move( module.get() );
- }
-
-} // namespace divine::ra::util
--
GitLab