const_true 39 src/AlignLoads.cpp index, load->image, load->param, const_true(index.type().lanes()))); const_true 583 src/Associativity.cpp AssociativePattern(And::make(x, y), const_true(), true), const_true 33 src/Bounds.cpp if (equal(const_true(), simplify(x > zero))) { const_true 35 src/Bounds.cpp } else if (equal(const_true(), simplify(x < zero))) { const_true 938 src/Bounds.cpp Expr overlap = ((a_maybe_unused ? a.used : const_true()) && const_true 939 src/Bounds.cpp (b_maybe_unused ? b.used : const_true())); const_true 960 src/Bounds.cpp Expr condition = const_true(); const_true 1021 src/Bounds.cpp b.used = const_true(); const_true 1494 src/Bounds.cpp check(scope, Load::make(Int(8), "buf", x, Buffer<>(), Parameter(), const_true()), const_true 1538 src/Bounds.cpp Expr u8_1 = cast<uint8_t>(Load::make(Int(8), "buf", x, Buffer<>(), Parameter(), const_true())); const_true 1539 src/Bounds.cpp Expr u8_2 = cast<uint8_t>(Load::make(Int(8), "buf", x + 17, Buffer<>(), Parameter(), const_true())); const_true 166 src/BoundsInference.cpp result[i].push_back(CondValue(const_true(), cond_val)); const_true 168 src/BoundsInference.cpp result[i].push_back(CondValue(const_true(), val)); const_true 216 src/BoundsInference.cpp vec.push_back(CondValue(const_true(), val)); const_true 450 src/CSE.cpp Expr load = Load::make(Int(32), "buf", index, Buffer<>(), Parameter(), const_true()); const_true 455 src/CSE.cpp Expr cse_load = Load::make(Int(32), "buf", t[3], Buffer<>(), Parameter(), const_true()); const_true 469 src/CSE.cpp Expr load = Load::make(Int(32), "buf", index, Buffer<>(), Parameter(), const_true()); const_true 474 src/CSE.cpp Expr cse_load = Load::make(Int(32), "buf", select(t2, t[1] + 2, t[1] + 10), Buffer<>(), Parameter(), const_true()); const_true 1463 src/CodeGen_C.cpp Stmt s = Store::make("buf", e, x, Parameter(), const_true()); const_true 1466 src/CodeGen_C.cpp s = Allocate::make("tmp.stack", Int(32), {127}, const_true(), s); const_true 1468 src/CodeGen_C.cpp s = Allocate::make("tmp.heap", Int(32), {43, beta}, const_true(), s); const_true 286 src/CodeGen_Internal.cpp const_true(op->type.lanes())); const_true 301 src/CodeGen_Internal.cpp const_true()); const_true 323 src/CodeGen_Internal.cpp Stmt unpredicated_store = Store::make(op->name, value, index, op->param, const_true(value.type().lanes())); const_true 338 src/CodeGen_Internal.cpp Stmt lane = IfThenElse::make(pred_i, Store::make(op->name, value_i, index_i, op->param, const_true())); const_true 2054 src/CodeGen_LLVM.cpp op->param, const_true(op->type.lanes())); const_true 2060 src/CodeGen_LLVM.cpp op->param, const_true(op->type.lanes())); const_true 123 src/DebugToFile.cpp s = Realize::make(out.name(), out.output_types(), output_bounds, const_true(), s); const_true 24 src/Definition.cpp DefinitionContents() : is_init(true), predicate(const_true()) {} const_true 678 src/Deinterleave.cpp load_image, load_param, const_true(t.lanes())); const_true 750 src/Deinterleave.cpp check(Load::make(ramp.type(), "buf", ramp, Buffer<>(), Parameter(), const_true(ramp.type().lanes())), const_true 751 src/Deinterleave.cpp Load::make(ramp_a.type(), "buf", ramp_a, Buffer<>(), Parameter(), const_true(ramp_a.type().lanes())), const_true 752 src/Deinterleave.cpp Load::make(ramp_b.type(), "buf", ramp_b, Buffer<>(), Parameter(), const_true(ramp_b.type().lanes()))); const_true 1147 src/Func.cpp (void) definition.add_specialization(const_true()); const_true 528 src/FuseGPUThreadLoops.cpp alloc.type, {alloc.size}, const_true(), s); const_true 554 src/FuseGPUThreadLoops.cpp s = Allocate::make(shared_mem_name, UInt(8), {total_size}, const_true(), s); const_true 617 src/HexagonOffload.cpp Buffer<>(), Parameter(), const_true())); const_true 1586 src/HexagonOptimize.cpp op->image, op->param, const_true(const_extent)); const_true 119 src/IROperator.h EXPORT Expr const_true(int lanes = 1); const_true 109 src/IRPrinter.cpp Stmt store = Store::make("buf", (x * 17) / (x - 3), y - 1, Parameter(), const_true()); const_true 113 src/IRPrinter.cpp Stmt store2 = Store::make("out", call + 1, x, Parameter(), const_true()); const_true 124 src/IRPrinter.cpp Stmt allocate = Allocate::make("buf", f32, {1023}, const_true(), let_stmt); const_true 367 src/InjectHostDevBufferCopies.cpp {buffer, const_true()}, Call::Extern); const_true 374 src/InjectHostDevBufferCopies.cpp {buffer, const_true()}, Call::Extern); const_true 393 src/LoopCarry.cpp Buffer<>(), Parameter(), const_true(orig_load->type.lanes())); const_true 400 src/LoopCarry.cpp Parameter(), const_true(orig_load->type.lanes())); const_true 408 src/LoopCarry.cpp Parameter(), const_true(orig_load->type.lanes())); const_true 437 src/LoopCarry.cpp const_true(scratch_idx.type().lanes())); const_true 529 src/LoopCarry.cpp stmt = Allocate::make(alloc.name, alloc.type, {alloc.size}, const_true(), stmt); const_true 223 src/Memoization.cpp (index / Handle().bytes()), Parameter(), const_true())); const_true 232 src/Memoization.cpp Parameter(), const_true())); const_true 240 src/Memoization.cpp index, Parameter(), const_true())); const_true 250 src/Memoization.cpp Parameter(), const_true())); const_true 384 src/Memoization.cpp const_true(), generate_key); const_true 119 src/ParallelRVar.cpp Expr hazard = const_true(); const_true 128 src/ParallelRVar.cpp Expr check = const_true(); const_true 145 src/ParallelRVar.cpp if (pred.defined() || !equal(const_true(), pred)) { const_true 326 src/PartitionLoops.cpp new_simplification(op->condition, op->condition, const_true(), const_false()); const_true 235 src/Prefetch.cpp Expr predicate = prefetch_box.used.defined() ? prefetch_box.used : const_true(); const_true 316 src/Profiling.cpp i, Parameter(), const_true()), s); const_true 319 src/Profiling.cpp s = Allocate::make("profiling_func_stack_peak_buf", UInt(64), {num_funcs}, const_true(), s); const_true 323 src/Profiling.cpp s = Block::make(Store::make("profiling_func_names", p.first, p.second, Parameter(), const_true()), s); const_true 327 src/Profiling.cpp s = Allocate::make("profiling_func_names", Handle(), {num_funcs}, const_true(), s); const_true 234 src/RDom.cpp if (!equal(const_true(), pred)) { const_true 98 src/Reduction.cpp ReductionDomainContents() : predicate(const_true()), frozen(false) { const_true 304 src/ScheduleFunctions.cpp internal_assert(equal(c, const_true())); const_true 664 src/ScheduleFunctions.cpp s = Realize::make(name, func.output_types(), bounds, const_true(), s); const_true 2877 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 2891 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 2969 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3034 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3252 src/Simplify.cpp expr = const_true(delta_ramp->lanes); const_true 3260 src/Simplify.cpp expr = const_true(delta_ramp->lanes); const_true 3530 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3536 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3540 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3546 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3552 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3560 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3568 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3576 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3584 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3592 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3600 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3608 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3616 src/Simplify.cpp expr = const_true(op->type.lanes()); const_true 3911 src/Simplify.cpp then_case = substitute(next, const_true(), then_case); const_true 3943 src/Simplify.cpp then_case = substitute(var->name, const_true(), then_case); const_true 4351 src/Simplify.cpp shuffled_predicate = const_true(t.lanes()); const_true 4834 src/Simplify.cpp Store::make(op->name, value, index, op->param, const_true(value.type().lanes()))); const_true 5100 src/Simplify.cpp check(cast(UInt(16), -1) == cast(UInt(16), 65535), const_true()); const_true 5103 src/Simplify.cpp check(cast(UInt(16), 65) < cast(UInt(16), 66), const_true()); const_true 5139 src/Simplify.cpp Expr t = const_true(), f = const_false(); const_true 5369 src/Simplify.cpp Expr test = select(ramp(const_true(), const_true(), 2), const_true 5370 src/Simplify.cpp ramp(const_false(), const_true(), 2), const_true 5373 src/Simplify.cpp Expr expected = !(ramp(const_true(), const_true(), 2)) || const_true 5374 src/Simplify.cpp (ramp(const_false(), const_true(), 2) == broadcast(const_false(), 2)); const_true 5379 src/Simplify.cpp Expr test = select(ramp(const_true(), const_true(), 2), const_true 5380 src/Simplify.cpp broadcast(const_true(), 2), const_true 5381 src/Simplify.cpp ramp(const_false(), const_true(), 2)) == const_true 5383 src/Simplify.cpp Expr expected = (!ramp(const_true(), const_true(), 2)) && const_true 5384 src/Simplify.cpp (ramp(const_false(), const_true(), 2) == broadcast(const_false(), 2)); const_true 5422 src/Simplify.cpp check(x <= Int(32).max(), const_true()); const_true 5423 src/Simplify.cpp check(cast(Int(16), x) >= Int(16).min(), const_true()); const_true 5698 src/Simplify.cpp Expr t = const_true(), f = const_false(); const_true 6117 src/Simplify.cpp Expr t = const_true(), f = const_false(); const_true 6237 src/Simplify.cpp Expr t = const_true(), f = const_false(); const_true 6331 src/Simplify.cpp check_in_bounds(ramp(x, 1, 4) < broadcast( 8, 4), const_true(4), bounds_info); const_true 6333 src/Simplify.cpp check_in_bounds(ramp(x, -1, 4) < broadcast( 5, 4), const_true(4), bounds_info); const_true 6381 src/Simplify.cpp Expr load1 = Load::make(Float(32, 4), "buf", ramp(x, 2, 4), Buffer<>(), Parameter(), const_true(4)); const_true 6382 src/Simplify.cpp Expr load2 = Load::make(Float(32, 4), "buf", ramp(x+1, 2, 4), Buffer<>(), Parameter(), const_true(4)); const_true 6383 src/Simplify.cpp Expr load12 = Load::make(Float(32, 8), "buf", ramp(x, 1, 8), Buffer<>(), Parameter(), const_true(8)); const_true 6391 src/Simplify.cpp Expr load3 = Load::make(Float(32, 4), "buf2", ramp(x+1, 2, 4), Buffer<>(), Parameter(), const_true(4)); const_true 6401 src/Simplify.cpp loads.push_back(Load::make(Float(32), "buf", x+i, Buffer<>(), Parameter(), const_true())); const_true 6404 src/Simplify.cpp check(concat_vectors(loads), Load::make(Float(32, lanes), "buf", ramp(x, 1, lanes), Buffer<>(), Parameter(), const_true(lanes))); const_true 6427 src/Simplify.cpp Expr value = Load::make(index.type(), "f", index, Buffer<>(), Parameter(), const_true(index.type().lanes())); const_true 41 src/SimplifySpecializations.cpp return const_true(); const_true 142 src/SimplifySpecializations.cpp substitute_value_in_var(var->name, const_true(), s_result); const_true 221 src/SkipStages.cpp predicate = const_true(); const_true 364 src/SkipStages.cpp compute_predicate = const_true(); const_true 1113 src/Solve.cpp expr = const_true(); const_true 1212 src/Solve.cpp expr = const_true(); const_true 1237 src/Solve.cpp value_bounds = Interval(const_false(), const_true()); const_true 1513 src/Solve.cpp check_and_condition(x > 0, const_true(), Interval(1, y)); const_true 1514 src/Solve.cpp check_and_condition(x > 0, const_true(), Interval(5, y)); const_true 1516 src/Solve.cpp check_and_condition(x > 0 && x < 10, const_true(), Interval(1, 9)); const_true 1517 src/Solve.cpp check_and_condition(x > 0 || sin(x) == 0.5f, const_true(), Interval(100, 200)); const_true 1519 src/Solve.cpp check_and_condition(x <= 0, const_true(), Interval(-100, 0)); const_true 1522 src/Solve.cpp check_and_condition(x <= 0 || y > 2, const_true(), Interval(-100, 0)); const_true 1525 src/Solve.cpp check_and_condition(x == 0, const_true(), Interval(0, 0)); const_true 1528 src/Solve.cpp check_and_condition(x != 0, const_true(), Interval(-20, -10)); const_true 1540 src/Solve.cpp Expr a16 = Load::make(Int(16), "a", {x}, Buffer<>(), Parameter(), const_true()); const_true 1541 src/Solve.cpp Expr b16 = Load::make(Int(16), "b", {x}, Buffer<>(), Parameter(), const_true()); const_true 211 src/StorageFlattening.cpp stmt = Store::make(op->name, value, idx, output_buf, const_true(value.type().lanes())); const_true 220 src/StorageFlattening.cpp const_true(op->type.lanes())); const_true 277 src/Tracing.cpp s = Realize::make(output.name(), output.output_types(), output_region, const_true(), s); const_true 118 src/TrimNoOps.cpp condition = const_true(); const_true 134 src/TrimNoOps.cpp condition = const_true(); const_true 139 src/TrimNoOps.cpp condition = const_true(); const_true 174 src/TrimNoOps.cpp Expr condition = const_true(); const_true 954 src/VaryingAttributes.cpp Parameter(), const_true(op->args[1].type().lanes())); const_true 1054 src/VaryingAttributes.cpp Parameter(), const_true()), const_true 1060 src/VaryingAttributes.cpp Parameter(), const_true()), const_true 1244 src/VaryingAttributes.cpp Allocate::make(vs.vertex_buffer_name, Float(32), {vertex_buffer_size}, const_true(), const_true 529 test/correctness/specialize.cpp Expr const_true = Expr(0) == Expr(0); const_true 568 test/correctness/specialize.cpp Expr const_true = Expr(0) == Expr(0); const_true 575 test/correctness/specialize.cpp f.specialize(const_true).vectorize(x, 16); // will *not* be pruned const_true 578 test/correctness/specialize.cpp f.specialize(const_true); // dupe of call above, won't add new specialization const_true 615 test/correctness/specialize.cpp Expr const_true = Expr(0) == Expr(0); const_true 623 test/correctness/specialize.cpp f.specialize(const_true).vectorize(x, 16);