• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=generic | FileCheck %s
2; Both functions should produce the same code. The presence of debug values
3; should not affect the scheduling strategy.
4; Generated from:
5; char argc;
6; class C {
7; public:
8;   int test(char ,char ,char ,...);
9; };
10; void foo() {
11;   C c;
12;   char lc = argc;
13;   c.test(0,argc,0,lc);
14;   c.test(0,argc,0,lc);
15; }
16;
17; with
18; clang -O2 -c test.cpp -emit-llvm -S
19; clang -O2 -c test.cpp -emit-llvm -S -g
20;
21
22source_filename = "test/CodeGen/X86/misched-code-difference-with-debug.ll"
23
24%class.C = type { i8 }
25
26@argc = global i8 0, align 1, !dbg !0
27
28declare i32 @test_function(%class.C*, i8 signext, i8 signext, i8 signext, ...)
29; CHECK-LABEL: test_without_debug
30; CHECK: movl [[A:%[a-z]+]], [[B:%[a-z]+]]
31; CHECK: movl [[A]], [[C:%[a-z]+]]
32
33define void @test_without_debug() {
34entry:
35  %c = alloca %class.C, align 1
36  %0 = load i8, i8* @argc, align 1
37  %conv = sext i8 %0 to i32
38  %call = call i32 (%class.C*, i8, i8, i8, ...) @test_function(%class.C* %c, i8 signext 0, i8 signext %0, i8 signext 0, i32 %conv)
39  %1 = load i8, i8* @argc, align 1
40  %call2 = call i32 (%class.C*, i8, i8, i8, ...) @test_function(%class.C* %c, i8 signext 0, i8 signext %1, i8 signext 0, i32 %conv)
41  ret void
42}
43; CHECK-LABEL: test_with_debug
44; CHECK: movl [[A]], [[B]]
45; CHECK: movl [[A]], [[C]]
46
47define void @test_with_debug() !dbg !17 {
48entry:
49  %c = alloca %class.C, align 1
50  %0 = load i8, i8* @argc, align 1
51  tail call void @llvm.dbg.value(metadata i8 %0, i64 0, metadata !22, metadata !23), !dbg !24
52  %conv = sext i8 %0 to i32
53  tail call void @llvm.dbg.value(metadata %class.C* %c, i64 0, metadata !21, metadata !25), !dbg !24
54  %call = call i32 (%class.C*, i8, i8, i8, ...) @test_function(%class.C* %c, i8 signext 0, i8 signext %0, i8 signext 0, i32 %conv)
55  %1 = load i8, i8* @argc, align 1
56  call void @llvm.dbg.value(metadata %class.C* %c, i64 0, metadata !21, metadata !25), !dbg !24
57  %call2 = call i32 (%class.C*, i8, i8, i8, ...) @test_function(%class.C* %c, i8 signext 0, i8 signext %1, i8 signext 0, i32 %conv)
58  ret void
59}
60
61; Function Attrs: nounwind readnone
62
63declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #0
64
65attributes #0 = { nounwind readnone }
66
67!llvm.dbg.cu = !{!4}
68!llvm.module.flags = !{!15, !16}
69
70!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
71!1 = !DIGlobalVariable(name: "argc", scope: null, file: !2, line: 1, type: !3, isLocal: false, isDefinition: true)
72!2 = !DIFile(filename: "test.cpp", directory: "")
73!3 = !DIBasicType(name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char)
74!4 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !2, isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !5, retainedTypes: !6, globals: !14, imports: !5)
75!5 = !{}
76!6 = !{!7}
77!7 = !DICompositeType(tag: DW_TAG_class_type, name: "C", file: !2, line: 2, size: 8, align: 8, elements: !8, identifier: "_ZTS1C")
78!8 = !{!9}
79!9 = !DISubprogram(name: "test", scope: !7, file: !2, type: !10, isLocal: false, isDefinition: false, isOptimized: false)
80!10 = !DISubroutineType(types: !11)
81!11 = !{!12, !13, !3, !3, !3, null}
82!12 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
83!13 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64, align: 64, flags: DIFlagArtificial)
84!14 = !{!0}
85!15 = !{i32 2, !"Dwarf Version", i32 4}
86!16 = !{i32 2, !"Debug Info Version", i32 3}
87!17 = distinct !DISubprogram(name: "test_with_debug", linkageName: "test_with_debug", scope: !2, file: !2, line: 6, type: !18, isLocal: false, isDefinition: true, scopeLine: 6, flags: DIFlagPrototyped, isOptimized: true, unit: !4, retainedNodes: !20)
88!18 = !DISubroutineType(types: !19)
89!19 = !{null}
90!20 = !{!21, !22}
91!21 = !DILocalVariable(name: "c", scope: !17, file: !2, line: 7, type: !7)
92!22 = !DILocalVariable(name: "lc", scope: !17, file: !2, line: 8, type: !3)
93!23 = !DIExpression()
94!24 = !DILocation(line: 0, scope: !17)
95!25 = !DIExpression(DW_OP_deref)
96
97