97 lines · plain
1; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=generic | FileCheck %s2; Both functions should produce the same code. The presence of debug values3; 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; with18; clang -O2 -c test.cpp -emit-llvm -S19; clang -O2 -c test.cpp -emit-llvm -S -g20;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 !027 28declare i32 @test_function(ptr, i8 signext, i8 signext, i8 signext, ...)29; CHECK-LABEL: test_without_debug30; 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 136 %0 = load i8, ptr @argc, align 137 %conv = sext i8 %0 to i3238 %call = call i32 (ptr, i8, i8, i8, ...) @test_function(ptr %c, i8 signext 0, i8 signext %0, i8 signext 0, i32 %conv)39 %1 = load i8, ptr @argc, align 140 %call2 = call i32 (ptr, i8, i8, i8, ...) @test_function(ptr %c, i8 signext 0, i8 signext %1, i8 signext 0, i32 %conv)41 ret void42}43; CHECK-LABEL: test_with_debug44; CHECK: movl [[A]], [[B]]45; CHECK: movl [[A]], [[C]]46 47define void @test_with_debug() !dbg !17 {48entry:49 %c = alloca %class.C, align 150 %0 = load i8, ptr @argc, align 151 tail call void @llvm.dbg.value(metadata i8 %0, i64 0, metadata !22, metadata !23), !dbg !2452 %conv = sext i8 %0 to i3253 tail call void @llvm.dbg.value(metadata ptr %c, i64 0, metadata !21, metadata !25), !dbg !2454 %call = call i32 (ptr, i8, i8, i8, ...) @test_function(ptr %c, i8 signext 0, i8 signext %0, i8 signext 0, i32 %conv)55 %1 = load i8, ptr @argc, align 156 call void @llvm.dbg.value(metadata ptr %c, i64 0, metadata !21, metadata !25), !dbg !2457 %call2 = call i32 (ptr, i8, i8, i8, ...) @test_function(ptr %c, i8 signext 0, i8 signext %1, i8 signext 0, i32 %conv)58 ret void59}60 61; Function Attrs: nounwind readnone62 63declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #064 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