search for: taksc6

...were "not used" (in some naive implementation of memcpy at least). Maybe I have overlooked a problem with this solution so let me know what you think. Cheers, Johannes [0] https://reviews.llvm.org/D70749 [1] 1. below: https://godbolt.org/z/J4wFVw [2] 2. below: https://godbolt.org/z/TAkSC6 [3] 3. below: https://godbolt.org/z/UqYi6S (doesn't work yet, will though) [4] 4. below: https://godbolt.org/z/Qkkc_E https://godbolt.org/z/uXAfp_ ... On 02/18, Juneyoung Lee via llvm-dev wrote: > Hello all, > > LangRef says it is undefined behavior to pas...

...cpy > at least). > > Maybe I have overlooked a problem with this solution so let me know > what you think. > > Cheers, > Johannes > > > [0] https://reviews.llvm.org/D70749 > [1] 1. below: https://godbolt.org/z/J4wFVw [2] 2. below: > https://godbolt.org/z/TAkSC6 [3] 3. below: > https://godbolt.org/z/UqYi6S (doesn't work yet, will though) [4] 4. > below: https://godbolt.org/z/Qkkc_E > https://godbolt.org/z/uXAfp_ > ... > > On 02/18, Juneyoung Lee via llvm-dev wrote: > > Hello all, > > > &g...

...have overlooked a problem with this solution so let me know > > what you think. > > > > Cheers, > > Johannes > > > > > > [0] https://reviews.llvm.org/D70749 > > [1] 1. below: https://godbolt.org/z/J4wFVw [2] 2. below: > > https://godbolt.org/z/TAkSC6 [3] 3. below: > > https://godbolt.org/z/UqYi6S (doesn't work yet, will though) [4] 4. > > below: https://godbolt.org/z/Qkkc_E > > https://godbolt.org/z/uXAfp_ > > ... > > > > On 02/18, Juneyoung Lee via llvm-dev wrote: > > &g...

Hello all, LangRef says it is undefined behavior to pass null to a nonnull argument (`call f(nonnull null);`), but the semantics is too strong for a few existing optimizations. To support these, we can relax the semantics so `f(nonnull null)` is equivalent to `f(poison)`, but (A) it again blocks another set of optimizations, and (B) this makes the semantics of nonnull deviate from other