search for: d40480

...Ideally, what we should be doing is using MemorySSA to find a >> dependency from the memset: if the closest dependency is the malloc, there >> aren't any stores between the memset and the malloc. (But we aren't using >> MemorySSA in DSE yet; see https://reviews.llvm.org/D40480.) >> >> But yes, memoryIsNotModifiedBetween has the right meaning. >> >> -Eli >> >> >> On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: >> >> "memory accesses between the malloc and the memset without an expensive >> linear scan of the bl...

...d be doing is > using MemorySSA to find a dependency from the memset: if the > closest dependency is the malloc, there aren't any stores > between the memset and the malloc. (But we aren't using > MemorySSA in DSE yet; see https://reviews.llvm.org/D40480 > <https://reviews.llvm.org/D40480>.) > > But yes, memoryIsNotModifiedBetween has the right meaning. > > -Eli > > > On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: >> "memory accesses between the malloc and the memset wit...

...any serious issues yet.  Ideally, what we should be doing is using MemorySSA to find a dependency from the memset: if the closest dependency is the malloc, there aren't any stores between the memset and the malloc.  (But we aren't using MemorySSA in DSE yet; see https://reviews.llvm.org/D40480.) But yes, memoryIsNotModifiedBetween has the right meaning. -Eli On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: > "memory accesses between the malloc and the memset without an > expensive linear scan of the block/function" > > (1) do you mean just use "memoryIsNotModif...

...s using MemorySSA to find a >>>>> dependency from the memset: if the closest dependency is the malloc, there >>>>> aren't any stores between the memset and the malloc. (But we aren't using >>>>> MemorySSA in DSE yet; see https://reviews.llvm.org/D40480.) >>>>> >>>>> But yes, memoryIsNotModifiedBetween has the right meaning. >>>>> >>>>> -Eli >>>>> >>>>> >>>>> On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: >>>>> >>>>>...

...rySSA to find a >>>>>> dependency from the memset: if the closest dependency is the malloc, there >>>>>> aren't any stores between the memset and the malloc. (But we aren't using >>>>>> MemorySSA in DSE yet; see https://reviews.llvm.org/D40480.) >>>>>> >>>>>> But yes, memoryIsNotModifiedBetween has the right meaning. >>>>>> >>>>>> -Eli >>>>>> >>>>>> >>>>>> On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: >>>&...

...es > yet. Ideally, what we should be doing is using MemorySSA to find a > dependency from the memset: if the closest dependency is the malloc, there > aren't any stores between the memset and the malloc. (But we aren't using > MemorySSA in DSE yet; see https://reviews.llvm.org/D40480.) > > But yes, memoryIsNotModifiedBetween has the right meaning. > > -Eli > > > On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: > > "memory accesses between the malloc and the memset without an expensive > linear scan of the block/function" > > (1) do you...

...t >> dependency is the malloc, there aren't any >> stores between the memset and the malloc.  >> (But we aren't using MemorySSA in DSE yet; >> see https://reviews.llvm.org/D40480 >> <https://reviews.llvm.org/D40480>.) >> >> But yes, memoryIsNotModifiedBetween has the >> right meaning. >> >> -Eli >> >> >>...

...hat we should be doing is using MemorySSA to find a >>> dependency from the memset: if the closest dependency is the malloc, there >>> aren't any stores between the memset and the malloc. (But we aren't using >>> MemorySSA in DSE yet; see https://reviews.llvm.org/D40480.) >>> >>> But yes, memoryIsNotModifiedBetween has the right meaning. >>> >>> -Eli >>> >>> >>> On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: >>> >>> "memory accesses between the malloc and the memset without an expe...

...d be doing is using MemorySSA to find a >>>> dependency from the memset: if the closest dependency is the malloc, there >>>> aren't any stores between the memset and the malloc. (But we aren't using >>>> MemorySSA in DSE yet; see https://reviews.llvm.org/D40480.) >>>> >>>> But yes, memoryIsNotModifiedBetween has the right meaning. >>>> >>>> -Eli >>>> >>>> >>>> On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: >>>> >>>> "memory accesses between the m...

...d a >>>>>>> dependency from the memset: if the closest dependency is the malloc, there >>>>>>> aren't any stores between the memset and the malloc. (But we aren't using >>>>>>> MemorySSA in DSE yet; see https://reviews.llvm.org/D40480.) >>>>>>> >>>>>>> But yes, memoryIsNotModifiedBetween has the right meaning. >>>>>>> >>>>>>> -Eli >>>>>>> >>>>>>> >>>>>>> On 5/21/2018 7:48 AM, Dávid Bo...

"memory accesses between the malloc and the memset without an expensive linear scan of the block/function" (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE to check it? x = maloc(..); memset(x, ...) (2) GetUnderlyingObject would give me Value * (from malloc) ? Also another case: memset(s, 0, len); // len > 1 return strlen(s); // optimize to 0 (3)

Hello, I would like to find a way to do this removal properly. I found DSE and "eliminateNoopStore" can be useful for this thing. What I mean? int *test = malloc(15 * sizeof(int)); test[10] = 12; < ----- remove this store memset(test,0,sizeof(int) * 15); I already checked the function "eliminateNoopStore". Looks good, I think I would be to get the value ("A") we