File: dead_realization_in_specialization.cpp

package info (click to toggle)
halide 21.0.0-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 55,752 kB
  • sloc: cpp: 289,334; ansic: 22,751; python: 7,486; makefile: 4,299; sh: 2,508; java: 1,549; javascript: 282; pascal: 207; xml: 127; asm: 9
file content (34 lines) | stat: -rw-r--r-- 915 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

#include "Halide.h"
#include "halide_benchmark.h"
#include <stdio.h>

using namespace Halide;

int main(int argc, char **argv) {
    Var x, y;
    Func f, g;
    Param<bool> p;
    f(x, y) = x + y;
    g(x, y) = x + y;

    Func output;
    output(x, y) = select(x > 10, f(x, y), g(x, y));

    f.compute_at(output, y);
    g.compute_at(output, y);
    output.specialize(output.output_buffer().dim(0).min() == 0 &&
                      output.output_buffer().dim(0).extent() == 5);

    // The region required of f in the specialization is zero (or
    // actually negative-sized, given how we compute things), but
    // we don't find that out until bounds inference runs, so it
    // still gets a Realize node.  Compile this to make sure
    // allocation bounds inference doesn't get confused trying to
    // come up with a bound for it.

    output.compile_jit();

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