llvm/test/Analysis/CostModel/free-intrinsics-no_info.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
   2 ; RUN: opt -analyze -cost-model -cost-kind=code-size %s -S -o - | FileCheck %s --check-prefix=CHECK-SIZE
   3 ; RUN: opt -analyze -cost-model -cost-kind=throughput %s -S -o - | FileCheck %s --check-prefix=CHECK-THROUGHPUT
   4
   5 define i32 @trivially_free() {
   6 ; CHECK-SIZE-LABEL: 'trivially_free'
   7 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a0 = call i32 @llvm.annotation.i32(i32 undef, i8* undef, i8* undef, i32 undef)
   8 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.assume(i1 undef)
   9 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.experimental.noalias.scope.decl(metadata !0)
  10 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.sideeffect()
  11 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a1 = call {}* @llvm.invariant.start.p0i8(i64 1, i8* undef)
  12 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.invariant.end.p0i8({}* undef, i64 1, i8* undef)
  13 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* undef)
  14 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a3 = call i8* @llvm.strip.invariant.group.p0i8(i8* undef)
  15 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a4 = call i1 @llvm.is.constant.i32(i32 undef)
  16 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.lifetime.start.p0i8(i64 1, i8* undef)
  17 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.lifetime.end.p0i8(i64 1, i8* undef)
  18 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a5 = call i64 @llvm.objectsize.i64.p0i8(i8* undef, i1 true, i1 true, i1 true)
  19 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a6 = call i8* @llvm.ptr.annotation.p0i8(i8* undef, i8* undef, i8* undef, i32 undef, i8* undef)
  20 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.var.annotation(i8* undef, i8* undef, i8* undef, i32 undef, i8* undef)
  21 ; CHECK-SIZE-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret i32 undef
  22 ;
  23 ; CHECK-THROUGHPUT-LABEL: 'trivially_free'
  24 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a0 = call i32 @llvm.annotation.i32(i32 undef, i8* undef, i8* undef, i32 undef)
  25 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.assume(i1 undef)
  26 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.experimental.noalias.scope.decl(metadata !0)
  27 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.sideeffect()
  28 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a1 = call {}* @llvm.invariant.start.p0i8(i64 1, i8* undef)
  29 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.invariant.end.p0i8({}* undef, i64 1, i8* undef)
  30 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* undef)
  31 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a3 = call i8* @llvm.strip.invariant.group.p0i8(i8* undef)
  32 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a4 = call i1 @llvm.is.constant.i32(i32 undef)
  33 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.lifetime.start.p0i8(i64 1, i8* undef)
  34 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.lifetime.end.p0i8(i64 1, i8* undef)
  35 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a5 = call i64 @llvm.objectsize.i64.p0i8(i8* undef, i1 true, i1 true, i1 true)
  36 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %a6 = call i8* @llvm.ptr.annotation.p0i8(i8* undef, i8* undef, i8* undef, i32 undef, i8* undef)
  37 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: call void @llvm.var.annotation(i8* undef, i8* undef, i8* undef, i32 undef, i8* undef)
  38 ; CHECK-THROUGHPUT-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret i32 undef
  39 ;
  40   %a0 = call i32 @llvm.annotation.i32(i32 undef, i8* undef, i8* undef, i32 undef)
  41   call void @llvm.assume(i1 undef)
  42   call void @llvm.experimental.noalias.scope.decl(metadata !4)
  43   call void @llvm.sideeffect()
  44   call void @llvm.dbg.declare(metadata i8** undef, metadata !0, metadata !DIExpression())
  45   call void @llvm.dbg.value(metadata i64 undef, i64 undef, metadata !DIExpression(), metadata !DIExpression())
  46   call void @llvm.dbg.label(metadata !2)
  47   %a1 = call {}* @llvm.invariant.start.p0i8(i64 1, i8* undef)
  48   call void @llvm.invariant.end.p0i8({}* undef, i64 1, i8* undef)
  49   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* undef)
  50   %a3 = call i8* @llvm.strip.invariant.group.p0i8(i8* undef)
  51   %a4 = call i1 @llvm.is.constant.i32(i32 undef)
  52   call void @llvm.lifetime.start.p0i8(i64 1, i8* undef)
  53   call void @llvm.lifetime.end.p0i8(i64 1, i8* undef)
  54   %a5 = call i64 @llvm.objectsize.i64.p0i8(i8* undef, i1 1, i1 1, i1 1)
  55   %a6 = call i8* @llvm.ptr.annotation.p0i8(i8* undef, i8* undef, i8* undef, i32 undef, i8* undef)
  56   call void @llvm.var.annotation(i8* undef, i8* undef, i8* undef, i32 undef, i8* undef)
  57   ret i32 undef
  58 }
  59
  60 declare i32 @llvm.annotation.i32(i32, i8*, i8*, i32)
  61 declare void @llvm.assume(i1)
  62 declare void @llvm.experimental.noalias.scope.decl(metadata)
  63 declare void @llvm.sideeffect()
  64 declare void @llvm.dbg.declare(metadata, metadata, metadata)
  65 declare void @llvm.dbg.value(metadata, i64, metadata, metadata)
  66 declare void @llvm.dbg.label(metadata)
  67 declare {}* @llvm.invariant.start.p0i8(i64, i8*)
  68 declare void @llvm.invariant.end.p0i8({}*, i64, i8*)
  69 declare i8* @llvm.launder.invariant.group.p0i8(i8*)
  70 declare i8* @llvm.strip.invariant.group.p0i8(i8*)
  71 declare i1 @llvm.is.constant.i32(i32)
  72 declare void @llvm.lifetime.start.p0i8(i64, i8*)
  73 declare void @llvm.lifetime.end.p0i8(i64, i8*)
  74 declare i64 @llvm.objectsize.i64.p0i8(i8*, i1, i1, i1)
  75 declare i8* @llvm.ptr.annotation.p0i8(i8*, i8*, i8*, i32, i8*)
  76 declare void @llvm.var.annotation(i8*, i8*, i8*, i32, i8*)
  77
  78
  79 !0 = !DILocalVariable(scope: !1)
  80 !1 = distinct !DISubprogram(name: "dummy", line: 79, isLocal: true, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: true)
  81 !2 = !DILabel(scope: !1, name: "label", file: !3, line: 7)
  82 !3 = !DIFile(filename: "debug-label.c", directory: "./")
  83 !4 = !{ !5 }
  84 !5 = distinct !{ !5, !6, !"foo: var" }
  85 !6 = distinct !{ !6, !"foo" }