search for: mydse

Can you post numbers for how many stores get eliminated from CTMark? > On Apr 16, 2019, at 11:45 AM, Vitaly Buka <vitalybuka at google.com> wrote: > > I tried -Os and effect of new approach significantly increases. > I run regular DSE and immediately myDSE. With -Os myDSE removes more than 50% of DSE number. > Which is expected as -Os inlines less and regular DSE can't remove over function call. > > On Tue, Apr 16, 2019 at 7:11 AM Alexander Potapenko <glider at google.com <mailto:glider at google.com>> wrote: > On Mon, Ap...

...y stores get eliminated from CTMark? > >> On Apr 16, 2019, at 11:45 AM, Vitaly Buka <vitalybuka at google.com <mailto:vitalybuka at google.com>> wrote: >> >> I tried -Os and effect of new approach significantly increases. >> I run regular DSE and immediately myDSE. With -Os myDSE removes more than 50% of DSE number. >> Which is expected as -Os inlines less and regular DSE can't remove over function call. >> >> On Tue, Apr 16, 2019 at 7:11 AM Alexander Potapenko <glider at google.com <mailto:glider at google.com>> wrote: &gt...

On Mon, Apr 15, 2019 at 11:02 PM Amara Emerson via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > > On Apr 15, 2019, at 1:51 PM, Vitaly Buka via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > > Hi JF, > > > > I've heard that you are interested DSE improvements and maybe we need to be in sync. > > So far I experimented with