Mercurial > octave
annotate libinterp/corefcn/jit-util.h @ 22323:bac0d6f07a3e
maint: Update copyright notices for 2016.
author | John W. Eaton <jwe@octave.org> |
---|---|
date | Wed, 17 Aug 2016 01:05:19 -0400 |
parents | b571fc85953f |
children | 34ce5be04942 |
rev | line source |
---|---|
15016 | 1 /* |
2 | |
22323
bac0d6f07a3e
maint: Update copyright notices for 2016.
John W. Eaton <jwe@octave.org>
parents:
21751
diff
changeset
|
3 Copyright (C) 2012-2016 Max Brister |
15016 | 4 |
5 This file is part of Octave. | |
6 | |
7 Octave is free software; you can redistribute it and/or modify it | |
8 under the terms of the GNU General Public License as published by the | |
9 Free Software Foundation; either version 3 of the License, or (at your | |
10 option) any later version. | |
11 | |
12 Octave is distributed in the hope that it will be useful, but WITHOUT | |
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 for more details. | |
16 | |
17 You should have received a copy of the GNU General Public License | |
18 along with Octave; see the file COPYING. If not, see | |
19 <http://www.gnu.org/licenses/>. | |
20 | |
21 */ | |
22 | |
16768 | 23 // Author: Max Brister <max@2bass.com> |
24 | |
15016 | 25 // Some utility classes and functions used throughout jit |
26 | |
20791
f7084eae3318
maint: Use Octave coding conventions for #if statements.
Rik <rik@octave.org>
parents:
19697
diff
changeset
|
27 #if ! defined (octave_jit_util_h) |
15016 | 28 #define octave_jit_util_h 1 |
29 | |
21244
1473547f50f5
include octave-config.h in public header files
John W. Eaton <jwe@octave.org>
parents:
21200
diff
changeset
|
30 #include "octave-config.h" |
1473547f50f5
include octave-config.h in public header files
John W. Eaton <jwe@octave.org>
parents:
21200
diff
changeset
|
31 |
21724
aba2e6293dd8
use "#if ..." consistently instead of "#ifdef" and "#ifndef"
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
32 #if defined (HAVE_LLVM) |
15016 | 33 |
34 #include <stdexcept> | |
35 | |
20791
f7084eae3318
maint: Use Octave coding conventions for #if statements.
Rik <rik@octave.org>
parents:
19697
diff
changeset
|
36 #if defined (HAVE_LLVM_IR_DATALAYOUT_H) || defined (HAVE_LLVM_DATALAYOUT_H) |
21200
fcac5dbbf9ed
maint: Indent #ifdef blocks in libinterp.
Rik <rik@octave.org>
parents:
20791
diff
changeset
|
37 # define HAVE_LLVM_DATALAYOUT |
17164 | 38 #endif |
39 | |
15016 | 40 // we don't want to include llvm headers here, as they require |
41 // __STDC_LIMIT_MACROS and __STDC_CONSTANT_MACROS be defined in the entire | |
42 // compilation unit | |
43 namespace llvm | |
44 { | |
45 class Value; | |
46 class Module; | |
21724
aba2e6293dd8
use "#if ..." consistently instead of "#ifdef" and "#ifndef"
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
47 #if defined (LEGACY_PASSMANAGER) |
18831
4a4edf0f2077
fix LLVM 3.4 build (bug #41061)
Stefan Mahr <dac922@gmx.de>
parents:
17787
diff
changeset
|
48 namespace legacy { |
4a4edf0f2077
fix LLVM 3.4 build (bug #41061)
Stefan Mahr <dac922@gmx.de>
parents:
17787
diff
changeset
|
49 class FunctionPassManager; |
4a4edf0f2077
fix LLVM 3.4 build (bug #41061)
Stefan Mahr <dac922@gmx.de>
parents:
17787
diff
changeset
|
50 class PassManager; |
4a4edf0f2077
fix LLVM 3.4 build (bug #41061)
Stefan Mahr <dac922@gmx.de>
parents:
17787
diff
changeset
|
51 } |
4a4edf0f2077
fix LLVM 3.4 build (bug #41061)
Stefan Mahr <dac922@gmx.de>
parents:
17787
diff
changeset
|
52 #else |
15016 | 53 class FunctionPassManager; |
54 class PassManager; | |
18831
4a4edf0f2077
fix LLVM 3.4 build (bug #41061)
Stefan Mahr <dac922@gmx.de>
parents:
17787
diff
changeset
|
55 #endif |
15016 | 56 class ExecutionEngine; |
57 class Function; | |
58 class BasicBlock; | |
59 class LLVMContext; | |
60 class Type; | |
61 class StructType; | |
62 class Twine; | |
63 class GlobalVariable; | |
64 class TerminatorInst; | |
65 class PHINode; | |
66 | |
67 class ConstantFolder; | |
68 | |
69 template <bool preserveNames> | |
70 class IRBuilderDefaultInserter; | |
71 | |
72 template <bool preserveNames, typename T, typename Inserter> | |
73 class IRBuilder; | |
74 | |
75 typedef IRBuilder<true, ConstantFolder, IRBuilderDefaultInserter<true> > | |
76 IRBuilderD; | |
77 } | |
78 | |
79 class octave_base_value; | |
80 class octave_builtin; | |
81 class octave_value; | |
82 class tree; | |
83 class tree_expression; | |
84 | |
85 // thrown when we should give up on JIT and interpret | |
86 class jit_fail_exception : public std::runtime_error | |
87 { | |
88 public: | |
17787
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
89 jit_fail_exception (void) : std::runtime_error ("unknown"), mknown (false) { } |
15016 | 90 jit_fail_exception (const std::string& reason) : std::runtime_error (reason), |
91 mknown (true) | |
17787
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
92 { } |
15016 | 93 |
94 bool known (void) const { return mknown; } | |
95 private: | |
96 bool mknown; | |
97 }; | |
98 | |
99 // llvm doesn't provide this, and it's really useful for debugging | |
100 std::ostream& operator<< (std::ostream& os, const llvm::Value& v); | |
101 | |
102 template <typename HOLDER_T, typename SUB_T> | |
103 class jit_internal_node; | |
104 | |
105 // jit_internal_list and jit_internal_node implement generic embedded doubly | |
21751
b571fc85953f
maint: Use two spaces after period to indicate sentence break.
Rik <rik@octave.org>
parents:
21724
diff
changeset
|
106 // linked lists. List items extend from jit_internal_list, and can be placed |
b571fc85953f
maint: Use two spaces after period to indicate sentence break.
Rik <rik@octave.org>
parents:
21724
diff
changeset
|
107 // in nodes of type jit_internal_node. We use CRTP twice. |
15016 | 108 template <typename LIST_T, typename NODE_T> |
109 class | |
110 jit_internal_list | |
111 { | |
112 friend class jit_internal_node<LIST_T, NODE_T>; | |
113 public: | |
17787
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
114 jit_internal_list (void) : use_head (0), use_tail (0), muse_count (0) { } |
15016 | 115 |
116 virtual ~jit_internal_list (void) | |
117 { | |
118 while (use_head) | |
119 use_head->stash_value (0); | |
120 } | |
121 | |
122 NODE_T *first_use (void) const { return use_head; } | |
123 | |
124 size_t use_count (void) const { return muse_count; } | |
125 private: | |
126 NODE_T *use_head; | |
127 NODE_T *use_tail; | |
128 size_t muse_count; | |
129 }; | |
130 | |
131 // a node for internal linked lists | |
132 template <typename LIST_T, typename NODE_T> | |
133 class | |
134 jit_internal_node | |
135 { | |
136 public: | |
137 typedef jit_internal_list<LIST_T, NODE_T> jit_ilist; | |
138 | |
17787
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
139 jit_internal_node (void) : mvalue (0), mnext (0), mprev (0) { } |
15016 | 140 |
141 ~jit_internal_node (void) { remove (); } | |
142 | |
143 LIST_T *value (void) const { return mvalue; } | |
144 | |
145 void stash_value (LIST_T *avalue) | |
146 { | |
147 remove (); | |
148 | |
149 mvalue = avalue; | |
150 | |
151 if (mvalue) | |
152 { | |
153 jit_ilist *ilist = mvalue; | |
154 NODE_T *sthis = static_cast<NODE_T *> (this); | |
155 if (ilist->use_head) | |
156 { | |
157 ilist->use_tail->mnext = sthis; | |
158 mprev = ilist->use_tail; | |
159 } | |
160 else | |
161 ilist->use_head = sthis; | |
162 | |
163 ilist->use_tail = sthis; | |
164 ++ilist->muse_count; | |
165 } | |
166 } | |
167 | |
168 NODE_T *next (void) const { return mnext; } | |
169 | |
170 NODE_T *prev (void) const { return mprev; } | |
171 private: | |
172 void remove () | |
173 { | |
174 if (mvalue) | |
175 { | |
176 jit_ilist *ilist = mvalue; | |
177 if (mprev) | |
178 mprev->mnext = mnext; | |
179 else | |
180 // we are the use_head | |
181 ilist->use_head = mnext; | |
182 | |
183 if (mnext) | |
184 mnext->mprev = mprev; | |
185 else | |
186 // we are the use tail | |
187 ilist->use_tail = mprev; | |
188 | |
189 mnext = mprev = 0; | |
190 --ilist->muse_count; | |
191 mvalue = 0; | |
192 } | |
193 } | |
194 | |
195 LIST_T *mvalue; | |
196 NODE_T *mnext; | |
197 NODE_T *mprev; | |
198 }; | |
199 | |
200 // Use like: isa<jit_phi> (value) | |
201 // basically just a short cut type typing dyanmic_cast. | |
202 template <typename T, typename U> | |
203 bool isa (U *value) | |
204 { | |
205 return dynamic_cast<T *> (value); | |
206 } | |
207 | |
208 #define JIT_ASSIGN_ARG(i) the_args[i] = arg ## i; | |
209 #define JIT_EXPAND(ret, fname, type, isconst, N) \ | |
210 ret fname (JIT_PARAM_ARGS OCT_MAKE_DECL_LIST (type, arg, N)) isconst \ | |
211 { \ | |
212 std::vector<type> the_args (N); \ | |
213 OCT_ITERATE_MACRO (JIT_ASSIGN_ARG, N); \ | |
214 return fname (JIT_PARAMS the_args); \ | |
215 } | |
216 | |
217 #endif | |
218 #endif |