Error out when calling rfactor() after fusing a pure var

[alexreinking]

Fixes #7854

[alexreinking]

This needs more work.

1. It doesn't handle a pure var higher up in a tree of fusions; that needs to be fixed somehow
2. I discovered a secondary bug, as follows:

#include "Halide.h"

using namespace Halide;

int main(int argc, char **argv) {
    Func f{"f"};
    RDom r({{0, 5}, {0, 5}, {0, 5}}, "r");
    Var x{"x"}, y{"y"};
    f(x, y) = 0;
    f(x, y) += r.x + r.y + r.z;

    RVar rxy{"rxy"}, yrz{"yrz"};
    Var z{"z"};

    // Error: In schedule for f.update(0), could not find remove dimension: r$z
    // Vars: r$x.rxy r$z.yrz x __outermost
    f.update()
        .fuse(r.x, r.y, rxy)
        .fuse(r.z, y, yrz)
        .rfactor(rxy, z);

    f.print_loop_nest();

    printf("Success!\n");
    return 0;
}

[steven-johnson]

What's the status on this PR?

[alexreinking]

What's the status on this PR?

Not close to ready yet. Need to clear my plate a bit.

[alexreinking]

Closing in favor of a new PR