swift234

[sil-devirtualizer] Test for a static type of the instance should be the first one when performing a speculative devirtualization.

Till now, an exact test for a static type of the instance was performed as a last check in a generated sequence of checks.
Given no other information (i.e. profile data, interprocedural analysis, etc.), it seems reasonable that we should first test the static type before testing derived types.

rdar://22656886

Swift SVN r31944