Mark load from DataType as constant (JuliaLang#37044)

inkydragon · Aug 18, 2020 · 1d950f4 · 1d950f4
1 parent 327b2e3
commit 1d950f4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/codegen.cpp b/src/codegen.cpp
@@ -866,6 +866,9 @@ static void add_return_attr(T *f, Attribute::AttrKind Kind)
 
 static MDNode *best_tbaa(jl_value_t *jt) {
  jt = jl_unwrap_unionall(jt);
+ if (jt == (jl_value_t*)jl_datatype_type ||
+ (jl_is_type_type(jt) && jl_is_datatype(jl_tparam0(jt))))
+ return tbaa_const;
  if (!jl_is_datatype(jt))
  return tbaa_value;
  if (jl_is_abstracttype(jt))