test/CodeGen/X86/misched-code-difference-with-debug.ll

   1 ; RUN: llc < %s -march=x86-64 -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
  22
  23 %class.C = type { i8 }
  24
  25 @argc = global i8 0, align 1
  26
  27 declare i32 @test_function(%class.C*, i8 signext, i8 signext, i8 signext, ...)
  28
  29 ; CHECK-LABEL: test_without_debug
  30 ; CHECK: movl [[A:%[a-z]+]], [[B:%[a-z]+]]
  31 ; CHECK-NEXT: movl [[A]], [[C:%[a-z]+]]
  32 define void @test_without_debug() {
  33 entry:
  34   %c = alloca %class.C, align 1
  35   %0 = load i8, i8* @argc, align 1
  36   %conv = sext i8 %0 to i32
  37   %call = call i32 (%class.C*, i8, i8, i8, ...) @test_function(%class.C* %c, i8 signext 0, i8 signext %0, i8 signext 0, i32 %conv)
  38   %1 = load i8, i8* @argc, align 1
  39   %call2 = call i32 (%class.C*, i8, i8, i8, ...) @test_function(%class.C* %c, i8 signext 0, i8 signext %1, i8 signext 0, i32 %conv)
  40   ret void
  41 }
  42
  43 ; CHECK-LABEL: test_with_debug
  44 ; CHECK: movl [[A]], [[B]]
  45 ; CHECK-NEXT: movl [[A]], [[C]]
  46 define void @test_with_debug() !dbg !13 {
  47 entry:
  48   %c = alloca %class.C, align 1
  49   %0 = load i8, i8* @argc, align 1
  50   tail call void @llvm.dbg.value(metadata i8 %0, i64 0, metadata !19, metadata !29), !dbg !DILocation(scope: !13)
  51   %conv = sext i8 %0 to i32
  52   tail call void @llvm.dbg.value(metadata %class.C* %c, i64 0, metadata !18, metadata !DIExpression(DW_OP_deref)), !dbg !DILocation(scope: !13)
  53   %call = call i32 (%class.C*, i8, i8, i8, ...) @test_function(%class.C* %c, i8 signext 0, i8 signext %0, i8 signext 0, i32 %conv)
  54   %1 = load i8, i8* @argc, align 1
  55   call void @llvm.dbg.value(metadata %class.C* %c, i64 0, metadata !18, metadata !DIExpression(DW_OP_deref)), !dbg !DILocation(scope: !13)
  56   %call2 = call i32 (%class.C*, i8, i8, i8, ...) @test_function(%class.C* %c, i8 signext 0, i8 signext %1, i8 signext 0, i32 %conv)
  57   ret void
  58 }
  59
  60 declare void @llvm.dbg.value(metadata, i64, metadata, metadata)
  61
  62 !llvm.dbg.cu = !{!0}
  63 !llvm.module.flags = !{!22, !23}
  64
  65 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, enums: !2, retainedTypes: !3, subprograms: !12, globals: !20, imports: !2)
  66 !1 = !DIFile(filename: "test.cpp", directory: "")
  67 !2 = !{}
  68 !3 = !{!4}
  69 !4 = !DICompositeType(tag: DW_TAG_class_type, name: "C", line: 2, size: 8, align: 8, file: !1, elements: !5, identifier: "_ZTS1C")
  70 !5 = !{!6}
  71 !6 = !DISubprogram(name: "test", file: !1, scope: !"_ZTS1C", type: !7, isDefinition: false)
  72 !7 = !DISubroutineType(types: !8)
  73 !8 = !{!9, !10, !11, !11, !11, null}
  74 !9 = !DIBasicType(encoding: DW_ATE_signed, size: 32, align: 32, name: "int")
  75 !10 = !DIDerivedType(baseType: !"_ZTS1C", tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial)
  76 !11 = !DIBasicType(tag: DW_TAG_base_type, name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char)
  77 !12 = !{!13}
  78 !13 = distinct !DISubprogram(name: "test_with_debug", linkageName: "test_with_debug", line: 6, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: true, scopeLine: 6, file: !1, scope: !14, type: !15, variables: !17)
  79 !14 = !DIFile(filename: "test.cpp", directory: "")
  80 !15 = !DISubroutineType(types: !16)
  81 !16 = !{null}
  82 !17 = !{!18, !19}
  83 !18 = !DILocalVariable(name: "c", line: 7, scope: !13, file: !14, type: !"_ZTS1C")
  84 !19 = !DILocalVariable(name: "lc", line: 8, scope: !13, file: !14, type: !11)
  85 !20 = !{!21}
  86 !21 = !DIGlobalVariable(name: "argc", line: 1, isLocal: false, isDefinition: true, scope: null, file: !14, type: !11, variable: i8* @argc)
  87 !22 = !{i32 2, !"Dwarf Version", i32 4}
  88 !23 = !{i32 2, !"Debug Info Version", i32 3}
  89 !25 = !DILocation(line: 8, column: 3, scope: !13)
  90 !29 = !DIExpression()