search for: pk7cew

...optimize that down given that there are already threading assumptions made: https://godbolt.org/z/u6ZqoB Is this something I can look into? Another thing is that currently *all* external calls break this optimization, including calls to intrinsics that probably shouldn't: https://godbolt.org/z/pK7Cew Maybe add some sort of way (i.e. an attribute) to mark that a call can be optimized through in this way? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200128/074c97ea/attachment.html>

...will cause problems for a lot of (non C/C++) folks. > > Is this something I can look into? Sure :) > > Another thing is that currently *all* external calls break this > > optimization, including calls to intrinsics that probably shouldn't: > > https://godbolt.org/z/pK7Cew > I think during load propagation, there is a legality check "here's a > load, and here's a store. > Is there anything in between that may have clobbered that memory location?". Right now we only have `__attribute__((pure/const))` but we want to expose all LLVM-IR attrib...

...this something I can look into? > > > > Sure :) > > > > > > > > Another thing is that currently *all* external calls break this > > > > optimization, including calls to intrinsics that probably shouldn't: > > > > https://godbolt.org/z/pK7Cew > > > I think during load propagation, there is a legality check "here's a > > > load, and here's a store. > > > Is there anything in between that may have clobbered that memory > > location?". > > > > Right now we only have `__attribut...

...this something I can look into? > > > > Sure :) > > > > > > > > Another thing is that currently *all* external calls break this > > > > optimization, including calls to intrinsics that probably shouldn't: > > > > https://godbolt.org/z/pK7Cew > > > I think during load propagation, there is a legality check "here's a > > > load, and here's a store. > > > Is there anything in between that may have clobbered that memory > > location?". > > > > Right now we only have `__attribut...