/* file "x86/contexts.h" */

/*
    Copyright (c) 2000 The President and Fellows of Harvard College

    All rights reserved.

    This software is provided under the terms described in
    the "machine/copyright.h" include file.
*/

#ifndef X86_CONTEXT_H
#define X86_CONTEXT_H

#include <machine/copyright.h>

#ifndef SUPPRESS_PRAGMA_INTERFACE
#pragma interface "x86/contexts.h"
#endif

#include <suifvm/suifvm.h>

class SuifVmContextX86 : public SuifVmContext{
  public:
    CodeGen* target_code_gen() const;
};

class MachineContextX86 : public MachineContext {
  public:
    MachineContextX86() { }
    virtual ~MachineContextX86() { }
    
    TypeId type_addr() const;
    Printer* target_printer() const;
    CPrinter* target_c_printer() const;
    CodeFin* target_code_fin() const;
    
    bool is_ldc(Instr*) const;
    bool is_move(Instr*) const;
    bool is_cmove(Instr*) const;
    bool is_line(Instr*) const;
    bool is_ubr(Instr*) const;
    bool is_cbr(Instr*) const;
    bool is_call(Instr*) const;
    bool is_return(Instr*) const;
    bool is_binary_exp(Instr*) const;
    bool is_unary_exp(Instr*) const;
    bool is_commutative(Instr*) const;
    bool is_two_opnd(Instr*) const;
    bool reads_memory(Instr *instr) const;
    bool writes_memory(Instr *instr) const;
    bool is_builtin(Instr *instr) const;
    
    int opcode_line() const;
    int opcode_ubr() const;
    int opcode_move(TypeId) const;
    int opcode_load(TypeId) const;
    int opcode_store(TypeId) const;
    int opcode_cbr_inverse(int cbr_opcode) const;
    
    bool target_implements(int opcode) const;
    char* opcode_name(int opcode) const;

    const Vector<const char*>& reg_names() const;
    const Vector<int>& reg_widths() const;
    const Vector<RegCells>& reg_models() const;
    const NatSet* reg_allocatables(bool maximals = false) const;
    const NatSet* reg_caller_saves(bool maximals = false) const;
    const NatSet* reg_callee_saves(bool maximals = false) const;
    int reg_maximal(int reg) const;
    int reg_freedom(RegClassMask) const;
    void reg_classify(Instr*, OpndCatalog*, RegClassMap*) const;
    int reg_choice(const NatSet *pool, RegClassMask, const RegCells &excluded,
		   int width, bool rotate) const;
};

class X86Context : public virtual Context,
		   public virtual MachineContextX86,
		   public virtual SuifVmContextX86
{ };

#endif /* X86_CONTEXT_H */