150
|
1 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
|
|
2
|
|
3 define i32 @foo() nounwind ssp {
|
|
4 entry:
|
|
5 ; CHECK: %retval = alloca i32
|
|
6 ; CHECK: store i32 42, i32* %retval, !md !0
|
|
7 ; CHECK: br label %0, !md !1
|
|
8 %retval = alloca i32
|
|
9 store i32 42, i32* %retval, !md !0
|
|
10 br label %0, !md !1
|
|
11
|
|
12 ; <label:0>
|
|
13 ; CHECK: %1 = load i32, i32* %retval, !md !2
|
|
14 ; CHECK: ret i32 %1, !md !3
|
|
15 %1 = load i32, i32* %retval, !md !2
|
|
16 ret i32 %1, !md !3
|
|
17 }
|
|
18
|
|
19 ; CHECK: !0 = !{}
|
|
20 ; CHECK: !1 = distinct !{}
|
|
21 ; CHECK: !2 = !{!0}
|
|
22 ; CHECK: !3 = !{!4}
|
|
23 ; CHECK: !4 = !{!0, !2}
|
|
24 !0 = !{}
|
|
25 !1 = distinct !{}
|
|
26 !2 = !{!0}
|
|
27 !3 = !{!4}
|
|
28 !4 = !{!0, !2}
|