#include "aux_values.h"

void edit_aux_value(basic_block bb, int *i)
{
        bb->aux = (int*)xmalloc(sizeof (int));
        bb->aux = i;
}

void edit_all_aux_value(function * fun,int *i)
{
        basic_block bb;
        FOR_ALL_BB_FN(bb,fun)
        {
                bb->aux = (int*)xmalloc(sizeof (int));
                bb->aux = i;
        }
}

void print_bb_aux(function * fun)
{
        basic_block bb;
        FOR_ALL_BB_FN(bb,fun)
        {
                if (bb->aux !=NULL && *((int *)bb->aux)>=0)
                {
                        printf("bb aux value here : %i\n",*((int *)bb->aux));
                }
        }
}