Searched refs:LiftConditionsThroughReduction (Results 1 – 1 of 1) sorted by relevance
842 std::pair<PrimExpr, PrimExpr> LiftConditionsThroughReduction(const PrimExpr& cond, in LiftConditionsThroughReduction() function1187 LiftConditionsThroughReduction(red->condition, red->axis, axis); in RemoveJacobianAndLiftNonzeroCondImpl()1196 std::tie(outer_nz_cond, nz_cond) = LiftConditionsThroughReduction(nz_cond, red->axis, axis); in RemoveJacobianAndLiftNonzeroCondImpl()