racket-llvm/module.rkt at master · lukel97/racket-llvm · GitHub

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
#lang racket

(require ffi/unsafe
         "definer.rkt")

(define-llvm llvm-module (_fun _string -> _LLVMModuleRef)
             #:c-id LLVMModuleCreateWithName)
(provide llvm-module)

(define _LLVMVerifierFailureAction
  (_enum '(llvm-abort-process-action
            llvm-print-message-action
            llvm-return-status-action)))

(define-llvm llvm-dispose-message (_fun (_ptr i _string) -> _void)
             #:c-id LLVMDisposeMessage)
(provide llvm-dispose-message)

(define-llvm llvm-module-verify (_fun _LLVMModuleRef
                                      (_LLVMVerifierFailureAction = 'llvm-return-status-action)
                                      (err : (_ptr o _string))
                                      -> (failure : _bool)
                                      ; TODO: should call llvm-dispose-message
                                      -> (when failure (error err)))
             #:c-id LLVMVerifyModule)
(provide llvm-module-verify)

(define-llvm llvm-module-to-string (_fun _LLVMModuleRef -> _string)
             #:c-id LLVMPrintModuleToString)
(provide llvm-module-to-string)

(define-llvm llvm-add-function (_fun _LLVMModuleRef
                                     _string
                                     _LLVMTypeRef
                                     -> _LLVMValueRef)
             #:c-id LLVMAddFunction)
(provide llvm-add-function)

(module+ test
  ;TODO: test error thrown when llvm-verify-module fails
)