Skip to main content

Browse the archive

Revision a0fc7fafeee3a6678887d8c8e86c47def4572526 authored by Alexander Root on 04 February 2021, 01:13:53 UTC, committed by GitHub on 04 February 2021, 01:13:53 UTC 
Add fixes to overflow analysis in bounds inference (#5618)
 
* add fixes to overflow analysis in bounds inference

Co-authored-by: Steven Johnson <srj@google.com>
1 parent dadbcbf
Raw File
bad_compute_at.cpp 
#include "Halide.h"
#include <stdio.h>

using namespace Halide;

int main(int argc, char **argv) {
    Func f("f"), g("g"), h("h"), junk1, junk2, junk3;
    Var x("x"), y("y");

    f(x) = x;
    g(x) = f(x);
    junk1(x) = 3;
    junk2(x) = 3;
    junk3(x, y) = 3;
    h(x, y) = g(x) + f(x) + junk1(x) + junk2(x) + junk3(x, y);

    g.compute_at(h, y);

    // Add some other junk functions to complicate the error message
    junk1.compute_at(h, y);
    junk2.compute_at(h, x);
    junk3.compute_root();

    // This makes no sense, because f is also used by g, which is computed at (h, y), which is outside of (h, x).
    f.compute_at(h, x);

    h.realize(10);

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