Open64IRInterface.cpp

Go to the documentation of this file.

// -*-Mode: C++;-*-
static bool debug = false;

//************************** System Include Files ***************************

#include <list>
#include <climits>
#include <cassert>
//using std::list;

//************************ OpenAnalysis Include Files ***********************

//************************** Open64 Include Files ***************************

#include "Open64BasicTypes.h"
#include "ir_reader.h" // for fdump_wn()

//*************************** User Include Files ****************************

#include "Open64IRInterface.hpp"
#include "SymTab.h"
#include "wn_attr.h"
#include "stab_attr.h"
#include "IntrinsicInfo.cpp"

//************************** Forward Declarations ***************************

//***************************************************************************

//***************************************************************************
// Static Class Members
//***************************************************************************
std::map<OA::IRHandle,OA::ProcHandle> Open64IRInterface::sProcContext;
PU_Info* Open64IRInterface::sProgContext = NULL;
//PU_Info* Open64IRInterface::sCurrentProc = NULL;
bool Open64IRInterface::sContextInit = false;

std::map<OA::StmtHandle,std::set<OA::MemRefHandle> > 
    Open64IRInterface::sStmt2allMemRefsMap;

std::map<OA::MemRefHandle,OA::StmtHandle> Open64IRInterface::sMemRef2StmtMap;

std::map<OA::MemRefHandle,set<OA::OA_ptr<OA::MemRefExpr> > > 
    Open64IRInterface::sMemref2mreSetMap;

std::map<OA::SymHandle,OA::ProcHandle> Open64IRInterface::sCallSymToProc;

std::map<fully_qualified_name,
         std::set<OA::SymHandle> > Open64IRInterface::sGlobalVarMap;

std::map<fully_qualified_name,std::map<OA::ProcHandle,OA::SymHandle> >
      Open64IRInterface::sFQNToProcToLocalSymMap;

std::map<OA::SymHandle,fully_qualified_name> Open64IRInterface::sSymToFQNMap;

std::map<OA::SymHandle,std::string> Open64IRInterface::sSymToVarStringMap;

std::map<OA::ExprHandle,OA::CallHandle> Open64IRInterface::sParamToCallMap;

std::map<OA::ProcHandle,std::set<OA::SymHandle> > 
    Open64IRInterface::sProcToSymRefSetMap;

std::map<OA::StmtHandle,std::set<OA::ExprHandle> >  
    Open64IRInterface::mStmt2allExprsMap;

bool Open64IRInterface::ourIgnoreBlackBoxRoutines=false; 

std::map<OA::StmtHandle,
           std::set<
               std::pair<OA::OA_ptr<OA::MemRefExpr>,
                         OA::OA_ptr<OA::MemRefExpr> > > > mStmtToPtrPairs;


// Abstraction to store AssignPairs.
std::map<OA::StmtHandle,
           std::set<
               std::pair<OA::MemRefHandle,
                         OA::ExprHandle> > > mStmtToAssignPairs;

// Map between Stmt and Index Exprs because Index Exprs are not differentiable
std::map<OA::StmtHandle, std::set<OA::MemRefHandle> > mStmtToIndexExprs;

//***************************************************************************
// Iterators
//***************************************************************************

//---------------------------------------------------------------------------
// Open64IRProcIterator
//---------------------------------------------------------------------------

Open64IRProcIterator::Open64IRProcIterator(PU_Info* pu_forest)
{
  if (pu_forest) {
    // Builds in a DFS order
    for (PU_Info *pu = pu_forest; pu != NULL; pu = PU_Info_next(pu)) {
      build_pu_list(pu);
    }
  }
  
  reset();
}

Open64IRProcIterator::~Open64IRProcIterator()
{
}

void
Open64IRProcIterator::operator++()
{
  // Advance current PU
  ++pulist_iter;
  prepare_current_pu();
}

void
Open64IRProcIterator::reset()
{
  // Reset
  pulist_iter = pulist.begin();
  prepare_current_pu();
}

void 
Open64IRProcIterator::prepare_current_pu()
{
  if (isValid()) {
    PU_Info *pu = (*pulist_iter);
    PU_SetGlobalState(pu);
  }
}

void 
Open64IRProcIterator::build_pu_list(PU_Info* pu)
{
  pulist.push_back(pu);
  
  // Now recursively process the child PU's.
  for (PU_Info *child = PU_Info_child(pu); child != NULL;
       child = PU_Info_next(child)) {
    build_pu_list(child);
  }
}


//---------------------------------------------------------------------------
// Open64IRStmtIterator
//---------------------------------------------------------------------------
Open64IRStmtIterator::Open64IRStmtIterator(OA::ProcHandle h)
{
  create(h);
  reset();
  mValid = true;
}

Open64IRStmtIterator::~Open64IRStmtIterator()
{
}
     
OA::StmtHandle 
Open64IRStmtIterator::current() const
{
  if (mValid) { 
    return (*mStmtIter); 
  } else { 
    return OA::StmtHandle(0); 
  }
}

void 
Open64IRStmtIterator::operator++()
{
  if (mValid) {
    mStmtIter++;
  }
}

void 
Open64IRStmtIterator::reset()
{
  mStmtIter = mStmtList.begin();
  mEnd = mStmtList.end();
  mBegin = mStmtList.begin();
}

void 
Open64IRStmtIterator::create(OA::ProcHandle h)
{
  // NOTE: for now we just create a new list.  we could save some
  // memory and use the WHIRL pre-order iterator directly.
  PU_Info* pu = (PU_Info*)h.hval();
  if (!pu) { return; }
  
  PU_SetGlobalState(pu);
  
  WN* wn_pu = PU_Info_tree_ptr(pu);
  
  WN_TREE_CONTAINER<PRE_ORDER> wtree(wn_pu);
  WN_TREE_CONTAINER<PRE_ORDER>::iterator it;
  for (it = wtree.begin(); it != wtree.end(); /* */) {
    WN* curWN = it.Wn();
    OPERATOR opr = WN_operator(curWN);
    
    // Decide whether to record 'wn' as a statement
    bool isCF = 
      (!(opr == OPR_FUNC_ENTRY || opr == OPR_BLOCK || opr == OPR_REGION)
       && OPERATOR_is_scf(opr) || OPERATOR_is_non_scf(opr));
    if (OPERATOR_is_stmt(opr) || isCF) {
      //std::cerr << "iterating: " << OPERATOR_name(opr) << std::endl;
      mStmtList.push_back(OA::StmtHandle((OA::irhandle_t)curWN));
    }

    // Decide how to advance iteration.  For non-compound non-control-
    // flow statements, we want to advance to curWN's siblings instead
    // of examining its child expressions. This is both more efficient and
    // prevents incorrectly classifying embedded CALLs as statements!
    bool isPlainStmt = OPERATOR_is_stmt(opr)
      && !(OPERATOR_is_scf(opr) || OPERATOR_is_non_scf(opr));
    if (isPlainStmt) {
      it.WN_TREE_next_skip();
    } else {
      ++it;
    }
  }
}


//---------------------------------------------------------------------------
// Open64IRCallsiteIterator
//---------------------------------------------------------------------------
Open64IRCallsiteIterator::Open64IRCallsiteIterator(WN *wn)
{
  if (wn && !OPERATOR_is_not_executable(WN_operator(wn))) {
    build_func_call_list(wn);
  }
  
  reset();
}

Open64IRCallsiteIterator::~Open64IRCallsiteIterator()
{
}

void 
Open64IRCallsiteIterator::build_func_call_list(WN *wn)
{
  if (!wn) { return; }
  
  OPERATOR opr = WN_operator(wn);

  // Add calls to call list but filter out calls to intrinsics
  if (OPERATOR_is_call(opr) 
      && 
      !(IntrinsicInfo::isIntrinsic(wn)) 
      &&
      !((opr == OPR_INTRINSIC_CALL) 
        &&
        (strcmp(IntrinsicInfo::intrinsicBaseName(WN_intrinsic(wn)), "CASSIGNSTMT")==0))
      &&
      (!Open64IRInterface::ignoreBlackBoxRoutines()
       ||
       (Open64IRInterface::ignoreBlackBoxRoutines()
        &&
        Open64IRInterface::haveDefinition(wn))))
  {
    ST* st = WN_st(wn);
    const char* funcNm = ST_name(st);
    if(strcmp(funcNm,"_ALLOCATE")!=0) {
       wnlist.push_back(wn);
    }
  }
  // Recur on subexpressions
  for (INT kidno = 0; kidno < WN_kid_count(wn); kidno++) {
    WN* kid = WN_kid(wn, kidno);
    build_func_call_list(kid);
  }
}

//---------------------------------------------------------------------------
// Callsite Parameter Iterator
//---------------------------------------------------------------------------
Open64IRCallsiteParamIterator::Open64IRCallsiteParamIterator(WN *wn)
{
  OPERATOR opr = WN_operator(wn);
  assert(OPERATOR_is_call(opr));

  // FIXME: should we test for a return value at the front?
  
  // Note: each kid is an OPR_PARM
  mINT16 numactuals = WN_num_actuals(wn);
  INT first_arg_idx = 0;

  // Gather all parameter expressions
  for (INT kidno = first_arg_idx; kidno < numactuals; kidno++) {
    WN* kid = WN_kid(wn, kidno);
    if(kid == NULL) {
        continue;
    }
    wnlist.push_back(kid);
  }
  
  reset();
}

//---------------------------------------------------------------------------
// Memory Reference Iterator
//---------------------------------------------------------------------------
Open64IRMemRefIterator::Open64IRMemRefIterator(OA::StmtHandle h)
{
  create(h);
  reset();
  mValid = true;
}
        
OA::MemRefHandle 
Open64IRMemRefIterator::current() const
{
  if (mValid) { 
    return (*mMemRefIter); 
  } else { 
    return OA::MemRefHandle(0); 
  }
}

void 
Open64IRMemRefIterator::operator++()
{
  if (mValid) {
    mMemRefIter++;
  }
}

void 
Open64IRMemRefIterator::reset()
{
  mMemRefIter = mMemRefList.begin();
  mEnd = mMemRefList.end();
  mBegin = mMemRefList.begin();
}

void 
Open64IRMemRefIterator::create(OA::StmtHandle stmt)
{
  // loop through MemRefHandle's for this statement and for now put them
  // into our own list
  std::set<OA::MemRefHandle>::iterator setIter;

  for (setIter=Open64IRInterface::sStmt2allMemRefsMap[stmt].begin(); 
       setIter!=Open64IRInterface::sStmt2allMemRefsMap[stmt].end(); setIter++) 
  {
    mMemRefList.push_back(*setIter);
  }
}

//---------------------------------------------------------------------------
// Expr Iterator
//---------------------------------------------------------------------------
Open64IRExprHandleIterator::Open64IRExprHandleIterator(OA::StmtHandle h)
{
  create(h);
  reset();
  mValid = true;
}

OA::ExprHandle
Open64IRExprHandleIterator::current() const
{
  if (mValid) {
    return (*mExprIter);
  } else {
    return OA::ExprHandle(0);
  }
}

void
Open64IRExprHandleIterator::operator++()
{
  if (mValid) {
    mExprIter++;
  }
}

void
Open64IRExprHandleIterator::reset()
{
  mExprIter = mExprList.begin();
  mEnd = mExprList.end();
  mBegin = mExprList.begin();
}

void
Open64IRExprHandleIterator::create(OA::StmtHandle stmt)
{
  // loop through MemRefHandle's for this statement and for now put them
  // into our own list
  std::set<OA::ExprHandle>::iterator setIter;
  for (setIter=Open64IRInterface::mStmt2allExprsMap[stmt].begin();
       setIter!=Open64IRInterface::mStmt2allExprsMap[stmt].end(); setIter++)
  {
    mExprList.push_back(*setIter);
  }
}

//---------------------------------------------------------------------------
// Open64IRSymIterator
//---------------------------------------------------------------------------
class insert_ST {
public:
  insert_ST(std::list<ST*>& symlist_)
    : symlist(symlist_)
  { } 
  
  // A function object applied to every entry of a ST_TAB
  void operator()(UINT32 idx, ST* st) const 
  { 
    symlist.push_back(st);
  }
  
private:
  std::list<ST*>& symlist;
};


Open64IRSymIterator::Open64IRSymIterator(PU_Info* pu)
{
  create(pu);
  reset();
}


void
Open64IRSymIterator::create(PU_Info* pu)
{
  if (!pu) { return; }
  
  PU_SetGlobalState(pu);
  
  // The global symbol table contains symbols that may not have been
  // lexically visible in the original source code.  For example,
  // given two procedures, one uses a common block and the other
  // doesn't, but the common block symbols are placed in the global
  // symbol table even though the second procedure never lexically saw
  // them.  (The same is true for modules.)  Thus, we are careful to
  // only insert globabl symbosl *referenced* in the AST.

  // 1. Iterate through the non-global lexical symbol tables.  These
  // tables should truly correspond to lexically visible symbols.
  for (SYMTAB_IDX lvl = CURRENT_SYMTAB; lvl > GLOBAL_SYMTAB; --lvl) {
    // Scope_tab[lvl].st_tab;
    For_all(St_Table, lvl, insert_ST(symlist));
  }
  
  // 2. Enter global symbols referenced in the AST
  WN *wn_pu = PU_Info_tree_ptr(pu);

  WN_TREE_CONTAINER<PRE_ORDER> wtree(wn_pu);
  WN_TREE_CONTAINER<PRE_ORDER>::iterator it;
  for (it = wtree.begin(); it != wtree.end(); ++it) {
    WN* curWN = it.Wn();
    
    // If the node has a global symbol, push it in the list
    OPERATOR opr = WN_operator(curWN);
    if (OPERATOR_has_sym(opr)) {
      ST* st = WN_st(curWN);
      if (ST_level(st) == GLOBAL_SYMTAB) {
        symlist.push_back(st);
      }
    }
  }

}

//---------------------------------------------------------------------------
// Open64PtrAssignPairStmtIterator
//---------------------------------------------------------------------------

//---------------------------------------------------------------------------
// Open64ParamBindPtrAssignIterator
//---------------------------------------------------------------------------

//***************************************************************************
// Abstract Interfaces
//***************************************************************************

Open64IRInterface::Open64IRInterface()
{
}


Open64IRInterface::~Open64IRInterface()
{
}

//---------------------------------------------------------------------------
// IRHandlesIRInterface
//---------------------------------------------------------------------------

std::string 
Open64IRInterface::toString(const OA::ProcHandle h)
{ 
  PU_Info* pu = (PU_Info*)h.hval();
  
  std::ostringstream oss;
  //oss << pu;
  if (h==OA::ProcHandle(0)) {
    oss << "ProcHandle(0)";
  } else {
    oss << toString(getSymHandle(h));
  }
  return oss.str();
}

std::string 
Open64IRInterface::toString(const OA::StmtHandle h)
{ 
  setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();
  
  std::ostringstream oss;
  if (wn==0) {
    oss << "StmtHandle(0)";
  } else {
    DumpWN(wn, oss);
  }
  return oss.str();
}

std::string 
Open64IRInterface::toString(const OA::ExprHandle h) 
{
  setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();

  std::ostringstream oss;
  if (wn==0) {
    oss << "ExprHandle(0)";
  } else {
    DumpWN(wn, oss);
  }
  return oss.str();
}

std::string 
Open64IRInterface::toString(const OA::OpHandle h) 
{
  setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();

  std::ostringstream oss;
  if (wn==0) {
    oss << "OpHandle(0)";
  } else {
    //    DumpWN(wn, oss);
    //oss << OPCODE_name(WN_opcode(wn));
    
    OPERATOR opr = WN_operator(wn);
    string op;
    switch (opr) {
      // Unary expression operations.
    case OPR_CVT:
    case OPR_CVTL:
    case OPR_TAS:
      oss << OPCODE_name(WN_opcode(wn)) << "(";
      //    DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_PARM:
      if (WN_flag(wn) & WN_PARM_BY_REFERENCE)
        oss << "&"; 
      //DumpWN(WN_kid0(wn), os);
      break;
    case OPR_ABS:
      oss << "ABS(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_SQRT:
      oss << "SQRT(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_RSQRT:
      oss << "RSQRT(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_RECIP:
      oss << "RECIP(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_PAREN:
      oss << "(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_RND:
      oss << "RND(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_TRUNC:
      oss << "TRUNC(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_CEIL:
      oss << "CEIL(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_FLOOR:
      oss << "FLOOR(";
      //DumpWN(WN_kid0(wn), os);
      oss << ")";
      break;
    case OPR_NEG:
      op = "-";
      goto print_generic_unary;
    case OPR_BNOT:
      op = "~";
      goto print_generic_unary;
    case OPR_LNOT:
      op = "!";
      goto print_generic_unary;
    print_generic_unary:
      oss << op;
      //DumpWN(WN_kid0(wn), os);
      break;

      // Binary expression operations.
    case OPR_ADD:
      op = "+";
      goto print_generic_binary;
    case OPR_SUB:
      op = "-";
      goto print_generic_binary;
    case OPR_MPY:
      op = "*";
      goto print_generic_binary;
    case OPR_DIV:
      op = "/";
      goto print_generic_binary;
    case OPR_MOD:
      oss << "MOD(";
      //DumpWN(WN_kid0(wn), os);
      //oss << ",";
      //DumpWN(WN_kid1(wn), os);
      oss << ")";
      break;
    case OPR_REM:
      op = "%";
      goto print_generic_binary;
    case OPR_EQ:
      op = "==";
      goto print_generic_binary;
    case OPR_NE:
      op = "!=";
      goto print_generic_binary;
    case OPR_GE:
      op = ">=";
      goto print_generic_binary;
    case OPR_LE:
      op = "<=";
      goto print_generic_binary;
    case OPR_GT:
      op = '>';
      goto print_generic_binary;
    case OPR_LT:
      op = '<';
      goto print_generic_binary;
    case OPR_MAX:
      oss << "MAX(";
      //DumpWN(WN_kid0(wn), os);
      //oss << ",";
      //DumpWN(WN_kid1(wn), os);
      oss << ")";
      break;
    case OPR_MIN:
      oss << "MIN(";
      //DumpWN(WN_kid0(wn), os);
      oss << ",";
      //DumpWN(WN_kid1(wn), os);
      oss << ")";
      break;
    case OPR_SHL:
      op = "<<";
      goto print_generic_binary;
    case OPR_ASHR:
    case OPR_LSHR:
      op = ">>";
      goto print_generic_binary;
    case OPR_LAND:
      op = "&&";
      goto print_generic_binary;
    case OPR_LIOR:
      op = "||";
      goto print_generic_binary;
    case OPR_BAND:
      op = "&";
      goto print_generic_binary;
    case OPR_BIOR:
      op = "|";
      goto print_generic_binary;
    case OPR_BXOR:
      op = "^";
    print_generic_binary:
      //DumpWN(WN_kid0(wn), os);
      oss << op;
      //DumpWN(WN_kid1(wn), os);
      break;
      
      // Ternary operations.
    case OPR_SELECT:
      //DumpWN(WN_kid0(wn), os);
      oss << " ? "; 
      //DumpWN(WN_kid1(wn), os);
      oss << " : "; 
      //DumpWN(WN_kid2(wn), os);
      break;
    case OPR_MADD:
      oss << "(";
      //DumpWN(WN_kid0(wn), os);
      oss << "*";
      //DumpWN(WN_kid1(wn), os);
      oss << ")+";
      //DumpWN(WN_kid2(wn), os);
      break;
    case OPR_MSUB:
      oss << "(";
      //DumpWN(WN_kid0(wn), os);
      oss << "*";
      //DumpWN(WN_kid1(wn), os);
      oss << ")-";
      //DumpWN(WN_kid2(wn), os);
      break;
    case OPR_NMADD:
      oss << "-((";
      //DumpWN(WN_kid0(wn), os);
      oss << "*";
      //DumpWN(WN_kid1(wn), os);
      oss << ")+";
      //DumpWN(WN_kid2(wn), os);
      oss << ")";
      break;
    case OPR_NMSUB:
      oss << "-((";
      //DumpWN(WN_kid0(wn), os);
      oss << "*";
      //DumpWN(WN_kid1(wn), os);
      oss << ")-";
      //DumpWN(WN_kid2(wn), os);
      oss << ")";
      break;
      
      /* Don't know about these ...  
    // N-ary operations.
    case OPR_ARRAY: {
      int ndims = WN_kid_count(wn) >> 1;
      DumpWN(WN_kid0(wn), os);
      os << "(";
      for (int i = 0; i < ndims; i++) {
        DumpWN(WN_kid(wn, i+ndims+1), os);
        if (i < ndims-1) 
          os << ",";
      }
      os << ")";
      break;
    }
    case OPR_TRIPLET: // Output as LB:UB:STRIDE
      DumpWN(WN_kid0(wn), os);
      os << ":";
      DumpWN(WN_kid2(wn), os);
      os << ":";
      DumpWN(WN_kid1(wn), os);
      break; 
    case OPR_ARRAYEXP:
      DumpWN(WN_kid0(wn), os);
      break; 
    case OPR_ARRSECTION: {
      int ndims = WN_kid_count(wn) >> 1;
      DumpWN(WN_kid0(wn), os);
      os << "(";
      for (int i = 0; i < ndims; i++) {
        DumpWN(WN_kid(wn, i+ndims+1), os);
        if (i < ndims-1) 
          os << ",";
      }
      os << ")";
      break;
    }
      * Don't know about the above ...
      */

    default:
      DumpWN(wn, oss);
      break;
    }
  }
  return oss.str();
}

std::string 
Open64IRInterface::toString(const OA::MemRefHandle h)
{
  setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();
  std::ostringstream oss;
  DumpWNMemRef(wn, oss);
  return oss.str();
}

std::string 
Open64IRInterface::toString(const OA::SymHandle h) 
{
  ST* st = (ST*)h.hval();
  std::string symnm; 
  if (st) {
    setCurrentProcToProcContext(h);
    symnm = createCharStarForST(st);
    PU_Info* origPU = Current_PU_Info;
    if(origPU != NULL) {
     ST_IDX idx = PU_Info_proc_sym(origPU);
     std::string procname = ST_name(idx);
     symnm = procname + "::" + symnm;
    }

  } else {
    symnm = "<no-symbol>";
  }
  return symnm;
}

std::string 
Open64IRInterface::toString(const OA::ConstSymHandle h) 
{
  setCurrentProcToProcContext(h);
  std::ostringstream oss;
  //  oss << h.hval();

  WN* wn = (WN*)h.hval();
  if (wn==0) {
    oss << "ConstSymHandle(0)";
  } else {
    DumpWN(wn, oss);
  }

  return oss.str();
}

std::string 
Open64IRInterface::toString(const OA::ConstValHandle h) 
{
  setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();

  std::ostringstream oss;
  //oss << h.hval();

  if (wn==0) {
    oss << "ConstValHandle(0)";
  } else {
    DumpWN(wn, oss);
  }
  
  return oss.str();
}

std::string 
Open64IRInterface::toString(const OA::CallHandle h) 
{
  setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();

  std::ostringstream oss;
  if (wn==0) {
    oss << "CallHandle(0)";
  } else {
    DumpWN(wn, oss);
  }
  return oss.str();
}


void 
Open64IRInterface::dump(OA::StmtHandle stmt, std::ostream& os)
{ 
  setCurrentProcToProcContext(stmt);
  WN* wn = (WN*)stmt.hval();
  if (wn==0) {
    os << "StmtHandle(0)";
  } else {
    DumpWN(wn, os);
  }
  os << std::endl;
}

void 
Open64IRInterface::dump(OA::MemRefHandle h, std::ostream& os)
{
  setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();

  os << "hval = " << h.hval() << ", ";
  
  OPERATOR opr = WN_operator(wn);
  // STOREs represent the left-hand-side memory-ref
  if (OPERATOR_is_store(opr)) {
    if (WN_kid_count(wn) > 1) {
      DumpWN(WN_kid1(wn), os); // left-hand-side (FIXME: add offset!)
    } else {
      std::string n = toString(OA::SymHandle((OA::irhandle_t)WN_st(wn)));
      os << n;
    } 
  } else {
    DumpWN(wn, os);
  }
  os << std::endl;
}


//---------------------------------------------------------------------------
// CallGraphIRInterface
//---------------------------------------------------------------------------

OA::OA_ptr<OA::IRStmtIterator> 
Open64IRInterface::getStmtIterator(OA::ProcHandle h)
{
  OA::OA_ptr<OA::IRStmtIterator> retval;
  retval = new Open64IRStmtIterator(h);
  return retval;
}

OA::SymHandle 
Open64IRInterface::getProcSymHandle(OA::ProcHandle h) 
{
  PU_Info* pu = (PU_Info*)h.hval(); 
  ST* st = NULL;
  if (pu) {
    PU_Info* origPU = Current_PU_Info;
    if (pu != Current_PU_Info) { 
      PU_SetGlobalState(pu); 
    }
    
    st = ST_ptr(PU_Info_proc_sym(pu)); // WN_st(PU_Info_tree_ptr(pu));
    
    if (Current_PU_Info != origPU) { 
      PU_SetGlobalState(origPU); 
    }
  }
  return (OA::irhandle_t)st;
}

OA::OA_ptr<OA::IRCallsiteIterator>
Open64IRInterface::getCallsites(OA::StmtHandle h)
{
  setCurrentProcToProcContext(h);
  WN* wn = (WN *)h.hval();
  OA::OA_ptr<OA::IRCallsiteIterator> retval;
  retval =  new Open64IRCallsiteIterator(wn);
  return retval;
}

//---------------------------------------------------------------------------
// CallGraphDFProblemIRInterface
//---------------------------------------------------------------------------
// !Get IRCallsiteParamIterator for a callsite. 
OA::OA_ptr<OA::IRCallsiteParamIterator> 
Open64IRInterface::getCallsiteParams(OA::CallHandle h) {
  setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();
  OA::OA_ptr<OA::IRCallsiteParamIterator> retval;
  retval = new Open64IRCallsiteParamIterator(wn);
  return retval;
}

bool Open64IRInterface::isRefParam(OA::SymHandle sym)
{
  // "X"  inout: C_VAR S_FORMAL_REF (flg 0x80 0x0)
  // "Y"  inout: C_VAR S_FORMAL_REF (flg 0x80 0x0)
  // "AA" in   : C_VAR S_FORMAL_REF (flg 0x80 0x20[in])
  // "BB" out  : C_VAR S_FORMAL_REF (flg 0x80 0x40[out])

  // save off the current context and then switch to one for this sym
  OA::ProcHandle currContext = getCurrentProcContext();
  setCurrentProcToProcContext(sym);

  ST* st = (ST*)sym.hval();
  ST_SCLASS sclass = ST_sclass(st);
  bool retval;
  
  if (ST_is_intent_out_argument(st)) {
    retval = true; // parameter: intent(out)
  }
  else if (ST_is_intent_in_argument(st)) {
    retval = true; // parameter: intent(in)
    //return true; // when modeling reference params with ptrs, on 1/9/06
                 // Jean came up with example where need to model intent(in)
                 // as pass by reference, MMS
                 // yeah but I can't find this example!!
  }
  else if (sclass == SCLASS_FORMAL_REF) {
    retval = true; // pass-by-ref parameter
  }
  else if (sclass == SCLASS_FORMAL) {
    // FIXME: this is going to be wrong for C, but flags aren't set to
    // indicate fortran correctly and when pass arrays by ref for some
    // reason the formal isn't set to SCLASS_FORMAL_REF in Whirl
    retval = true; // may be pass-by-ref in the source language
  }
  else {
    retval = false; // not a parameter at all
  }

  // reset the context
  setCurrentProcContext(currContext);
  return retval;
}
               
OA::SymHandle 
Open64IRInterface::getFormalForActual(OA::ProcHandle caller, 
                                      OA::CallHandle call, 
                                      OA::ProcHandle callee, 
                                      OA::ExprHandle param) {
  // Setup context for caller
  setCurrentProcToProcContext(call);

  PU_Info* callerPU = (PU_Info*)caller.hval();
  PU_Info* calleePU = (PU_Info*)callee.hval();
  WN* callWN = (WN*)call.hval();
  WN* parmWN = (WN*)param.hval();

  //debugging ...
  //{ std::cout << "getFormalForActual:  caller='"
  //            << toString(caller) << "' called='"
  //            << toString(callee)<< std::endl;
  //}

  assert(callerPU && calleePU);
  ST* formalST = NULL; // sym for corresponding formal parameter
  
  // Find the index of the actual parameter within the call node
  int numParamsCaller = WN_kid_count(callWN);
  int parmIdx = -1;
  for (int kidno = 0; kidno < numParamsCaller; ++kidno) {
    WN* kid = WN_kid(callWN, kidno);
    if (kid == parmWN) {
      parmIdx = kidno;
      break;
    }
  }

  if (parmIdx >= 0) {
      // Given the index of the actual parameter, find the formal parameter
      PU_SetGlobalState(calleePU);
  
      WN* wn_pu = PU_Info_tree_ptr(calleePU);

      assert(parmIdx <= WN_num_formals(wn_pu));

      WN* maybeReturnVar = WN_formal(wn_pu, 0);
      ST* returnVarST    = WN_st(maybeReturnVar);
      bool isReturnVar = ST_is_return_var (*returnVarST) ;
      
      WN  *formalWN=0;
      if(isReturnVar == true) {
        formalWN = WN_formal(wn_pu, parmIdx+1);
      } else {
        formalWN = WN_formal(wn_pu, parmIdx);
      }
      
      formalST = WN_st(formalWN);
      assert(formalST);
      
  }

  // Reset context for caller
  PU_SetGlobalState(callerPU);

  return (OA::irhandle_t)formalST;
}

OA::SymHandle Open64IRInterface::getSymHandle(OA::CallHandle h) {
  assert( h != OA::CallHandle(0));  
  WN* wn = (WN*)h.hval(); 
  ST* st = NULL;
  if (wn) {
    st = ((OPERATOR_has_sym(WN_operator(wn))) ? WN_st(wn) : NULL);
  }
  assert(st != NULL);
  return (OA::irhandle_t)st;
}

//---------------------------------------------------------------------------
// CFGIRInterfaceDefault
//---------------------------------------------------------------------------

OA::OA_ptr<OA::IRRegionStmtIterator>
Open64IRInterface::procBody(OA::ProcHandle h)
{
  PU_Info* pu = (PU_Info*)h.hval();
  currentProc(h);
  WN* wn_pu = PU_Info_tree_ptr(pu);
  //WN* wn_pu = (WN*)h.hval();
  assert(WN_operator(wn_pu) == OPR_FUNC_ENTRY);
  
  WN* wn = WN_func_body(wn_pu);
  OA::OA_ptr<Open64IRRegionStmtIterator> retval;
  retval = new Open64IRRegionStmtIterator(wn);
  return retval;
}

//----------------------------------------------------------
// Statements: General
//----------------------------------------------------------

// Translate a whirl statement type into a IRStmtType.
OA::CFG::IRStmtType
Open64IRInterface::getCFGStmtType(OA::StmtHandle h) 
{
  //setCurrentProcToProcContext(h); // not setting up context for hierarchical stmts
  OA::CFG::IRStmtType ty;
  WN *wn = (WN *)h.hval();
  OPERATOR opr = WN_operator(wn);

  //
  // There are currently three IRStmtTypes that are not returned by this
  // function-- BREAK, LOOP_CONTINUE and STRUCT_MULTIWAY_CONDITIONAL.
  // That is, Whirl does not appear to have a structured switch statement or
  // high-level forms of break or loop continue.
  //

  switch (opr) {

  // Return statements.
  case OPR_RETURN:
  case OPR_RETURN_VAL:
    ty = OA::CFG::RETURN;
    break;

  // Top-tested loops.
  case OPR_DO_LOOP:
  case OPR_WHILE_DO:
    ty = OA::CFG::LOOP;
    break;

  // End-tested loop.
  case OPR_DO_WHILE:
    ty = OA::CFG::END_TESTED_LOOP;
    break;

  // Structured IF-statement.
  case OPR_IF:
    ty = OA::CFG::STRUCT_TWOWAY_CONDITIONAL;
    break;

  // Unconditional jump.
  case OPR_GOTO:
    ty = OA::CFG::UNCONDITIONAL_JUMP;
    break;

  // Unconditional jump (indirect).
  case OPR_AGOTO:
    ty = OA::CFG::UNCONDITIONAL_JUMP_I;
    break;

  // Unstructured two-way branches.
  case OPR_TRUEBR:
    ty = OA::CFG::USTRUCT_TWOWAY_CONDITIONAL_T;
    break;

  case OPR_FALSEBR:
    ty = OA::CFG::USTRUCT_TWOWAY_CONDITIONAL_F;
    break;

  // Unstructured multi-way branch.
  case OPR_COMPGOTO:  // FIXME: Also, OPR_XGOTO?
  case OPR_SWITCH:
    ty = OA::CFG::USTRUCT_MULTIWAY_CONDITIONAL;
    break;

  // Alternate entry point.
  case OPR_ALTENTRY:
    ty = OA::CFG::ALTERNATE_PROC_ENTRY;
    break;

  // A block of statements.
    //case OPR_FUNC_ENTRY: // FIXME
  case OPR_BLOCK:
    ty = OA::CFG::COMPOUND;
    break;

  // Simple statements.   // FIXME: Is this all of them?
  case OPR_CALL:
  case OPR_ICALL:
  case OPR_PICCALL:
  case OPR_VFCALL:
  case OPR_INTRINSIC_CALL:
  case OPR_PRAGMA:
  case OPR_XPRAGMA:
  case OPR_ASM_STMT:
  case OPR_EVAL:
  case OPR_PREFETCH:
  case OPR_PREFETCHX:
  case OPR_COMMENT:
  case OPR_AFFIRM:
  case OPR_FORWARD_BARRIER:     // FIXME: ???
  case OPR_BACKWARD_BARRIER:    // FIXME: ???
  case OPR_LABEL:
  case OPR_WHERE:
  case OPR_IO:                  // FIXME: Internal control flow possible?
  case OPR_LDID:
  case OPR_STID:
  case OPR_PSTID:  
  case OPR_ILOAD:
  case OPR_ISTORE:
  case OPR_ILOADX:
  case OPR_ISTOREX:
  case OPR_MLOAD:
  case OPR_MSTORE:
  case OPR_PSTORE:
  case OPR_LDBITS:
  case OPR_STBITS:
  case OPR_ILDBITS:
  case OPR_ISTBITS:
  case OPR_USE: // FIXME: how are these ordered?
  case OPR_INTERFACE: 
    ty = OA::CFG::SIMPLE;
    break;

  // Bother.
  default: 
    // FIXME: OPR_ASSERT, OPR_GOTO_OUTER_BLOCK, OPR_TRAP, 
    //  OPR_REGION, OPR_REGION_EXIT
    fprintf(stderr, "*** Open64IRInterface: Unknown WHIRL operator %s ***.\n", 
            OPERATOR_name(opr));
    dump_wn(wn);
    assert(0);
    break;
  }
  return ty;
}

OA::StmtLabel
Open64IRInterface::getLabel(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();

  if (WN_operator (wn) == OPR_LABEL) {
    return (OA::irhandle_t) WN_label_number (wn);
  } else {
    return 0;
  }
}

OA::OA_ptr<OA::IRRegionStmtIterator>
Open64IRInterface::getFirstInCompound(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();
  OA::OA_ptr<OA::IRRegionStmtIterator> retval;
  retval = new Open64IRRegionStmtIterator (WN_first (wn));
  return retval;
}


//----------------------------------------------------------
// Loops
//----------------------------------------------------------

OA::OA_ptr<OA::IRRegionStmtIterator>
Open64IRInterface::loopBody(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();
  WN *body_wn = 0;

  switch (WN_operator (wn)) {
  case OPR_DO_LOOP:
    body_wn = WN_do_body (wn);
    break;
  case OPR_WHILE_DO:
  case OPR_DO_WHILE:
    body_wn = WN_while_body (wn);
    break;
  default:
    // FIXME: Any other statement types here?
    assert(0);
    break;
  }

  OA::OA_ptr<OA::IRRegionStmtIterator> retval;
  retval = new Open64IRRegionStmtIterator (body_wn);
  return retval;
}

OA::StmtHandle
Open64IRInterface::loopHeader(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();

  // This is called for all top-tested loops, but only OPR_DO_LOOP has
  // an initialization statement.
  if (WN_operator (wn) == OPR_DO_LOOP) {
    return (OA::irhandle_t) WN_start (wn);
  } else if (WN_operator (wn) == OPR_WHILE_DO) {
    return 0;
  } else {
    assert(0);
  }
}

OA::StmtHandle
Open64IRInterface::getLoopIncrement(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();

  // This is called for all top-tested loops, but only OPR_DO_LOOP has
  // an initialization statement.
  if (WN_operator (wn) == OPR_DO_LOOP) {
    return (OA::irhandle_t) WN_step (wn);
  } else if (WN_operator (wn) == OPR_WHILE_DO) {
    return 0;
  } else {
    assert(0);
  }
}

bool
Open64IRInterface::loopIterationsDefinedAtEntry(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  //WN *wn = (WN *) h.hval();

  // In Whirl, only an OPR_DO_LOOP is specified to have Fortran semantics,
  // which means the increment is a loop-invariant expression.  However,
  // Open64 already enforces the restrictions, so we don't have to do
  // anything special here (i.e., always return false).
  return false;
}

OA::ExprHandle
Open64IRInterface::getLoopCondition(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();
  WN *expr_wn = 0;

  switch (WN_operator (wn)) {
  case OPR_DO_LOOP:
    expr_wn = WN_end (wn);
    break;
  case OPR_WHILE_DO:
  case OPR_DO_WHILE:
    expr_wn = WN_while_test (wn);
    break;
  default:
    assert(0);
    break;
  }

  return (OA::irhandle_t) expr_wn;
}

//----------------------------------------------------------
// Structured two-way conditionals
//----------------------------------------------------------

OA::OA_ptr<OA::IRRegionStmtIterator>
Open64IRInterface::trueBody(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();
  OA::OA_ptr<OA::IRRegionStmtIterator> retval;

  if (WN_operator (wn) == OPR_IF) {
    retval = new Open64IRRegionStmtIterator (WN_then (wn));
    return retval;
  } else {
    assert(0);
  }
}


OA::OA_ptr<OA::IRRegionStmtIterator>
Open64IRInterface::elseBody(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();
  OA::OA_ptr<OA::IRRegionStmtIterator> retval;

  if (WN_operator (wn) == OPR_IF) {
    retval = new Open64IRRegionStmtIterator (WN_else (wn));
    return retval;
  } else {
    assert(0);
  }
}


OA::ExprHandle
Open64IRInterface::getCondition(OA::StmtHandle h)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();
  WN *expr_wn = 0;

  if (WN_operator (wn) == OPR_IF) {
    expr_wn = WN_if_test (wn);
  } else if (WN_operator (wn) == OPR_TRUEBR
             || WN_operator (wn) == OPR_FALSEBR) {
    expr_wn = WN_kid0 (wn);
  } else {
    assert(0);
  }
  return (OA::irhandle_t) expr_wn;
}


//----------------------------------------------------------
// Structured multiway conditionals
//----------------------------------------------------------

int
Open64IRInterface::numMultiCases(OA::StmtHandle h)
{
  // Whirl does not have a structured switch statement.
  assert(0);
  return 0;
}

OA::OA_ptr<OA::IRRegionStmtIterator>
Open64IRInterface::multiBody(OA::StmtHandle h, int bodyIndex)
{
  // Whirl does not have a structured switch statement.
  assert(0);
  OA::OA_ptr<OA::IRRegionStmtIterator> retval; retval = NULL;
  return retval;
}

bool
Open64IRInterface::isBreakImplied(OA::StmtHandle multicond)
{
  // Whirl does not have a structured switch statement.
  assert(0);
  return false;
}

bool
Open64IRInterface::isCatchAll(OA::StmtHandle h, int bodyIndex)
{
  // Whirl does not have a structured switch statement.
  assert(0);
  return false;
}

OA::OA_ptr<OA::IRRegionStmtIterator>
Open64IRInterface::getMultiCatchall(OA::StmtHandle h)
{
  // Whirl does not have a structured switch statement.
  assert(0);
  OA::OA_ptr<OA::IRRegionStmtIterator> retval; retval = NULL;
  return retval;
}

OA::ExprHandle
Open64IRInterface::getSMultiCondition(OA::StmtHandle h, int bodyIndex)
{
  // Whirl does not have a structured switch statement.
  assert(0);
  return (OA::irhandle_t) 0;
}

OA::ExprHandle 
Open64IRInterface::getSMultiTest(OA::StmtHandle h)
{
  // Whirl does not have a structured switch statement.
  assert(0);
  return (OA::irhandle_t) 0;
}

#if 0 // deprecated
OA::ExprHandle
Open64IRInterface::getMultiExpr(OA::StmtHandle h)
{
  // Whirl does not have a structured switch statement.
  assert(0);
  return (OA::irhandle_t) 0;
}
#endif

//----------------------------------------------------------
// Unstructured two-way conditionals
//----------------------------------------------------------

OA::StmtLabel
Open64IRInterface::getTargetLabel(OA::StmtHandle h, int n)
{
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();

  if (WN_operator (wn) == OPR_GOTO
      || WN_operator (wn) == OPR_TRUEBR
      || WN_operator (wn) == OPR_FALSEBR) {
    return (OA::irhandle_t) WN_label_number (wn);
  } else {
    assert(0);
  }
}

//----------------------------------------------------------
// Unstructured multi-way conditionals
//----------------------------------------------------------

// Given an unstructured multi-way branch, return the number of targets.
// The count does not include the optional default/catchall target.
int
Open64IRInterface::numUMultiTargets(OA::StmtHandle h)
{ 
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();

  // FIXME: Support also OPR_XGOTO?
  OPERATOR opr = WN_operator(wn);
  if (opr == OPR_COMPGOTO || opr == OPR_SWITCH) {
    return WN_num_entries(wn);
  } else {
    assert(0);
  }
}

// Given an unstructured multi-way branch, return the label of the target
// statement at 'targetIndex'. The n targets are indexed [0..n-1]. 
OA::StmtLabel
Open64IRInterface::getUMultiTargetLabel(OA::StmtHandle h, int targetIndex)
{
  //setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();
  OA::StmtLabel target_label = 0;
  WN* curr_goto = NULL;

  // Whirl has a number of multiway branches: OPR_SWITCH, OPR_COMPGOTO,
  // and OPR_XGOTO. SWITCH and COMPGOTO are redundant in the sense that
  // SWITCH could be used for any COMPGOTO. Nevertheless, we have to handle
  // them all.
  // FIXME: XGOTO is a lowered form of COMPGOTO which isn't handled here yet. 
  OPERATOR opr = WN_operator(wn);
  assert(opr == OPR_COMPGOTO || opr == OPR_SWITCH);
  if (opr == OPR_COMPGOTO) {
    assert(WN_operator(WN_kid1(wn)) == OPR_BLOCK);
    curr_goto = WN_first(WN_kid1(wn));
  } else {
    assert(WN_operator(WN_switch_table(wn)) == OPR_BLOCK);
    curr_goto = WN_first(WN_switch_table(wn));
  }
  
  // For COMPGOTO, kid 1 is an OPR_BLOCK which contains the dispatch
  // table as a list of OPR_GOTOs to the corresponding targets. SWITCH
  // is similar, except its table is a list of OPR_CASEGOTOs.
  //
  // Below is somewhat inefficient, but the method wants random access to the
  // targets, while Whirl blocks have to be traversed sequentially.
  int curr_idx = 0;
  for ( ; (curr_goto); curr_goto = WN_next(curr_goto), ++curr_idx) {
    if (curr_idx == targetIndex) {
      assert(WN_operator(curr_goto) == OPR_GOTO 
             || WN_operator(curr_goto) == OPR_CASEGOTO);
      target_label = (OA::StmtLabel) WN_label_number(curr_goto);
      break;
    }
  }
  assert(curr_idx == targetIndex); // Ensure target is found...
  
  return target_label;
}

// Given an unstructured multi-way branch, return the label of the optional
// default/catchall target. Return 0 if no default target.
OA::StmtLabel
Open64IRInterface::getUMultiCatchallLabel (OA::StmtHandle h)
{ 
  //setCurrentProcToProcContext(h);
  WN *wn = (WN *) h.hval();
  WN *target = 0;

  // FIXME: Support also OPR_XGOTO?
  if (WN_operator(wn) == OPR_COMPGOTO) {
    target = WN_kid2(wn);
  } else if (WN_operator(wn) == OPR_SWITCH) {
    target = WN_switch_default(wn);
  } else {
    assert(0);
  }

  if (target) {
    assert(WN_operator(target) == OPR_GOTO);
    return (OA::StmtLabel) WN_label_number(target);
  } else {
    return 0;
  }
}

// Given an unstructured multi-way branch, return the condition expression
// corresponding to target 'targetIndex'. The n targets are indexed [0..n-1].
// For OPR_SWITCH, return an OPR_CASEGOTO; for OPR_COMPGOTO, return OPR_GOTO.
OA::ExprHandle
Open64IRInterface::getUMultiCondition (OA::StmtHandle h, int targetIndex)
{
  //setCurrentProcToProcContext(h);
  // Cf. GetUMultiTargetLabel (no need for assertions here)
  WN* wn = (WN*)h.hval();
  WN* curr_goto = NULL;
  OA::ExprHandle condExpr = 0;

  OPERATOR opr = WN_operator(wn);
  if (opr == OPR_COMPGOTO) {
    curr_goto = WN_first(WN_kid1(wn));
  } else {
    curr_goto = WN_first(WN_switch_table(wn));
  }
  
  int curr_idx = 0;
  for ( ; (curr_goto); curr_goto = WN_next(curr_goto), ++curr_idx) {
    if (curr_idx == targetIndex) {
      condExpr = (OA::irhandle_t)curr_goto; // OPR_CASEGOTO or OPR_GOTO
      break;
    }
  }
  return condExpr;
}

OA::ExprHandle 
Open64IRInterface::getUMultiTest(OA::StmtHandle h) {

  //setCurrentProcToProcContext(h);
  WN* wn = (WN*)h.hval();
  WN *expr_wn = 0;
    
  if (WN_operator(wn)==OPR_SWITCH) {
    expr_wn = WN_switch_test (wn);
  } else {
    std::cout << "Not a SWITCH in getUMultiTest " << std::endl;
    std::cout.flush();
    //return (OA::irhandle_t) 0; // user will have to check in case not switch
    assert (0);
  }

  return (OA::irhandle_t) expr_wn;

}

//---------------------------------------------------------------------------
// AliasIRInterfaceDefault
//---------------------------------------------------------------------------

OA::OA_ptr<OA::MemRefHandleIterator> 
Open64IRInterface::getMemRefIterator(OA::StmtHandle h) 
{
  setCurrentProcToProcContext(h);
  
  // if haven't already determined the set of memrefs for this stmt
  // initializing the mapping of MemRefHandle's to a set of MemRefExprs,
  // and based off that map get all the MemRefHandle's
  if (sStmt2allMemRefsMap[h].empty() ) {
      
    // first loop through call sites for this statement
    // to create a map of actual parameters (OPR_PARMs WNs)
    // to the call handle
    OA::OA_ptr<OA::IRCallsiteIterator> callIter = getCallsites(h);
    for ( ; callIter->isValid(); (*callIter)++ ) {
        OA::CallHandle call = callIter->current();
        OA::OA_ptr<OA::IRCallsiteParamIterator> paramIter 
            = getCallsiteParams(call);
        for ( ; paramIter->isValid(); (*paramIter)++ ) {
            OA::ExprHandle param = paramIter->current();
            sParamToCallMap[param] = call;
        }
    }
 
    findAllMemRefsAndMapToMemRefExprs(h,(WN*)h.hval(),0);
  }

  OA::OA_ptr<OA::MemRefHandleIterator> retval;
  retval = new Open64IRMemRefIterator(h);
  return retval;
}




// Given WHIRL statements (including control flow
// statements representing embedded expressions, but not statements),
// recursively find the memory-references in the statement and create
// OA::MemRefExprs to model them to OA.  Note: Memory
// references will generally be WHIRL expressions; however STORES --
// WHIRL *statements* -- are returned to represent a left-hand-side
// reference; and indirect CALLS are returned to represent a function
// pointer reference.
// Also map each MemRefHandle to a set of MemRefExprs in sMemRef2mreSetMap
// and map each stmt to all MemRefHandles for that statement 
// in sStmt2allMemRefsMap.
void Open64IRInterface::findAllMemRefsAndMapToMemRefExprs(OA::StmtHandle stmt,
        WN* wn, unsigned lvl)
{
  using namespace OA;
  // If we know the language is F90 or FORTRAN then we can get more
  // precise MemRefExprs
  Language = LANG_F90; // FIXME: Open64's global var Language isn't set
  bool isFortran = (Language == LANG_F77 || Language == LANG_F90);
  // Base case
  if (!wn) { return; }

  OPERATOR opr = WN_operator(wn);
    
  // -------------------------------------------------------
  // Gather information about this mem-ref
  // -------------------------------------------------------
  TY_IDX base_ty = 0, ref_ty = 0;
  WN_OFFSET offset = 0;
  UINT field_id = 0;
  if (OPERATOR_is_load(opr) || opr == OPR_LDA || opr == OPR_LDMA) {
      offset = WN_load_offset(wn); // == WN_lda_offset()
  }
  // Set accuracy
  bool fullAccuracy = false;
  // These only work on loads and stores
  // FIXME: asserts in wn_attr.cpp code on MLOADS
  if (opr!=OPR_MLOAD && opr!=OPR_MSTORE && 
      (OPERATOR_is_store(opr) || OPERATOR_is_load(opr) 
      || opr==OPR_LDA || opr==OPR_LDMA)) 
  {
      base_ty = WN_GetBaseObjType(wn);
      ref_ty = WN_GetRefObjType(wn);
      if (OPERATOR_has_field_id(opr)) {
          field_id = WN_field_id(wn);
      }
      if (offset == 0 && field_id == 0) { // we do not have a structure ref
        if (base_ty != 0 && WN2F_Can_Assign_Types(base_ty, ref_ty)) {
          // If assigning to same object, we have full accuracy
          fullAccuracy = true;
        }
      }
  }

  // Determination of these is the same for most, exceptions dealt with
  // in the big switch stmt
  MemRefExpr::MemRefType hty;
  if (lvl==0 && (OPERATOR_is_store(opr))) {
      OA::ExprHandle rhs((OA::irhandle_t)WN_kid0(wn));
      mStmt2allExprsMap[stmt].insert(rhs);


      // create AssignPair
      OA::MemRefHandle lhs = (OA::irhandle_t)wn;
      mStmtToAssignPairs[stmt].insert(pair<OA::MemRefHandle,
                                      OA::ExprHandle>(lhs, rhs));

      hty = MemRefExpr::DEF;
  } else {
      hty = MemRefExpr::USE;
  }
  
bool isAddrOf = false;
  
  // -------------------------------------------------------
  // Gather information from children and generate MRE(s)
  // -------------------------------------------------------
  WN* subMemRef;
  // Large switch statement based on operator that current node represents
  switch (opr) {
    // NOTE: MLOAD, MSTORE?  FIXME?: we don't handle these, should we?

    case OPR_LDA:
    case OPR_LDMA:
    case OPR_LDID:    
    {
         ST* st = findBaseSymbol(wn);
         OA::SymHandle sym((OA::irhandle_t)st);
         assert(sym != OA::SymHandle(0));

         // do not want to create MemRefExpr if for Constants for Literals
         if(ST_is_constant (st)) {   
            break;   
         }

         // create MemRefExpr
         createAndMapNamedRef(stmt, wn, st, OA::MemRefExpr::USE);

         OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);

         if (isRefParam(sym)) {
             OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
             assert(m != OA::MemRefHandle(0));
             OA_ptr<MemRefExpr> newmre;
             newmre = *(sMemref2mreSetMap[m].begin());
             
             int numDerefs = 1;
             OA::OA_ptr<OA::Deref> deref_mre;
             OA::OA_ptr<OA::MemRefExpr> nullMRE;
             deref_mre = new OA::Deref(
                                       OA::MemRefExpr::USE,
                                       nullMRE,
                                       numDerefs);
             newmre = deref_mre->composeWith(newmre->clone());

             sMemref2mreSetMap[m].clear();

             sMemref2mreSetMap[m].insert(newmre);

         } 


         //TY_IDX ty = WN_GetRefObjType(wn);

         //if(TY_kind(sym) ==  KIND_POINTER) {
         //if(TY_kind(ST_type(st)) == KIND_POINTER) 
         //if (TY_Is_Pointer(ty)) 
         //if(ST_IS_POINTER(st))
         if(ST_is_my_pointer (st))
         {
             OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
             assert(m != OA::MemRefHandle(0));
             OA_ptr<MemRefExpr> newmre;
             newmre = *(sMemref2mreSetMap[m].begin());

             int numDerefs = 1;
             OA::OA_ptr<OA::Deref> deref_mre;
             OA::OA_ptr<OA::MemRefExpr> nullMRE;
             deref_mre = new OA::Deref(
                                       OA::MemRefExpr::USE,
                                       nullMRE,
                                       numDerefs);
             newmre = deref_mre->composeWith(newmre->clone());

             sMemref2mreSetMap[m].clear();

             sMemref2mreSetMap[m].insert(newmre);

         } 

         if (!isFortran) { isAddrOf = true; }
         break;          

    }

    case OPR_PSTID:
    {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);
         //findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid1(wn), lvl+1);

  
         ST* st = findBaseSymbol(wn);
         OA::SymHandle sym((OA::irhandle_t)st);
         assert(sym != OA::SymHandle(0));
         createAndMapNamedRef(stmt, wn, st, OA::MemRefExpr::DEF);
      

         OA::OA_ptr<OA::MemRefExpr> newmre, target_mre;

         OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
         assert(m != OA::MemRefHandle(0));
         newmre = *(sMemref2mreSetMap[m].begin());

         if (isRefParam(sym)) 
         {
             newmre->setMemRefType(OA::MemRefExpr::USE);

             int numDerefs = 1;
             OA::OA_ptr<OA::Deref> deref_mre;
             OA::OA_ptr<OA::MemRefExpr> nullMRE;
             deref_mre = new OA::Deref(
                                       OA::MemRefExpr::DEF,
                                       nullMRE,
                                       numDerefs);
             newmre = deref_mre->composeWith(newmre->clone());

             sMemref2mreSetMap[m].clear();

             sMemref2mreSetMap[m].insert(newmre);

         }
  

         WN* wn_rhs =  WN_kid(wn,0);
         m = OA::MemRefHandle((OA::irhandle_t)wn_rhs); 
         assert(m != OA::MemRefHandle(0));
         OA::OA_ptr<OA::MemRefExpr> target_newmre;
         target_newmre = *(sMemref2mreSetMap[m].begin());
 
         OA::OA_ptr<OA::MemRefExpr> nullMRE;
         OA::OA_ptr<OA::AddressOf> address_mre;
         address_mre = new OA::AddressOf( OA::MemRefExpr::USE, nullMRE);
         target_newmre = address_mre->composeWith(target_newmre->clone());

         sMemref2mreSetMap[m].clear();

         sMemref2mreSetMap[m].insert(target_newmre);
      
         mStmtToPtrPairs[stmt].insert(std::pair<OA::OA_ptr<OA::MemRefExpr>,
                         OA::OA_ptr<OA::MemRefExpr> > (newmre, target_newmre) );

         break;
    }
    
    case OPR_STID:
    {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);
         //findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid1(wn), lvl+1);

         ST* st = findBaseSymbol(wn);
         OA::SymHandle sym((OA::irhandle_t)st);
         assert(sym != OA::SymHandle(0));
         createAndMapNamedRef(stmt, wn, st, OA::MemRefExpr::DEF);

         if (isRefParam(sym)) {

             OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
             assert(m != OA::MemRefHandle(0));
             OA_ptr<MemRefExpr> newmre;
             newmre = *(sMemref2mreSetMap[m].begin());

             newmre->setMemRefType(OA::MemRefExpr::USE);

             int numDerefs = 1;
             OA::OA_ptr<OA::Deref> deref_mre;
             OA::OA_ptr<OA::MemRefExpr> nullMRE;
             deref_mre = new OA::Deref(
                                       OA::MemRefExpr::DEF,
                                       nullMRE,
                                       numDerefs);
             newmre = deref_mre->composeWith(newmre);

             sMemref2mreSetMap[m].clear();

             sMemref2mreSetMap[m].insert(newmre->clone());

         }


         if(TY_kind(ST_type(st)) == KIND_POINTER)
         { 
             OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
             assert(m != OA::MemRefHandle(0));
             OA_ptr<MemRefExpr> newmre;
             newmre = *(sMemref2mreSetMap[m].begin());

             newmre->setMemRefType(OA::MemRefExpr::USE);

             int numDerefs = 1;
             OA::OA_ptr<OA::Deref> deref_mre;
             OA::OA_ptr<OA::MemRefExpr> nullMRE;
             deref_mre = new OA::Deref(
                                       OA::MemRefExpr::DEF,
                                       nullMRE,
                                       numDerefs);
             newmre = deref_mre->composeWith(newmre->clone());

             sMemref2mreSetMap[m].clear();

             sMemref2mreSetMap[m].insert(newmre);

         }
 
         break;
    }

    case OPR_STRCTFLD:
    {
         //ST* st = WN_st(wn);
         //OA::SymHandle sym((OA::irhandle_t)st);
         //assert(sym != OA::SymHandle(0));

         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);

         OA::MemRefHandle mtop =  findTopMemRefHandle(wn);
         assert(mtop != OA::MemRefHandle(0));

         OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
         assert(m != OA::MemRefHandle(0));

         OA_ptr<MemRefExpr> newmre, newmre_clone;
         newmre_clone = *(sMemref2mreSetMap[mtop].begin());
         newmre = newmre_clone->clone();
         //sMemref2mreSetMap[mtop].clear();
         sMemref2mreSetMap.erase(mtop);
         sStmt2allMemRefsMap[stmt].erase(mtop);

         TY_IDX ty;
         ty = WN_GetBaseObjType(wn);
         UINT id = WN_field_id(wn);
         UINT cur_fld_id = 0;
         FLD_HANDLE fh = FLD_get_to_field(ty, id, cur_fld_id);
         char* fld_name = FLD_name(fh);

         //TY_IDX ref_ty;
         //ref_ty= WN_GetRefObjType(wn);
         newmre  = new OA::FieldAccess(OA::MemRefExpr::USE,
                                           newmre->clone(),
                                           fld_name);
        
         if(FLD_is_pointer(fh)) {
             //OA_ptr<MemRefExpr> newmre;
             //newmre = *(sMemref2mreSetMap[m].begin());

             
             newmre->setMemRefType(OA::MemRefExpr::USE);

             int numDerefs = 1;
             OA::OA_ptr<OA::Deref> deref_mre;
             OA::OA_ptr<OA::MemRefExpr> nullMRE;
             deref_mre = new OA::Deref(
                                       OA::MemRefExpr::USE,
                                       nullMRE,
                                       numDerefs);
             newmre = deref_mre->composeWith(newmre->clone());
         }
         


         
         sMemref2mreSetMap[m].insert(newmre);
         sStmt2allMemRefsMap[stmt].insert(m);
        
         break;
    }

    case OPR_ILOAD:
    case OPR_MLOAD:
    {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);

         OA::MemRefHandle mtop =  findTopMemRefHandle(wn);
         
         if(mtop == OA::MemRefHandle(0)) { break; }

         OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
         assert(m != OA::MemRefHandle(0));

         OA_ptr<MemRefExpr> newmre, newmre_clone;
         newmre_clone = *(sMemref2mreSetMap[mtop].begin());
         newmre = newmre_clone->clone();
         sMemref2mreSetMap.erase(mtop);
         sStmt2allMemRefsMap[stmt].erase(mtop);

         sMemref2mreSetMap[m].insert(newmre->clone());
         sStmt2allMemRefsMap[stmt].insert(m);

         break;
    }

    case OPR_ISTORE:
    case OPR_MSTORE:
    {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);

         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid1(wn), lvl+1);

         OA::MemRefHandle mtop =  findTopMemRefHandle(wn);
        
         
         if(mtop == OA::MemRefHandle(0)) { break; }

         OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
         assert(m != OA::MemRefHandle(0));

         OA_ptr<MemRefExpr> newmre, newmre_clone;
         newmre_clone = *(sMemref2mreSetMap[mtop].begin());
         newmre = newmre_clone->clone();
         sMemref2mreSetMap.erase(mtop);
         sStmt2allMemRefsMap[stmt].erase(mtop);

         newmre->setMemRefType(OA::MemRefExpr::DEF);
 
         sMemref2mreSetMap[m].insert(newmre->clone());
         sStmt2allMemRefsMap[stmt].insert(m);

         break;
    }

    case OPR_PSTORE:
    {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);

         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid1(wn), lvl+1);

         OA::MemRefHandle mtop =  findTopMemRefHandle(wn);
         assert(mtop != OA::MemRefHandle(0));

         OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
         assert(m != OA::MemRefHandle(0));

         OA_ptr<MemRefExpr> newmre, newmre_clone, target_newmre;

         newmre_clone = *(sMemref2mreSetMap[mtop].begin());
         newmre = newmre_clone->clone();
         sMemref2mreSetMap.erase(mtop);
         sStmt2allMemRefsMap[stmt].erase(mtop);


         newmre = newmre.convert<OA::RefOp>()->getMemRefExpr();

         OA::OA_ptr<OA::MemRefExpr> nullMRE;
         OA::OA_ptr<OA::AddressOf> address_mre;
         address_mre = new OA::AddressOf( OA::MemRefExpr::USE, nullMRE);
         newmre = address_mre->composeWith(newmre->clone());
            
         // set MemRefType=DEF
         newmre->setMemRefType(OA::MemRefExpr::DEF);

         sMemref2mreSetMap[m].insert(newmre->clone());
         sStmt2allMemRefsMap[stmt].insert(m);


         WN* kid0 = WN_kid(wn,0);
         mtop =  findTopMemRefHandle(kid0); 
         assert(m != OA::MemRefHandle(0));

         target_newmre = *(sMemref2mreSetMap[mtop].begin());
         sMemref2mreSetMap[mtop].clear();
   
         target_newmre = address_mre->composeWith(target_newmre->clone());

         sMemref2mreSetMap[mtop].insert(target_newmre->clone());

         mStmtToPtrPairs[stmt].insert(std::pair<OA::OA_ptr<OA::MemRefExpr>,
                         OA::OA_ptr<OA::MemRefExpr> > (newmre, target_newmre) );
         break;
    }
    case OPR_ARRAY:
    case OPR_ARRSECTION:
    {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);

         OA::MemRefHandle mtop =  findTopMemRefHandle(wn);
         assert(mtop != OA::MemRefHandle(0));

         OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);
         assert(m != OA::MemRefHandle(0));

         OA_ptr<MemRefExpr> newmre,newmre_clone;
         newmre_clone = *(sMemref2mreSetMap[mtop].begin());
         newmre = newmre_clone->clone();
         sMemref2mreSetMap.erase(mtop);;
         sStmt2allMemRefsMap[stmt].erase(mtop);

         // composedWith SubSetRef
         OA::OA_ptr<OA::SubSetRef> subset_mre;
         OA::OA_ptr<OA::MemRefExpr> nullMRE;
         OA::OA_ptr<OA::MemRefExpr> composed_mre;

         subset_mre = new OA::SubSetRef(OA::MemRefExpr::USE,
                                        nullMRE);

         newmre = subset_mre->composeWith(newmre->clone());

         sMemref2mreSetMap[m].insert(newmre->clone());
         sStmt2allMemRefsMap[stmt].insert(m);

         // index expr are dim+1 ... 2*dim, dim = WN_kid_count(wn)-1 / 2
         for (INT kidno=(WN_kid_count(wn)-1)/2 +1;
             kidno<=WN_kid_count(wn)-1; kidno++)
         {
             WN* index = WN_kid(wn, kidno);

             OA::ExprHandle rhs((OA::irhandle_t)index);
        
             mStmt2allExprsMap[stmt].insert(rhs);
             mStmtToIndexExprs[stmt].insert(OA::MemRefHandle((OA::irhandle_t)index));

             findAllMemRefsAndMapToMemRefExprs(stmt, index,lvl);
         }

         break;
    }

    case OPR_ARRAYEXP:
    {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);

         break;
    }

    case OPR_CALL:
    {
        
        OA_ptr<MemRefExpr> newmre;
        for (INT kidno=0; kidno<=WN_kid_count(wn)-1; kidno++) {
            WN* param = WN_kid(wn,kidno);

            if(param == NULL) { continue; }
            
            findAllMemRefsAndMapToMemRefExprs(stmt, param, lvl+1);

            ST* st = findBaseSymbol(param);

            if(st == NULL || ST_is_constant (st)) {
              continue;
            }

            //if(TY_kind(ST_type(st)) == KIND_POINTER)
            if(ST_is_my_pointer (st) )
            {
                  OA::MemRefHandle m = MemRefHandle((irhandle_t)param);
                  assert(m != OA::MemRefHandle(0));
                  newmre = *(sMemref2mreSetMap[m].begin());

                  OA::OA_ptr<OA::MemRefExpr> nullMRE;
                  OA::OA_ptr<OA::AddressOf> address_mre;
                  address_mre = new OA::AddressOf( OA::MemRefExpr::USE, nullMRE);
                  newmre = address_mre->composeWith(newmre->clone());

                  sMemref2mreSetMap[m].clear();

                  sMemref2mreSetMap[m].insert(newmre);
            
            } 
        } 

        // Intrinsic call
        if (IntrinsicInfo::isIntrinsic(wn))  {

          for (INT kidno=0; kidno<=WN_kid_count(wn)-1; kidno++) {

            WN* param = WN_kid(wn,kidno);

            if(param == NULL) { continue; }

            // erase ExprHandles
            mStmt2allExprsMap[stmt].erase((OA::irhandle_t)param);

            OA::MemRefHandle m = MemRefHandle((irhandle_t)param);
            assert(m != OA::MemRefHandle(0));


            OA_ptr<MemRefExpr> newmre;
            newmre = *(sMemref2mreSetMap[m].begin());

            int numDerefs = 1;
            OA::OA_ptr<OA::Deref> deref_mre;
            OA::OA_ptr<OA::MemRefExpr> nullMRE;
            deref_mre = new OA::Deref(
                                       OA::MemRefExpr::USE,
                                       nullMRE,
                                       numDerefs);
            newmre = deref_mre->composeWith(newmre->clone());
 

            if(!newmre->isaUnnamed()) {
               sMemref2mreSetMap[m].clear();
               sMemref2mreSetMap[m].insert(newmre);
            } else {
               sMemref2mreSetMap.erase(m);
               sStmt2allMemRefsMap[stmt].erase(m);


               WN* kid = WN_kid(param,0);
               m = MemRefHandle((irhandle_t)kid);
               assert(m != OA::MemRefHandle(0));
               sMemref2mreSetMap.erase(m);
               sStmt2allMemRefsMap[stmt].erase(m);

               mStmt2allExprsMap[stmt].erase((OA::irhandle_t)kid);

               OA::MemRefHandle lhs((OA::irhandle_t)kid);
               OA::ExprHandle rhs((OA::irhandle_t)kid);
               mStmtToAssignPairs[stmt].erase(pair<OA::MemRefHandle, OA::ExprHandle>(lhs, rhs));


               OA::MemRefHandle lhs_kid((OA::irhandle_t)WN_kid0(wn));
               OA::ExprHandle rhs_kid((OA::irhandle_t)WN_kid0(wn));
               mStmtToAssignPairs[stmt].erase(pair<OA::MemRefHandle, OA::ExprHandle>(lhs_kid, rhs_kid));

            }
          }
        }

        // get the name
        ST* st = WN_st(wn);
        const char* funcNm = ST_name(st);
        if(strcmp(funcNm,"_ALLOCATE")==0) {

           for (INT kidno=0; kidno<=WN_kid_count(wn)-2; kidno++) {
               
                WN* param = WN_kid(wn,kidno);

                ST* st = findBaseSymbol(param);
 
                OA::MemRefHandle m = MemRefHandle((irhandle_t)param);
                assert(m != OA::MemRefHandle(0));
                
                OA_ptr<MemRefExpr> newmre;
                newmre = *(sMemref2mreSetMap[m].begin());

                sMemref2mreSetMap[m].erase(newmre);

                int numDerefs = 1;
                OA::OA_ptr<OA::Deref> deref_mre;
                OA::OA_ptr<OA::MemRefExpr> nullMRE;
                deref_mre = new OA::Deref(
                                     OA::MemRefExpr::DEF,
                                     nullMRE,
                                     numDerefs);
                newmre = deref_mre->composeWith(newmre->clone());
                
                if(newmre->isaRefOp()) {
                   OA_ptr<RefOp> refOp;
                   refOp = newmre.convert<OA::RefOp>();
                   if(refOp->isaSubSetRef()) {
                      newmre = refOp->getMemRefExpr();
                   }
                   if(ST_is_my_pointer (st))
                   {
                      OA::OA_ptr<OA::AddressOf> address_mre;
                      address_mre = new OA::AddressOf( OA::MemRefExpr::USE, nullMRE);
                      newmre = address_mre->composeWith(newmre->clone());
                   }
                }

                newmre->setMemRefType(OA::MemRefExpr::DEF);
                sMemref2mreSetMap[m].insert(newmre);

                if(ST_is_my_pointer(st))
                {
                  WN* param0 = WN_kid(param,0);
                  m = OA::MemRefHandle((OA::irhandle_t)param0);
                  assert(m != OA::MemRefHandle(0));
                  OA::ProcHandle proc = getCurrentProcContext();
                  OA::ExprHandle expr((OA::irhandle_t)param);
                  OA::OA_ptr<OA::MemRefExpr> target_newmre; 
                  target_newmre = new OA::UnnamedRef(OA::MemRefExpr::USE,expr,proc);
                  OA::OA_ptr<OA::MemRefExpr> nullMRE;
                  OA::OA_ptr<OA::AddressOf> address_mre;
                  address_mre = new OA::AddressOf( OA::MemRefExpr::USE, nullMRE);
                  target_newmre = address_mre->composeWith(target_newmre->clone());
                  sMemref2mreSetMap[m].insert(target_newmre);
                  sStmt2allMemRefsMap[stmt].insert(m);
                  mStmtToPtrPairs[stmt].insert(std::pair<OA::OA_ptr<OA::MemRefExpr>, OA::OA_ptr<OA::MemRefExpr> > (newmre, target_newmre) );
   
       
                  mStmt2allExprsMap[stmt].erase((OA::irhandle_t)param);
                  mStmt2allExprsMap[stmt].insert((OA::irhandle_t)param0);
 
                }
           }


           WN* param = WN_kid(wn,(WN_kid_count(wn)-1));
           OA::MemRefHandle m = MemRefHandle((irhandle_t)param);
           assert(m != OA::MemRefHandle(0));
           sMemref2mreSetMap.erase(m);
           sStmt2allMemRefsMap[stmt].erase(m);
           WN* param_kid = WN_kid(param,0);
           m = MemRefHandle((irhandle_t)param_kid);
           sMemref2mreSetMap.erase(m);
           sStmt2allMemRefsMap[stmt].erase(m);
           // erase ExprHandles 
           mStmt2allExprsMap[stmt].erase((OA::irhandle_t)param);
           mStmt2allExprsMap[stmt].erase((OA::irhandle_t)param_kid);
        }

        break;
    }
    
    case OPR_INTRINSIC_CALL:
    case OPR_INTRINSIC_OP:
    {
         mStmt2allExprsMap[stmt].insert((OA::irhandle_t)wn);
         for (INT kidno=0; kidno<=WN_kid_count(wn)-1; kidno++) {
            
            WN* param = WN_kid(wn,kidno);

            findAllMemRefsAndMapToMemRefExprs(stmt, param, lvl+1);


            mStmt2allExprsMap[stmt].erase((OA::irhandle_t)param);
            //mStmt2allExprsMap[stmt].insert((OA::irhandle_t)(WN_kid0(param)));
         

            OA::MemRefHandle m = MemRefHandle((irhandle_t)param);
            assert(m != OA::MemRefHandle(0));

            OA_ptr<MemRefExpr> newmre;
            newmre = *(sMemref2mreSetMap[m].begin());

            int numDerefs = 1;
            OA::OA_ptr<OA::Deref> deref_mre;
            OA::OA_ptr<OA::MemRefExpr> nullMRE;
            deref_mre = new OA::Deref(
                                       OA::MemRefExpr::USE,
                                       nullMRE,
                                       numDerefs);

            newmre = deref_mre->composeWith(newmre->clone());

            if(!newmre->isaUnnamed()) {
               sMemref2mreSetMap[m].clear();
               sMemref2mreSetMap[m].insert(newmre);
            } else {


               sMemref2mreSetMap.erase(m);
               sStmt2allMemRefsMap[stmt].erase(m);




               WN* kid = WN_kid(param,0);


               mStmt2allExprsMap[stmt].erase((OA::irhandle_t)kid);
               OA::MemRefHandle lhs((OA::irhandle_t)kid);
               OA::ExprHandle rhs((OA::irhandle_t)kid);
               mStmtToAssignPairs[stmt].erase(pair<OA::MemRefHandle, OA::ExprHandle>(lhs, rhs));


               m = MemRefHandle((irhandle_t)kid);
               assert(m != OA::MemRefHandle(0));
               sMemref2mreSetMap.erase(m);
               sStmt2allMemRefsMap[stmt].erase(m);
               //mStmt2allExprsMap[stmt].erase((OA::irhandle_t)m);
            }

        }

        if(strcmp(IntrinsicInfo::intrinsicBaseName(WN_intrinsic(wn)),
                    "CASSIGNSTMT")==0) {

            WN* param = WN_kid(wn,0);
            OA::MemRefHandle m = MemRefHandle((irhandle_t)param);
            assert(m != OA::MemRefHandle(0));

            OA_ptr<MemRefExpr> newmre;
            newmre = *(sMemref2mreSetMap[m].begin());
            sMemref2mreSetMap[m].clear();

            newmre->setMemRefType(OA::MemRefExpr::DEF);
            sMemref2mreSetMap[m].insert(newmre);


             OA::MemRefHandle lhs;
             lhs = MemRefHandle((irhandle_t)WN_kid0(WN_kid0(wn)));
             OA::ExprHandle rhs;
             rhs = ExprHandle((irhandle_t)WN_kid0(WN_kid1(wn)));
             mStmtToAssignPairs[stmt].insert(pair<OA::MemRefHandle, OA::ExprHandle>(lhs, rhs));

             mStmt2allExprsMap[stmt].erase((OA::irhandle_t)wn);

             mStmt2allExprsMap[stmt].insert((OA::irhandle_t)WN_kid1(wn));
        }   
        break;
    }

    case OPR_PARM:
    {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid0(wn), lvl+1);

         OA_ptr<MemRefExpr> newmre;
         OA::MemRefHandle mtop =  findTopMemRefHandle(wn);

         mStmt2allExprsMap[stmt].insert((OA::irhandle_t)wn);
         mStmt2allExprsMap[stmt].erase((OA::irhandle_t)WN_kid0(wn));

         if(mtop == OA::MemRefHandle(0)) {
            WN* top = WN_kid0(wn);
            OA::ProcHandle proc = getCurrentProcContext();
            OA::ExprHandle expr((OA::irhandle_t)top);
            newmre = new OA::UnnamedRef(OA::MemRefExpr::DEF,expr,proc);

           OA::MemRefHandle m = MemRefHandle((irhandle_t)top);
           sMemref2mreSetMap[m].insert(newmre->clone());
           sStmt2allMemRefsMap[stmt].insert(m);

           // create the AssignPair
           OA::MemRefHandle lhs((OA::irhandle_t)WN_kid0(wn));
           OA::ExprHandle rhs((OA::irhandle_t)WN_kid0(wn));
           mStmtToAssignPairs[stmt].insert(pair<OA::MemRefHandle, OA::ExprHandle>(lhs, rhs));
           mStmt2allExprsMap[stmt].insert(rhs);

         } else {

           OA::OA_ptr<OA::MemRefExpr> newmre_clone;  
           newmre_clone = *(sMemref2mreSetMap[mtop].begin());
           newmre =newmre_clone->clone();
           sMemref2mreSetMap.erase(mtop);
           sStmt2allMemRefsMap[stmt].erase(mtop);
         }

         newmre->setMemRefType(OA::MemRefExpr::USE);

         OA::OA_ptr<OA::MemRefExpr> nullMRE;
         OA::OA_ptr<OA::AddressOf> address_mre;
         address_mre = new OA::AddressOf( OA::MemRefExpr::USE, nullMRE);
         newmre = address_mre->composeWith(newmre->clone());

         OA::MemRefHandle m = MemRefHandle((irhandle_t)wn);

         sMemref2mreSetMap[m].insert(newmre);
         sStmt2allMemRefsMap[stmt].insert(m);

         break;
    }

    case OPR_MIN:
    case OPR_MAX:
    case OPR_IF:
    case OPR_LAND:
    case OPR_LIOR:
    case OPR_LNOT:
    case OPR_MPY:
    case OPR_ADD:
    case OPR_SUB:
    case OPR_DIV:
    case OPR_LE:
    case OPR_LT:
    case OPR_GE:
    case OPR_GT:
    case OPR_EQ:
    case OPR_NE:
    case OPR_TRUNC:
    case OPR_RECIP:
    case OPR_PAREN:
    case OPR_NEG:
    case OPR_CVT:
    case OPR_SRCTRIPLET:
    case OPR_SWITCH:
    case OPR_COMPLEX:
    {
       if(opr == OPR_IF) { 
          mStmt2allExprsMap[stmt].insert((OA::irhandle_t)WN_kid0(wn));
       }
       for (INT kidno=0; kidno<=WN_kid_count(wn)-1; kidno++) {
         findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid(wn,kidno),lvl);
       }
       break;
    }
    case OPR_DO_LOOP:    
    {
       findAllMemRefsAndMapToMemRefExprs(stmt, WN_kid(wn,2),lvl);

       // Store conditional expression 
       WN* condition = WN_kid(wn,2);
       mStmt2allExprsMap[stmt].insert((OA::irhandle_t)condition);

       break;
    }
    case OPR_BLOCK:
    case OPR_INTCONST:
    case OPR_CONST:
    case OPR_GOTO:
    case OPR_CASEGOTO:
    case OPR_LABEL:
    {
        break;
    }
    // General recursive case
    default:
    {
      // Special case: examine only condition of control flow statements
      if (OPERATOR_is_scf(opr) || OPERATOR_is_non_scf(opr)) {

          findAllMemRefsAndMapToMemRefExprs(stmt,WN_kid(wn,0),lvl);
          // General case: recur on parameters (kids 0 ... n-1)
      }

      // some asserts to catch cases I don't expect to land here
      assert(!OPERATOR_is_store(opr));
      assert(!OPERATOR_is_load(opr));
      break;
    }
  }

}




ST* Open64IRInterface::findBaseSymbol(WN* wn)
{
  ST* retval = NULL;
  OPERATOR opr = WN_operator(wn);
  switch (opr) {
    case OPR_ARRAYEXP:
    case OPR_ARRAY:
    case OPR_ARRSECTION:
    case OPR_PARM:
    case OPR_ILOAD:
    case OPR_MLOAD:
    case OPR_MIN:
    case OPR_MAX:
    case OPR_IF:
    case OPR_LAND:
    case OPR_LIOR:
    case OPR_LNOT:
    case OPR_MPY:
    case OPR_ADD:
    case OPR_SUB:
    case OPR_DIV:
    case OPR_LE:
    case OPR_LT:
    case OPR_GE:
    case OPR_GT:
    case OPR_EQ:
    case OPR_NE:
    case OPR_TRUNC:
    case OPR_RECIP:
    case OPR_PAREN:
    case OPR_NEG:
    case OPR_BLOCK:
    case OPR_STRCTFLD:
    case OPR_CALL:
    case OPR_INTRINSIC_OP:
    case OPR_CVT:    
    case OPR_COMPLEX:    
    case OPR_ARRAY_CONSTRUCT:    
        retval = findBaseSymbol(WN_kid0(wn));
        break;
    case OPR_STID:
    case OPR_PSTID:
    case OPR_LDID:
    case OPR_LDBITS:
    case OPR_LDA:
    case OPR_LDMA:
    case OPR_CONST:
        retval = WN_st(wn);
        break;
    case OPR_INTCONST:
        break;
    default:
        assert(0);  // don't expect to get here
  }
  return retval;
}





void Open64IRInterface::createAndMapDerefs(OA::StmtHandle stmt, WN* wn, WN* subMemRef)
{
    using namespace OA;
    // get all MREs for subMemRef
    set<OA_ptr<MemRefExpr> >::iterator mreIter;
    for (mreIter=sMemref2mreSetMap[MemRefHandle((irhandle_t)subMemRef)].begin();         mreIter!=sMemref2mreSetMap[MemRefHandle((irhandle_t)subMemRef)].end();
         mreIter++ )
    {
        // get the mre
        OA_ptr<MemRefExpr> submre = *mreIter;

        // create deref mre
        int numDerefs = 1;
        OA::OA_ptr<OA::Deref> deref_mre;
        OA::OA_ptr<OA::MemRefExpr> nullMRE;
        deref_mre = new OA::Deref(
                                   OA::MemRefExpr::USE,
                                   nullMRE,
                                   numDerefs);

        // compose with Deref
        submre = deref_mre->composeWith(submre);

        // Store mre
        sMemref2mreSetMap[MemRefHandle((irhandle_t)wn)].insert(submre);
        sStmt2allMemRefsMap[stmt].insert(MemRefHandle((irhandle_t)wn));
    }
}



OA::OA_ptr<OA::MemRefExpr>
           Open64IRInterface::convertSymToMemRefExpr(OA::SymHandle sym)
{
    OA::OA_ptr<OA::MemRefExpr> mre;
    bool isAddrOf = false;
    bool fullAccuracy = false;
    OA::MemRefExpr::MemRefType hty;
    hty = OA::MemRefExpr::USE;

    if (isRefParam(sym)) {

        mre = new OA::NamedRef(hty, sym);
        mre = new OA::Deref(hty, mre, 1);

    } else {

        mre = new OA::NamedRef(hty, sym);

    }

    return mre;
}



void Open64IRInterface::createAndMapNamedRef(OA::StmtHandle stmt, WN* wn, ST* st, OA::MemRefExpr::MemRefType hty) {
    using namespace OA;
    OA::OA_ptr<OA::MemRefExpr> mre;

    // do not want to create MemRefExpr if for Constants for Literals
    assert(!ST_is_constant (st));

    // get symbol handle, need to use representative if a global or
    // module var.  Going to use first sym in set as representative.
    SymHandle sym = SymHandle((irhandle_t)st);

    // New Moficiations to OpenAD. 07/11/10
    // Different procedures get Same SymHandles for the module variable
    // and different SymHandles for Common Block Variable

    if (Stab_Is_Based_At_Common_Block(st)) {
        std::set<SymHandle>::iterator setIter;
        fully_qualified_name fqn = sSymToFQNMap[sym];
        OA::ProcHandle pContext = getCurrentProcContext();
        // store the local incarnation of the global sym for this procedure
        sFQNToProcToLocalSymMap[fqn][pContext] = sym;
        // use the first symhandle in the set as a representative
        setIter = sGlobalVarMap[fqn].begin();
        sym = *setIter;
    }

    mre = new NamedRef(hty, sym);
    sMemref2mreSetMap[MemRefHandle((irhandle_t)wn)].insert(mre);
    sStmt2allMemRefsMap[stmt].insert(MemRefHandle((irhandle_t)wn));
}


OA::OA_ptr<OA::Alias::ParamBindPtrAssignIterator>
Open64IRInterface::getParamBindPtrAssignIterator(OA::CallHandle call)
{   
    // FIXME: for now just assuming Fortran
    bool isFortran = true;

    // Setup context for caller
    setCurrentProcToProcContext(call);

    OA::OA_ptr<Open64ParamBindPtrAssignIterator> retval;
    retval = new Open64ParamBindPtrAssignIterator;

    // start at 0 because that is how Open64 starts counting
    int count = 0;
    // iterate over all the parameters for this call site
    // and count off parameters

    OA::OA_ptr<OA::IRCallsiteParamIterator> paramIter = getCallsiteParams(call);
    for ( ; paramIter->isValid(); (*paramIter)++ ) {
        OA::ExprHandle param = paramIter->current();

        if(param == OA::ExprHandle(0)) {
            continue;
        }
        
        OA::OA_ptr<OA::ExprTree> eTreePtr = getExprTree(param);
        OA::EvalToMemRefVisitor evalVisitor;
        eTreePtr->acceptVisitor(evalVisitor);
       
        if ( evalVisitor.isMemRef() ) {
            
          OA::MemRefHandle memref = evalVisitor.getMemRef();

          // get the MREs for this memref
          OA::OA_ptr<OA::MemRefExprIterator> mreIter 
              = getMemRefExprIterator(memref);
          for ( ; mreIter->isValid(); (*mreIter)++ ) {
              OA::OA_ptr<OA::MemRefExpr> mre = mreIter->current();

              // if there is an address computation them we have a
              // pointer assignment happening at parameter bind time
              
              if(mre->isaRefOp()) {
                OA::OA_ptr<OA::RefOp> refop = mre.convert<OA::RefOp>();
                if(refop->isaAddressOf()) {
                   retval->insertParamBindPair(count,mre);
                }

              // if it is a named ref to a reference param in
              // the caller then we also have a ParamBindPair
              } else if (mre->isaNamed()) {
                  OA::OA_ptr<OA::NamedRef> nref = mre.convert<OA::NamedRef>();
                  OA::SymHandle sym = nref->getSymHandle();
                  if (isRefParam(sym)) {
                      retval->insertParamBindPair(count,mre);
                  }
              }
          } 
          count++;
        } // iterate over actuals
    }
    return retval;
}

OA::SymHandle Open64IRInterface::getFormalSym(OA::ProcHandle proc, int formalID)
{
    PU_Info* procPU = (PU_Info*)proc.hval();
    OA::SymHandle retval;

    PU_SetGlobalState(procPU);
  
    WN* wn_pu = PU_Info_tree_ptr(procPU);
    int numParamsProc = WN_num_formals(wn_pu);  
    if (formalID >= numParamsProc) {
        retval = OA::SymHandle(0);
    } else {
        WN* formalWN = WN_formal(wn_pu, formalID);
        if (!formalWN) {
            retval = OA::SymHandle(0);
        } else {
            ST* formalST = WN_st(formalWN);
            retval = (OA::irhandle_t)formalST;
        }
    }

    return retval;
}

OA::OA_ptr<OA::MemRefExpr> 
Open64IRInterface::getCallMemRefExpr(OA::CallHandle h)
{ 
    // FIXME: this is not sufficient for function pointers
    OA::OA_ptr<OA::MemRefExpr> retval; 
    OA::SymHandle sym = getSymHandle(h);
    retval = new OA::NamedRef(OA::MemRefExpr::USE,sym);
    return retval; 
}


//-------------------------------------------------------------------------
// ActivityIRInterface
//-------------------------------------------------------------------------
  
OA::OA_ptr<OA::MemRefExprIterator> 
Open64IRInterface::getIndepMemRefExprIter(OA::ProcHandle h)
{
  PU_Info* pu = (PU_Info*)h.hval();
  currentProc(h);
  OA::OA_ptr<OA::MemRefExpr> mre;
  
  // Get independent variables
  OA::OA_ptr<std::list<OA::OA_ptr<OA::MemRefExpr> > > indepList;
  indepList = new std::list<OA::OA_ptr<OA::MemRefExpr> >;

  WN* pragmaBlk = WN_func_pragmas(PU_Info_tree_ptr(pu));
  for (WN* wn = WN_first(pragmaBlk); wn != NULL; wn = WN_next(wn)) {

    if (WN_operator(wn) != OPR_PRAGMA) {
      continue; 
    }
    
    WN_PRAGMA_ID prag = (WN_PRAGMA_ID)WN_pragma(wn);

    if (prag == WN_PRAGMA_OPENAD_INDEPENDENT) {
      ST* st = WN_st(wn);
      OA::SymHandle sym = OA::SymHandle((OA::irhandle_t)st);
      OA::OA_ptr<OA::MemRefExpr> mre;
      mre = convertSymToMemRefExpr(sym);
      indepList->push_back(mre);
    }
  }
  
  OA::OA_ptr<OA::MemRefExprIterator> indepIter;
  indepIter = new Open64MemRefExprIterator(indepList);
  return indepIter;

}
  
OA::OA_ptr<OA::MemRefExprIterator> 
Open64IRInterface::getDepMemRefExprIter(OA::ProcHandle h)
{

  PU_Info* pu = (PU_Info*)h.hval();
  currentProc(h);
  OA::OA_ptr<OA::MemRefExpr> mre;

  // Get dependent variables
  OA::OA_ptr<std::list<OA::OA_ptr<OA::MemRefExpr> > > depList;
  depList = new std::list<OA::OA_ptr<OA::MemRefExpr> >;
  
  WN* pragmaBlk = WN_func_pragmas(PU_Info_tree_ptr(pu));
  for (WN* wn = WN_first(pragmaBlk); wn != NULL; wn = WN_next(wn)) {
    if (WN_operator(wn) != OPR_PRAGMA) {
      continue; 
    }
    
    WN_PRAGMA_ID prag = (WN_PRAGMA_ID)WN_pragma(wn);
    
    if (prag == WN_PRAGMA_OPENAD_DEPENDENT) {
      ST* st = WN_st(wn);
      OA::SymHandle sym = OA::SymHandle((OA::irhandle_t)st);
      OA::OA_ptr<OA::MemRefExpr> mre;
      mre = convertSymToMemRefExpr(sym);
      depList->push_back(mre);
    }
  }

  OA::OA_ptr<OA::MemRefExprIterator> depIter;
  depIter = new Open64MemRefExprIterator(depList);
  return depIter;
}
 
int Open64IRInterface::getSizeInBytes(OA::SymHandle h)
{
    setCurrentProcToProcContext(h);
    return TY_size(ST_type((ST*)h.hval()));
}

//---------------------------------------------------------------------------
// ReachDefsIRInterface
//---------------------------------------------------------------------------

OA::OA_ptr<OA::IRSymIterator>
Open64IRInterface::getRefSymIterator(OA::ProcHandle h)
{
  PU_Info* pu = (PU_Info*)h.hval();
  OA::OA_ptr<OA::IRSymIterator> retval;
  retval = new Open64IRSymIterator(pu);
  return retval;
}

OA::OA_ptr<OA::MemRefHandleIterator>
Open64IRInterface::getDefMemRefs(OA::StmtHandle stmt)
{
  setCurrentProcToProcContext(stmt);
  OA::OA_ptr<std::list<OA::MemRefHandle> > retList;
  retList = new std::list<OA::MemRefHandle>;
  
  // get iterator over memory references for this statement
  // and only put DEFs in the list
  OA::OA_ptr<OA::MemRefHandleIterator> mIter = getMemRefIterator(stmt);
  for ( ; mIter->isValid(); (*mIter)++ ) {
    OA::MemRefHandle memref = mIter->current();

    // loop over memory reference expressions for this memref handle
    set<OA::OA_ptr<OA::MemRefExpr> >::iterator mreIter;
    for (mreIter = sMemref2mreSetMap[memref].begin();
         mreIter != sMemref2mreSetMap[memref].end(); mreIter++ ) 
    {
        OA::OA_ptr<OA::MemRefExpr> mre = *mreIter;


        if(mre->isaRefOp()) {
           OA::OA_ptr<OA::RefOp> refop = mre.convert<OA::RefOp>();
           if(refop->isaAddressOf()) {
              continue;
           }
        }

        if (mre->isDef()) {
          retList->push_back(memref);
          break;
        }
    }
  }

  OA::OA_ptr<Open64MemRefHandleIterator> retval;
  retval = new Open64MemRefHandleIterator(retList);
  return retval;
}

OA::OA_ptr<OA::MemRefHandleIterator>
Open64IRInterface::getAllMemRefs(OA::StmtHandle stmt)
{
  setCurrentProcToProcContext(stmt);
  OA::OA_ptr<std::list<OA::MemRefHandle> > retList; 
  retList = new std::list<OA::MemRefHandle>;
  
  // get iterator over memory references for this statement
  // and for now just copy the list
  OA::OA_ptr<OA::MemRefHandleIterator> mIter = getMemRefIterator(stmt);
  for ( ; mIter->isValid(); (*mIter)++ ) {
    OA::MemRefHandle memref = mIter->current();
    retList->push_back(memref);
  }

  OA::OA_ptr<Open64MemRefHandleIterator> retval;
  retval = new Open64MemRefHandleIterator(retList);
  return retval;
}
  
//---------------------------------------------------------------------------
// UDDUChainsIRInterface
//---------------------------------------------------------------------------

OA::OA_ptr<OA::MemRefHandleIterator>
Open64IRInterface::getUseMemRefs(OA::StmtHandle stmt)
{
  setCurrentProcToProcContext(stmt);
  OA::OA_ptr<std::list<OA::MemRefHandle> > retList; 
  retList = new std::list<OA::MemRefHandle>;

  // get iterator over memory references for this statement
  // and only put USES in the list
  OA::OA_ptr<OA::MemRefHandleIterator> mIter = getAllMemRefs(stmt);
  for ( ; mIter->isValid(); (*mIter)++ ) {
    OA::MemRefHandle memref = mIter->current();
    
    // loop over memory reference expressions for this memref handle
    set<OA::OA_ptr<OA::MemRefExpr> >::iterator mreIter;
    for (mreIter = sMemref2mreSetMap[memref].begin();
         mreIter != sMemref2mreSetMap[memref].end(); mreIter++ ) 
    {
        OA::OA_ptr<OA::MemRefExpr> mre = *mreIter;


        if(mre->isaRefOp()) {
           OA::OA_ptr<OA::RefOp> refop = mre.convert<OA::RefOp>();
           if(refop->isaAddressOf()) {
              continue;
           }
        }
          
        if (mre->isUse()) {
          retList->push_back(memref);
          break;
        } 
    }
  }

  OA::OA_ptr<Open64MemRefHandleIterator> retval;
  retval = new Open64MemRefHandleIterator(retList);
  return retval;
}


//---------------------------------------------------------------------------
// ReachConstsIRInterface (and Open64ConstVal)
//---------------------------------------------------------------------------

OA::OA_ptr<OA::ConstValBasicInterface> 
Open64ConstVal::eval(OPERATOR opr, 
                     const OA::OA_ptr<OA::ConstValBasicInterface> op2) const
{
  OA::OA_ptr<OA::ConstValBasicInterface> retval;  retval = NULL;

  // Cannot eval without a specific type; return an opaque const object
  // return new Open64ConstVal();

  // returning NULL  -  NULL is recognizable, 
  //                    whereas new Open64ConstVal() is not

  return retval;
}

OA::OA_ptr<OA::ConstValBasicInterface> 
Open64IntegerConstVal::eval(OPERATOR opr, 
    const OA::OA_ptr<OA::ConstValBasicInterface> op2_) const
{
  int val = 0;
  OA::OA_ptr<OA::ConstValBasicInterface> retval;

  // if opr is a unary op, op2_ will be NULL
  if (op2_.ptrEqual(NULL)) {

    // right now, only works for opr==OPR_PARM
    switch (opr) {
    case OPR_PARM: 
      /*
        val = this->getIntegerVal();
        retval = new Open64IntegerConstVal(val);
      */
      // shouldn't get here anymore

      std::cout << "In OPR_PARM of eval in Open64IRInterface.cpp (error)\n";
      std::cout.flush();
      exit(555);
      
      break;
    default:
      retval = NULL;
    }
    return retval;
  }

  OA::OA_ptr<const Open64ConstVal> op2 = op2_.convert<const Open64ConstVal>();
  assert(op2->isaInteger());
  
  switch (opr) {
  case OPR_ADD:
    val = this->getIntegerVal() + op2->getIntegerVal();
    retval = new Open64IntegerConstVal(val);
    break;
  case OPR_SUB:
    val = this->getIntegerVal() - op2->getIntegerVal();
    retval = new Open64IntegerConstVal(val);
    break;
  case OPR_MPY:
    val = this->getIntegerVal() * op2->getIntegerVal();
    retval = new Open64IntegerConstVal(val);
    break;
  case OPR_DIV:
    val = this->getIntegerVal() / op2->getIntegerVal();
    retval = new Open64IntegerConstVal(val);
    break;
    
  default:
    //    return new Open64ConstVal();

    // NULL is recognizable, new Open64ConstVal() is not
    retval = NULL;
  }
  
  return retval;
}



OA::OA_ptr<OA::ExprHandleIterator>
Open64IRInterface::getExprHandleIterator(OA::StmtHandle h)
{

  OA::OA_ptr<OA::ExprHandleIterator> retval;
  retval = new Open64IRExprHandleIterator(h);
  return retval;

}


OA::OA_ptr<OA::AssignPairIterator> 
Open64IRInterface::getAssignPairIterator(OA::StmtHandle stmt)
{ 
  if(sStmt2allMemRefsMap[stmt].empty()) {
     Open64IRInterface::findAllMemRefsAndMapToMemRefExprs(stmt,(WN*)stmt.hval(),0);
  }

  OA::OA_ptr<AssignPairList> assignPairList;
  assignPairList = new AssignPairList;

  std::set<std::pair<OA::MemRefHandle,
                     OA::ExprHandle> >::iterator pairIter;

  for (pairIter = mStmtToAssignPairs[stmt].begin();
       pairIter!= mStmtToAssignPairs[stmt].end();
       pairIter++)
  {
       OA::MemRefHandle lhsHandle = pairIter->first;
       OA::ExprHandle rhsHandle = pairIter->second;
       assignPairList->push_back(AssignPair(lhsHandle, rhsHandle));
  }

  OA::OA_ptr<OA::AssignPairIterator> retval;
  retval = new Open64AssignPairIterator(assignPairList);
  return retval;
}


void
Open64PtrAssignPairStmtIterator::reset()
{
  mIter = mMemRefList.begin();
  mEnd = mMemRefList.end();
  mBegin = mMemRefList.begin();
}


// Create iterator consisting of lhs/rhs pairs from pointer
// assignments in stmt.
void Open64PtrAssignPairStmtIterator::create(OA::StmtHandle stmt)
{
  // loop through the pairs we found in initMemRefsAndPtrAssigns
  std::set<std::pair<OA::OA_ptr<OA::MemRefExpr>,
                     OA::OA_ptr<OA::MemRefExpr> > >::iterator pairIter;
  for (pairIter=mStmtToPtrPairs[stmt].begin();
       pairIter!=mStmtToPtrPairs[stmt].end();
       pairIter++)
  {
      mMemRefList.push_back(*pairIter);
  }
}


OA::OA_ptr<OA::Alias::PtrAssignPairStmtIterator>
Open64IRInterface::getPtrAssignStmtPairIterator(OA::StmtHandle stmt)
{
  OA::OA_ptr<OA::Alias::PtrAssignPairStmtIterator> retval;
  retval = new Open64PtrAssignPairStmtIterator(stmt);
  return retval;
}



OA::OA_ptr<OA::ConstValBasicInterface> 
Open64IRInterface::evalOp(OA::OpHandle op, 
                          OA::OA_ptr<OA::ConstValBasicInterface> operand1, 
                          OA::OA_ptr<OA::ConstValBasicInterface> operand2)
{ 
  WN* wn = (WN*)op.hval();
  OA::OA_ptr<OA::ConstValBasicInterface> retval;
  if (operand1.ptrEqual(NULL)) {retval = NULL; return retval;}
  const OA::OA_ptr<Open64ConstVal> op1 = operand1.convert<Open64ConstVal>();  
  return op1->eval(WN_operator(wn), operand2);
}

OA::OA_ptr<OA::ConstValBasicInterface> 
Open64IRInterface::getConstValBasic(OA::ConstSymHandle c) 
{ 
  setCurrentProcToProcContext(c);
  ST* st = (ST*)c.hval();  
  return getConstValBasicFromST(st);
}

OA::OA_ptr<OA::ConstValBasicInterface> 
Open64IRInterface::getConstValBasic(OA::ConstValHandle c)
{ 
  setCurrentProcToProcContext(c);
  OA::OA_ptr<OA::ConstValBasicInterface> cvb; cvb = NULL;
  
  WN* wn = (WN*)c.hval();
  if (!wn) { return cvb; }
  
  OPERATOR opr = WN_operator(wn);
  if (opr == OPR_CONST) {
    ST* st = WN_st(wn);
    cvb = getConstValBasicFromST(st);
  }
  else if (opr == OPR_INTCONST) {
    INT64 val = WN_const_val(wn);
    if (val < INT_MIN || val > INT_MAX) {
    // cvb = new Open64ConstVal(); // no current representation for this
      cvb = NULL;
    } else {
      cvb = new Open64IntegerConstVal((int)val);
    }
  }
  else {
    //    std::cout << static_cast<int>(opr) << std::endl;
    //    std::cout.flush();
    assert(0); // throw an assertion
  }
  
  return cvb;
}

// should be removed after testing
int
Open64IRInterface::returnOpEnumValInt(OA::OpHandle op)
{ 
  setCurrentProcToProcContext(op);
  WN* wn = (WN*)op.hval();
  OPERATOR opr = WN_operator(wn); 
  return (int)opr;
}


OA::StmtHandle 
Open64IRInterface::getStmtFromMemRef(OA::MemRefHandle h) {

  // if haven't seen this MemRefHandle yet will assert in this call
  setCurrentProcToProcContext(h);

  return sMemRef2StmtMap[h];
}

// given a ConstValBasicInterface, print out value if any
std::string 
Open64IRInterface::toString(OA::OA_ptr<OA::ConstValBasicInterface> cvPtr)
{
  std::ostringstream oss;
  if (cvPtr.ptrEqual(NULL)) {
    oss << "no value, null ConstValBasicInterface*";
  } else {
    const OA::OA_ptr<Open64ConstVal> op1 = cvPtr.convert<Open64ConstVal>();
    if (op1->isaInteger()) {
      oss << op1->getIntegerVal();
    } else {
      oss << "not an integer value";
    }
  }
  return oss.str();
  
}

// Given an unsigned int, return a ConstValBAsicInterface for it
OA::OA_ptr<OA::ConstValBasicInterface> 
Open64IRInterface::getConstValBasic (unsigned int val) {
  OA::OA_ptr<OA::ConstValBasicInterface>  retval;
  retval = new Open64IntegerConstVal((int)val);
  return retval;
}

//---------------------------------------------------------------------------
// LinearityIRInterface.hpp
//---------------------------------------------------------------------------

OA::Linearity::LinOpType
Open64IRInterface::getLinearityOpType(OA::OpHandle op)
{ 
  setCurrentProcToProcContext(op);

  OA::Linearity::LinOpType opt;
  
  
  WN* wn = (WN*)op.hval();
  OPERATOR opr = WN_operator(wn); 

switch (opr) {
  // Unary expression operations.
  case OPR_NEG:
      opt = OA::Linearity::OPR_LINEAR;
      break;
      
  // Binary expression operations.
  case OPR_ADD:
  case OPR_SUB:
      opt = OA::Linearity::OPR_ADDSUB;
      break;
  case OPR_MPY:
  case OPR_DIV:
      opt = OA::Linearity::OPR_MPYDIV;
      break;
  case OPR_CALL:
//    os << createCharStarForST(WN_st (wn)) << "(";
    opt = OA::Linearity::OPR_NONLINEAR;
    break;
  case OPR_INTRINSIC_CALL:
  case OPR_INTRINSIC_OP:
//    os << INTRINSIC_name ((INTRINSIC) WN_intrinsic (wn)) << "(";
    opt = OA::Linearity::OPR_NONLINEAR;
    break;
  default:
    opt = OA::Linearity::OPR_NONLINEAR;
    break;
  }

  
  return opt;
  //return (int)opr;
}

//---------------------------------------------------------------------------
// InterSideEffectIRInterface.hpp
//---------------------------------------------------------------------------

OA::OA_ptr<OA::SideEffect::SideEffectStandard> 
Open64IRInterface::getSideEffect(OA::ProcHandle callerProc, 
                                 OA::SymHandle calleeSym)
{
  setCurrentProcToProcContext(calleeSym);
  // create a new (waiting to be filled) SideEffectStandard as member
  OA::OA_ptr<OA::SideEffect::SideEffectStandard> retSideEffect;
  retSideEffect= new OA::SideEffect::SideEffectStandard();
 

  currentProc(callerProc);
  
  // see if symbol matches one of the procedures we want to have
  // optimistic results for
  std::set<std::string> noSideEffectProcs;
  sSymToVarStringMap[OA::SymHandle(0)] = "<no-symbol>";
  noSideEffectProcs.insert("<no-symbol>");
  noSideEffectProcs.insert("_END");
  noSideEffectProcs.insert("ABS");
  noSideEffectProcs.insert("LOG");
  noSideEffectProcs.insert("FLOAT");
  noSideEffectProcs.insert("SQRT");
  // hacks for NPB
  noSideEffectProcs.insert("randlc_");
  noSideEffectProcs.insert("timer_clear_");
  noSideEffectProcs.insert("timer_stop_");
  noSideEffectProcs.insert("timer_start_");
  noSideEffectProcs.insert("timer_read_");
  noSideEffectProcs.insert("print_results_");
  noSideEffectProcs.insert("print_timers_");
  noSideEffectProcs.insert("ctimer_");
  noSideEffectProcs.insert("integr_");
  // Other Intrinsics
  noSideEffectProcs.insert("DINT");
  noSideEffectProcs.insert("DSQRT");
  noSideEffectProcs.insert("DBLE");
  noSideEffectProcs.insert("DABS");
  noSideEffectProcs.insert("DFLOAT");
  noSideEffectProcs.insert("EXP");
  noSideEffectProcs.insert("DEXP");
  noSideEffectProcs.insert("vranlc_");
  noSideEffectProcs.insert("COS");
  noSideEffectProcs.insert("SIN");
  noSideEffectProcs.insert("DIMAG");
  noSideEffectProcs.insert("DCONJG");
  noSideEffectProcs.insert("DLOG");
  noSideEffectProcs.insert("REAL");
    
  if (noSideEffectProcs.find(sSymToVarStringMap[calleeSym])
      != noSideEffectProcs.end() )
  {
    // empty out all the sets
    retSideEffect->emptyLMOD();
    retSideEffect->emptyMOD();
    retSideEffect->emptyLDEF();
    retSideEffect->emptyDEF();
    retSideEffect->emptyLUSE();
    retSideEffect->emptyUSE();
    retSideEffect->emptyLREF();
    retSideEffect->emptyREF();

  }
  
  return retSideEffect;

}

//---------------------------------------------------------------------------
// ExprTreeIRShortCircuit
//---------------------------------------------------------------------------

OA::OA_ptr<OA::ExprTree> 
Open64IRInterface::getExprTree(OA::ExprHandle h) 
{ 
  setCurrentProcToProcContext(h);

  WN* wn = (WN*)h.hval();
  return createExprTree(wn);
}

bool Open64IRInterface::isParam(OA::SymHandle anOASymbolHandle){ 
  ST* anOpen64Symbol_p = (ST*)anOASymbolHandle.hval();
  return (((ST_sclass(anOpen64Symbol_p)==SCLASS_FORMAL) 
           || 
           (ST_sclass(anOpen64Symbol_p)==SCLASS_FORMAL_REF))
          &&
          (ST_level(anOpen64Symbol_p) == CURRENT_SYMTAB)); 
  // BK:  added the &&(CURRENT_SYMTAB) to distinguish between parameters
  //      in a global/enclosing subroutine versus a local parameters
  //      now:  answers false for the former, and still true for the latter
} 

//---------------------------------------------------------------------------
// LocationIRShortCircuit
//---------------------------------------------------------------------------

OA::OA_ptr<OA::Location> 
Open64IRInterface::getLocation(OA::ProcHandle p, OA::SymHandle s)
{
    OA::OA_ptr<OA::NamedLoc> retval;
    if (s==OA::SymHandle(0)) {
        retval = NULL;
        return retval;
    }

    if (debug) {
      std::cout << std::endl << "mIR->toString(p) = " << toString(p) 
              << ", <hval=" << p.hval() << std::endl;
      std::cout << "mIR->toString(s) = " << toString(s) 
              << ", <hval=" << s.hval() << std::endl;
    }

    // save off old context 
    OA::ProcHandle currContext = getCurrentProcContext();

    // change to context for the sym so can determine if it is global
    setCurrentProcToProcContext(s);

    // if this symbol is global then it is a representative for all the 
    // symbols in each different procedure for the same global
    // need to get symbol specific to this procedure
    // In the new Open64 revision, we get Same SymHandle for
    // the module variables used in different procedures Therefore
    // it is not needed to give special treatment to the module
    // variables.
    // we get different SymHandles for the Common Block variables
    // used in different procedures.
    ST* st = (ST*)s.hval();
    if (Stab_Is_Based_At_Common_Block(st)) {
        fully_qualified_name fqn = sSymToFQNMap[s];
        s = sFQNToProcToLocalSymMap[fqn][p];
        // need context for this procedure now
        setCurrentProcContext(p);
    }

    
    bool isLocal, isUnique;
    bool hasNestedProc = (PU_Info_child(Current_PU_Info) != NULL);

    // check that SymHandle isn't null
    if (s!=OA::SymHandle(0)) {
      // make sure the symbol is visible within procedure
      if (sProcToSymRefSetMap[p].find(s)==sProcToSymRefSetMap[p].end()) {
        retval = NULL;
      } else {

        isLocal = (!hasNestedProc) && (ST_level((ST*)s.hval()) == CURRENT_SYMTAB);
        isUnique = isLocal;

        retval = new OA::NamedLoc(s, isLocal);

        // if it is a common block variable then need to make sure the same var
        // name within the same common block indicates the other symbol handles
        // for that same var name and common block that fully overlap
        if (Stab_Is_Based_At_Common_Block(st))
        {
          fully_qualified_name fqn = sSymToFQNMap[s];
          if (sGlobalVarMap[fqn].empty()) {
            assert(0); // this symbol should have been put in there
                       // around line 3233
          }

          retval = new OA::NamedLoc(s, isLocal);

          // indicate that all of the symbols in sGlobalVarMap with the same
          // fully qualified name overlap with this location
          std::set<OA::SymHandle>::iterator setIter;
          for (setIter = sGlobalVarMap[fqn].begin();
               setIter!=sGlobalVarMap[fqn].end(); setIter++)
          {
              OA::SymHandle overlapSym = *setIter;
              //std::cout << " sym (hval=" <<  overlapSym.hval()
              //          << ") = " << toString(*setIter) << std::endl;
              retval->addFullOverlap(*setIter);
          }
        }
        
      }

    } else {
      retval = NULL;
    }
    // reset the context
    setCurrentProcContext(currContext);

    return retval;
}


Open64IRInterface::FindUseMREVisitor::FindUseMREVisitor() {
     retList = new std::list<OA::OA_ptr<OA::MemRefExpr> >;
     do_not_add_mre = false;
}

Open64IRInterface::FindUseMREVisitor::~FindUseMREVisitor() { }

OA::OA_ptr<std::list<OA::OA_ptr<OA::MemRefExpr> > >
Open64IRInterface::FindUseMREVisitor::getAllUseMREs() {
     return retList;
}

void Open64IRInterface::FindUseMREVisitor::visitNamedRef(OA::NamedRef& ref) {
     if ( (!do_not_add_mre) && (ref.getMRType() == OA::MemRefExpr::USE)) {
          OA::OA_ptr<OA::MemRefExpr> mre;
          mre = ref.clone();
          retList->push_back(mre);
     }
}
 
void Open64IRInterface::FindUseMREVisitor::visitUnnamedRef(OA::UnnamedRef& ref) {
     if ( (!do_not_add_mre) && (ref.getMRType() == OA::MemRefExpr::USE)) {
          OA::OA_ptr<OA::MemRefExpr> mre;
          mre = ref.clone();
          retList->push_back(mre);
     }
}
 
void Open64IRInterface::FindUseMREVisitor::visitUnknownRef(OA::UnknownRef& ref) {
     if ( (!do_not_add_mre) && (ref.getMRType() == OA::MemRefExpr::USE)) {
          OA::OA_ptr<OA::MemRefExpr> mre;
          mre = ref.clone();
          retList->push_back(mre);
     }
}


void Open64IRInterface::FindUseMREVisitor::visitDeref(OA::Deref& ref) {
     OA::OA_ptr<OA::MemRefExpr> mre;
     mre = ref.clone();
     if ( (!do_not_add_mre) && (ref.getMRType() == OA::MemRefExpr::USE)) {
          retList->push_back(mre);
     }
     do_not_add_mre = false;
     mre = ref.getMemRefExpr();
     if(!mre.ptrEqual(0)) {
         mre->acceptVisitor(*this);
     }
}


void Open64IRInterface::FindUseMREVisitor::visitAddressOf(OA::AddressOf& ref) {
     do_not_add_mre = true;
     OA::OA_ptr<OA::MemRefExpr> mre;
     mre = ref.getMemRefExpr();
     if (!mre.ptrEqual(0)) {
         mre->acceptVisitor(*this);
     }
}

void Open64IRInterface::FindUseMREVisitor::visitSubSetRef(OA::SubSetRef& ref) {
     OA::OA_ptr<OA::MemRefExpr> mre;
     mre = ref.clone();
     if ( !(do_not_add_mre) && (ref.getMRType() == OA::MemRefExpr::USE)) {
          retList->push_back(mre);
          do_not_add_mre = true;
     }

     if ( !(do_not_add_mre) && (ref.getMRType() == OA::MemRefExpr::DEF)) {
          do_not_add_mre = true;
     }

     mre = ref.getMemRefExpr();
     if(!mre.ptrEqual(0)) {
         mre->acceptVisitor(*this);
     }
}


OA::OA_ptr<OA::MemRefExprIterator>
Open64IRInterface::getUseMREs(OA::StmtHandle stmt)
{
   OA::OA_ptr<std::list<OA::OA_ptr<OA::MemRefExpr> > > retList;
   retList = new std::list<OA::OA_ptr<OA::MemRefExpr> >;

   OA::OA_ptr<OA::MemRefHandleIterator> mIter = getMemRefIterator(stmt);

   for ( ; mIter->isValid(); (*mIter)++ ) {
       OA::MemRefHandle memref = mIter->current();

       set<OA::OA_ptr<OA::MemRefExpr> >::iterator mreIter;
       for (mreIter = sMemref2mreSetMap[memref].begin();
            mreIter != sMemref2mreSetMap[memref].end(); mreIter++ )
            {
              OA::OA_ptr<OA::MemRefExpr> mre;
              mre = *mreIter;

              FindUseMREVisitor visitor;
              // visit the mre in the callee
              mre->acceptVisitor(visitor);

              OA::OA_ptr<std::list<OA::OA_ptr<OA::MemRefExpr> > > tmpList;
              tmpList = visitor.getAllUseMREs();

              std::list<OA::OA_ptr<OA::MemRefExpr> >::iterator mreIter;

              for(mreIter = tmpList->begin(); mreIter != tmpList->end(); ++mreIter) {
                  retList->push_back(*mreIter);
              }
       }
   }

   OA::OA_ptr<Open64MemRefExprIterator> retval;
   retval = new Open64MemRefExprIterator(retList);
   return retval;
}


OA::OA_ptr<OA::MemRefExprIterator>
Open64IRInterface::getDefMREs(OA::StmtHandle stmt)
{
    OA::OA_ptr<std::list<OA::OA_ptr<OA::MemRefExpr> > > retList;
    retList = new std::list<OA::OA_ptr<OA::MemRefExpr> >;

    OA::OA_ptr<OA::MemRefHandleIterator> mIter = getMemRefIterator(stmt);
    for ( ; mIter->isValid(); (*mIter)++ ) {
          OA::MemRefHandle memref = mIter->current();

          // loop over memory reference expressions for this memref handle
          set<OA::OA_ptr<OA::MemRefExpr> >::iterator mreIter;
          for (mreIter = sMemref2mreSetMap[memref].begin();
               mreIter != sMemref2mreSetMap[memref].end(); mreIter++ )
          {
               OA::OA_ptr<OA::MemRefExpr> mre = *mreIter;


               if(mre->isaRefOp()) {
                  OA::OA_ptr<OA::RefOp> refop = mre.convert<OA::RefOp>();
                  if(refop->isaAddressOf()) {
                     continue;
                  }
               }

               if (mre->isDef()) {
                   retList->push_back(mre);
                   break;
               }
          }
    }
    OA::OA_ptr<Open64MemRefExprIterator> retval;
    retval = new Open64MemRefExprIterator(retList);
    return retval;
}


OA::OA_ptr<OA::MemRefExprIterator>
Open64IRInterface::getDiffUseMREs(OA::StmtHandle stmt)
{
   OA::OA_ptr<std::list<OA::OA_ptr<OA::MemRefExpr> > > retList;
   retList = new std::list<OA::OA_ptr<OA::MemRefExpr> >;

   OA::OA_ptr<OA::MemRefHandleIterator> msetIter;
   msetIter = getAllMemRefs(stmt);
   for ( ; msetIter->isValid(); (*msetIter)++ ) {
        OA::MemRefHandle memref = msetIter->current();

        if(mStmtToIndexExprs[stmt].find(memref) != 
           mStmtToIndexExprs[stmt].end()) {
           continue;
        }

        OA::OA_ptr<OA::MemRefExprIterator> mreIter;
        mreIter = getMemRefExprIterator(memref); 
        for ( ; mreIter->isValid(); (*mreIter)++ )
        {
             OA::OA_ptr<OA::MemRefExpr> mre;
             mre = mreIter->current();

             if(mre->isaRefOp()) {
                OA::OA_ptr<OA::RefOp> refop = mre.convert<OA::RefOp>();
                if(refop->isaAddressOf()) {
                   continue;
                }
             }

             if (mre->isUse()) {
                 retList->push_back(mre);
                 break;
             }
        }
   }

   OA::OA_ptr<Open64MemRefExprIterator> retval;
   retval = new Open64MemRefExprIterator(retList);
   return retval;
}


OA::OA_ptr<OA::MemRefExprIterator> 
Open64IRInterface::getMemRefExprIterator(OA::MemRefHandle memref)
{
    // will assert if haven't seen MemRefHandle yet
    setCurrentProcToProcContext(memref);

    OA::OA_ptr<std::list<OA::OA_ptr<OA::MemRefExpr> > > retList;
    retList = new std::list<OA::OA_ptr<OA::MemRefExpr> >;

    // iterate over set of MemRefExpr's associated with
    // the given MemRefHandle and put them in our list
    set<OA::OA_ptr<OA::MemRefExpr> >::iterator mreIter;
    

    for (mreIter = sMemref2mreSetMap[memref].begin();
         mreIter != sMemref2mreSetMap[memref].end(); mreIter++ ) 
    {
        retList->push_back(*mreIter);
    }
    
    OA::OA_ptr<Open64MemRefExprIterator> retval;
    retval = new Open64MemRefExprIterator(retList);
    return retval;
}

//-------------------------------------------------------------------------
// ICFGIRInterface
//-------------------------------------------------------------------------

OA::ProcHandle Open64IRInterface::getProcHandle(OA::SymHandle sym)
{
    return Open64IRInterface::sCallSymToProc[sym];
}
  
//---------------------------------------------------------------------------
// XAIFIRInterface
//---------------------------------------------------------------------------

//---------------------------------------------------------------------------
// Context state
//---------------------------------------------------------------------------

void
Open64IRInterface::initContextState(PU_Info* pu_forest)
{
  // if context hasn't already been set for this program then call
  // helper routine that sets up context
  if (Open64IRInterface::sContextInit==false) { 
    Open64IRProcIterator procIt(pu_forest);
    Open64IRInterface::initProcContext(pu_forest, procIt);
    Open64IRInterface::initCallSymToProcMap(procIt);
    Open64IRInterface::initProcToSymRefSetMap(procIt);
  }
}


//***************************************************************************
// Helpers
//***************************************************************************

// NOTE: Could be relocated to a more general library

// This function will Call itself recursively until it finds
// MemRefHandle mapped to sMemref2mreSetMap.
// For the case where ParamBinding returns &0:S2:0:anon_ptr
// and we are looking for MemRefHandle = S2:0:anon_ptr mapped
// to sMemref2mreSetMap. Please notice corresponding changes in
// createExprTree in the switch option : OPERATOR_is_load(opr).




OA::MemRefHandle Open64IRInterface::findTopMemRefHandle(WN *wn)
{
  OA::MemRefHandle h = OA::MemRefHandle(0);

  if (wn==0 ||  (WN_operator(wn) == OPR_CALL) ) {
    return OA::MemRefHandle(0);
  }
  h = (OA::irhandle_t)wn;

  if(h == OA::MemRefHandle(0)) {
     return OA::MemRefHandle(0);
  }

  if(sMemref2mreSetMap.find(h) == sMemref2mreSetMap.end()) {

      if((WN_operator(wn) == OPR_ISTORE) ||   
         (WN_operator(wn) == OPR_PSTORE) ||   
         (WN_operator(wn) == OPR_MSTORE))
      {
         wn  =  WN_kid1(wn);
      } else if(WN_operator(wn) == OPR_INTRINSIC_CALL &&
            strcmp(IntrinsicInfo::intrinsicBaseName(WN_intrinsic(wn)), "CONCATEXPR")==0) {

            return OA::MemRefHandle(0);
       } else if ( (WN_operator(wn) == OPR_ILOAD) ||
              (WN_operator(wn) == OPR_LDID)  ||
              (WN_operator(wn) == OPR_STID)  ||
              (WN_operator(wn) == OPR_PSTID) ||
              (WN_operator(wn) == OPR_ARRAY) ||
              (WN_operator(wn) == OPR_ARRAYEXP) ||
              (WN_operator(wn) == OPR_LDA) ||
              (WN_operator(wn) == OPR_INTRINSIC_CALL) ||
              (WN_operator(wn) == OPR_ISTORE) ||
              (WN_operator(wn) == OPR_ARRSECTION) ||
              (WN_operator(wn) == OPR_PARM) ||
              (WN_operator(wn) == OPR_STRCTFLD) ||
              (WN_operator(wn) == OPR_MLOAD)
            )
      {
         wn =  WN_kid0(wn);
      } else {
         // INTCONST, Parameter as expression
        return OA::MemRefHandle(0);
      }

      h=findTopMemRefHandle(wn);
  } else {
      return h;
  }

  return h;
}

// createExprTree: Given 'wn' return a possibly empty expression tree.
OA::OA_ptr<OA::ExprTree>
Open64IRInterface::createExprTree(WN* wn)
{
  OA::OA_ptr<OA::ExprTree> exprTree;
  exprTree = new OA::ExprTree;
  createExprTree(exprTree, wn);
  return exprTree;
}



bool Open64IRInterface::ExprTree_hack_for_MPI(OA::MemRefHandle h, OA::OA_ptr<OA::ExprTree> tree) 
{ 
    bool retval=false; 
    OA::OA_ptr<OA::ExprTree::Node> root; 
    root = NULL; 
    string strMemRef; 
    WN* wn = (WN*)h.hval(); 
    std::ostringstream oss; 
    DumpWNMemRef(wn, oss); 
    strMemRef = oss.str(); 
    string strMWC = "MPI_COMM_WORLD"; 
    if (strMemRef.compare(0,strMWC.length(),strMWC) == 0) { 
      INT64 i64value = (INT64)91; 
      WN* wnic = WN_CreateIntconst(OPC_I4INTCONST,i64value); 
      OA::ConstValHandle cvh((OA::irhandle_t)wnic); 
      root = new OA::ExprTree::ConstValNode(cvh); 
      tree->addNode(root); 
      retval=true; 
    } 
    return retval; 
} 
 

// createExprTree: Given a tree container 'tree' and 'wn', builds tree 
// nodes for wn, adds them to 'tree' and returns the root node of the 
// newly created tree nodes 
 
OA::OA_ptr<OA::ExprTree::Node> 
Open64IRInterface::createExprTree(OA::OA_ptr<OA::ExprTree> tree, WN* wn) 
{ 
    OA::OA_ptr<OA::ExprTree::Node> root; 
    root = NULL; 
 
    if (!wn) { 
        std::cout << "NULL" << std::endl;
        return root; 
    } 
 
    OPERATOR opr = WN_operator(wn); 
    OA::MemRefHandle h((OA::irhandle_t)wn);
 
    if (IntrinsicInfo::isIntrinsic(wn)) {
 
          OA::OpHandle h((OA::irhandle_t)wn); 
          root = new OA::ExprTree::OpNode(h); 
          tree->addNode(root); 

          for (INT kidno=0; kidno<=WN_kid_count(wn)-1; kidno++) { 
 
               WN* kid_wn  = WN_kid(wn,kidno); 

               OA::OA_ptr<OA::ExprTree::Node> child = createExprTree(tree, kid_wn); 
               if (! child.ptrEqual(NULL)) { 
                   tree->connect(root, child); 
               } 
          } 
          
    } else if(OPERATOR_is_call(opr)) { 
 
          OA::CallHandle h((OA::irhandle_t)wn); 
          root = new OA::ExprTree::CallNode(h); 
          tree->addNode(root); 
 
    }else if (opr == OPR_CONST || opr == OPR_INTCONST) { 
 
          OA::ConstValHandle h((OA::irhandle_t)wn); 
          root = new OA::ExprTree::ConstValNode(h); 
          tree->addNode(root); 
 
    } else if (OPERATOR_has_sym(opr) && ST_class(WN_st(wn)) == CLASS_CONST) { 

          OA::ConstValHandle h((OA::irhandle_t)wn); 
          root = new OA::ExprTree::ConstValNode(h); 
          tree->addNode(root); 
 
    } else if(sMemref2mreSetMap.find(h) != sMemref2mreSetMap.end()) {


          //Barbara's hack
          if(!ExprTree_hack_for_MPI(h,tree)) {

              root = new OA::ExprTree::MemRefNode(h);
              tree->addNode(root);

          }

    } else if (opr == OPR_ARRAYEXP) {
        
          return createExprTree(tree, WN_kid0(wn));
        
    } else if (opr == OPR_SRCTRIPLET){
          OA::ConstValHandle h((OA::irhandle_t)wn);
          root = new OA::ExprTree::ConstValNode(h);
          tree->addNode(root);
          
    } else { 

          if(WN_kid_count(wn) > 1) { assert(0); }

          return createExprTree(tree, WN_kid0(wn)); 
 
    } 

    return root; 
} 





#if 0 // eraxxon: save this for possible later use
// createExprTree: Given a tree container 'tree' and 'wn', builds tree
// nodes for wn, adds them to 'tree' and returns the root node of the
// newly created tree nodes
OA::OA_ptr<OA::ExprTree::Node>
Open64IRInterface::createExprTree(OA::OA_ptr<OA::ExprTree::ExprTree> tree, WN* wn)
{
  using namespace OA::ExprTree;

  OA::OA_ptr<ExprTree::Node> root; root = NULL;
  if (!wn) { return root; }
  
  // 1. Sanity checking.  (In the context of expressions, OPR_STID
  // represents the LHS of the assignment.)
  OPERATOR opr = WN_operator(wn);
  if ( !(opr == OPR_STID || OPERATOR_is_call(opr) 
         || OPERATOR_is_expression(opr)) ) {
    return root;
  }
  
  // 1a. FIXME: For now, eliminate PARM nodes from tree.
  if (opr == OPR_PARM) {
    if (WN_kid_count(wn) == 0) {
      return root;
    } 
    else {
      return createExprTree(tree, WN_kid0(wn));
    }
  }
  
  // 2. Create a parent tree node for the curent WN.  Note that order
  // is important here.  *Note* OPR_ICALL and OPR_VFCALL will be
  // classified as calls instead of mem-refs.
  if (OPERATOR_is_call(opr)) {
    OA::ExprHandle h((OA::irhandle_t)wn);
    root = new ExprTree::CallNode(h);
  }
  else if (opr == OPR_CONST || opr == OPR_INTCONST) {
    OA::ConstValHandle h((OA::irhandle_t)wn);
    root = new ExprTree::ConstValNode(h);
  }
  else if (OPERATOR_has_sym(opr) && ST_class(WN_st(wn)) == CLASS_CONST) {
    OA::ConstSymHandle h((OA::irhandle_t)WN_st(wn));
    root = new ExprTree::ConstSymNode(h);
  }
  else if (opr == OPR_STID || OPERATOR_is_load(opr)
           || opr == OPR_ARRAY || opr == OPR_ARRSECTION 
           || opr == OPR_ARRAYEXP) {
    OA::MemRefHandle h((OA::irhandle_t)wn);
    // HACK! ALERT! BK:
    // mfef90 is not distributing the constant values beyond the
    // main procudure to all subroutines.  Until this is fixed in 
    // mfef90, we need to cause all memrefs that refer to the
    // constant named MPI_COMM_WORLD with the constant value 91 (this
    // is the value from the mpif.h file we are using with our 
    // experiment application programs.
    //
    // before HACK, there was just the following line:
    //   root = new ExprTree::MemRefNode(h);
    //
    string strMemRef;
    {
      WN* wn = (WN*)h.hval();
      std::ostringstream oss;
      DumpWNMemRef(wn, oss);
      strMemRef = oss.str();
    }
    string strMWC = "MPI_COMM_WORLD";
    if (strMemRef.compare(0,strMWC.length(),strMWC) == 0) {
      INT64 i64value = (INT64)91;
      WN* wnic = WN_CreateIntconst(OPC_I4INTCONST,i64value);
      OA::ConstValHandle cvh((OA::irhandle_t)wnic);
      root = new ExprTree::ConstValNode(cvh);
    } else {
      root = new ExprTree::MemRefNode(h);
    }
    //
    // end of HACK!

  }
  else /*if ()*/ { 
    // Note: for now we just make everything else an operator
    // is expr, not a const, not a mem-ref (&& not a type conversion)
    OA::OpHandle h((OA::irhandle_t)wn);
    root = new ExprTree::OpNode(h);
  }
  //else {
  //  root = Node();
  //}
  tree->addNode(root);
  
  // 3. Create sub trees for each child and link them to the parent
  // node (we know this will never be OPR_BLOCK)
  if ( !(OPERATOR_is_leaf(opr) || opr == OPR_STID) ) {
    for (INT kidno = 0; kidno < WN_kid_count(wn); kidno++) {
      WN* kid_wn = WN_kid(wn, kidno);
      
      OA::OA_ptr<ExprTree::Node> child = createExprTree(tree, kid_wn);
      tree->connect(root, child);
    }
  }
  
  return root;
}
#endif


// Given a ST of CLASS_CONST, return a ConstValBasicInterface representation.
OA::OA_ptr<OA::ConstValBasicInterface>
Open64IRInterface::getConstValBasicFromST(ST* st)
{
  OA::OA_ptr<OA::ConstValBasicInterface> cvb; cvb = NULL;
  if (!st) { return cvb; }
  
  TCON& tcon = ST_tcon_val(st);
  TYPE_ID mty = TCON_ty(tcon);
  
  //if (MTYPE_is_complex(mty)) { }
  //else if (MTYPE_is_float(mty)) { double x = Targ_To_Host_Float(tcon); }
  if (MTYPE_is_integral(mty)) {
    INT64 val = Targ_To_Host(tcon);
    if (val < INT_MIN || val > INT_MAX) {
      cvb = NULL; // no current representation for this
    } else {
      cvb = new Open64IntegerConstVal((int)val);
    }
  }
  else {
    cvb = NULL; // no current representation for this
  }

  return cvb;
}

bool Open64IRInterface::isPassByReference(WN* opr_parm_wn) 
{
    bool retval;
    assert(opr_parm_wn!=0);

    OA::ExprHandle opr_parm = ((OA::irhandle_t)opr_parm_wn);

    // if this is a call to an undefined function then just return true
    // to be conservatively correct, don't know if the parameter is a
    // reference or not
    OA::ProcHandle callee = getProcHandle( 
                                getSymHandle( sParamToCallMap[opr_parm]));
    if (callee == OA::ProcHandle(0)) {
        return true;
    }

    // get the formal symbol for this actual parameter
    // we stored which call this is associated with mapped
    // to the wn for the opr_parm
    OA::SymHandle formal = getFormalForActual(
                              sProcContext[opr_parm],
                              sParamToCallMap[opr_parm],
                              callee,
                              opr_parm );

    // the symbol table entry for the formal parameter
    setCurrentProcToProcContext(formal);

    // FIXME: this might be overly conservative in C programs
    // because of how isRefParam is implemented
    if (isRefParam(formal)) {
        retval= true;
    } else {
        retval= false;
    }
 
    // set context back to caller
    setCurrentProcToProcContext(opr_parm);
    return retval;
}


const char* Open64IRInterface::createCharStarForST(ST* st)
{
    const char* nm = NULL;

    if (ST_class(st) == CLASS_CONST) {
        TCON& tcon = STC_val(st);
        if (TCON_ty(tcon) == MTYPE_STR) {
            STR_IDX idx = TCON_str_idx(tcon);
        } else {
            nm = Targ_Print(NULL, tcon);
        }
    } else { nm = ST_name(st); }

    if (nm==NULL) {
        nm = "<no-symbol>";
    }

    return nm;
}

//---------------------------------------------------------------------------
// Visualize Whirl expressions in a compact way.
//
// This is strictly for debugging. It does not attempt, for example, to
// properly parenthesize expressions, etc.
//---------------------------------------------------------------------------

void
Open64IRInterface::DumpWN(WN* wn, ostream& os)
{
  if (!wn) { os << "NULL"; return; }

  // Printing scope of WN i.e. Name of the procedure
  // it belongs to
  /*
  PU_Info* origPU = Current_PU_Info;
  if(origPU != NULL) {
     ST_IDX idx = PU_Info_proc_sym(origPU);
     char* procname = ST_name(idx);
     std::cout << std::endl << "ProcName" << procname << std::endl;
  }
  */
  
  OPERATOR opr = WN_operator(wn);
  string op;
  switch (opr) {

  // Leaf operations and memory operations.
  case OPR_LDA:
    // Perhaps strange, but Whirl has the notion of the address of a
    // constant.  The FORTRAN call foo(2) in Whirl is foo(OPR_LDA(2)).
    if (ST_sym_class(WN_st(wn)) == CLASS_CONST) {
      os << Targ_Print(NULL, WN_val(wn));
    } else {
      DumpWNLeaf(wn, os);
    }
    break;
  case OPR_IDNAME:
  case OPR_LDMA:
  case OPR_LDID:
    DumpWNLeaf(wn, os);
    break;
  case OPR_ILOAD:
  case OPR_ILOADX:
    DumpWNMemRefLeaf(wn, os);
    DumpWN(WN_kid0(wn), os);
    break;
    
  case OPR_CONST:
    os << Targ_Print(NULL, WN_val(wn));
    break;
  case OPR_INTCONST:
    os << WN_const_val(wn);
    break;

  case OPR_ISTORE:
  case OPR_ISTOREX:
    DumpWN(WN_kid1(wn), os);
    os << " = ";
    DumpWN(WN_kid0(wn), os);
    break;
  case OPR_STID:
    DumpWNLeaf(wn, os);
    os << " = ";
    DumpWN(WN_kid0(wn), os);
    break;

  // Unary expression operations.
  case OPR_CVT:
  case OPR_CVTL:
  case OPR_TAS:
    os << OPCODE_name(WN_opcode(wn)) << "(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_PARM:
    if (WN_flag(wn) & WN_PARM_BY_REFERENCE)
      os << "&"; 
    DumpWN(WN_kid0(wn), os);
    break;
  case OPR_ABS:
    os << "ABS(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_SQRT:
    os << "SQRT(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_RSQRT:
    os << "RSQRT(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_RECIP:
    os << "RECIP(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_PAREN:
    os << "(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_RND:
    os << "RND(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_TRUNC:
    os << "TRUNC(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_CEIL:
    os << "CEIL(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_FLOOR:
    os << "FLOOR(";
    DumpWN(WN_kid0(wn), os);
    os << ")";
    break;
  case OPR_NEG:
    op = "-";
    goto print_generic_unary;
  case OPR_BNOT:
    op = "~";
    goto print_generic_unary;
  case OPR_LNOT:
    op = "!";
    goto print_generic_unary;
print_generic_unary:
    os << op;
    DumpWN(WN_kid0(wn), os);
    break;

  // Binary expression operations.
  case OPR_ADD:
    op = "+";
    goto print_generic_binary;
  case OPR_SUB:
    op = "-";
    goto print_generic_binary;
  case OPR_MPY:
    op = "*";
    goto print_generic_binary;
  case OPR_DIV:
    op = "/";
    goto print_generic_binary;
  case OPR_MOD:
    os << "MOD(";
    DumpWN(WN_kid0(wn), os);
    os << ",";
    DumpWN(WN_kid1(wn), os);
    os << ")";
    break;
  case OPR_REM:
    op = "%";
    goto print_generic_binary;
  case OPR_EQ:
    op = "==";
    goto print_generic_binary;
  case OPR_NE:
    op = "!=";
    goto print_generic_binary;
  case OPR_GE:
    op = ">=";
    goto print_generic_binary;
  case OPR_LE:
    op = "<=";
    goto print_generic_binary;
  case OPR_GT:
    op = '>';
    goto print_generic_binary;
  case OPR_LT:
    op = '<';
    goto print_generic_binary;
  case OPR_MAX:
    os << "MAX(";
    DumpWN(WN_kid0(wn), os);
    os << ",";
    DumpWN(WN_kid1(wn), os);
    os << ")";
    break;
  case OPR_MIN:
    os << "MIN(";
    DumpWN(WN_kid0(wn), os);
    os << ",";
    DumpWN(WN_kid1(wn), os);
    os << ")";
    break;
  case OPR_SHL:
    op = "<<";
    goto print_generic_binary;
  case OPR_ASHR:
  case OPR_LSHR:
    op = ">>";
    goto print_generic_binary;
  case OPR_LAND:
    op = "&&";
    goto print_generic_binary;
  case OPR_LIOR:
    op = "||";
    goto print_generic_binary;
  case OPR_BAND:
    op = "&";
    goto print_generic_binary;
  case OPR_BIOR:
    op = "|";
    goto print_generic_binary;
  case OPR_BXOR:
    op = "^";
print_generic_binary:
    DumpWN(WN_kid0(wn), os);
    os << op;
    DumpWN(WN_kid1(wn), os);
    break;

  // Ternary operations.
  case OPR_SELECT:
    DumpWN(WN_kid0(wn), os);
    os << " ? "; 
    DumpWN(WN_kid1(wn), os);
    os << " : "; 
    DumpWN(WN_kid2(wn), os);
    break;
  case OPR_MADD:
    os << "(";
    DumpWN(WN_kid0(wn), os);
    os << "*";
    DumpWN(WN_kid1(wn), os);
    os << ")+";
    DumpWN(WN_kid2(wn), os);
    break;
  case OPR_MSUB:
    os << "(";
    DumpWN(WN_kid0(wn), os);
    os << "*";
    DumpWN(WN_kid1(wn), os);
    os << ")-";
    DumpWN(WN_kid2(wn), os);
    break;
  case OPR_NMADD:
    os << "-((";
    DumpWN(WN_kid0(wn), os);
    os << "*";
    DumpWN(WN_kid1(wn), os);
    os << ")+";
    DumpWN(WN_kid2(wn), os);
    os << ")";
    break;
  case OPR_NMSUB:
    os << "-((";
    DumpWN(WN_kid0(wn), os);
    os << "*";
    DumpWN(WN_kid1(wn), os);
    os << ")-";
    DumpWN(WN_kid2(wn), os);
    os << ")";
    break;

  // N-ary operations.
  case OPR_ARRAY: {
    int ndims = WN_kid_count(wn) >> 1;
    DumpWN(WN_kid0(wn), os);
    os << "(";
    for (int i = 0; i < ndims; i++) {
      DumpWN(WN_kid(wn, i+ndims+1), os);
      if (i < ndims-1) 
        os << ",";
    }
    os << ")";
    break;
  }
  case OPR_TRIPLET: // Output as LB:UB:STRIDE
    DumpWN(WN_kid0(wn), os);
    os << ":";
    DumpWN(WN_kid2(wn), os);
    os << ":";
    DumpWN(WN_kid1(wn), os);
    break; 
  case OPR_IMPLICIT_BND: // Output as nothing
    break; 
  case OPR_SRCTRIPLET: // Output as LB:UB:STRIDE
    DumpWN(WN_kid0(wn), os);
    os << ":";
    DumpWN(