add a custom inliner for typeassert, to remove it earlier

Sacha0 · Jun 24, 2014 · e4ff09a · e4ff09a
1 parent c300f5f
commit e4ff09a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/base/inference.jl b/base/inference.jl
@@ -1994,6 +1994,13 @@ function inlineable(f, e::Expr, atypes, sv, enclosing_ast)
  return (e.args[3],())
  end
  end
+ if is(f, typeassert) && length(atypes)==2
+ # typeassert(x::S, T) => x, when S<:T
+ if isType(atypes[2]) && isleaftype(atypes[2]) &&
+ atypes[1] <: atypes[2].parameters[1]
+ return (e.args[2],())
+ end
+ end
  if length(atypes)==2 && is(f,unbox) && isa(atypes[2],DataType) && !atypes[2].mutable && atypes[2].pointerfree
  # remove redundant unbox
  return (e.args[3],())