Merge pull request #7189 from pgavlin/x86-cmp-long

Implement long compare lowering for x86.

Merge pull request #7188 from CarolEidt/Fix7160

Allow GT_OBJ for Arm64

Merge pull request #6892 from jamesqo/list-optimizations

Copy directly to the internal buffer in List.InsertRange

Address more PR feedback.

Address PR feedback.

Merge pull request #6974 from swaroop-sridhar/gc86

Implement GcInfo v2 for X86

Merge pull request #7187 from adiaaida/rotate

Remove NYI for x86 long rotate

ARM/Linux: Add codename xenial (#7158)

Add Ubuntu 16.04 code name Xenial to cross rootfs option

Introduce GT_JCC.

This node represents a jump that is conditional upon the value stored in
the target's condition code register. It is only valid in the backend.
No formal modeling of the CCR is performed, so its use must be
constrained such that instructions that def the CCR are not inserted
between the JCC node and the node that it expected to def the CCR.

This is currently only used when lowering compares of long-typed
values for x86.

Implement long compare lowering for x86.

Comparisons between long-typed values on x86 require at least two and
at most three separate branches: one or two to compare the high 32
bits and one to compare the low 32 bits. In essence, each long
compare introduces two additional basic blocks into the flow graph,
but these blocks were not reified until code generation. Furthermore,
code generation of a long comparison used by a JTRUE was deferred
until the JTRUE itself without marking the inputs to the compare as
live at the JTRUE. Taken together, these representational issues
caused bugs like the one seen in the the following assembly:

       33DB         xor      ebx, ebx
       BE03000000   mov      esi, 3
       33FF         xor      edi, edi
       8B75F0       mov      esi, dword ptr [ebp-10H] ; these 2 are reloads inserted by LSRA
       8B7DEC       mov      edi, dword ptr [ebp-14H] ; between the compare and the branch
       3BDF         cmp      ebx, edi
       72D6         jb       SHORT G_M51005_IG03
       7704         ja       SHORT G_M51005_IG04
       3BC6         cmp      eax, esi
       72D0         jb       SHORT G_M51005_IG03

The reloads that LSRA has inserted have killed the registers assigned
to the inputs to the compare, thus causing the compare instructions
to read unexpected values (GH #7038).

Although a number of alternatives were discussed, the best solution
seems to be to expose the control flow via the flow graph rather than
leaving it until code generation; this commit implements that approach.

Implement GcInfo v2 for X86

This commit includes the following changes:
1) Thread GcInfo version through X86 specific APIs
2) Add ReturnKind and ReversePinvokeOffset fields to InfoHdr structure
   GcInfo v1 and v2 use the same InfoHdr structures, because:
   InfoHdrSmall: ReturnKind is encoded within previously unused bits.
   InfoHdr: revPInvokeOffset will never be written to the image,
            since ReversePinvokeOffset==INVALID_REV_PINVOKE_OFFSET for V1.
3) Update the Pre-computed header table to include bits for the above
   [The default setting of ReturnKind=RT_Scalar is used for all entries in the table.
    Optimizing this table based in most frequent usage scenarios is to be done separately]
4) Change the GC encoder/decoder to handle the above two fields
5) Use the ReturnKind in the GCInfo from thread-suspension code.

GcInfo version is changed for CoreCLR X86 only, not for Desktop JIT
Fixes #4379

Remove NYI for x86 long rotate

For x86 rotate a long by a variable amount, we will just default to what
legacy backend does, which ultimately will generate two helper calls. In
the future, we may want to write a helper function for rotate for these
cases to eliminate one of the helper calls.

Fix Unix issue with string address below 64kB (#7183)

This change fixes a problem that has started to occur in the ARM32 Linux CI
tests. A string located below 64KB in the address space is passed to the
StringObject::StringInitCharHelper and the code throws an exception since
on Windows, values below 64kB represent atoms and not strings.
This check should not be done for FEATURE_PAL though.

Merge pull request #7012 from kyulee1/fix6844

X86: Fix inline assertion

Update new String.Split methods to use optional params (#7175)

The new `Split(string)` overload broke source compat with uses of
`Split(null)`, which is documented to split based on white space,
because it makes the call ambiguous between `Split(char[])` and
`Split(string)`.

To maintain source compatibilty, `Split(string)` has been removed,
leaving just the overloads with `StringSplitOptions` parameters, which
are now optional. Making `StringSplitOptions` optional allows calls
to `Split(string)` while maintaining source compat with calls to
`Split(null)` which still binds to `Split(char[])` in C#, VB, and F#.

The new `Split(char)` overloads get the same changes for consistency
with `Split(string)`.

Use the correct HijackHelper for X86 FP (#7182)

On X86, the helper OnHijackFPTripThread must be used for hijacking
methods returning a float value.

Allow GT_OBJ for Arm64

GT_OBJ is used on Arm64 for struct passing, but was inadvertently flagged
as an illegal node in Lowering.
Fix #7160

Merge pull request #7177 from smile21prc/coreclr-perf

Extend the coreclr Windows perf run result lifetime

For perf, we need to keep the run results longer for analysis.

Update CoreClr, CoreFx, External to beta-24513-04, beta-24513-02, beta-24513-00, respectively (#7006)

X86: Fix inline assertion

Inline assertion occurred since we didn't bail out the inline fail case
early.
During the test, I got another assertion about debug flag where #7173 is
filed with x86 legacy back-end.
With x86 ryujit back-end, there is an infinite loop from #7038.

Fixes #6844

Merge pull request #7164 from BruceForstall/FixTestExclusions

Add issue comments to excluded tests

Merge pull request #7172 from smile21prc/coreclr-perf

Enable archive for coreclr perf Linux runs, and fix a few bugs.

List all generated perf .xml files.

Merge pull request #7166 from adiaaida/removeNYIs

Remove unnecessary NYIs in Decompose

Remove unnecessary NYIs in Decompose

GT_DIV, GT_MOD, GT_UDIV, GT_ROL, GT_ROR, and GT_MULHI will never make it
to decompose, so remove the case statements for those operations. They
will fall through to the default case, which noway_asserts that we haven't
gotten to decompose with an oper that we don't recognize.

Merge pull request #7145 from sivarv/JitStressRegs8Fix

Fix to #7091 - Assert failure 'currentInterval && (currentInterval->isLocalVar || currentRefPosition->isFixedRegRef || currentInterval->hasConflictingDefUse)'

Add issue comments to excluded tests

Add Array.Reverse<T> (#7132)

* Add Array.Reverse<T>

Add generic `Reverse<T>` methods to `Array`.

* Change List<T>.Reverse to use Array.Reverse<T>

Implement `List<T>.Reverse` using `Array.Reverse<T>`.

Remove a field from the CopyToAsync async state machine (#7157)

The compiler is lifting the local ```bytesRead``` into a field on the async state machine, even though its value need not be preserved across any await.

Enable Debian Jessie for ARM rootfs build (#7140)

Replace % inside loop of Random ctor (#7156)

Fix funceval for enregistered value types arguments. (#7149)

Issue #7115.

MethodDescCallSide.CallTargetWorker used by funceval needed to deal with
enregistered 16 byte value types arguments not just return values.

Merge pull request #7153 from dotnet-bot/from-tfs

Merge changes from TFS

Fix uninitialized local build break

[tfs-changeset: 1626936]

Merge pull request #7130 from BruceForstall/Fix7086

RyuJIT x86: Implement GS cookie check for functions with tailcall

Clean up COMPlus_JitMemStats / MEASURE_MEM_ALLOC (#7119)

Clean up COMPlus_JitMemStats / MEASURE_MEM_ALLOC (all of it is off by default for non-DEBUG builds).

Merge pull request #7105 from adiaaida/umodLong

Implement DecomposeUMod

Implement DecomposeUMod

This change implements DecomposeUMod for x86 RyuJIT. The only GT_UMOD
nodes that make it to decompose are ones where op2 is a cast from a
constant int to long. Because op2 is an int, we can guarantee that the
result will be an int. Therefore, in decompose, we change the type of the
GT_UMOD to be TYP_INT, and replace op2 with its lo part. We set the high
part of the GT_LONG to be 0, since the divisor < 0x3fffffff. In lower, we need
to make sure that loOp1 is in RAX and hiOp1 is in RDX, which is where
idiv expects them to be. We also increase the number of sources since
there are now three sources. In codegen, we need to make sure that the hi
and lo parts of the dividend are in the correct registers for idiv, then
we can just use the normal logic for GT_UMOD.

Merge pull request #7126 from mikedn/x86-cast-long-int-overflow

Implement long to int casts with overflow for x86

RyuJIT x86: Implement GS cookie check for functions with tailcall

Fixes #7086, one of the most common asserts in stress runs.

I moved some helper code from the legacy codegen to codegencommon
so it could be used. I also added the code to generate the GS
cookie check for tailcall via helper code (on x64, we never
generate GS cookie checks when there are tailcalls).

Merge pull request #7148 from BruceForstall/Fix7127

Restrict x86 legacy JIT struct promotion

Merge pull request #7133 from mikedn/x86-cast-long-float

Implement long to float cast for x86

Merge pull request #7102 from vancem/ETWGCDumpFix.9-7-16

Fix Issue dumping GC heap with ETW more than once

Restrict x86 legacy JIT struct promotion

Don't allow struct promotion for custom layout structs. RyuJIT started
supporting this, but the legacy x86 JIT doesn't properly push such promoted
structs as arguments for calls.

Fixes the assert in #7127, but the test fails with a crash in a later test case.

Merge pull request #7136 from benaadams/enviro

Updated formatted GetResourceString code reduction

Merge pull request #7142 from joperezr/FillOutMissingStringMembers

Adding missing String members to coreclr

Fix to #7091.

Merge pull request #6791 from dagood/upgrade-xunit-runner

Upgrade xunit runner to 2.2.0-beta2-build3300

Removing one String member to avoid depending on ArgIterator

Adding missing String members to coreclr

Implement long to float cast for x86

Convert long to float/double casts to helper calls. Despite the call this version is 2x faster than JIT32's FILD implementation which suffers a significant store forwarding stall penalty.

Fix Environment no-inlining for mscorlib

Reduce code bloat around formatted GetResourceString calls

Merge pull request #7067 from pkukol/timing_bit_rot

Fix some timing code bit rot, plus minor cleanup.

Merge pull request #7125 from pgavlin/ModelAssignByRefKillSet

Model the kill set for ASSIGN_BYREF and stop generating movsq on x86.

Merge pull request #7122 from BruceForstall/Fix7092

Fix #7092

Merge pull request #7120 from BruceForstall/Fix7093

Fix #7093

Merge pull request #7114 from BruceForstall/Fix7100

Fix #7100

Implement long to int casts with overflow for x86

Fix #7092

The problem is genCodeForInitBlkUnroll() is trying to generate:
```
mov byte ptr [edi], si
```
which is not legal: ebp/esi/edi/esp don't have byte register versions on x86.

This change requires the source register to be an x86 byteable register in
this case.
Note that legacy JIT generates stosb for this test.

Do not use movsq on x86.

This instruction is only available when targeting amd64.

Model the kill set for ASSIGN_BYREF on x86.

This helper kills esi, edi, and ecx.

Merge pull request #7111 from sivarv/jitstressregs2Fix

Fix to #7087 - x86 RyuJIT JitstressRegs=2 assert failure

Merge pull request #7108 from kyulee1/igmeta

ILDAMS: Ignore Metadata flag for CoreCLR

Merge pull request #7121 from swgillespie/request-build-break

Only reference IGCHeap::gcHeapType when FEATURE_SVR_GC is defined

Only reference IGCHeap::gcHeapType when FEATURE_SVR_GC is defined

Fix enregistered max size constants on Unix AMD64 (#7117)

This change fixes ENREGISTERED_PARAMTYPE_MAXSIZE and ENREGISTERED_RETURNTYPE_INTEGER_MAXSIZE
constants that were not updated properly for the Unix AMD64 ABI. The values are used
for Unix/AMD64 for marshalling and typedbyref parameters and our tests probably don't
execute those code paths with structs larger than 8 bytes.

Merge pull request #7118 from dotnet/revert-6889-StaticField

Revert "Fix IMGREL32 static field addr value-num blindspot"

Fix #7093

This is an assert due to how STRESS_64RSLT_MUL is implemented. This
stress mode converts:
```
/--*  lclVar    int    V01 loc0
*  *         int
\--*  lclVar    int    V01 loc0
```
to:
```
*  cast      int <- long
|  /--*  cast      long <- int
|  |  \--*  lclVar    int    V01 loc0
\--*  *         long
   \--*  cast      long <- long
      \--*  nop       long
         \--*  lclVar    int    V01 loc0
```
Thus, the long 'nop' node is above an 'int' operand node. This led to an assert
in genCodeForTreeLng() that the lclVar was type long, which is isn't.

I added yet another cast under the 'nop' to fix this typing problem:
```
*  cast      int <- long
|  /--*  cast      long <- int
|  |  \--*  lclVar    int    V01 loc0
\--*  *         long
   \--*  cast      long <- long
      \--*  nop       long
         \--*  cast      long <- int
            \--*  lclVar    int    V01 loc0
```

Revert "Fix IMGREL32 static field addr value-num blindspot"

Merge pull request #7116 from dotnet-bot/from-tfs

Merge changes from TFS

Fix a build break introduced by GH#6764

[tfs-changeset: 1626397]

Fix #7100

This issue is the following assert:
```
Assert failure '!emitComp->opts.compReloc || memBase->IsIconHandle()'
```
while ngen'ing mscorlib on desktop.

We're trying to generate
```
cmp ebx, dword ptr [0000H]
```
(due to inlining). But, emitInsBinary() doesn't expect a zero address that
is not a relocatable handle.

Simply change the assert to allow this. The code then generates the correct
zero base address.

Merge pull request #7112 from rahku/appdomain

Add AppContext.UnhandledException to ref file

Add AppContext.UnhandledException to ref file

Fix to #7087

Merge pull request #7071 from erozenfeld/StackOverflow

Make GT_LIST processing non-recursive to avoid StackOverflow.

ILDASM: Ignore Metadata flag for CoreCLR

Full metadata emission is disabled under coreclr.
So is ILDASM instead of failing during the run.

Fix the fixes.

Fix some timing code bit rot, plus minor cleanup.

Merge pull request #7107 from pgavlin/gh7089

Fix #7089.

Merge pull request #6764 from swgillespie/gc-interface-3

Move the GC behind an interface and use that interface in the VM

Introduce an interface separating the GC and the VM,
modifying the VM to utilize this interface.

Introduce an interface separating the GC and the rest of the VM

Remove static members of both IGCHeap and IGCHeapInternal and move the management of the singular GC heap to the VM.

Rename uses of IGCHeap in the VM to GCHeapHolder, as well as other misc. renames throughout the VM and GC.

Split each interface function into categories, document them, use consistent formatting across the interface

Undo some accidental find/replace collateral damage

Remove all ifdefs from the GC interface

Deduplicate function declarations between IGCHeap and IGCHeapInternal, expose AllocAlign8 through the interface and the reference to alloc_context to repair the ARM build

Paper cut: false -> nullptr

Repair the ARM and x86 builds

Rename GCHeapHolder -> GCHeapUtilities and address documentation feedback

Rebase against master

Rename gcholder.h/cpp -> gcheaputilities.h/cpp

Fix an uninitialized field on alloc_context causing test failures on clang

Rename the include guard for gcheaputilities.h

Un-breaks SOS by making the following changes:
  1) Instructs the DAC to look for IGCHeap::gcHeapType by name,
     instead of assuming that it exists near g_pGCHeap,
  2) Eliminate all virtual calls on IGCHeap in the DAC, since we cannot
     dispatch on an object in another process,
  3) Because of 2, expose the number of generations past the GC interface
     using a static variable on IGCHeap that the DAC can read directly.

repair the Windows build

Merge pull request #7106 from pgavlin/DecompTP

Improve decomp throughput.

Return false from isRegPairType for RyuJIT.

The RyuJIT backend does not use regpair types, so this method should
simply return false when that backend is in use. In the future we
should consider removing this method (and other regpair-related code).

Fixes #7089.

Merge pull request #6995 from rahku/appdomain

Exposes runtime functionality to Appdomain implementation in corefx

Merge pull request #4986 from mikedn/x86-cast-int-long

Implement integer to long/ulong casts for x86

Improve decomp throughput.

Don't find uses unless necessary. This saves about 50 milliseconds while
crossgen'ing mscorlib.

Exposes runtime functionality to Appdomain implementation in corefx

Merge pull request #7011 from svick/earlyprop-unused-var

Fix BBF_HAS_NULLCHECK test

Add a NYI for a long compare codegen issue

Tracked by #7038

Implement integer to long/ulong casts for x86

Add constraint to Enum.Parse<TEnum> (#7104)

Merge pull request #6889 from JosephTremoulet/StaticField

Fix IMGREL32 static field addr value-num blindspot

Merge pull request #6754 from hseok-oh/castd2ul

disable gtFoldExprConst for conversion from negative double to unsigned long

Make TryEnsureSufficientExecutionStack public (#7077)

Fix OSX build break in PAL tests (#7101)

This fixes a build break in PAL tests introduced by a recent checkin
that converted PAL tests to C++.

Fix issue where Type Names are not resolved if a heap dump is done twice.

The issue is that a table that remembers which types have been dumped is only
flushed when the 'Types' ETW keyword is disabled, but we only check this when
and ENABLE command is executed.  We should do so on DISABLE a well

Merge pull request #7023 from pgavlin/X87MathIntrinsics

Stop treating sine/cosine/round as target intrinsics on x86.