File: strict_float_bounds.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 (28 lines) | stat: -rw-r--r-- 671 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
#include "Halide.h"

using namespace Halide;

int main(int argc, char **argv) {
    Target t = get_jit_target_from_environment().with_feature(Target::StrictFloat);

    Var x;
    ImageParam input(Float(32), 1);
    Param<float> f_param;

    Buffer<float> input_buffer(1);
    input_buffer.fill(2.5f);

    Func output;
    output(x) = input(x + cast<int>(f_param));

    input.set(input_buffer);
    f_param.set(0.0f);
    // This test verifies that this realize() doesn't explode in bounds infererence
    // with "unbounded access of input"
    Buffer<float> result = output.realize({1}, t);
    assert(result(0) == 2.5f);

    printf("Success!\n");

    return 0;
}