projects / platform / upstream / dotnet / runtime.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d57183) | patch
Generate OAK_NO_THROW assertions from (uint)i < (uint)a.len checks
authorMike Danes <onemihaid@hotmail.com>
Thu, 23 Feb 2017 06:45:02 +0000 (08:45 +0200)
committerMike Danes <onemihaid@hotmail.com>
Fri, 3 Mar 2017 17:16:03 +0000 (19:16 +0200)
commit18968352a63cf668a7e0592e2be8cdf6c70c995a
treee7f17fd526a18600164938fa2fba056034d12981tree | snapshot
parent3d571832886f270ee102bf15ba5c9e590dbc57a2commit | diff
Generate OAK_NO_THROW assertions from (uint)i < (uint)a.len checks

If "(uint)i < (uint)a.len" is true then we know that "i" is always within bounds and so "a[i]" does not need a range check.

Commit migrated from https://github.com/dotnet/coreclr/commit/7e04389b73e7bf593b49367543fce51da206123c
src/coreclr/src/jit/assertionprop.cpp diff | blob | history
src/coreclr/src/jit/compiler.h diff | blob | history
src/coreclr/src/jit/valuenum.cpp diff | blob | history
src/coreclr/src/jit/valuenum.h diff | blob | history
Domain: Dotnet / Core;