steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

llvm: "salvaging" these vocabs from factor-unmaintained 

I think a lot of it needs to be updated to work with current llvm
modern-harvey2
Björn Lindqvist 2017-07-11 03:56:47 +02:00
parent 9103d1546f
commit c90a2a28bd
9 changed files with 239 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
extra/llvm/examples/kaleidoscope/authors.txt Normal file
View File

@ -0,0 +1 @@
Björn Lindqvist

7
extra/llvm/examples/kaleidoscope/kaleidoscope-docs.factor Normal file
View File

@ -0,0 +1,7 @@
USING: help.markup help.syntax ;
IN: llvm.examples.kaleidoscope
ARTICLE: "llvm.kaleidoscope" "The Kaleidoscope language"
"This vocab implements the Kaleidoscope language which is the example language described in the official LLVM tutorial" ;
ABOUT: "llvm.kaleidoscope"

11
extra/llvm/examples/kaleidoscope/kaleidoscope-tests.factor Normal file
View File

@ -0,0 +1,11 @@
! Copyright (C) 2017 Björn Lindqvist
! See http://factorcode.org/license.txt for BSD license.
USING: llvm.examples.kaleidoscope tools.test ;
IN: llvm.examples.kaleidoscope.tests
{
V{ T{ ast-binop { lhs 3 } { rhs 4 } { operator "+" } } }
} [
"3 + 4" parse-kaleidoscope
] unit-test

58
extra/llvm/examples/kaleidoscope/kaleidoscope.factor Normal file
View File

@ -0,0 +1,58 @@
USING: accessors arrays combinators io kernel math.parser peg prettyprint
sequences strings unicode peg.ebnf ;
IN: llvm.examples.kaleidoscope
TUPLE: ast-binop lhs rhs operator ;
TUPLE: ast-name value ;
TUPLE: ast-number value ;
TUPLE: ast-def name params expr ;
TUPLE: ast-unop expr ;
TUPLE: ast-call name args ;
TUPLE: ast-if condition true false ;
EBNF: tokenize-kaleidoscope
Letter = [a-zA-Z]
Digit = [0-9]
Digits = Digit+
SingleLineComment = "#" (!("\n") .)* "\n" => [[ ignore ]]
Space = [ \t\r\n] | SingleLineComment
Spaces = Space* => [[ ignore ]]
NameFirst = Letter
NameRest = NameFirst | Digit
iName = NameFirst NameRest* => [[ first2 swap prefix >string ]]
Name = !(Keyword) iName => [[ ast-name boa ]]
Number = Digits:ws '.' Digits:fs => [[ ws "." fs 3array "" concat-as string>number ast-number boa ]]
| Digits => [[ >string string>number ast-number boa ]]
Special = "(" | ")" | "*" | "+" | "/" | "-" | "<" | ">" | ","
Keyword = ("def" | "extern" | "if" | "then" | "else") !(NameRest)
Tok = Spaces (Keyword | Name | Number | Special)
Toks = Tok* Spaces
;EBNF
EBNF: parse-kaleidoscope
tokenizer = <foreign tokenize-kaleidoscope Tok>
Name = . ?[ ast-name? ]? => [[ value>> ]]
Number = . ?[ ast-number? ]? => [[ value>> ]]
CondOp = "<" | ">"
AddOp = "+" | "-"
MulOp = "*" | "%" | "/"
Unary = "-" Unary:p => [[ p ast-unop boa ]]
| PrimExpr
MulExpr = MulExpr:x MulOp:op Unary:y => [[ x y op ast-binop boa ]]
| Unary
AddExpr = AddExpr:x AddOp:op MulExpr:y => [[ x y op ast-binop boa ]]
| MulExpr
RelExpr = RelExpr:x CondOp:op AddExpr:y => [[ x y op ast-binop boa ]]
| AddExpr
CondExpr = "if" RelExpr:c "then" CondExpr:e1 "else" CondExpr:e2 => [[ c e1 e2 ast-if boa ]]
| RelExpr
Args = (RelExpr ("," RelExpr => [[ second ]])* => [[ first2 swap prefix ]])?
PrimExpr = "(" CondExpr:e ")" => [[ e ]]
| Name:n "(" Args:a ")" => [[ n a ast-call boa ]]
| Name
| Number
SrcElem = "def" Name:n "(" Name*:fs ")" CondExpr:expr => [[ n fs expr ast-def boa ]]
| RelExpr
SrcElems = SrcElem*
TopLevel = SrcElems
;EBNF

61
extra/llvm/examples/sumfunc/sumfunc.factor Normal file
View File

@ -0,0 +1,61 @@
USING: alien.c-types alien.data arrays destructors kernel llvm.ffi
locals math sequences ;
IN: llvm.examples.sumfunc
! From:
! https://pauladamsmith.com/blog/2015/01/how-to-get-started-with-llvm-c-api.html
ERROR: llvm-verify message ;
: declare-function ( module name ret params -- value )
[ void* >c-array ] [ length ] bi 0 LLVMFunctionType LLVMAddFunction ;
: verify-module ( module -- )
! Does it leak?
LLVMReturnStatusAction
{ c-string } [ LLVMVerifyModule ] with-out-parameters
swap 0 = [ drop ] [ llvm-verify ] if ;
: with-module ( name quot -- )
[
swap LLVMModuleCreateWithName
&LLVMDisposeModule
[ swap call ]
[ dup verify-module LLVMDumpModule ] bi
] with-destructors ; inline
: with-builder ( quot -- )
[
LLVMCreateBuilder &LLVMDisposeBuilder swap call
] with-destructors ; inline
: create-execution-engine-for-module ( module -- engine )
[ f LLVMExecutionEngineRef <ref> dup ] dip f
LLVMCreateExecutionEngineForModule drop
LLVMExecutionEngineRef deref ;
: with-execution-engine ( module quot -- )
[
swap create-execution-engine-for-module
&LLVMDisposeExecutionEngine
swap call
] with-destructors ; inline
: create-sum-body ( sum -- )
[
! sum builder
over "entry" LLVMAppendBasicBlock
! sum builder bb
dupd LLVMPositionBuilderAtEnd
! sum builder
swap dupd [ 0 LLVMGetParam ] [ 1 LLVMGetParam ] bi
! builder builder p0 p1
"tmp" LLVMBuildAdd
LLVMBuildRet drop
] with-builder ;
:: create-sum-function ( -- )
"my_module" [
"sum" LLVMInt32Type LLVMInt32Type LLVMInt32Type 2array
declare-function create-sum-body
] with-module ;

2
extra/llvm/ffi/authors.txt Normal file
View File

@ -0,0 +1,2 @@
Matthew Willis
Björn Lindqvist

9
extra/llvm/ffi/ffi-tests.factor Normal file
View File

@ -0,0 +1,9 @@
! Copyright (C) 2017 Björn Lindqvist
USING: kernel llvm.ffi tools.test ;
IN: llvm.ffi.tests
{ } [
"my_module" LLVMModuleCreateWithName
dup LLVMDumpModule
LLVMDisposeModule
] unit-test

88
extra/llvm/ffi/ffi.factor Normal file
View File

@ -0,0 +1,88 @@
! Copyright (C) 2009 Matthew Willis, 2017 Björn Lindqvist
! See http://factorcode.org/license.txt for BSD license.
USING: alien alien.c-types alien.destructors alien.libraries
alien.syntax ldcache ;
IN: llvm.ffi
<<
"llvm" "LLVM-3.8" find-so cdecl add-library
>>
LIBRARY: llvm
CONSTANT: LLVMAbortProcessAction 0
CONSTANT: LLVMPrintMessageAction 1
CONSTANT: LLVMReturnStatusAction 2
TYPEDEF: uint unsigned
TYPEDEF: unsigned enum
TYPEDEF: int LLVMBool
! Reference types
TYPEDEF: void* LLVMExecutionEngineRef
TYPEDEF: void* LLVMModuleRef
TYPEDEF: void* LLVMPassManagerRef
TYPEDEF: void* LLVMModuleProviderRef
TYPEDEF: void* LLVMTypeRef
TYPEDEF: void* LLVMTypeHandleRef
TYPEDEF: void* LLVMValueRef
TYPEDEF: void* LLVMBasicBlockRef
TYPEDEF: void* LLVMBuilderRef
TYPEDEF: void* LLVMMemoryBufferRef
! Modules
FUNCTION: LLVMModuleRef LLVMModuleCreateWithName ( c-string ModuleID )
FUNCTION: void LLVMDisposeModule ( LLVMModuleRef M )
FUNCTION: void LLVMDumpModule ( LLVMModuleRef M )
FUNCTION: LLVMBool LLVMVerifyModule ( LLVMModuleRef M, int Action, char **OutMessage )
DESTRUCTOR: LLVMDisposeModule
! Types
FUNCTION: LLVMTypeRef LLVMInt1Type ( )
FUNCTION: LLVMTypeRef LLVMInt8Type ( )
FUNCTION: LLVMTypeRef LLVMInt16Type ( )
FUNCTION: LLVMTypeRef LLVMInt32Type ( )
FUNCTION: LLVMTypeRef LLVMInt64Type ( )
FUNCTION: LLVMTypeRef LLVMIntType ( unsigned NumBits )
FUNCTION: LLVMTypeRef LLVMFunctionType ( LLVMTypeRef ReturnType,
LLVMTypeRef* ParamTypes,
unsigned ParamCount, int IsVarArg )
! Values
FUNCTION: LLVMValueRef LLVMAddFunction ( LLVMModuleRef M,
c-string Name,
LLVMTypeRef FunctionTy )
FUNCTION: LLVMValueRef LLVMGetParam ( LLVMValueRef Fn,
unsigned index )
! Basic blocks
FUNCTION: LLVMBasicBlockRef LLVMAppendBasicBlock ( LLVMValueRef Fn,
c-string Name )
! Builders
FUNCTION: LLVMBuilderRef LLVMCreateBuilder ( )
FUNCTION: void LLVMDisposeBuilder ( LLVMBuilderRef Builder )
FUNCTION: void LLVMPositionBuilderBefore ( LLVMBuilderRef Builder,
LLVMValueRef Instr )
FUNCTION: void LLVMPositionBuilderAtEnd ( LLVMBuilderRef Builder,
LLVMBasicBlockRef Block )
FUNCTION: LLVMValueRef LLVMBuildAdd ( LLVMBuilderRef Builder,
LLVMValueRef LHS,
LLVMValueRef RHS,
c-string Name )
FUNCTION: LLVMValueRef LLVMBuildSub ( LLVMBuilderRef Builder,
LLVMValueRef LHS,
LLVMValueRef RHS,
c-string Name )
FUNCTION: LLVMValueRef LLVMBuildRet ( LLVMBuilderRef Builder,
LLVMValueRef V )
DESTRUCTOR: LLVMDisposeBuilder
! Engines
FUNCTION: LLVMBool LLVMCreateExecutionEngineForModule (
LLVMExecutionEngineRef* OutEE,
LLVMModuleRef M,
char **OutMessage )
FUNCTION: void LLVMDisposeExecutionEngine ( LLVMExecutionEngineRef E )
DESTRUCTOR: LLVMDisposeExecutionEngine

2
extra/llvm/llvm.factor Normal file
View File

@ -0,0 +1,2 @@
USING: kernel ;
IN: llvm