如何让Intel Pin仅对指定函数（无调试符号）进行插桩分析？

我需要用Intel Pin对大型代码中的特定函数做性能分析，编译代码的命令是gcc -O3 -march=native -pedantic -o bin/baseline_main baseline_main/main.c，由于开启了-O3优化，无法获取调试符号。

我已经编写了一款Pin工具，用于跟踪并统计分支指令：该工具会识别分支指令，插入计数器递增调用，在分析结束后输出分支指令总数。但运行一段无分支的简单C代码时，仍得到25950的分支计数，推测这个计数来自操作系统加载器执行的代码。我想知道如何配置Pin工具，仅对main函数进行插桩分析，忽略其余执行代码。

附测试用无分支代码：

#include <stdio.h>
#include <stdbool.h>

int main()
{
        volatile bool x = false;
        volatile int y = 0;
        return 0;
}

内容的提问来源于stack exchange，提问作者Setu