xref: /llvm-project/llvm/test/Transforms/CodeGenPrepare/X86/invariant.group.ll (revision f1ec0d12bb0843f0deab83ef2b5cf1339cbc4f0b) 
1; RUN: opt -passes='require<profile-summary>,function(codegenprepare)' -S -mtriple=x86_64 < %s | FileCheck %s
2
3@tmp = global i8 0
4
5; CHECK-LABEL: define void @foo() {
6define void @foo() {
7enter:
8  ; CHECK-NOT: !invariant.group
9  ; CHECK-NOT: @llvm.launder.invariant.group.p0(
10  ; CHECK: %val = load i8, ptr @tmp, align 1{{$}}
11  %val = load i8, ptr @tmp, !invariant.group !0
12  %ptr = call ptr @llvm.launder.invariant.group.p0(ptr @tmp)
13
14  ; CHECK: store i8 42, ptr @tmp, align 1{{$}}
15  store i8 42, ptr %ptr, !invariant.group !0
16
17  ret void
18}
19; CHECK-LABEL: }
20
21; CHECK-LABEL: define void @foo2() {
22define void @foo2() {
23enter:
24  ; CHECK-NOT: !invariant.group
25  ; CHECK-NOT: @llvm.strip.invariant.group.p0(
26  ; CHECK: %val = load i8, ptr @tmp, align 1{{$}}
27  %val = load i8, ptr @tmp, !invariant.group !0
28  %ptr = call ptr @llvm.strip.invariant.group.p0(ptr @tmp)
29
30  ; CHECK: store i8 42, ptr @tmp, align 1{{$}}
31  store i8 42, ptr %ptr, !invariant.group !0
32
33  ret void
34}
35; CHECK-LABEL: }
36
37
38declare ptr @llvm.launder.invariant.group.p0(ptr)
39declare ptr @llvm.strip.invariant.group.p0(ptr)
40!0 = !{}
41