File: bounds_query_respects_specialize_fail.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 (44 lines) | stat: -rw-r--r-- 1,008 bytes parent folder | download | duplicates (3)
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
35
36
37
38
39
40
41
42
43
44

#include "Halide.h"

using namespace Halide;
using namespace Halide::Internal;
using namespace Halide::ConciseCasts;

int main(int argc, char **argv) {

    ImageParam im(UInt(8), 1);
    Func f;
    Var x;

    f(x) = im(x);

    im.dim(0).set_stride(Expr());
    f.specialize(im.dim(0).stride() == 1);
    f.specialize(im.dim(0).stride() == 2);
    f.specialize_fail("unreachable");

    Callable c = f.compile_to_callable({im});

    Halide::Runtime::Buffer<uint8_t> in_buf(nullptr, {halide_dimension_t{0, 0, 0}});
    Halide::Runtime::Buffer<uint8_t> out_buf(32);

    int result = c(in_buf, out_buf);

    if (result != 0) {
        printf("Callable failed: %d\n", result);
        return 1;
    }

    if (in_buf.dim(0).stride() != 1 ||
        in_buf.dim(0).extent() != 32) {
        printf("Unexpected bounds query result. stride = %d, extent = %d\n",
               in_buf.dim(0).stride(),
               in_buf.dim(0).extent());
        return 1;
    }

    printf("Success!\n");

    return 0;
}