search for: pinavm

Reza Sheykhi <hajishey at msu.edu> writes: > I got the following answers: > > which perl > /usr/bin/perl > > which llvm-config > /usr/local/bin/llvm-config > > which llvm-as > /usr/local/bin/llvm-as > > /usr/bin/llvm-confing --version > bash: /usr/bin/llvm-confing: No such file or directory Uh, there is a typo on the command above, it should be

I got the following answers: which perl /usr/bin/perl which llvm-config /usr/local/bin/llvm-config which llvm-as /usr/local/bin/llvm-as /usr/bin/llvm-confing --version bash: /usr/bin/llvm-confing: No such file or directory /usr/local/bin/llvm-config --version 2.8 Quoting Óscar Fuentes <ofv at wanadoo.es>: > Reza Sheykhi <hajishey at msu.edu> writes: > >> Thank you

Hi, I am using PinaVM which is a prototype of a SystemC front-end based on "LLVM". The only version that it works with is 2.8. Also to test PinaVM, we need llvm-g++ (I think clang does not work). However, when I want to run an example, i get the following error, which i think is related to llvm-g++:...

...---Original Message----- > From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] > On Behalf Of Reza Sheykhi > Sent: Tuesday, October 02, 2012 1:37 PM > To: llvmdev at cs.uiuc.edu > Subject: [LLVMdev] llvm-g++ does not work! > > Hi, > > I am using PinaVM which is a prototype of a SystemC front-end based on > "LLVM". The only version that it works with is 2.8. Also to test PinaVM, we > need llvm-g++ (I think clang does not work). However, when I want to run an > example, i get the following error, which i think is related to llvm-...

Hi, I've had problem with a program using LLVM that tried to dynamic_cast objects created in the JIT execution engine, from the native part of the program (for the curious, the program is PinaVM http://gitorious.org/pinavm/pages/Home). I've narrowed down the issue to the linkage of weak_odr and linkonce_odr symbols, used for the vtables, and that _must_ be unique for dynamic_cast to work. Attached are two patches: the first adds a (failing) testcase, the second fixes the issue. I...

To All,     Has anyone worked with generating vhdl code to promela script for the spin model checker??   David Blubaugh         -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121204/b76bd607/attachment.html>

...h LLVM-IR is written serially, its SSA form explicitly tells us the data dependency between temporaries. Then the question is how to map VHDL data types and program constructors to LLVM, I think this is not trivial. I just googled a System C-LLVM tool https://forge.imag.fr/plugins/mediawiki/wiki/pinavm/index.php/Main_Page which may help? > VHDL code could also be simulated by a simulator in which case the concurrent instructions are of course executed serially because the VHDL code is compiled in this case to assembly instructions. > I have no experience with LLVM, but it seems to me that...

Hi, I am wondering if someone knows about a VHDL simulator (maybe still in early developpement) that use LLVM in its compilation process. To summarize, VHDL is a hardware description language, which means that VHDL is like any other programming language except that the output of its synthesis is not a list of assembly instructions but a description of a circuit with logical gates. This

...h LLVM-IR is written serially, its SSA form explicitly tells us the data dependency between temporaries. Then the question is how to map VHDL data types and program constructors to LLVM, I think this is not trivial. I just googled a System C-LLVM tool https://forge.imag.fr/plugins/mediawiki/wiki/pinavm/index.php/Main_Page which may help? > VHDL code could also be simulated by a simulator in which case the concurrent instructions are of course executed serially because the VHDL code is compiled in this case to assembly instructions. > I have no experience with LLVM, but it seems to me that...