annotate llvm/test/Transforms/CodeGenPrepare/X86/invariant.group.ll @ 173:0572611fdcc8 llvm10 llvm12

reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt -codegenprepare -S -mtriple=x86_64 < %s | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 @tmp = global i8 0
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 ; CHECK-LABEL: define void @foo() {
anatofuz
parents:
diff changeset
6 define void @foo() {
anatofuz
parents:
diff changeset
7 enter:
anatofuz
parents:
diff changeset
8 ; CHECK-NOT: !invariant.group
anatofuz
parents:
diff changeset
9 ; CHECK-NOT: @llvm.launder.invariant.group.p0i8(
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
10 ; CHECK: %val = load i8, i8* @tmp, align 1{{$}}
150
anatofuz
parents:
diff changeset
11 %val = load i8, i8* @tmp, !invariant.group !0
anatofuz
parents:
diff changeset
12 %ptr = call i8* @llvm.launder.invariant.group.p0i8(i8* @tmp)
anatofuz
parents:
diff changeset
13
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
14 ; CHECK: store i8 42, i8* @tmp, align 1{{$}}
150
anatofuz
parents:
diff changeset
15 store i8 42, i8* %ptr, !invariant.group !0
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 ret void
anatofuz
parents:
diff changeset
18 }
anatofuz
parents:
diff changeset
19 ; CHECK-LABEL: }
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 ; CHECK-LABEL: define void @foo2() {
anatofuz
parents:
diff changeset
22 define void @foo2() {
anatofuz
parents:
diff changeset
23 enter:
anatofuz
parents:
diff changeset
24 ; CHECK-NOT: !invariant.group
anatofuz
parents:
diff changeset
25 ; CHECK-NOT: @llvm.strip.invariant.group.p0i8(
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
26 ; CHECK: %val = load i8, i8* @tmp, align 1{{$}}
150
anatofuz
parents:
diff changeset
27 %val = load i8, i8* @tmp, !invariant.group !0
anatofuz
parents:
diff changeset
28 %ptr = call i8* @llvm.strip.invariant.group.p0i8(i8* @tmp)
anatofuz
parents:
diff changeset
29
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
30 ; CHECK: store i8 42, i8* @tmp, align 1{{$}}
150
anatofuz
parents:
diff changeset
31 store i8 42, i8* %ptr, !invariant.group !0
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 ret void
anatofuz
parents:
diff changeset
34 }
anatofuz
parents:
diff changeset
35 ; CHECK-LABEL: }
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 declare i8* @llvm.launder.invariant.group.p0i8(i8*)
anatofuz
parents:
diff changeset
39 declare i8* @llvm.strip.invariant.group.p0i8(i8*)
anatofuz
parents:
diff changeset
40 !0 = !{}