annotate llvm/test/Feature/md_on_instruction.ll @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 define i32 @foo() nounwind ssp {
anatofuz
parents:
diff changeset
4 entry:
anatofuz
parents:
diff changeset
5 ; CHECK: %retval = alloca i32
anatofuz
parents:
diff changeset
6 ; CHECK: store i32 42, i32* %retval, !md !0
anatofuz
parents:
diff changeset
7 ; CHECK: br label %0, !md !1
anatofuz
parents:
diff changeset
8 %retval = alloca i32
anatofuz
parents:
diff changeset
9 store i32 42, i32* %retval, !md !0
anatofuz
parents:
diff changeset
10 br label %0, !md !1
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 ; <label:0>
anatofuz
parents:
diff changeset
13 ; CHECK: %1 = load i32, i32* %retval, !md !2
anatofuz
parents:
diff changeset
14 ; CHECK: ret i32 %1, !md !3
anatofuz
parents:
diff changeset
15 %1 = load i32, i32* %retval, !md !2
anatofuz
parents:
diff changeset
16 ret i32 %1, !md !3
anatofuz
parents:
diff changeset
17 }
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 ; CHECK: !0 = !{}
anatofuz
parents:
diff changeset
20 ; CHECK: !1 = distinct !{}
anatofuz
parents:
diff changeset
21 ; CHECK: !2 = !{!0}
anatofuz
parents:
diff changeset
22 ; CHECK: !3 = !{!4}
anatofuz
parents:
diff changeset
23 ; CHECK: !4 = !{!0, !2}
anatofuz
parents:
diff changeset
24 !0 = !{}
anatofuz
parents:
diff changeset
25 !1 = distinct !{}
anatofuz
parents:
diff changeset
26 !2 = !{!0}
anatofuz
parents:
diff changeset
27 !3 = !{!4}
anatofuz
parents:
diff changeset
28 !4 = !{!0, !2}