Displaying 2 results from an estimated 2 matches for "without_devirtualization".
2018 Dec 02
4
RFC: Supported Optimizations attribute
...upported_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
}
define void @without_devirtualization(i8* %p, i8* %p2) {
%b = icmp eq i8* %p, %p2
call void @llvm.assume(i1 %b)
ret void
}
!0 = !{!"clang.cxx.devirtualization"}
declare void @llvm.assume(i1)
declare i8* @llv...
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