mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 20:51:52 +01:00
f85a84745e
Summary: This patch introduce new intrinsic - strip.invariant.group that was described in the RFC: Devirtualization v2 Reviewers: rsmith, hfinkel, nlopes, sanjoy, amharc, kuhar Subscribers: arsenm, nhaehnle, JDevlieghere, hiraditya, xbolva00, llvm-commits Differential Revision: https://reviews.llvm.org/D47103 Co-authored-by: Krzysztof Pszeniczny <krzysztof.pszeniczny@gmail.com> llvm-svn: 336073
41 lines
1015 B
LLVM
41 lines
1015 B
LLVM
; RUN: opt -codegenprepare -S < %s | FileCheck %s
|
|
|
|
@tmp = global i8 0
|
|
|
|
; CHECK-LABEL: define void @foo() {
|
|
define void @foo() {
|
|
enter:
|
|
; CHECK-NOT: !invariant.group
|
|
; CHECK-NOT: @llvm.launder.invariant.group.p0i8(
|
|
; CHECK: %val = load i8, i8* @tmp{{$}}
|
|
%val = load i8, i8* @tmp, !invariant.group !0
|
|
%ptr = call i8* @llvm.launder.invariant.group.p0i8(i8* @tmp)
|
|
|
|
; CHECK: store i8 42, i8* @tmp{{$}}
|
|
store i8 42, i8* %ptr, !invariant.group !0
|
|
|
|
ret void
|
|
}
|
|
; CHECK-LABEL: }
|
|
|
|
; CHECK-LABEL: define void @foo2() {
|
|
define void @foo2() {
|
|
enter:
|
|
; CHECK-NOT: !invariant.group
|
|
; CHECK-NOT: @llvm.strip.invariant.group.p0i8(
|
|
; CHECK: %val = load i8, i8* @tmp{{$}}
|
|
%val = load i8, i8* @tmp, !invariant.group !0
|
|
%ptr = call i8* @llvm.strip.invariant.group.p0i8(i8* @tmp)
|
|
|
|
; CHECK: store i8 42, i8* @tmp{{$}}
|
|
store i8 42, i8* %ptr, !invariant.group !0
|
|
|
|
ret void
|
|
}
|
|
; CHECK-LABEL: }
|
|
|
|
|
|
declare i8* @llvm.launder.invariant.group.p0i8(i8*)
|
|
declare i8* @llvm.strip.invariant.group.p0i8(i8*)
|
|
!0 = !{}
|