Displaying 4 results from an estimated 4 matches for "functionti".
Did you mean:
functionty
2013 Apr 16
0
[LLVMdev] Name mangling and getOrInsertFunction
Hello,
I am trying to handle some overloaded functions in the LLVM IR.
I have a number of functions named "task" in the source code, differing in the number of parameters. And there is a call, let's say:
task (a, b).
I get the file.ll equivalent and I want to replace the original call task (a,b) with a call to one of the other functions, task(a,b,c).
The problem is that due to
2008 Mar 15
0
[LLVMdev] improving the ocaml binding's type safety
Hi Erick,
On 2008-03-15, at 04:03, Erick Tryzelaar wrote:
> I was talking to Gordon on #llvm earlier, and he challenged me with
> coming up with a way to improve the ocaml binding's type safety. I
> think I got an easy solution with phantom types.
This could be a good step. I'm not sure I can predict all of the
implications; I'd suggest you work up a proof of concept.
2012 Mar 28
0
[LLVMdev] GSoC 2012 Proposal: Python bindings for LLVM
Hello all,
Here is my GSoC 2012 proposal: Python bindings for LLVM. Any feedback are
welcome!
*Title: Python bindings for LLVM*
*Abstract: * llvm-py provides Python bindings for LLVM. The latest llvm-py
supports bindings with Python 2.x version for LLVM 2.x. This project is to
improve llvm-py to make it compatible with both Python 2.x and Python 3 for
LLVM 3.
*Motivation*
LLVM is used as a
2008 Mar 15
4
[LLVMdev] improving the ocaml binding's type safety
I was talking to Gordon on #llvm earlier, and he challenged me with
coming up with a way to improve the ocaml binding's type safety. We
can't go letting haskell beat us now, can we? I think I got an easy
solution with phantom types.
For those who don't know what the problem is, the ocaml bindings share
one type between whole class branches (like values). This means we
need to downcast