Goose  Diff

Differences From Artifact [a38ba0f568]:

• File bs/cir/instruction.cpp — 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: 2487)

To Artifact [df1b6e84ae]:

• File bs/cir/instruction.cpp — part of check-in [a0a57b5e22] at 2022-06-22 20:06:00 on branch cir-stack-language — Re-implemented "addr modified by loop" stuff (except ghost func related stuff) and re-enabled loop verification tests (user: zlodo size: 2485) [more...]

45
46
47
48
49
50
51
52

53
54
55
56
57
58

59
60
61
62
63
64
65

45
46
47
48
49
50
51

52
53
54
55
56
57

58
59
60
61
62
63
64
65

-
+





-
+

                return out << e;
        }, inst.m_content );
    }

    ostream& operator<<( ostream& out, const Select& ins )
    {
        out << "SELECT(" << ins.m_memberIndex;
         return out << ')';
        return out << ')';
    }

    ostream& operator<<( ostream& out, const Load& ins )
    {
        out << "LOAD(";
         return out << ins.m_type << ')';
        return out << ins.m_type << ')';
    }

    ostream& operator<<( ostream& out, const Store& ins )
    {
        return out << "STORE";
    }