Example:

$cabal run TutorialXX

{-#LANGUAGE ForeignFunctionInterface #-}{- Ported from https://gcc.gnu.org/onlinedocs/jit/intro/tutorial01.html-}moduleMain (main)whereimportqualifiedGccJitimportGccJit.Utils (release)importForeign.PtrimportForeign.C (CString,newCString)importSystem.ExitimportSystem.IOtypeGreetFunction=CString->IO()foreignimport ccall"dynamic" mkFun::FunPtrGreetFunction->GreetFunctionunwrapOrDie::IO (Maybea)->String->IOaunwrapOrDie x msg=do    x'<- xcase x'ofNothing-> die msgJust x''->return x''createCode::PtrGccJit.Context->IO()createCode ctxt=do{-        Let's try to inject the equivalent of:        void greet (const char *name)        {            printf ("hello %s\n", name);        }-}    voidType<-GccJit.contextGetType ctxtGccJit.Void    constCharPtrType<-GccJit.contextGetType ctxtGccJit.ConstCharPtr    paramName<-GccJit.contextNewParam ctxt nullPtr constCharPtrType"format"    func<-GccJit.contextNewFunction ctxt nullPtrGccJit.FunctionExported voidType"greet" [paramName]False    paramFormat<-GccJit.contextNewParam ctxt nullPtr constCharPtrType"format"    intType<-GccJit.contextGetType ctxtGccJit.Int    printFunc<-GccJit.contextNewFunction ctxt nullPtrGccJit.FunctionImported intType"printf" [paramFormat]True    formatArg<-GccJit.contextNewStringLiteral ctxt"Hello %s!\n"    nameArg<-GccJit.paramAsRValue paramName    block<- unwrapOrDie (GccJit.functionNewBlock funcNothing)"NULL block"    printCall<-GccJit.contextNewCall ctxt nullPtr printFunc [formatArg, nameArg]GccJit.blockAddEval block nullPtr printCallGccJit.blockEndWithVoidReturn block nullPtrmain::IO()main=do-- Get a "context" object for working with the library.    ctxt<- unwrapOrDieGccJit.contextAcquire"NULL ctxt"-- Set some options on the context.-- Let's see the code being generated, in assembler form.GccJit.setBoolOption ctxtGccJit.DumpGeneratedCodeTrue-- Populate the context.    createCode ctxt-- Compile the code.    result<- unwrapOrDie (GccJit.contextCompile ctxt)"NULL result"-- Extract the generated code from "result".    greet<- unwrapOrDie (GccJit.resultGetCode result"greet")"NULL greet"-- Now call the generated function:    worldStr<- newCString"World"    mkFun greet worldStr    hFlush stdout    release ctxt    release result

License