xref: /llvm-project/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/various_ir_values.ll (revision 094572701dce4aaf36f4521d6cf750420d39f206)
1; Just run it through opt, no passes needed.
2; This tests debug intrinsics, so we must explicitly disable records.
3; RUN: opt < %s -S --write-experimental-debuginfo=false | FileCheck %s
4
5; ModuleID = 'various_ir_values.c'
6source_filename = "various_ir_values.c"
7target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
8target triple = "x86_64-unknown-linux-gnu"
9
10; Function Attrs: nounwind uwtable
11define dso_local void @foo(ptr %A) #0 !dbg !7 {
12entry:
13  %A.addr = alloca ptr, align 8, !DIAssignID !62
14  %i = alloca i32, align 4
15  tail call void @llvm.dbg.assign(metadata i1 undef, metadata !13, metadata !DIExpression(), metadata !62, metadata ptr %A.addr, metadata !DIExpression()), !dbg !20
16  store ptr %A, ptr %A.addr, align 8, !tbaa !16
17  tail call void @llvm.dbg.declare(metadata ptr %A.addr, metadata !13, metadata !DIExpression()), !dbg !20
18  call void @llvm.lifetime.start.p0(i64 4, ptr %i) #3, !dbg !21
19  tail call void @llvm.dbg.declare(metadata ptr %i, metadata !14, metadata !DIExpression()), !dbg !22
20  store i32 0, ptr %i, align 4, !dbg !22, !tbaa !23
21  br label %for.cond, !dbg !21
22
23for.cond:                                         ; preds = %for.inc, %entry
24  %0 = load i32, ptr %i, align 4, !dbg !25, !tbaa !23
25  %1 = load ptr, ptr %A.addr, align 8, !dbg !27, !tbaa !16
26  %2 = load i32, ptr %1, align 4, !dbg !28, !tbaa !23
27  %cmp = icmp slt i32 %0, %2, !dbg !29
28  br i1 %cmp, label %for.body, label %for.cond.cleanup, !dbg !30, !prof !61
29
30for.cond.cleanup:                                 ; preds = %for.cond
31  call void @llvm.lifetime.end.p0(i64 4, ptr %i) #3, !dbg !31
32  br label %for.end
33
34for.body:                                         ; preds = %for.cond
35  %3 = load ptr, ptr %A.addr, align 8, !dbg !32, !tbaa !16
36  %4 = load i32, ptr %i, align 4, !dbg !33, !tbaa !23
37  %idxprom = sext i32 %4 to i64, !dbg !32
38  %arrayidx = getelementptr inbounds i32, ptr %3, i64 %idxprom, !dbg !32
39  store i32 0, ptr %arrayidx, align 4, !dbg !34, !tbaa !23
40  br label %for.inc, !dbg !32
41
42for.inc:                                          ; preds = %for.body
43  %5 = load i32, ptr %i, align 4, !dbg !35, !tbaa !23
44  %inc = add nsw i32 %5, 1, !dbg !35
45  store i32 %inc, ptr %i, align 4, !dbg !35, !tbaa !23
46  br label %for.cond, !dbg !31, !llvm.loop !36
47
48for.end:                                          ; preds = %for.cond.cleanup
49  ret void, !dbg !38
50}
51
52; Function Attrs: nounwind readnone speculatable willreturn
53declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
54
55; Function Attrs: argmemonly nounwind willreturn
56declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #2
57
58; Function Attrs: argmemonly nounwind willreturn
59declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #2
60
61; Function Attrs: nounwind uwtable
62define dso_local void @bar(ptr %A) #0 !dbg !39 {
63entry:
64  %A.addr = alloca ptr, align 8
65  %i = alloca i32, align 4
66  store ptr %A, ptr %A.addr, align 8, !tbaa !16
67  tail call void @llvm.dbg.declare(metadata ptr %A.addr, metadata !41, metadata !DIExpression()), !dbg !44
68  call void @llvm.lifetime.start.p0(i64 4, ptr %i) #3, !dbg !45
69  tail call void @llvm.dbg.declare(metadata ptr %i, metadata !42, metadata !DIExpression()), !dbg !46
70  store i32 0, ptr %i, align 4, !dbg !46, !tbaa !23
71  br label %for.cond, !dbg !45
72
73for.cond:                                         ; preds = %for.inc, %entry
74  %0 = load i32, ptr %i, align 4, !dbg !47, !tbaa !23
75  %1 = load ptr, ptr %A.addr, align 8, !dbg !49, !tbaa !16
76  %2 = load i32, ptr %1, align 4, !dbg !50, !tbaa !23
77  %cmp = icmp slt i32 %0, %2, !dbg !51
78  br i1 %cmp, label %for.body, label %for.cond.cleanup, !dbg !52
79
80for.cond.cleanup:                                 ; preds = %for.cond
81  call void @llvm.lifetime.end.p0(i64 4, ptr %i) #3, !dbg !53
82  br label %for.end
83
84for.body:                                         ; preds = %for.cond
85  %3 = load ptr, ptr %A.addr, align 8, !dbg !54, !tbaa !16
86  %4 = load i32, ptr %i, align 4, !dbg !55, !tbaa !23
87  %idxprom = sext i32 %4 to i64, !dbg !54
88  %arrayidx = getelementptr inbounds i32, ptr %3, i64 %idxprom, !dbg !54
89  store i32 0, ptr %arrayidx, align 4, !dbg !56, !tbaa !23
90  br label %for.inc, !dbg !54
91
92for.inc:                                          ; preds = %for.body
93  %5 = load i32, ptr %i, align 4, !dbg !57, !tbaa !23
94  %inc = add nsw i32 %5, 1, !dbg !57
95  store i32 %inc, ptr %i, align 4, !dbg !57, !tbaa !23
96  br label %for.cond, !dbg !53, !llvm.loop !58
97
98for.end:                                          ; preds = %for.cond.cleanup
99  ret void, !dbg !60
100}
101
102declare void @llvm.dbg.assign(metadata, metadata, metadata, metadata, metadata, metadata)
103
104attributes #0 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "denormal-fp-math"="ieee,ieee" "denormal-fp-math-f32"="ieee,ieee" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
105attributes #1 = { nounwind readnone speculatable willreturn }
106attributes #2 = { argmemonly nounwind willreturn }
107attributes #3 = { nounwind }
108
109!llvm.dbg.cu = !{!0}
110!llvm.module.flags = !{!3, !4, !5}
111!llvm.ident = !{!6}
112
113!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 11.0.0 (git@github.com:llvm/llvm-project.git 1d5da8cd30fce1c0a2c2fa6ba656dbfaa36192c8)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, splitDebugInlining: false, nameTableKind: None)
114!1 = !DIFile(filename: "various_ir_values.c", directory: "/data/build/llvm-project")
115!2 = !{}
116!3 = !{i32 7, !"Dwarf Version", i32 4}
117!4 = !{i32 2, !"Debug Info Version", i32 3}
118!5 = !{i32 1, !"wchar_size", i32 4}
119!6 = !{!"clang version 11.0.0 (git@github.com:llvm/llvm-project.git 1d5da8cd30fce1c0a2c2fa6ba656dbfaa36192c8)"}
120!7 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 1, type: !8, scopeLine: 1, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !12)
121!8 = !DISubroutineType(types: !9)
122!9 = !{null, !10}
123!10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64)
124!11 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
125!12 = !{!13, !14}
126!13 = !DILocalVariable(name: "A", arg: 1, scope: !7, file: !1, line: 1, type: !10)
127!14 = !DILocalVariable(name: "i", scope: !15, file: !1, line: 3, type: !11)
128!15 = distinct !DILexicalBlock(scope: !7, file: !1, line: 3, column: 3)
129!16 = !{!17, !17, i64 0}
130!17 = !{!"any pointer", !18, i64 0}
131!18 = !{!"omnipotent char", !19, i64 0}
132!19 = !{!"Simple C/C++ TBAA"}
133!20 = !DILocation(line: 1, column: 15, scope: !7)
134!21 = !DILocation(line: 3, column: 8, scope: !15)
135!22 = !DILocation(line: 3, column: 12, scope: !15)
136!23 = !{!24, !24, i64 0}
137!24 = !{!"int", !18, i64 0}
138!25 = !DILocation(line: 3, column: 19, scope: !26)
139!26 = distinct !DILexicalBlock(scope: !15, file: !1, line: 3, column: 3)
140!27 = !DILocation(line: 3, column: 24, scope: !26)
141!28 = !DILocation(line: 3, column: 23, scope: !26)
142!29 = !DILocation(line: 3, column: 21, scope: !26)
143!30 = !DILocation(line: 3, column: 3, scope: !15)
144!31 = !DILocation(line: 3, column: 3, scope: !26)
145!32 = !DILocation(line: 4, column: 5, scope: !26)
146!33 = !DILocation(line: 4, column: 7, scope: !26)
147!34 = !DILocation(line: 4, column: 10, scope: !26)
148!35 = !DILocation(line: 3, column: 27, scope: !26)
149!36 = distinct !{!36, !30, !37}
150!37 = !DILocation(line: 4, column: 12, scope: !15)
151!38 = !DILocation(line: 5, column: 1, scope: !7)
152!39 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 7, type: !8, scopeLine: 7, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !40)
153!40 = !{!41, !42}
154!41 = !DILocalVariable(name: "A", arg: 1, scope: !39, file: !1, line: 7, type: !10)
155!42 = !DILocalVariable(name: "i", scope: !43, file: !1, line: 9, type: !11)
156!43 = distinct !DILexicalBlock(scope: !39, file: !1, line: 9, column: 3)
157!44 = !DILocation(line: 7, column: 15, scope: !39)
158!45 = !DILocation(line: 9, column: 8, scope: !43)
159!46 = !DILocation(line: 9, column: 12, scope: !43)
160!47 = !DILocation(line: 9, column: 19, scope: !48)
161!48 = distinct !DILexicalBlock(scope: !43, file: !1, line: 9, column: 3)
162!49 = !DILocation(line: 9, column: 24, scope: !48)
163!50 = !DILocation(line: 9, column: 23, scope: !48)
164!51 = !DILocation(line: 9, column: 21, scope: !48)
165!52 = !DILocation(line: 9, column: 3, scope: !43)
166!53 = !DILocation(line: 9, column: 3, scope: !48)
167!54 = !DILocation(line: 10, column: 5, scope: !48)
168!55 = !DILocation(line: 10, column: 7, scope: !48)
169!56 = !DILocation(line: 10, column: 10, scope: !48)
170!57 = !DILocation(line: 9, column: 27, scope: !48)
171!58 = distinct !{!58, !52, !59}
172!59 = !DILocation(line: 10, column: 12, scope: !43)
173!60 = !DILocation(line: 11, column: 1, scope: !39)
174!61 = !{!"branch_weights", i32 1, i32 1048575}
175!62 = distinct !DIAssignID()
176