Merge pull request #9795 from pgavlin/RefactorIsContained

Refactor isContained().

README.md: More idiomatic Markdown usage (#9799)

- In essence, use backticks where applicable.
- Also, changed some incorrect case (`Build.cmd` vs `build.cmd` which is the canonical name; if you have your git repo on a case-sensitive filesystem like I do, this makes a real difference - you can't run it with the incorrect case).
- Fixed naming of Git and CMake to use their official capitalization.

Improve BitConverter.ToIntNN methods (#9803)

* Improve BitConverter.ToIntNN methods

- Avoid duplicate argument validation
- Fix failed optimization attempt: (uint)i < a.Length needs to be (uint) < (uint)a.Length otherwise it gets promoted to long and that's bad for 32 bit architectures
- Workaround JIT limitation: fixed variables cannot be enregistered
- Use Unsafe.ReadUnaligned to avoid alignment handling complications
- Use Unsafe.As instead of fixed as it generates shorter code
- Don't forward unsigned method to signed methods. The JIT doesn't want to inline the signed methods even though the generated code isn't significantly larger

Use Unsafe.ReadUnaligned/WriteUnaligned in UMA (#9829)

Add Unsafe.ReadUnaligned/WriteUnaligned (#9808)

Use WIN64EXCEPTIONS to declare EE_PERSONALITY_ROUTINE helpers (#9821)

[x86/Linux] Clean up unused NakedThrowHelper stub (#9824)

[x86/Linux] 16-byte aligned Funclet Helpers (#9810)

Clean up PInvokeStubForHost and PInvokeStubForHostInner (#9815)

Clean up nested WIN64EXCEPTIONS-ifdef (#9817)

[x86/Linux] Use _X86_ instead of _TARGET_X86_ (#9816)

[x86/Linux] Clean up PopSEHRecords (#9812)

[x86/Linux] Clean up CallRtlUnwind (#9813)

[x86/Linux] Clean up ARRAY STUB(s) (#9811)

Delete a bit of dead code (#9801)

Merge pull request #9789 from mikedn/le-intrinsic

Treat BitConverter.IsLittleEndian as an intrinsic

Merge pull request #9782 from mellinoe/ilasm-pathlength-fix

Increase the length of allowed parameters in ilasm

Update BitConverter from CoreFX (#9788)

* Update BitConverter from CoreFX

Related to #9701

* Use ThrowHelper

Better ArraySegment .ctor tests (#9800)

[ARM/CI] Fix arm32 CI git check failure (#9798)

Because layout in corefx binary has been changed, it causes arm CI failure.
And skip arm32 tests because test is not working recently.

Signed-off-by: Hyung-Kyu Choi <hk0110.choi@samsung.com>

[ARM/CI] Update arm CI to sync up with corefx change (#9797)

Signed-off-by: Hyung-Kyu Choi <hk0110.choi@samsung.com>

Refactor isContained().

This changes isContained to terminate early if it is not possible for the node in question
to ever be contained. There are many nodes that are statically non-containable: any node
that is not a value may not be contained along with a small number of value nodes. To avoid
the need for a `switch` to identify the latter, their node kinds have been marked with a
new flag, `GTK_NOCONTAIN`. The checks for identifying non-containable nodes are encapsulated
withing a new function, `canBeContained`.

Merge pull request #9791 from dotnet/revert-9231-MinOptsSimplifiedGCtracking

Revert "Simplified MinOpts GC ref tracking."

Revert "Simplified MinOpts GC ref tracking."

Fix GC hole when exception filter throws unhandled exception (#9785)

The extra Unix specific piece of code in the StackFrameIterator::Filter that
handles the difference in the exception stack unwinding on Unix was not
skipping exception trackers belonging to filter clauses. But that was not
right, since filter funclet stack frames behave the same way on Windows and
Unix. They can be present on the stack when we reach their parent frame if
the filter hasn't finished running yet or they can be gone if the filter
completed running, either succesfully or with unhandled exception.

This change adds skipping of filter funclet related exception trackers at
that place so that the common code processes them.

This fixes the GC hole mentioned in the title that was discovered when
running some tests with GCStress mode 2.

Treat BitConverter.IsLittleEndian as an intrinsic

Remove  `this == null` checks from string.Equals (#9768)

Move S.Buffers and S.IO sources shared with corert into shared folder (#9778)

Merge pull request #9756 from AndyAyersMS/RefCountGenericContext

JIT: keep ref count for runtime generic context lookups

Use clock_gettime(CLOCK_REALTIME) in DateTime.UtcNow (#9772)

gettimeofday() is currently used in DateTime.UtcNow.  Depending on the system, it may have accuracy and precision in line with either clock_gettime(CLOCK_REALTIME) or clock_gettime(CLOCK_REALTIME_COARSE), but in returning its data it's necessarily limited by struct timeval's tv_usec field (microseconds), whereas clock_gettime uses struct timespec which has tv_nsec (nanoseconds).  This commit switches to use clock_gettime(CLOCK_REALTIME) to gain the additional precision (though the FILETIME through which the data is returned only supports 100-nsec precision).  On my machine, there was no measurable impact to throughput.

Merge pull request #9598 from ahsonkhan/OptimizeSpanClear

Optimize span clear

Increase the length of allowed parameters in ilasm.

The way this code is structured prevents parameters longer than 128 characters
from being passed. This change simply increases that to 1024 characters, although
a more robust change could be made in the future to account for platform differences.

Remove optimizedtls.cpp (#9777)

Remove NakedThrowHelper and ifdef-out its callers (#9771)

This change removes NakedThrowHelper function for Unix since it was not used.
It also ifdefs out its upstream callers.

review feedback

Merge pull request #9336 from mikedn/const-fold

Fix incorrect cast in gtFoldExprConst

Merge pull request #9769 from ianhays/filelock_osx

Remove OSX FileStream Lock/Unlock

Remove getcontext and setcontext usage (#9759)

It turns out that the getcontext and setcontext that I have used in my stack
oveflow reporting change are not present e.g. on Alpine Linux or on Android.
So I am replacing their usage with RtlCaptureContext and RtlRestoreContext
instead.

I have also found that the addition of the .cfi_adjust_cfa_offset to the
PROLOG_SAVE_REG_PAIR has broken unwinding of all helpers that use
PROLOG_WITH_TRANSITION_BLOCK, because the PROLOG_STACK_ALLOC macro
updates the CFA offset. So I am fixing that by removing the CFA offset
updating from the PROLOG_STACK_ALLOC and adding explicit one to the
ARM64 CallSignalHandlerWrapper.

Merge pull request #9732 from hseok-oh/fix_9442

Fix code generation for array length check in legacy JIT

Enable DevDiv_377155

Fix incorrect cast in gtFoldExprConst

The fact that an operation is unsigned affects the operation itself but that doesn't mean that the result of the operation is also unsigned. Constants are stored as ssize_t and the node type is TYP_INT so the result has to be sign extended, not zero extended.

Otherwise code that uses the return of IconValue() without first narrowing it to int will behave incorrectly. Such code does exists, even gtFoldExprConst does this when folding shift operations:

uint a = uint.MaxValue;
uint b = 0;
int r = (int)checked(a + b);
Console.WriteLine((r >> 2).ToString("X"));

The above code prints 3FFFFFFF instead of the expected FFFFFFFF.

This also makes gtFoldExprConst consistent with ValueNumStore::EvalFuncForConstantArgs which evaluates TYP_INT nodes as int and then casts to ssize_t.

Update FileLock/Unlock PNSE message for OSX

Avoid unnecessary branch in CultureAwareComparer (#9767)

* Avoid unnecessary branch in CultureAwareComparer

Determine the CompareOptions up-front instead of during each operation.

Merge pull request #9749 from wtgodbe/XunitCopyStuff

Use -f instead of -n when copying from Core_Root in runtest.sh

Remove OSX FileStream Lock/Unlock

OSX doesn't support usage of both fcntl and flock. Since we're already using one in FileShare for the entire file, we cannot enable partial file locking like we do on other Unix platforms. The alternative is to throw a PNSE and suggest using FileShare on the whole file instead.

Merge pull request #9766 from discostu105/patch-1

fix typo in sos_md.h

[Local GC] Move workstation GC DAC globals to a struct shared between GC and DAC (#9255)

* [Local GC] Move workstation GC DAC globals to a struct shared between
the GC and the DAC

* (Some) code review feedback and bug fixes for issues found while debugging on OSX

* Address some code review feedback:
 1. Make g_gcDacGlobals a pointer and dacvar on the VM side, so
    that publishing the GC dac vars is done atomically (through
    a pointer assignment). This fixes a race that Noah noticed.
 2. Remove the requirement for the GC's generation class struct
    to be known at compile-time, by using a dacvar as the size
    of the generation class at run-time (for pointer arithmetic)
 3. Move all DAC-interesting fields to be at the start of GC
    internal classes, so that the DAC does not need to know the
    size or exact layout of the class past the fields it cares
    about.

* Split the definition of the size of several arrays across the SOS/DAC and GC/DAC interfaces, and add static asserts that they are the same

* Repair the Windows Release build

* Implement the GC DAC scheme for Server GC and eliminate the duplicate GC dac vars

* Some work

* Decouple use of the GC generation table from a write barrier by having the EE store a copy of the global during initialization

* Actually make it work with server GC

* Checkpoint

* Checkpoint where everything works

* Code cleanup

* Fix debugger test failures

* Additional code cleanup

* Address code review feedback by adding a static assert and standardizing the way that we iterate over the generation table

* Repair the Windows x86 build

* Revert "Decouple use of the GC generation table from a write barrier by having the EE store a copy of the global during initialization"

This reverts commit 573f61a16b4fa8c2fc4c568c0b968a921230f31c.

* Revert "Repair the Windows x86 build"

This reverts commit 188c22d87e1d65abf00ab8fa28f46ad607a9028f.

* Partial revert, move `generation_table` back the global namespace for a single-proc allocation helper

* Fix a debugger test failure

* Repair crash dump scenarios

fix typo in sos_md.h

[Linux/ARM,ARM64] Fix undefined FixContextHandler issue (#9755)

Fix segmentation fault when using ZapImage::PrintStats() (#9731)

Currently, ZapImage::PrintStats is not used anywhere. But I want to get detailed informations about Native Image(ni.dll) components.
So I just used ZapImage::PrintStats when called ZapImage::SaveImage. After that I met the segmentation fault likes #9680.

I found the reason for this issue is accessing the null pointer to get sizes.

typo in CMakeLists.txt (#9763)

Merge pull request #9738 from stephentoub/ordinalignorecase_hashing

Tweak OrdinalComparer for OrdinalIgnoreCase

[x86/Linux] Initial patch for EH funclet (#9601)

- Generate a simple EH funclet frame and support SP-based stack unwinding for funclets.
- Introduce assembly helpers : CallEHFunclet and CallEHFilterFunclet

Merge pull request #9758 from seanshpark/fixx86break

Fix build break for !FEATURE_FIXED_OUT_ARGS

Merge pull request #9723 from fiigii/is4byte

Simplify and streamline Is4ByteAVXInstruction() and Is4ByteSSE4Instruction() functions

Address PR feedback

Improve CompareOrdinalIgnoreCaseHelper by removing return from loop

Strongly type StringComparer static comparer fields

Split OrdinalIgnoreCaseComparer from OrdinalComparer

They're both used very frequently, and we can eliminate the branches on checking _ignoreCase from every operation.

Reject byref-like object in FormatterServices.GetUninitializedObject (#9754)

Fixes #9739

[x86/Linux] Enable FEATURE_ARRAYSTUB_AS_IL (#9752)

* [x86/Linux] Enable FEATURE_ARRAYSTUB_AS_IL
* Move FeatureStubsAsIL into Windows-specific block

Fix build break for !FEATURE_FIXED_OUT_ARGS

Merge pull request #9681 from mskvortsov/ryujit-arm32-reload

[RyuJIT/ARM32] Fix helper kill mask and call target consuming

Use GetSystemTimePreciseAsFileTime if available in DateTime.UtcNow (#9736)

Merge pull request #9717 from tannergooding/math-intrinsics2

Updating codegenxarch to support single-precision CORINFO_INTRINSIC_Sqrt

JIT: keep ref count for runtime generic context lookups

Keep a ref count for runtime generic context lookups, and track when
an inlinee requires a runtime lookup but then ignores the resulting
context. Only report/keep the context alive if there are known uses.

This pattern happens frequently in inlined generic code that uses
type tests to extract properties of types.

Addresses #1691.

Merge pull request #9742 from sivarv/singleField

Enable promotion of structs containing fields of structs with a single pointer-sized scalar type field.

Merge pull request #9748 from AndyAyersMS/FixJitTestDir

Move jit tests to directory with proper casing

Use -f instead of -n when copying from Core_Root in runtest.sh

Merge pull request #9726 from alexperovich/codeFormat

Run dotnet/codeformatter on S.P.CoreLib sources.

Add jit test project checker as jit test (#9721)

Add the tool used to fix/repair projects as a test case. It will
fail with an error code if any project file in the jit test subtree
needs fixing.

This test requires CORE_ROOT to point at the test overlay and
that directory be rooted under the repo (other test cases already
have similar requirements).

CodeGenBringUp tests are noted as needing fixes, but are accounted
for under the category of "deferred fixes".

JIT: defer setting outgoing args size until after optimization (#9683)

For fixed out args ABIs, the jit currently computes the size of the
out arg area during morph, as it encounters calls that must pass arguments
via the stack.

Subsequently, the optimizer may delete calls, either because they are
pure and the results are unused, or because they are conditional and the
guarding predicates are resolved by the optimizer in such a way that
the call is no longer reachable.

In particular if all the calls seen by morph are subsequently removed by
the optimizer, the jit may generate a stack frame that it never uses and
doesn't need. If only some calls are removed then the stack frame may end
up larger than necessary.

One motivating example is the inlining of a shared generic method that
ignores its generic context parameter. The caller typically must invoke a pure
helper to determine the proper argument to pass. Post inline the call's result
is unused, and the helper call is deleted by the optimizer.

This change defers the outgoing arg size computation until fgSimpleLowering,
which runs after optimization. The code in morph now simply records the
needed size for each call in the associated fgArgInfo.

As before, the outgoing arg size computation ignores fast tail calls, since
they can use the caller-supplied scratch area for memory arguments.

The jit may introduce helper calls after optimization which could seemingly
invalidate the out args area size. The presumption here is that these calls
are carefully designed not to use the caller-supplied scratch area. The
current code makes the same assumption.

This change introduces some unanticipated diffs. Optcse estimates the
frame size to decide how aggressive it should be about cses of local
variable references. This size estimate included the out args area, which
appears to be something of an oversight; there are no cse opportunities
in this area and the offsets of the other local variables are not impacted
by the size of this area. With this change the out args area size is seen
as zero during optimization and so the cse strategy for a method may be
different.

Merge pull request #9582 from pgavlin/vzeroupper_x86_epilog

Do not report FP restores in x86 epilogs.

Merge pull request #9454 from mikedn/cgtun-to-cne

Morph (x GT_GT.unsigned 0) into (x GT_NE 0)

Move jit tests to directory with proper casing

Closes #9747.

Run codeformatter on S.P.CoreLib sources

Manual change to make codeformatter work

Rewrite Is4ByteAVXInstruction() and Is4ByteSSE4Instruction()

Enable promotion of structs containing fields of structs with a single pointer-sized scalar type field.

Merge pull request #9743 from weshaggard/UpdateUsingYourBuildDocs

Update UsingYourBuildDocs to use .NET Core 2.0 SDK

Update UsingYourBuild docs to use .NET Core 2.0 SDK

Merge pull request #9741 from brianrob/issue-9733

Disable Test Broken By CoreFX PR # 15767

Merge pull request #9655 from sdmaclea/PR-ARM64-JITGC-WIP3

[Arm64] Correct CORINFO_HELP_ASSIGN_BYREF killed mask

Format code.

Address PR feedback.

Disable broken tests.

Merge pull request #9727 from BruceForstall/DontBuildJitLib

Speed up JIT builds

Simplified MinOpts GC ref tracking. (#9231)

Simplified MinOpts GC ref tracking - when a method is compiled with MinOpts for targets with the 64-bit GC info encoder we mark all GC slots as untracked and we omit encoding call sites with no live tracked GC refs explicitly in the GC tables; this can be controlled using the new COMPlus_JitMinOptsTrackGCrefs environment flag.

Android: workaround absence of getcontext/setcontext (#9725)

* Android: workaround absence of getcontext/setcontext
use RtlCaptureContext and RtlRestoreContext

RyuJIT/ARM32: Fix helper kill mask and call target consuming

Fix code generation for array length check in legacy JIT

check array index is in register and reload it if spilled

Reduce code in SafeHandleAddRef (#9724)

If DangerousAddRef returns rather than throws, its argument will be true, so there's no need to branch on it.

Porting the CoreMangLib/cti/system/math tests to CoreMangLib/cti/system/mathf

Faster List Add (#9539)

[Arm64] Fix genCodeForCpObj()

CORINFO_HELP_ASSIGN_BYREF is the functional equivalent to

   *dst = *src;
   ++dst;
   ++src;

Note: Description ignores barriers.

Since src and dst are incremented the registers are marked dead.

In genCodeForCpObj(), the incremented values are will be reused
and therefore must be treated as live.  Add code to explicitly
force them live for this use case.

Updating codegenxarch to support single-precision CORINFO_INTRINSIC_Sqrt

Merge pull request #9363 from tannergooding/math-intrinsics

Updating jit/valuenum to properly handle the single-precision versions of the math intrinsics.

Do not report FP restores in x86 epilogs.

The x86 unwinder neither needs nor expects to see these restores (which
right now consist solely of a `vzeroupper` instruction that is emitted
to eliminate AVX <-> SSE transition penalties), which was causing unwind
failures under GC stress. This change stops reporting these restores as
part of a function epilog.

Fixes #9452.

Changing AddNative to AddByteOffset

Speed up JIT builds

We don't need to build the static lib and crossgen static lib
versions of the JIT unless FEATURE_MERGE_JIT_AND_ENGINE is set.
And, since we currently don't set it, this means doing two
fewer JIT builds.