34#ifdef LOG_BUILTIN_BLOCK_COUNT 
   35  uint64_t GetExecutedCount(
size_t block_id)
 const {
 
   36    if (executed_count_.count(block_id) == 0) 
return 0;
 
   37    return executed_count_.at(block_id);
 
   44  static const ProfileDataFromFile* 
TryRead(
const char* name);
 
   54#ifdef LOG_BUILTIN_BLOCK_COUNT 
   55  std::unordered_map<size_t, uint64_t> executed_count_;