search

dotnet / runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
https://docs.microsoft.com/dotnet/core/
MIT License
15.07k stars 4.69k forks source link

JIT: implement type checker #12121

Open AndyAyersMS opened 5 years ago

AndyAyersMS commented 5 years ago

There are a couple categories of issues in the JIT IR that could have been caught earlier if we ran some kind of type checking phase:

We might also want to restructure the early part of the jit so we can run checks sooner...

category:implementation theme:ir skill-level:expert cost:extra-large

mikedn commented 5 years ago

We might also want to restructure the early part of the jit so we can run checks sooner...

What exactly do you have in mind?

AndyAyersMS commented 5 years ago

Thinks like adopting Phases everywhere so there's common place to hang begin/end activities like dumping and checking and such.