builtin_names.h

Go to the documentation of this file.

#pragma once
 
#include <util/symtab/context.h>
#include <util/irep/irep.h>
 
#include <string>


bool compare_float_suffix(const irep_idt &identifier, const std::string &name);

bool compare_unscore_builtin(
  const irep_idt &identifier,
  const std::string &name);

bool is_abs_builtin_name(const irep_idt &identifier);

enum class ieee_float_builtin
{
  none,
  nearbyint,
  remainder,
  fma
};
 
ieee_float_builtin ieee_float_builtin_of(const irep_idt &identifier);

bool is_name_matched_builtin(const irep_idt &identifier);

bool builtin_shadows_user_definition(
  const contextt &context,
  const irep_idt &base_name,
  const irep_idt &symbol_id);