1. 07 Jan, 2018 1 commit
    • [SCHEDULE]Improve bound deduce for loop partition (#743) (#755) · 9d6dbe34
      * [SCHEDULE]enable partition const loop with build flag (#719)
      
          * enable partition loop with build flag
      
          * add a testcase, and modify LoopPartition related cases
      
      *     * add document for split_const_loop
      
      * [IRbuild]Support automatically Name Loop Variable in IRBuilder (#719)
      
          * add idx_num in class
      
      * using typical index [i, j, k] first, then i_suffix
      
      * keep inputs names
      
      * fix lint
      
      * improve comment of name
      
      * fix lint
      
      * [SCHEDULE]Improve bound deduce for loop partition (#743)
      
          * add divided checking when deducing
      
          * related testcase
      
      * fix
      
      * * transform LE and GE first
      * remove is_equal
      * modify testcase for edge cases checking
      
      * * fix comment
      
      * * fix lint
      
      * * apply transformation form LT -> LE, GT -> GE
      
      * * fix lint
      
      * simplify code and testcase
      
      * add negative co-efficient case
      
      * More complicated cases
      
      * add testcase
      
      * simplify testcase
      
      * comment case for now
      
      * fix testcase
      xqdan committed
  2. 17 Dec, 2017 1 commit
  3. 19 Jun, 2017 1 commit
  4. 12 May, 2017 1 commit
  5. 05 Mar, 2017 1 commit
  6. 04 Mar, 2017 1 commit
    • [PASS]LoopPartition (#56) · c8ebfbe3
      * loop_partition draft
      
      * divide loop variable into constant domain and variable domain & consider multiple partitions
      
      * process doubt interval
      
      * fix and refactor, add relax_map arg in BoundDeduce
      
      * fix testcase and comment
      
      * rebase to zero, convert to SSA
      
      * change the logic of generating loop code & fix issues
      
      * add a testcase for relax map in deducebound && fix issues
      
      * clean code
      
      * const auto&
      
      * add test_multi_if
      Ziheng Jiang committed
  7. 17 Feb, 2017 1 commit
    • [ARITH] DeduceBound (#40) · 5198c100
      * [PYTHON/API] Add compare and logic build-in op for Expr
      
      * remove 'and', 'or'
      
      * add deducer
      
      * [WIP] bound_deducer.cc
      
      * move IntervalSet and StrideSet into int_set_internal.h
      
      * add multiple failure for VariablePathFinder, add EvalSign
      
      * consider round in deduce, add success flag
      
      * remove Visit_(Div)
      
      * add comment, update HalideIR
      
      * expose intset to python
      
      * check the sign of every expr
      
      * set return type as ExprSignType
      
      * fine tune
      
      * add min & max python api for interval set
      
      * support for conditional expr
      
      * refactor test
      
      * add checker for BoundDeducer
      
      * add python check test
      
      * fix
      
      * fix
      
      * change range to interval; remove converter
      
      * remove converter declaration
      
      * remove int_set_internal.h
      Ziheng Jiang committed