Thank you for this reply.
However, I've already read this thesis. (Mr. Doug Simon in Sun microsystems
I mentioned was her student.)
This is a quite good article for reverse engineering but this is only useful for
my alternative way which is trying to derive HL code from a machine assembly.
This thesis is a little bit old before SSA form becomes quite popular so does
not deal with any PHI function.
For this reason, I can't get any useful info for constructing loops from
LLVM IR.
Anyway, thank you for your concerns.
Seung J. Lee
---- Original message ---->Date: Sat, 26 Jan 2008 15:10:41 -0800
>From: Mike Stump <mrs at apple.com>
>Subject: Re: [LLVMdev] Question to Chris
>To: LLVM Developers Mailing List <llvmdev at cs.uiuc.edu>
>
>On Jan 26, 2008, at 9:48 AM, Seung Jae Lee wrote:
>> In order to construct high-level 'for'
>
>I'd point you to things like:
>
> http://www.itee.uq.edu.au/~cristina/dcc.html
>
>and other things that google could find with terms like decompilation,
>reverse engineering, reengineering and so one. These should be able
>to provide a back drop to the problem. Curious, a quick 5 second
>search turns up:
>
> http://boomerang.sourceforge.net/
>
>in which they claim to use ssa to help out. You can study how they
>raise code back up into for statements and how the code works.
>_______________________________________________
>LLVM Developers mailing list
>LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
>http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
