Searched defs:can_prove (Results 1 – 3 of 3) sorted by relevance
/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/ | ||
H A D | Simplify.cpp | 337 bool can_prove(Expr e, const Scope<Interval> &bounds) { in can_prove() function |
H A D | LowerWarpShuffles.cpp | 287 bool can_prove(const Expr &e) { in can_prove() function in Halide::Internal::__anon030a5eec0111::DetermineAllocStride |
/dports/math/onednn/oneDNN-2.5.1/src/gpu/jit/conv/ | ||
H A D | ir.hpp | 708 bool can_prove(const expr_t &e, bool try_simplify = true) const { in can_prove() function in dnnl::impl::gpu::jit::constraint_set_t |