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 Co-authored-by: Steven Johnson <srj@google.com>
1 parent dadbcbf
dupe_param_name.cpp
#include "Halide.h"
#include <stdio.h>
using namespace Halide;
int main(int argc, char **argv) {
constexpr int a = 3;
constexpr int b = 5;
ImageParam input_a(Int(32), 1, "input");
Buffer<int> buf_a(1, "input");
buf_a.fill(a);
input_a.set(buf_a);
Buffer<int> input_b(1, "input");
input_b.fill(b);
Var x("x");
Func f("f");
f(x) = input_a(x) + input_b(x);
f.compile_jit();
// Note: the code below should never execute; we expect to fail inside compile_jit().
// Leaving it here to show what *would* be expected if the Param names did not mismatch/
//
// Buffer<int> result(1);
// f.realize(result);
// if (result(0) != a + b) {
// fprintf(stderr, "Expected to see %d + %d = %d but saw %d\n", a, b, a + b, (int) result(0));
// abort();
// }
printf("Success!\n");
return 0;
}
Computing file changes ...