<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Hi JF,</div><div dir="ltr"><br><div>   I've heard that you are interested DSE improvements and maybe we need to be in sync.<br></div><div>   So far I experimented with following DSE improvements:</div><div><br></div><div>* Cross-block DSE, it eliminates additional 7% stores comparing to existing DSE. But it's not visible on benchmarks.</div><div><br></div><div>* Cross-block + Interprocedural analysis to annotate each function argument with: </div><div>  - can read before write</div><div>  - will always write <br></div><div>This annotations gets me 20% stores deleted additional to the current DSE.<br></div><div><br></div><div></div><div>This is on LLVM codebase with -ftrivial-auto-var-init=patter.<br></div><div><br></div><div>As-is it's less than I expected, so I would like to find good benchmark to decide if we should work to make production code from my experiment.</div><div><br></div><div>So now I am also planing to try to extend that to whole program analysis.<br></div><div>I will cleanup my code and upload this during this weak, if anyone wants to try.</div><div><br></div><div>Vitaly.</div></div></div></div></div></div></div>