1. 04 Jan, 2020 2 commits
    • [REFACTOR][TYPE] Remove un-necessary var sub-field in GlobalTypeVar and TypeVar (#4615) · 24e6fcb6
      Currently, we use a tvm::Var to represent a placeholder for shapes in generic types.
      This is not necessary for GlobalTypeVar(as we never parameterize by shape var),
      and is a bit twisted for TypeVar.
      
      As we move to a unified type system, we want to break the dependency
      from the base TypeVar(which is shared across the languages) from the expression.
      Note that it is fine for TensorType to depend on Expr.
      
      One alternative solution to embed the Var would be to introduce a TypeVarExpr,
      which can wrap a TypeVar as Expr. However, this new alternative won't be
      natural until we migrate the type to the global scope.
      
      Lucikly, we have not yet start to depend on the shape parameterization heavily yet.
      
      This PR removes the tvm::Var from the typevars. We will follow up with another
      PR to migrate the types to a base location. After that, we should be able to
      use the more elegant approach via TypeVarExpr.
      Tianqi Chen committed
    • [Relay][Pass]Improve memory_allocation pass to support multiple i/o dynamic kernels (#4595) · 9c638f06
      * Add more shape funcs
      
      * Fix test
      
      * Enhance test_any_concat
      
      * Fix pylint
      
      * Minor fix test
      
      * Fix pylint
      
      * Minor refactor
      
      * Add test any for elemwise
      Yao Wang committed
  2. 05 Dec, 2019 1 commit
  3. 02 Dec, 2019 1 commit
  4. 11 Nov, 2019 1 commit
    • Add More Shape Functions (#4179) · 62521453
      * Add shape functions
      
      * Fix get_const_tuple
      
      * Fix cpplint
      
      * Fix pylint
      
      * Fix pylint
      
      * rebase and fix
      
      * Check Any for infer type
      
      * Fix expand_dim shape func for zero rank input
      
      * Fix pooling infer type
      
      * Address comment
      
      * Register layout transform attr
      Yao Wang committed
  5. 11 Oct, 2019 1 commit
  6. 01 Oct, 2019 1 commit
    • [TOPI]Add op argwhere (#3994) · fa4d3ec6
      * Add op argwhere
      
      * Move shape func to _algorithm.py
      
      * Add lint rule
      
      * Raise exception if rank is not supportted
      
      * move argwhere to transform
      
      * Add argwhere example
      
      * Fix lint
      
      * Add 1-d support
      
      * cleanup
      
      * Add more dtype support
      
      * CR comment
      
      * Improve error message
      
      * Docs
      
      * raise exception
      Wei Chen committed
  7. 01 Sep, 2019 1 commit
    • [Relay][Any] Add shape func for dynamic shape (#3606) · eef35a57
      * init shape func in interpreter and vm compiler
      
      * Update interpreter
      
      * fix
      
      * lint
      
      * lint
      
      * fix
      
      * remove hack
      
      * update
      
      * fix
      
      * fix
      
      * update
      
      * address comments & update for shape_of
      
      * fix lint
      
      * update
      
      * fix hybrid
      
      * lint
      
      * fix bug & add take shape func
      
      * lint
      
      * lint
      
      * update
      
      * fix flaky test
      
      * add todo
      Haichen Shen committed
  8. 10 Jul, 2019 2 commits
    • [Relay][RFC] Implement type checking for Any (#3221) · 3fb84e2b
      * Implement type checking for Any
      
      Remove code generation related changes
      
      Remove compile changes
      
      Remove more
      
      Remove unification hack
      
      Add some code back that was needed, and clean up test
      
      Refactor test cases
      
      WIP
      
      Implement TypeHint AST
      
      Add test case which should fail
      
      Remove unification changes, and fix bug with let rec
      
      Restore unification for shapes
      
      Improve error reporting while debugging
      
      All examples type check
      
      All examples type check
      
      WIP
      
      First version that works with hints, needs clean up
      
      Remove dead code
      
      Tweaks
      
      Remove type hint
      
      Remove unecessary type hint stuff
      
      Remove more type hints
      
      Clean up
      
      Expose Any expression node
      
      Address CR
      
      Fix
      
      Fix solver
      
      Kill unecessary code
      
      Fix
      
      PyLint
      
      Fix
      
      Relocate loops
      
      Fix license and test
      
      Lint again
      
      Lint again
      
      Fix loops
      
      Fix docstring
      
      Fix template error
      
      Fix compiler issue
      
      Fix compile err
      
      Remove more runtime changes
      
      Restore buffer
      
      Fix segfault
      
      Fix
      
      Fix arange
      
      * Address feedback
      
      * Fix typo
      
      * Fix arange
      
      * Fix op level3
      
      * Fix issue with Python wrapper
      Jared Roesch committed