search for: axtor

Hi Micah, i just had a quick look at your structurizer. Here is what if found (correct me, if i am mistaken): * Our approaches for handling Loops with multiple exits are identical. ("Loop-Exit Enumeration") * Axtor implements Controlled-Node Splitting and can cope with irreducible control-flow. (http://cardit.et.tudelft.nl/MOVE/papers/cc96.ps) * Axtor translates switches to cascading IF-instructions * You are cloning nodes for predecessors to restructure IF-structures. In Axtor, additionally to that, i implem...

...RE: [LLVMdev] OpenCL backend for LLVM > > Hi Micah, > > i just had a quick look at your structurizer. Here is what if found > (correct me, if i am mistaken): > * Our approaches for handling Loops with multiple exits are identical. > ("Loop-Exit Enumeration") > * Axtor implements Controlled-Node Splitting and can cope with > irreducible control-flow. > (http://cardit.et.tudelft.nl/MOVE/papers/cc96.ps) > * Axtor translates switches to cascading IF-instructions > * You are cloning nodes for predecessors to restructure IF-structures. > In Axtor, addit...

Hi, this is a follow-up on my email from august (http://lists.cs.uiuc.edu/pipermail/llvmdev/2011-August/042737.html). i have, finally, released my OpenCL backend and control-flow restructuring framework for LLVM (AST-Extractor, or short axtor). The framework restructures function CFGs such that they can be expressed entirely without GOTOs or switch/loop-trickery. Hence, making it possible to emit source-code for strictly control-flow structured languages (OpenCL, GLSL). The code includes a drop-in OpenCL driver that allows source-to-sou...

hello,sir, i need your help,i have cloned the axtor code from the bitbucked (the url:https://bitbucket.org/gnarf/axtor.git),but i can not compile it.so can you help me to compile it?my E-mail:tshping at 163.com,so if you give me some advice,send me e-mail to there.thx so much. -------------- next part -------------- An HTML attachment was scrubbed.....

...CL backend for LLVM > > Hi, > > this is a follow-up on my email from august > (http://lists.cs.uiuc.edu/pipermail/llvmdev/2011-August/042737.html). > > i have, finally, released my OpenCL backend and control-flow > restructuring framework for LLVM (AST-Extractor, or short axtor). The > framework restructures function CFGs such that they can be expressed > entirely without GOTOs or switch/loop-trickery. Hence, making it > possible to emit source-code for strictly control-flow structured > languages (OpenCL, GLSL). The code includes a drop-in OpenCL driver >...

...Moll (in CC) has written a decompiler for LLVM in his Bachelor's > Thesis here at Saarland University. The thesis is titled "Decompilation of > LLVM IR" and can be found here: > http://www.cdl.uni-saarland.de/publications/ > > The library he implemented is called "Axtor" (for "AST Extractor") and has > been used primarily to generate OpenCL code from LLVM. In this context, it > successfully compiles OpenCL -> LLVM -> OpenCL "cycles". > Simon will be able to give you more information, also in terms of license > details whi...

Hi, Simon Moll (in CC) has written a decompiler for LLVM in his Bachelor's Thesis here at Saarland University. The thesis is titled "Decompilation of LLVM IR" and can be found here: http://www.cdl.uni-saarland.de/publications/ The library he implemented is called "Axtor" (for "AST Extractor") and has been used primarily to generate OpenCL code from LLVM. In this context, it successfully compiles OpenCL -> LLVM -> OpenCL "cycles". Simon will be able to give you more information, also in terms of license details which I don't re...

Hi, I know most compilers go from AST to CFG. I am writing a decompiler, so I was wondering if anyone knew of any documents describing how best to get from CFG to AST. The decompiler project is open source. https://github.com/jcdutton/libbeauty The decompiler already contains a disassembler and a virtual machine resulting in an annotated CFG. It uses information gained from using a virtual

Hi, I am writing a decompiler. I was wondering if some of LLVM could be used for a decompiler. There are several stages in the decompiler process. 1) Take binary and create a higher level representation of it. Like RTL. 2) The output is then broken into blocks or nodes, each block ends in a CALL, JMP, RET, or 2-way or multiway conditional JMP. 3) The blocks or nodes are then analyzed for