For simple programs, this gets us enough typing to lower to real backends.

* Adds a new to_boolean op to evaluate a value as a truthy i1
* Uses cascading scf.if ops to pro...

* Makes the OpBuilder an input to the DialectHelper.
* The containment hierarchy can be simplifi...

* Currently only supports non-short-circuit comparisons.

* Adds a test for simple constants and fixes issues.

* Extends the bindings to support locations.
* Various other things necessary to extract a funct...

* Got side-tracked hunting down a vague-linkage RTTI issue due to not anchoring key methods in P...

This test seems to be passing, after a clean rebuild of everything
(including MLIR).

The secret here is LLVM_ENABLE_WARNINGS=ON.

I also fixed a couple warnings, which gets us to be...

This makes it more clear that they are grouped together. A directory
seemed too heavyweight.

The default is to only do the bare minimum needed for correctness, since
that stresses the layer...

We were previously relying on a later canonicalization pass to clean
them up, but it is a cleane...

This script (make sure to `source` it!) defines a number of handy
aliases which make compiler de...

It runs npcomp-run-mlir as well now, so having `-opt` in the name is
confusing.

The code isn't super clean, but is a useful incremental step
establishing most of the boilerplat...

This adds:
- mlir::NPCOMP::registerAllDialects()
- mlir::NPCOMP::registerAllPasses()

Replace our local `tcp.shape_from_extents` op with the upstream
`shape.from_extents` op.

It is unused now, and will be superceded by a proper runtime dialect.

With this commit, we finish conversion to LLVM dialect, and should be
ready for subsequent commi...

This more clearly captures its semantics as a structural "observer" of
code that we currently ma...

The legality condition was reversed. It's unclear to me why this didn't
cause "failed to legalize".

- tcp.get_extent will be liminated while lowering shapes
- std.alloc is supported by the upstrea...

Thanks to Stella for probing me on this.

Specifically, we use unranked memrefs which get passed as a fixed-size
set of arguments/returns....

The idea was half-baked and after some deep thought felt like a solution
looking for a problem. ...

This brings this code in line with the LLVM style guide and avoids
potential ODR issues.

- Make rank1.mlir be the new "basic.mlir", as it is really the simplest
case.
- Move basic.mli...

This uses an approach inspired by what is done in IREE. See comments on
LowerRankedShapes.cpp fo...

This also adds a small pass to clean up the `dim` ops that linalg
introduces. For now, it only h...

This makes the IR a bit easier to scan.

This makes the IR more presentable before going to the next phase of
lowering (ops on memref/buf...

There's a lot of details to flesh out here, but the basic approach seems
promising (see comments...

This makes sure we stay resonably canonically using the shape machinery.
(In fact, DimOp should ...

This allows VSCode (and presumably other IDE's) to pick up a
`tools/cmake_configure.sh`'ed build...

Very much WIP.

This is enough to get tcf.add down to approximately the "linalg.generic
on buffe...

We should look into having a `ninja check-npcomp` that runs everything
with lit so that we get d...

We want more sophisticated capture later, but this allows basics to function.

This makes things just work for debugging in VSCode.

This allows binary and source packages to exist at different physical paths.

* Also adds Basicpy.py to tests.

* This suppresses a warning that arises from using "-m" to launch a module contained in a packag...

This will aid in managing hierarchies of custom dialect helpers.

* Involved native code for the types and slot_object_get ops.

* Fixes some api-change breakages.
* Deletes edsc module now that the IR bindings are working (a...

* This is intended to provide low-level modeling for built-in objects.
* It is now possible to t...

* It is time to start adding more python mechanisms.
* Running into this for materializing slice...

* Just the form without explicit permutation for now.

* Creates an abstraction/registry around emitters (intended to generalize to AST compilation as ...

I don't technically need this now but adding while the train of thought is fresh.