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
|
#include "Halide.h"
#include <memory>
#include <stdio.h>
using namespace Halide;
int main(int argc, char **argv) {
const int kPrime1 = 7829;
const int kPrime2 = 7919;
Buffer<int> result;
Param<int> p1, p2;
Var x;
Func f;
f(x) = require((p1 + p2) == kPrime1,
(p1 + p2) * kPrime2,
"The parameters should add to exactly", kPrime1, "but were", p1, p2);
// choose values that will fail
p1.set(1);
p2.set(2);
result = f.realize({1});
printf("Success!\n");
return 0;
}
|
