diff options
author | Tristan Gingold <gingold@adacore.com> | 2016-09-09 06:47:17 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2016-09-12 20:34:56 +0200 |
commit | b14c63e70136fbb134739ed53cc0f49b14ab5c90 (patch) | |
tree | 029e7781f8c7344338bd1dbe044bb427e4794010 /src/ortho/llvm-nodebug/llvm-analysis.ads | |
parent | 1325c83731501d5bd05cd38e8c3301749eb99243 (diff) | |
download | ghdl-b14c63e70136fbb134739ed53cc0f49b14ab5c90.tar.gz ghdl-b14c63e70136fbb134739ed53cc0f49b14ab5c90.tar.bz2 ghdl-b14c63e70136fbb134739ed53cc0f49b14ab5c90.zip |
Add llvm-nodebug, an llvm backend more portable across llvm versions.
Tested with llvm-3.8
Diffstat (limited to 'src/ortho/llvm-nodebug/llvm-analysis.ads')
-rw-r--r-- | src/ortho/llvm-nodebug/llvm-analysis.ads | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/src/ortho/llvm-nodebug/llvm-analysis.ads b/src/ortho/llvm-nodebug/llvm-analysis.ads new file mode 100644 index 000000000..bfecec579 --- /dev/null +++ b/src/ortho/llvm-nodebug/llvm-analysis.ads @@ -0,0 +1,53 @@ +-- LLVM binding +-- Copyright (C) 2014 Tristan Gingold +-- +-- GHDL is free software; you can redistribute it and/or modify it under +-- the terms of the GNU General Public License as published by the Free +-- Software Foundation; either version 2, or (at your option) any later +-- version. +-- +-- GHDL is distributed in the hope that it will be useful, but WITHOUT ANY +-- WARRANTY; without even the implied warranty of MERCHANTABILITY or +-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +-- for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with GHDL; see the file COPYING. If not, write to the Free +-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA +-- 02111-1307, USA. +with LLVM.Core; use LLVM.Core; + +package LLVM.Analysis is + type VerifierFailureAction is + ( + AbortProcessAction, -- verifier will print to stderr and abort() + PrintMessageAction, -- verifier will print to stderr and return 1 + ReturnStatusAction -- verifier will just return 1 + ); + pragma Convention (C, VerifierFailureAction); + + -- Verifies that a module is valid, taking the specified action if not. + -- Optionally returns a human-readable description of any invalid + -- constructs. + -- OutMessage must be disposed with DisposeMessage. */ + function VerifyModule(M : ModuleRef; + Action : VerifierFailureAction; + OutMessage : access Cstring) + return Integer; + + -- Verifies that a single function is valid, taking the specified + -- action. Useful for debugging. + function VerifyFunction(Fn : ValueRef; Action : VerifierFailureAction) + return Integer; + + -- Open up a ghostview window that displays the CFG of the current function. + -- Useful for debugging. + procedure ViewFunctionCFG(Fn : ValueRef); + procedure ViewFunctionCFGOnly(Fn : ValueRef); +private + pragma Import (C, VerifyModule, "LLVMVerifyModule"); + pragma Import (C, VerifyFunction, "LLVMVerifyFunction"); + pragma Import (C, ViewFunctionCFG, "LLVMViewFunctionCFG"); + pragma Import (C, ViewFunctionCFGOnly, "LLVMViewFunctionCFGOnly"); +end LLVM.Analysis; + |