[PATCH] D109280: [WIP][DSE] Memory intrinsics like memset, memcpy, memmove are removed if they are overwritten by a store in a loop

[Daniil Seredkin via Phabricator via llvm-commits]

vdsered added a comment.

Hi, @xbolva00. Are you sure that we can use loop idiom and transform arbitrary loop with a store into let's a memset?

Regardning memset, it accepts i8 type as a value. I know how it can transform a loop with stores like [[ https://godbolt.org/z/MzYbqTE73 | P[i] = 0 ]] or e.g. [[ https://godbolt.org/z/hvEon8rqE | P[i] = 286331153 ]], but it'd fail on an example where we'd write [[ https://godbolt.org/z/6WPx7P5a4| P[i] = 1 ]]


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D109280/new/

https://reviews.llvm.org/D109280