ctxprof.ll | Explore in Territory

; Test workload based importing via -thinlto-pgo-ctx-prof
; Use external linkage symbols so we don't depend on module paths which are
; used when computing the GUIDs of internal linkage symbols.
; The functionality is shared with what workload.ll tests, so here we only care
; about testing the ctx profile is loaded and handled correctly.
;
; Set up
; RUN: rm -rf %t
; RUN: mkdir -p %t
; RUN: split-file %s %t
;
; RUN: opt -module-summary -passes=assign-guid %t/m1.ll -o %t/m1.bc
; RUN: opt -module-summary -passes=assign-guid %t/m2.ll -o %t/m2.bc
; RUN: llvm-dis %t/m1.bc -o - | FileCheck %s --check-prefix=GUIDS-1
; RUN: llvm-dis %t/m2.bc -o - | FileCheck %s --check-prefix=GUIDS-2
;
; GUIDS-1-LABEL: @m1_f1
; GUIDS-1-SAME: !guid ![[GUID1:[0-9]+]]
; GUIDS-1:  ![[GUID1]] = !{i64 6019442868614718803}
; GUIDS-1: ^0 = module:
; GUIDS-1: name: "m1_f1"
; GUIDS-1-SAME: guid = 6019442868614718803

; note: -2853647799038631862 is 15593096274670919754
; GUIDS-2-LABEL: @m2_f1
; GUIDS-2-SAME: !guid ![[GUID2:[0-9]+]]
; GUIDS-2: ![[GUID2]] = !{i64 -2853647799038631862}
; GUIDS-2: ^0 = module:
; GUIDS-2: name: "m2_f1"
; GUIDS-2-SAME: guid = 15593096274670919754
;
; RUN: rm -rf %t_baseline
; RUN: rm -rf %t_exp
; RUN: mkdir -p %t_baseline
; RUN: mkdir -p %t_exp
;
; Normal run. m1 shouldn't get m2_f1 because it's not referenced from there, and
; m1_f1 shouldn't go to m2.
;
; RUN: llvm-lto2 run %t/m1.bc %t/m2.bc \
; RUN:  -o %t_baseline/result.o -save-temps \
; RUN:  -r %t/m1.bc,m1_f1,plx \
; RUN:  -r %t/m2.bc,m2_f1,plx
; RUN: llvm-dis %t_baseline/result.o.1.3.import.bc -o - | FileCheck %s --check-prefix=NOPROF-1
; RUN: llvm-dis %t_baseline/result.o.2.3.import.bc -o - | FileCheck %s --check-prefix=NOPROF-2
;
; NOPROF-1-NOT: m2_f1()
; NOPROF-2-NOT: m1_f1()
;
; The run with workload definitions - same other options. We do need to re-generate the .bc
; files, to include instrumentation.
; RUN: opt -module-summary -passes=assign-guid,ctx-instr-gen %t/m1.ll -o %t/m1-instr.bc
; RUN: opt -module-summary -passes=assign-guid,ctx-instr-gen %t/m2.ll -o %t/m2-instr.bc
;
; RUN: echo '[ \
; RUN:        {"Guid": 6019442868614718803, "Counters": [1], "Callsites": [[{"Guid": 15593096274670919754, "Counters": [1]}]]}, \
; RUN:        {"Guid": 15593096274670919754, "Counters": [1], "Callsites": [[{"Guid": 6019442868614718803, "Counters": [1]}]]} \
; RUN:  ]' > %t_exp/ctxprof.json
; RUN: llvm-ctxprof-util fromJSON --input %t_exp/ctxprof.json --output %t_exp/ctxprof.bitstream
; RUN: llvm-lto2 run %t/m1-instr.bc %t/m2-instr.bc \
; RUN:  -o %t_exp/result.o -save-temps \
; RUN:  -use-ctx-profile=%t_exp/ctxprof.bitstream \
; RUN:  -r %t/m1-instr.bc,m1_f1,plx \
; RUN:  -r %t/m2-instr.bc,m2_f1,plx
; RUN: llvm-dis %t_exp/result.o.1.3.import.bc -o - | FileCheck %s --check-prefix=FIRST
; RUN: llvm-dis %t_exp/result.o.2.3.import.bc -o - | FileCheck %s --check-prefix=SECOND
;
;
; FIRST: m2_f1()
; SECOND: m1_f1()
;
;--- m1.ll
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"

define dso_local void @m1_f1() {
  ret void
}

;--- m2.ll
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"

define dso_local void @m2_f1() {
  ret void
}
llvm/llvm/test/ThinLTO/X86/ctxprof.ll
