Revision 79dc0c0d5e6de1fa0deca2a82019ceba23d4d8aa authored by Pranav Bhandarkar on 08 October 2019, 23:56:21 UTC, committed by Pranav Bhandarkar on 08 October 2019, 23:56:21 UTC
1 parent 90701c9
set_custom_trace.cpp
#include "Halide.h"
#include <stdio.h>
using namespace Halide;
using namespace Halide::Internal;
// Make sure that "f" is computed at "g"
class CheckCompute : public IRVisitor {
protected:
using IRVisitor::visit;
std::string producer;
std::string consumer;
void visit(const ProducerConsumer *op) override {
if (op->is_producer) {
if (op->name == "f") {
if (producer != "g") {
printf("Produce \"f\" should be inside of produce \"g\"\n");
exit(-1);
}
}
std::string old_producer = producer;
producer = op->name;
IRVisitor::visit(op);
producer = old_producer;
} else {
if (op->name == "f") {
if (producer != "g") {
printf("Consume \"f\" should be inside of produce \"g\"\n");
exit(-1);
}
}
std::string old_consumer = consumer;
consumer = op->name;
IRVisitor::visit(op);
consumer = old_consumer;
}
}
};
int allocation_bound_test_trace(void *user_context, const halide_trace_event_t *e) {
return 0;
}
int main(int argc, char **argv) {
// Setting custom trace on "f" should not have nuked its compute_at schedule.
Var x("x");
Func f("f"), g("g");
f(x) = x;
g(x) += f(x);
f.compute_at(g, x);
f.set_custom_trace(allocation_bound_test_trace);
Module m = g.compile_to_module({g.infer_arguments()});
CheckCompute checker;
m.functions().front().body.accept(&checker);
printf("Success!\n");
return 0;
}
Computing file changes ...