Goose  Diff

Differences From Artifact [33b35a23c8]:

• File bs/verify/verify.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: 616) [more...]

To Artifact [8d388ccc6a]:

• File bs/verify/verify.h — part of check-in [5b069c9677] at 2023-11-30 18:29:55 on branch trunk — Handful of fixes and improvements from an abandoned refactor of inline funcs, will go for a different solution (user: zlodo size: 705)

9
10
11
12
13
14
15








16
17
18
19
20
21
22
23

{
    using namespace eir;
    using namespace cir;

    class Builder;

    extern z3::context& GetZ3Context();








    extern bool VerifyInstrSeq( const sema::Context& c, const InstrSeq& is );
}

#include "helpers.h"
#include "verifyviz.h"

#include "type.h"
#include "value.h"

>
>
>
>
>
>
>
>
|

9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

{
    using namespace eir;
    using namespace cir;

    class Builder;

    extern z3::context& GetZ3Context();

    enum class Result
    {
        Pass,
        Fails,
        Unverifiable
    };

    extern Result VerifyInstrSeq( const sema::Context& c, const InstrSeq& is );
}

#include "helpers.h"
#include "verifyviz.h"

#include "type.h"
#include "value.h"