search for: liama

...class="moz-signature">-- <br> <meta content="text/html;" http-equiv="Content-Type"> <title></title> <font face="Helvetica, Arial, sans-serif">================================================ <br> Vania JOLOBOFF<br> LIAMA Sino French Laboratory <br> 95 Zhongguancun East Road <br> Beijing 100080, China <br> Tel +86 10 8261 4528 <a class="moz-txt-link-freetext" href="http://liama.ia.ac.cn/">http://liama.ia.ac.cn/</a><br> <a class="moz-txt-link-abbrevi...

...class="moz-signature">-- <br> <meta content="text/html;" http-equiv="Content-Type"> <title></title> <font face="Helvetica, Arial, sans-serif">================================================ <br> Vania JOLOBOFF<br> LIAMA Sino French Laboratory <br> 95 Zhongguancun East Road <br> Beijing 100080, China <br> Tel +86 10 8261 4528 <a class="moz-txt-link-freetext" href="http://liama.ia.ac.cn/">http://liama.ia.ac.cn/</a><br> <a class="moz-txt-link-abbrevi...

...iv class="moz-signature"><br> <meta content="text/html;" http-equiv="Content-Type"> <title></title> <font face="Helvetica, Arial, sans-serif">================================================ <br> Vania JOLOBOFF<br> LIAMA Sino French Laboratory <br> 95 Zhongguancun East Road <br> Beijing 100080, China <br> Tel +86 10 8261 4528 <a class="moz-txt-link-freetext" href="http://liama.ia.ac.cn/">http://liama.ia.ac.cn/</a><br> <a class="moz-txt-link-abbrevi...

...hwhile in performance, I am not sure, but since you are currently doing emulation, I'd think that dynamic binary translation with LLVM would be much faster. -- John T. > > > Sincerely, > -- Vania > > ================================================ > Vania JOLOBOFF > LIAMA Sino French Laboratory > 95 Zhongguancun East Road > Beijing 100080, China > Tel +86 10 8261 4528 http://liama.ia.ac.cn/ > vania at liama.ia.ac.cn or vania.joloboff at inria.fr >

On Mon, Apr 7, 2008 at 5:56 AM, Vania Joloboff <vania.joloboff at inria.fr> wrote: > We do dynamic binary translation. We are in a similar situation to qemu > except we are SystemC / TLM compliant for hardware and bus models. Our > current technology is somewhat like qemu, we translate the binary into > "semantic ops", which are pre-compiled at build time, like qemu.

> Where are these passes documented ? >From http://llvm.org/docs/ http://llvm.org/docs/Passes.html: LLVM's Analysis and Transform Passes - A list of optimizations and analyses implemented in LLVM. BTW: your e-mail client is weird. It doesn't denote which parts are quoted by "> " at the left side. Also you sent HTML e-mail, which you shouldn't normally do

On Tue, Apr 1, 2008 at 9:49 AM, Vania Joloboff <vania at liama.ia.ac.cn> wrote: Hello, > > We are a research project in joint french-chinese laboratory. We are > considering using > LLVM in our project but we'd like to have some additional info before we > dive in. > Since we are new kids on the block, please bear with us... > &g...

Hello, Our project is the FORMES project at LIAMA, the sino french laboratory, a cooperation project between INRIA in France and Tsinghua University in China. See http://liama.ia.ac.cn/wiki/projects:formes:menu One part of this project is processor simulation. We want to develop a translator from machine code to Intel x86, using LLVM as intermed...

...off > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu <mailto:LLVMdev at cs.uiuc.edu> > http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > > -- -- Vania Joloboff LIAMA European Director Also International Project FORMES INRIA-CNRS-CAS SIAT--Tsinghua University Tel +86 135 1063 1405

Hi Vania, If I understood correctly, you have an executable, which is JITing code that has dependencies on the symbols of entire executable. In case dlsym cannot find this symbol, try to link your executable with -rdynamic (gcc) or --export-dynamic (ld): -rdynamic Pass the flag -export-dynamic to the ELF linker, on targets that support it. This instructs the linker