1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
-- LLVM binding
-- Copyright (C) 2014 Tristan Gingold
--
-- This program 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 of the License, or
-- (at your option) any later version.
--
-- This program 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 this program. If not, see <gnu.org/licenses>.
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;
|
