JIT: move QMARK expansion before morph

dotnet / runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

https://docs.microsoft.com/dotnet/core/

MIT License

15.25k stars 4.73k forks source link

Open AndyAyersMS opened 9 hours ago

AndyAyersMS commented 9 hours ago

Add logic to propagate boolean range assertions for locals assigned values of 0 or 1.
Increase local assertion prop table size to make sure there's room
Remove logic in morph for handling qmark/colon

dotnet-policy-service[bot] commented 9 hours ago

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch See info in area-owners.md if you want to be subscribed.

AndyAyersMS commented 9 hours ago

@EgorBo @jakobbotsch FYI. One small step.

Moving QMARK expansion earlier (say after inlining) leads to some bigger regressions... likely from forward sub, but I haven't dug in.

AndyAyersMS commented 7 hours ago

@EgorBo wonders if we also need to recompute liveness... it appears we can get away without doing that, but I need to look closer.