Goose  Artifact [de51af2458]

Artifact de51af2458691ee4a223cdc9a01d752b6083c3353c9c0c6f8e687f2624006153:

• File bs/cir/not.h — part of check-in [b4d5bdf6ec] at 2022-06-18 18:51:47 on branch cir-stack-language —
  • Added a location id to all CIR instructions (needed with the stack based approach to locate intermediate results)
  • Fixed a bunch of verifier errors
  • Re-enabled most verifier tests, other than some requiring to re-implement a few more bits
  (user: zlodo size: 655)

#ifndef GOOSE_CIR_NOT_H
#define GOOSE_CIR_NOT_H

namespace goose::cir
{
    class Not : public BaseInstr
    {
        public:
            Not( LocationId loc ) :
                BaseInstr( loc )
            {}

            bool canBeExecuted() const { return true; }
            bool canBeEagerlyEvaluated() const { return true; }
            bool haveSideEffects() const { return false; }

            bool operator<( const Not& rhs ) const
            {
                return false;
            }

            friend ostream& operator<<( ostream& out, const Not& ins )
            {
                return out << "NOT";
            }
    };
}

#endif