[llvm-dev] Intrinsics InstrReadMem memory properties

[Tim Northover via llvm-dev]

On Thu, 25 Jul 2019 at 11:21, Son Tuan VU <sontuan.vu119 at gmail.com> wrote:
> What about the case where the intrinsic is ReadNone and doesn't get optimized? Also when it is WriteOnly, memset() does not get DSE'd?

Sorry, I didn't notice those on the end of your list. They're missing
optimizations, but not correctness issues.

I expect it's because all of the earlier cases have equivalent
attributes that apply to normal function calls, so there's a stronger
motivation to optimize them well.

Cheers.

Tim.