Displaying 2 results from an estimated 2 matches for "haslocalqualifiers".
2019 Dec 18
2
[RFC] How to manifest information in LLVM-IR, or, revisiting llvm.assume
...from in the expressions, but if the optimizers
> still aren’t generally aware of the intrinsic, that will just mean
> that assumptions pessimize slightly more abstracted code.
>
> For example, if I had this:
>
> ```
> Clang::QualType type = …;
> __builtin_assume(!type.hasLocalQualifiers());
> ```
>
> At a high level, I want to be able to apply mem2reg to the value of
> this `QualType`; but at a low level, this method call takes `type`
> by reference, and so the predicate function will take it by reference
> as well.
At some point we need to realize code is only...
2019 Dec 18
2
[RFC] How to manifest information in LLVM-IR, or, revisiting llvm.assume
On 12/18, John McCall wrote:
> On 16 Dec 2019, at 18:16, Doerfert, Johannes via llvm-dev wrote:
> > Abstract:
> >
> > It is often hard or impossible to encode complex, e.g., non-boolean,
> > information in an `llvm.assume(i1)`. This RFC describes various problems
> > we have right now and provides alternative design ideas.
> >
> >
> >
> >