Displaying 4 results from an estimated 4 matches for "bozhenov".
2020 Nov 18
2
[AssumeBundles] ValueTracking cannot use alignment assumptions?
Hello,
As I can see, recently LLVM switched to using assume bundles to encode alignment information: https://reviews.llvm.org/rG78de7297abe2e8fa782682168989c70e3cb34a5c
However, it seems that the ValueTracking cannot understand the new format. As an example, consider compilation of the following reproducer with clang-11 (old assume format) and clang-trunk (assume bundles):
#include
2017 Dec 06
2
Question about visibility analysis for whole program devirtualization pass
Hi Peter,
Thanks for the reply. I agree that the base class vtable may be not referenced by a derived class. However, the vtable of a derived class has to reference its parent type_info, and so having type_info internalized means that the class is final, doesn’t it?
Thanks,
Nikolai
From: Peter Collingbourne [mailto:peter at pcc.me.uk]
Sent: Wednesday, December 6, 2017 4:36 AM
To: Gainullin,
2020 Nov 18
0
[AssumeBundles] ValueTracking cannot use alignment assumptions?
That sounds like a bug, yes.
Please file a bug? :)
Roman
On Wed, Nov 18, 2020 at 6:26 AM Bozhenov, Nikolai
<nikolai.bozhenov at intel.com> wrote:
>
> Hello,
>
> As I can see, recently LLVM switched to using assume bundles to encode alignment information: https://reviews.llvm.org/rG78de7297abe2e8fa782682168989c70e3cb34a5c
>
> However, it seems that the ValueTracking canno...
2017 May 16
2
[RFC] Canonicalization of unsigned subtraction with saturation
On 5/16/2017 6:30 AM, Sanjay Patel wrote:
> Thanks for posting this question, Julia.
>
> I had a similar question about a signed min/max variant here:
> http://lists.llvm.org/pipermail/llvm-dev/2016-November/106868.html
>
> The 2nd version in each case contains a canonical max/min
> representation in IR, and this could enable more IR analysis.
> A secondary advantage is