Displaying 2 results from an estimated 2 matches for "with_devirtu".
2018 Dec 02
4
RFC: Supported Optimizations attribute
...backwards compatibility reasons, any
!invariant.group metadata with an empty argument (i.e. as before this RFC),
shall not be subject to the above restrictions and shall remain applicable
even when there is no supported_optimizations list provided for the
enclosing function.
Example:
define void @with_devirtualization(i8* %p) supported_optimizations =
"clang.cxx.devirtualization" {
%v1 = load i8, i8* %p, !invariant.group !0
%p2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %p)
call void @without_devirtualization(i8* %p, i8* %p2)
%v2 = load i8, i8* %p2, !invariant.group !0
ret void
}...
2018 Dec 05
4
[cfe-dev] RFC: Supported Optimizations attribute
śr., 5 gru 2018 o 00:22 John McCall via cfe-dev <cfe-dev at lists.llvm.org>
napisał(a):
> On 4 Dec 2018, at 17:50, Philip Reames wrote:
>
> Skimming along, apologies if I'm repeating something which already got
> said.
>
> If I understand this correctly, the basic problem we're trying to solve is
> to use a local hint (the invariant.group) to make a global