search for: sharir

Displaying 2 results from an estimated 2 matches for "sharir".

Did you mean: sharif
2009 Jun 30
2
[LLVMdev] Irreducibility and the -simplifycfg flag
Hi everyone, I'm currently trying to run a study on irreducibility of C programs, and I've implemented structural analysis (original paper by Sharir, algorithm in Muchnick's book) as an LLVM pass. When my implementation becomes a bit less buggy I'll certainly look into including it in the LLVM project. As a test for the algorithm I've been producing LLVM bitcode for C files in the GNU coreutils package. When generating bitcode, I...
2010 Mar 13
2
[LLVMdev] Seeking advice on Structural Analysis pass
Hi folks, A few months back I finished writing and testing a pass which implements "structural analysis" as described originally by Sharir in 1980 ("Structural analysis: A new approach to flow analysis in optimizing compilers") and more recently by Muchnick in Advanced Compiler Design and Implementation. It analyses the CFG and recognises specific region schema, such as if-then, if-then-else, while-loop, etc., and builds a &...