aboutsummaryrefslogtreecommitdiffstats
path: root/src/llvm.cpp
AgeCommit message (Collapse)AuthorFilesLines
2010-09-30Preliminary work on algebraic data types and run-time typing.David Robillard1-7/+67
git-svn-id: http://svn.drobilla.net/resp/resp@270 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-22Simplify Engine function compilation interface.David Robillard1-36/+15
Removes duplicated code in various backends and reduces Engine code knowledge of AFn specifics (which belongs in compile.cpp). git-svn-id: http://svn.drobilla.net/resp/resp@268 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-22Simplify Engine::startFunction.David Robillard1-10/+4
git-svn-id: http://svn.drobilla.net/resp/resp@267 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-22Fix boolean compilation.David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/resp@266 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-20Make AST::compile const and make Module compilation API take const AST*.David Robillard1-16/+16
git-svn-id: http://svn.drobilla.net/resp/resp@265 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-19Generalise `cons': a call to any symbol beginning with an uppercase characterDavid Robillard1-1/+1
(i.e. a type symbol), e.g. (Thing 2), is a call to a type constructor which creates a Tup containing the arguments, with the symbol as the first element in the type expression, e.g. (Thing 2) has type (Thing Int) and compiles to a tuple containing a single Int. The type constructor `Tup' can be used as a `cons' replacement to construct generic tuples. git-svn-id: http://svn.drobilla.net/resp/resp@264 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-19Add quote to syntax (currently only a lexeme is quotable, no lists...)David Robillard1-0/+4
git-svn-id: http://svn.drobilla.net/resp/resp@262 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-19Coherent AString and Lexeme implementation.David Robillard1-5/+30
A Lexeme is any "token" read from input, a lexeme has not yet beeen parsed and could parse to anything, e.g. a string, an expression, a number, etc. Lexemes are not (yet?) exposed to the language or ever compiled. A String is a string literal, which can contain any character directly except " and \. There are two special escapes: \" and \\, any other character following a \ is a syntax error. Fix garbage collection of REPL objects, leading to type errors from type variable re-use because a type variable for a given AST's /address/ exists, but that address has actually been deleted and reused by new (i.e. make top level REPL expressions and types be GC roots). git-svn-id: http://svn.drobilla.net/resp/resp@261 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-18Update for LLVM 2.7.David Robillard1-8/+6
Factor out mostly duplicated code in Env::topLevel and Env::innerMost. git-svn-id: http://svn.drobilla.net/resp/resp@259 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-13Better (but still not correct...) computation of lifted function ↵David Robillard1-8/+6
implementation type. git-svn-id: http://svn.drobilla.net/resp/resp@258 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-13Restructure as a source translation based compiler.David Robillard1-49/+39
Implement support for closures (via lambda lifting phase). git-svn-id: http://svn.drobilla.net/resp/resp@254 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-08Tuplr -> Resp (RESource Processing).David Robillard1-8/+8
git-svn-id: http://svn.drobilla.net/resp/resp@252 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-12-13Update for LLVM 2.6.David Robillard1-65/+74
git-svn-id: http://svn.drobilla.net/resp/tuplr@248 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16Fix memory leaks.David Robillard1-14/+22
git-svn-id: http://svn.drobilla.net/resp/tuplr@243 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16Compile top level definitions to globalas.David Robillard1-1/+24
git-svn-id: http://svn.drobilla.net/resp/tuplr@239 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16. operator for destructuring Tuples (cons).David Robillard1-2/+10
git-svn-id: http://svn.drobilla.net/resp/tuplr@236 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16Cons.David Robillard1-6/+46
git-svn-id: http://svn.drobilla.net/resp/tuplr@235 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Remove all use of ATuple::at().David Robillard1-28/+38
git-svn-id: http://svn.drobilla.net/resp/tuplr@229 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Replace more use of at(0) with head().David Robillard1-6/+6
git-svn-id: http://svn.drobilla.net/resp/tuplr@228 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Clean up function type system.David Robillard1-4/+2
Unify function types globally, rather than construct a "generic type" locally, since this didn't take into consideration captured bindings, leaving the generic type not as solved as it could be. git-svn-id: http://svn.drobilla.net/resp/tuplr@226 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Better error reporting for failed function compiles (print uncompilable type).David Robillard1-1/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@224 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Remove cruft.David Robillard1-42/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@215 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Remove unnecessary cenv.compile wrapper.David Robillard1-7/+7
Remove special treatment of symbols for compilation. Make CEnv::vals a <ASymbol*, CValue> map rather than <AST*, CValue> (only used for symbols). git-svn-id: http://svn.drobilla.net/resp/tuplr@214 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Remove unnecessary CEnv.precompile.David Robillard1-2/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@213 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Cleanup, shrink.David Robillard1-16/+16
git-svn-id: http://svn.drobilla.net/resp/tuplr@209 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13liftCall -> compileFunction.David Robillard1-6/+8
git-svn-id: http://svn.drobilla.net/resp/tuplr@208 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06C backend.David Robillard1-10/+5
git-svn-id: http://svn.drobilla.net/resp/tuplr@199 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Move llvm.cpp back to where it came from...David Robillard1-0/+424
git-svn-id: http://svn.drobilla.net/resp/tuplr@198 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Rename gc and backend files to more library appropriate names (tuplr_ prefix).David Robillard1-437/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@195 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Remove debug dump stuff.David Robillard1-3/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@194 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Move argument substitution building from LLVM backend code to generic type code.David Robillard1-37/+9
git-svn-id: http://svn.drobilla.net/resp/tuplr@193 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Remove ugly use of llEngine everywhere.David Robillard1-28/+26
git-svn-id: http://svn.drobilla.net/resp/tuplr@192 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Split backend specific compilation functions from generic ones.David Robillard1-109/+14
git-svn-id: http://svn.drobilla.net/resp/tuplr@191 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Slightly more workingey first class functions.David Robillard1-7/+19
git-svn-id: http://svn.drobilla.net/resp/tuplr@190 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Tidy.David Robillard1-3/+6
git-svn-id: http://svn.drobilla.net/resp/tuplr@183 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-03Improved const correctness.David Robillard1-9/+12
Use iterators over indices (towards non-vector ATuple). git-svn-id: http://svn.drobilla.net/resp/tuplr@176 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-03Fix compilation with EXPLICIT_STACK_FRAMES.David Robillard1-2/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@170 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29Normalise EOF.David Robillard1-1/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@168 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29More documentation fixes.David Robillard1-3/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@167 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29Build compiler documentation.David Robillard1-0/+4
git-svn-id: http://svn.drobilla.net/resp/tuplr@163 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-28Move code into src directory.David Robillard1-0/+544
git-svn-id: http://svn.drobilla.net/resp/tuplr@160 ad02d1e2-f140-0410-9f75-f8b11f17cedd