使用 llvm-prof 收集 LLVM 边缘分析

我正在使用这些命令来编译下面的代码以收集 trunk-llvm 中的边缘/块分析：

clang -emit-llvm -c sort.c -o sort.bc
opt -insert-edge-profiling sort.bc -o sort_prof.bc
clang sort_prof.bc -lprofile_rt -L/llvms/lib -o sort_prof

然后我运行该程序并使用显示分析信息 llvm-prof sort_prof.bc，结果为：

===-------------------------------------------------------------------------===
Function execution frequencies:

 ##   Frequency
  1. 4.3e+05/708539 main
  2. 2.8e+05/708539 quickSort

  NOTE: 2 functions were never executed!
.....

我的问题是关于执行频率。是否使任何 感觉 main 执行了 4.3e+05 次？ 为什么这样？我正在编译的代码如下。

###################### sort.c ########################
#include <stdio.h>
#include <stdlib.h>
#include <time.h>

const int MAX = 1000000;

void swap(int* a, int* b) {
  int tmp;
  tmp = *a;
  *a = *b;
  *b = tmp;
}

int partition(int vec[], int left, int right) {
  int i, j;

  i = left;
  for (j = left + 1; j <= right; ++j) {
    if (vec[j] < vec[left]) {
      ++i;
      swap(&vec[i], &vec[j]);
    }
  }
  swap(&vec[left], &vec[i]);

  return i;
}

void quickSort(int vec[], int left, int right) {
  int r;

  if (right > left) {
    r = partition(vec, left, right);
    quickSort(vec, left, r - 1);
    quickSort(vec, r + 1, right);
  }
}

int main(void) {

        int vet[MAX], i=0;

        srand(time(NULL));

        for (i=0; i<MAX; i++) {
                vet[i] = rand() % 654321;
        }

        quickSort(vet, 0, MAX-1);

        for (i=0; i<MAX; i++) {
                if ((rand() % 7) > 2) {
                        printf("Num$[%d] = %d\n", i, vet[i]);
                }
                else if ((rand() % 4) > 2) {
                        printf("Num@[%d] = %d\n", i, vet[i]);
                }
                else if ((rand() % 2) > 1) {
                        printf("Num#[%d] = %d\n", i, vet[i]);
                }
        }

        return 0;
}

问题是我将带检测的位码文件传递给 llvm-prof ，正确的是使用原始文件（不带检测）：

llvm-prof sort.bc

与 llvm-prof 相关的另一个问题是，它由于科学记数法而对函数/块执行频率进行舍入。我已经向 llvm 提交了一个补丁来纠正这个问题。

另一个提示是 llvm-prof 默认情况下仅显示前 20 个最常执行的基本块，并且它不向用户提供任何更改它的方法。我提交了另一个补丁，添加了一个命令行参数，使用户能够设置他/她想要在输出中包含多少个基本块。