test/CodeGen/X86/label-heapallocsite.ll

   1 ; RUN: llc < %s | FileCheck --check-prefixes=DAG,CHECK %s
   2 ; RUN: llc -O0 < %s | FileCheck --check-prefixes=FAST,CHECK %s
   3
   4 ; Source to regenerate:
   5 ; $ clang -cc1 -triple x86_64-windows-msvc t.cpp -debug-info-kind=limited \
   6 ;      -gcodeview -O2 -fms-extensions -emit-llvm -o t.ll
   7 ;
   8 ; extern "C" struct Foo {
   9 ;   __declspec(allocator) virtual void *alloc();
  10 ; };
  11 ; extern "C" __declspec(allocator) Foo *alloc_foo();
  12 ; extern "C" void use_result(void *);
  13 ; extern "C" Foo *call_tail() {
  14 ;   return alloc_foo();
  15 ; }
  16 ; extern "C" int call_virtual(Foo *p) {
  17 ;   use_result(p->alloc());
  18 ;   return 0;
  19 ; }
  20 ; extern "C" int call_multiple() {
  21 ;   use_result(alloc_foo());
  22 ;   use_result(alloc_foo());
  23 ;   return 0;
  24 ; }
  25
  26 ; ModuleID = 't.cpp'
  27 source_filename = "t.cpp"
  28 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
  29 target triple = "x86_64-unknown-windows-msvc"
  30
  31 %struct.Foo = type { i32 (...)** }
  32
  33 ; Function Attrs: nounwind
  34 define dso_local %struct.Foo* @call_tail() local_unnamed_addr #0 !dbg !7 {
  35 entry:
  36   %call = tail call %struct.Foo* @alloc_foo() #3, !dbg !13, !heapallocsite !12
  37   ret %struct.Foo* %call, !dbg !13
  38 }
  39
  40 declare dso_local %struct.Foo* @alloc_foo() local_unnamed_addr #1
  41
  42 ; Function Attrs: nounwind
  43 define dso_local i32 @call_virtual(%struct.Foo* %p) local_unnamed_addr #0 !dbg !14 {
  44 entry:
  45   call void @llvm.dbg.value(metadata %struct.Foo* %p, metadata !19, metadata !DIExpression()), !dbg !20
  46   %0 = bitcast %struct.Foo* %p to i8* (%struct.Foo*)***, !dbg !21
  47   %vtable = load i8* (%struct.Foo*)**, i8* (%struct.Foo*)*** %0, align 8, !dbg !21, !tbaa !22
  48   %1 = load i8* (%struct.Foo*)*, i8* (%struct.Foo*)** %vtable, align 8, !dbg !21
  49   %call = tail call i8* %1(%struct.Foo* %p) #3, !dbg !21, !heapallocsite !2
  50   tail call void @use_result(i8* %call) #3, !dbg !21
  51   ret i32 0, !dbg !25
  52 }
  53
  54 declare dso_local void @use_result(i8*) local_unnamed_addr #1
  55
  56 ; Function Attrs: nounwind
  57 define dso_local i32 @call_multiple() local_unnamed_addr #0 !dbg !26 {
  58 entry:
  59   %call = tail call %struct.Foo* @alloc_foo() #3, !dbg !29, !heapallocsite !12
  60   %0 = bitcast %struct.Foo* %call to i8*, !dbg !29
  61   tail call void @use_result(i8* %0) #3, !dbg !29
  62   %call1 = tail call %struct.Foo* @alloc_foo() #3, !dbg !30, !heapallocsite !12
  63   %1 = bitcast %struct.Foo* %call1 to i8*, !dbg !30
  64   tail call void @use_result(i8* %1) #3, !dbg !30
  65   ret i32 0, !dbg !31
  66 }
  67
  68 ; Function Attrs: nounwind readnone speculatable willreturn
  69 declare void @llvm.dbg.value(metadata, metadata, metadata) #2
  70
  71
  72 ; Don't emit metadata for tail calls.
  73 ; CHECK-LABEL: call_tail:         # @call_tail
  74 ; CHECK-NOT: .Lheapallocsite
  75 ; CHECK: jmp alloc_foo
  76
  77 ; CHECK-LABEL: call_virtual:      # @call_virtual
  78 ; CHECK: .Lheapallocsite0:
  79 ; CHECK: callq *{{.*}}%rax{{.*}}
  80 ; CHECK: .Lheapallocsite1:
  81
  82 ; CHECK-LABEL: call_multiple:     # @call_multiple
  83 ; FastISel emits instructions in a different order.
  84 ; DAG:   .Lheapallocsite2:
  85 ; FAST:  .Lheapallocsite4:
  86 ; CHECK: callq alloc_foo
  87 ; DAG:   .Lheapallocsite3:
  88 ; FAST:  .Lheapallocsite5:
  89 ; DAG:   .Lheapallocsite4:
  90 ; FAST:  .Lheapallocsite2:
  91 ; CHECK: callq alloc_foo
  92 ; DAG:   .Lheapallocsite5:
  93 ; FAST:  .Lheapallocsite3:
  94
  95 ; CHECK-LABEL: .short  4423                    # Record kind: S_GPROC32_ID
  96 ; CHECK:       .short  4446                    # Record kind: S_HEAPALLOCSITE
  97 ; CHECK-NEXT:  .secrel32 .Lheapallocsite0
  98 ; CHECK-NEXT:  .secidx .Lheapallocsite0
  99 ; CHECK-NEXT:  .short .Lheapallocsite1-.Lheapallocsite0
 100 ; CHECK-NEXT:  .long 3
 101 ; CHECK:       .short  4446                    # Record kind: S_HEAPALLOCSITE
 102 ; CHECK-NEXT:  .secrel32 .Lheapallocsite2
 103 ; CHECK-NEXT:  .secidx .Lheapallocsite2
 104 ; CHECK-NEXT:  .short .Lheapallocsite3-.Lheapallocsite2
 105 ; CHECK-NEXT:  .long 4096
 106 ; CHECK:       .short  4446                    # Record kind: S_HEAPALLOCSITE
 107 ; CHECK-NEXT:  .secrel32 .Lheapallocsite4
 108 ; CHECK-NEXT:  .secidx .Lheapallocsite4
 109 ; CHECK-NEXT:  .short .Lheapallocsite5-.Lheapallocsite4
 110 ; CHECK-NEXT:  .long 4096
 111
 112 attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "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-features"="+cx8,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 113 attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-features"="+cx8,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 114 attributes #2 = { nounwind readnone speculatable willreturn }
 115 attributes #3 = { nounwind }
 116
 117 !llvm.dbg.cu = !{!0}
 118 !llvm.module.flags = !{!3, !4, !5}
 119 !llvm.ident = !{!6}
 120
 121 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 10.0.0 (https://github.com/llvm/llvm-project.git fa686ea7650235c6dff988cc8cba49e130b3d5f8)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None)
 122 !1 = !DIFile(filename: "<stdin>", directory: "/usr/local/google/home/akhuang/testing/heapallocsite", checksumkind: CSK_MD5, checksum: "e0a04508b4229fc4aee0baa364e25987")
 123 !2 = !{}
 124 !3 = !{i32 2, !"CodeView", i32 1}
 125 !4 = !{i32 2, !"Debug Info Version", i32 3}
 126 !5 = !{i32 1, !"wchar_size", i32 2}
 127 !6 = !{!"clang version 10.0.0 (https://github.com/llvm/llvm-project.git fa686ea7650235c6dff988cc8cba49e130b3d5f8)"}
 128 !7 = distinct !DISubprogram(name: "call_tail", scope: !8, file: !8, line: 6, type: !9, scopeLine: 6, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !2)
 129 !8 = !DIFile(filename: "t.cpp", directory: "/usr/local/google/home/akhuang/testing/heapallocsite", checksumkind: CSK_MD5, checksum: "e0a04508b4229fc4aee0baa364e25987")
 130 !9 = !DISubroutineType(types: !10)
 131 !10 = !{!11}
 132 !11 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64)
 133 !12 = !DICompositeType(tag: DW_TAG_structure_type, name: "Foo", file: !8, line: 1, flags: DIFlagFwdDecl, identifier: ".?AUFoo@@")
 134 !13 = !DILocation(line: 7, scope: !7)
 135 !14 = distinct !DISubprogram(name: "call_virtual", scope: !8, file: !8, line: 9, type: !15, scopeLine: 9, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !18)
 136 !15 = !DISubroutineType(types: !16)
 137 !16 = !{!17, !11}
 138 !17 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
 139 !18 = !{!19}
 140 !19 = !DILocalVariable(name: "p", arg: 1, scope: !14, file: !8, line: 9, type: !11)
 141 !20 = !DILocation(line: 0, scope: !14)
 142 !21 = !DILocation(line: 10, scope: !14)
 143 !22 = !{!23, !23, i64 0}
 144 !23 = !{!"vtable pointer", !24, i64 0}
 145 !24 = !{!"Simple C++ TBAA"}
 146 !25 = !DILocation(line: 11, scope: !14)
 147 !26 = distinct !DISubprogram(name: "call_multiple", scope: !8, file: !8, line: 13, type: !27, scopeLine: 13, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !2)
 148 !27 = !DISubroutineType(types: !28)
 149 !28 = !{!17}
 150 !29 = !DILocation(line: 14, scope: !26)
 151 !30 = !DILocation(line: 15, scope: !26)
 152 !31 = !DILocation(line: 16, scope: !26)