pa_atomic.h

 
#ifndef BACKENDS_TOFINO_BF_P4C_PHV_PRAGMA_PA_ATOMIC_H_
#define BACKENDS_TOFINO_BF_P4C_PHV_PRAGMA_PA_ATOMIC_H_
 
#include "bf-p4c/phv/phv_fields.h"
#include "ir/ir.h"
 
using namespace P4;
 
class PragmaAtomic : public Inspector {
    PhvInfo &phv_i;
 
    ordered_set<const PHV::Field *> fields;
 
    profile_t init_apply(const IR::Node *root) override {
        profile_t rv = Inspector::init_apply(root);
        fields.clear();
        return rv;
    }
 
    bool add_constraint(const IR::BFN::Pipe *pipe, const IR::Expression *expr, cstring field_name);
 
    bool preorder(const IR::BFN::Pipe *pipe) override;
 
 public:
    explicit PragmaAtomic(PhvInfo &phv) : phv_i(phv) {}
 
    const ordered_set<const PHV::Field *> getFields() const { return fields; }
 
    static const char *name;
    static const char *description;
    static const char *help;
};
 
std::ostream &operator<<(std::ostream &out, const PragmaAtomic &pa_a);
 
#endif /* BACKENDS_TOFINO_BF_P4C_PHV_PRAGMA_PA_ATOMIC_H_ */