Comments

Rebase fixes

Move compare "decomposition" code

In the original implementation long compares were decomposed in LowerCompare and the rest of the work was done in TreeNodeInfoInitCmp, this restores that ordering.

This enables the and-cmp to test transform for the high part comparison of a long comparison on 32 bit. The low part is unfortunately not handled because the CMP and the AND are in different BBs.

Code like
       mov      eax, dword ptr [edi]
       mov      edi, dword ptr [edi+4]
       and      eax, 0xD1FFAB1E
       and      edi, 0xD1FFAB1E
       jne      SHORT G_M14457_IG11
       test     eax, eax
       je       G_M14457_IG15
becomes
       mov      eax, dword ptr [edi]
       and      eax, 0xD1FFAB1E
       test     dword ptr [edi+4], 0xD1FFAB1E
       jne      SHORT G_M14457_IG11
       test     eax, eax
       je       G_M14457_IG15

Move int/long compare tweak again

It turns out that loop cloning can generate small int/long comparisons as well and then this code can narrow down the comparison to small int. This requires setting the GTF_UNSIGNED flag so this code must run before the code that checks for small int comparisons.

No FX diffs.
To be sure move this long/int comparison tweak before anything else.

Comments

Simplify genCompareInt

- Remove redundancy around cmp/test selection
- Simplify type selection,  the case when the types are identical is the most common so it should be first
- Add a bunch of asserts to check tha the selected type is correct.

Move int/long compare tweak to LowerCompare

Normally we should not get int/long compares but the JIT accidentally produces such compares sometimes.

Doing this in lowering requires to add a cast node but since this rarely happens the cost of adding a new node is not a concern.

FX diff shows a 151 bytes improvement without any regressions. All differences are due to narrowing int/long compares to int/int when the long operand is a constant.

Such narrowing usually avoids the need for a REX prefix and in some rare cases also allows a memory operand to be contained.

Move small unsigned type tweak to LowerCompare

This belongs in either LowerCompare or genCompareInt, it has nothing to do with TreeNodeInfoInitCmp.

Since this comparison change doesn't require codegen to actually generate a small compare let's move it to LowerCompare. It already tweaks types in a manner that requires changing the comparison type and having this there removes some redundancy.

No FX diffs.

Introduce OperIs

Checking a GenTree's oper is a common operation so having a shorter way of doing it should be useful, especially when considering the requirement to paranthesize code like x == a || x == b.

Better test narrowing

The previous implementation attemped to narrow down the test mask to have the same type as the memory operand. Appart from unnecessary complications that arise from sign extension the approach doesn't yield the best results in terms of code size.

FX diff shows a 586 bytes improvement without any regressions. All improvements are of the form

test     byte  ptr [rcx+64], 1

instead of the 3 byte longer

test     dword ptr [rcx+64], 1

Handle cmp(and(x, y), 0)

There's no need to require y to be a constant. This restriction was an artifact of the old implementation using containment in lower/codegen to recognize this pattern.

This results in a couple of hundred AND instructions being converted to TEST. This is preferable as TEST can be macro-fused with the conditional branch that may follow it.

Occasionally this also saves a MOV because TEST doesn't update its first operand like AND does.

FX diff shows a 118 bytes improvement without any regressions.

Stop narrowing cmp(cast<ubyte>(icon), 0)

This isn't useful and requires special code to narrow the cast operand. The expression is constant and compiling such an expression shows that JIT does fold it so it doesn't reach lowering.

No FX diffs.

Introduce genTypeValueFitsIn

Handle small memory compares against 0

The previous commit missed the TYP_BOOL case that the original code handled. But then the original code failed to do this thinking that "test" will be used. But that means we end up with a "movzx" as well:
       movzx    rax, byte  ptr [rsi+24]
       test     eax, eax
instead of just
       cmp      byte  ptr [rsi+24], 0

The Intel manual actually recomends against using the "cmp mem, imm" form but not if other instructions need to be added. This may warrant further investigation though.

FX diff shows a 7579 bytes improvement without any regressions.

Contain "op1" from "cmp op1, icon" only if types are identical

LowerCompare already adjust the types to match when possible so there's no point in comparing type sizes.

No FX diffs.

Remove unused code

Move and-cmp-test transform from TreeNodeInfoInitCmp to LowerCompare

FX diff shows a 32 bytes improvement without any regressions. Previously the first GT_AND operand wasn't marked reg optional and sometimes it ended up being loaded into a register:

mov      eax, dword ptr [rsp+B0H]
test     eax, 1

Not anymore:

test     dword ptr [rsp+B0H], 1

Also, we now generate TEST instead of AND even in cases where the second AND operand isn't a containable constant.

Add GT_TEST_EQ and GT_TEST_NE

Move and-cmp-nonzero transform from TreeNodeInfoInitCmp to LowerCompare

FX diff shows a 34 byte improvement without any regressions. In the original code this transform was unnecessarily blocked by an uncontainable GT_AND bit mask:

mov      rax, 0x80000000
and      rax, qword ptr [rsp+08H]
mov      rdx, 0x80000000
cmp      rax, rdx
sete    al

now generates

mov      rax, 0x8000000000000000
and      rax, qword ptr [rsp+08H]
setne    al

Remove unused GTF_RELOP_SMALL

Move cast elision from TreeNodeInfoInitCmp to LowerCompare

No FX diffs

Move narrowing from TreeNodeInfoInitCmp to LowerCompare

FX diff shows a 1274 bytes improvement without any regressions. The original code didn't narrow the compare when op2 was 0. Because of this we had

movzx eax, byte ptr [ebx]
test eax, eax

instead of the shorter

cmp byte ptr[ebx], 0

Merge pull request #8925 from pgavlin/HeapVerifyIncompatibleTests

Mark a small number of tests heap-verify-incompatible.

Merge pull request #8908 from CarolEidt/Contained

Don't treat spill temps as contained

Use nameof in place of hardcoded variable names (#8968)

Fixes #8967

Fix armel toolchain setting (#8961)

This PR fixes build fail for armel(debian)

Signed-off-by: chunseoklee <chunseok.lee@samsung.com>

Update description related to ARM rootfs (#8962)

Update description in script and documentation related to ARM rootfs.

1. Change arm-softfp to armel to apply recent changes.

2. Change UbuntuCodeName to LinuxCodeName
For arm and armel, rootfs are available from three different Linux distro.
    For arm, Ubuntu is available.
    For armel, Debian and Tizen are available.

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

[ARM32/Linx] cross-architecture build: restrict build project list (#8918)

* [ARM32/Linx] cross-architecture build: restrict build project list

Restrict build project for ARM32/Linux cross-architecture
We can build these projects with PR #8866 and #8917. (release build)
- crossgen
- clrjit
- protojit

* modify crosscomponents.cmake

Add list items when not Linux, instead remove in Linux

[x86/Linux] Port ''ExceptionTracker::UpdateNonvolatileRegisters' (#8915)

Remove unused mscoree files and code (#8956)

Remove mscorpe cruft (#8957)

Merge pull request #8953 from kouvel/InterruptInFinally

Enable thread interrupt in finally blocks, remove some invalid asserts

Remove invalid asserts in threads.cpp, DoAppropriateWaitWorker(int, ...)

These cases are actually possible because Windows APIs are inconsistent in their behavior when invalid handles are concerned. Depending on the invalid handle's value, a multi-wait can error with ERROR_INVALID_HANDLE, and a single-wait on an invalid handle could return WAIT_TIMEOUT.

Enable Standalone GC builds in the CI on OSX and Linux (#8950)

Enable thread interrupt in finally blocks

Thread abort was not allowed in finally blocks, but the same logic was being applied to thread interrupt as well. There is nothing special about thread interrupt that requires it to not work in finally blocks.

Check if xsave is enabled by OS before calling xgetbv in XmmYmmStateSupport (#8939)

* Check if xsave is enabled by OS before calling xgetbv in XmmYmmStateSupport. Fix #8903

* Add ebx to clobbered registers.

Don't treat spill temps as contained

Make Contained refer only to whether code is only generated for a node as part of its parent.
Spill temps that are used from memory are not contained, as code is generated for them.
Add methods to indicate whether an operand is used from register, memory (including spill),
or spill specifically, for use by codegen in distinguishing these cases.

Merge pull request #8938 from ellismg/fix-corefx-hash-and-artifacts-for-ci

Use a fixed version of CoreFX for testing

Fixes to make runtime work on ARM64 Linux (#8947)

This is a result of attempt to bring up CoreCLR on ARM64 Android.
The bring up is on hold now, but I want to check in the changes
that added ARM64 asm helpers and fixed general Linux ARM64 issues.

Merge pull request #8934 from wtgodbe/localpkg

Stop build from leaving localpkg cache in src

Stop build from leaving localpkg cache in src

Use a fixed version of CoreFX for testing

CoreFX is going to be merging changes soon that will break how we
consume them to do our testing. To give us time to react, we'll fix
the version of the repository we build to a commit before the
changes. We'll also download artifacts from a saved build (produced
before the change took place) so the layout is as we expect.

The issue tracking cleaning this up is #8937

Merge pull request #8935 from AndyAyersMS/FixSmAssert

JIT: remove match accounting from inliner state machine

Fix Mutex.ReleaseMutex exception type for compatibility (#8941)

Remove #if false blocks (#8933)

JIT: remove match accounting from inliner state machine

The inliner's code-size estimating state machine keeps count of
matches, but the count was only used in an assert that checked
that the count did not overflow.

The assert fired when jit stress drove the inliner to evaluate a
huge method as a potential inline candidate and the count reached
the overflow value.

This change removes the counting and the related assert.

Closes #8932.

Merge pull request #8931 from dotnet-bot/master-UpdateDependencies

Update CoreClr to beta-24912-04 (master)

Merge pull request #8928 from CarolEidt/Fix8898

Fix putArgStk dstCount and ConsumeReg errors

Merge pull request #8806 from sandreenko/array-bounds-check

Сhange children order in GenTreeBoundsChk. Fix #8077

Prefer using Array.Length as upper for loop limit (#8923)

The JIT can't eliminate range checks if it can't "see" Length and uses loop cloning which generates a lot of code. Even in cases where not all range checks can be eliminated and loop cloning is used anyway it's still preferable to have fewer range checks.

For example, SortExceptions is ~140 bytes shorter after this change, despite the fact that loop cloning is still being used.

Update CoreClr to beta-24912-04

Fix putArgStk dstCount and ConsumeReg errors

The LastConsumedNode used in genCheckConsumeNode was not initialized for arm64.
Fixing this exposed several places where nodes were being consumed twice or in the wrong order.
In addition, since GT_PUTARG_STK doesn't define a register, its dstCount needs to be zero. This is enabled by checking IsValue() instead of type of TYP_VOID for the default case of TreeNodeInfoInit. This was missed for both arm and arm64.

Mark a small number of tests heap-verify-incompatible.

These tests simply take too long to execute when run with heap
verification.

Merge pull request #8909 from gkhanna79/Docker1404

Add optional argument to skip unmount for rootfs

Merge pull request #8840 from CarolEidt/Fix8824

Fix initialization of resolution sets

[x86/Linux] Port 'ExceptionTracker::ProcessOSExceptionNotification' (#8912)

Merge pull request #8588 from litian2025/AVX_SSE

Remove AVX/SSE transition penalties

fix format

Update CoreClr, CoreFx to beta-24911-02, beta-24911-08, respectively (#8855)

Add more comments to document remove AVX/SSE transition penalty logic

Merge pull request #8905 from JosephTremoulet/OneMoreHeapUse

Remove bogus fgCurHeapDef guard

Merge pull request #8879 from russellhadley/span-intrinsics

Initial implementation of two field span.

Fix initialization of resolution sets

This was causing a failure during dumping.
Fixing it exposed another dumping failure in crossgen of System.Private.Corelib.dll on x86, due to a dead node. I've fixed the assert, but I believe the dead node should have been eliminated. I filed issue #8839 for this.

Fix issue #8139 amd64 decoder bug. (#8901)

Ignore modrm == 0 which ignores "inc dword ptr []" instructions.

Also fixed minor EEHeap formatting bug on Linux.

Merge pull request #8907 from DrewScoggins/PullRequestFix

Fix pull request title automation

Add clang 3.7 support and remove __FakePrologName to fix build (#8904)

* add clang 3.7 support

* Removing

__FakePrologName="DelayLoad_Helper\suffix\()_FakeProlog"

based on https://github.com/dotnet/coreclr/issues/4332#issuecomment-271990909

Fix pull request title automation

When I added the ability to give a custom name to a run that was kicked
off using the PR leg I did it by adding an additional parameter.  When
using a variable name there I need to use the dollar sign syntax of
groovy and not an environment variable.

Add optional argument to skip unmount for rootfs

Merge pull request #8897 from pgavlin/GH8860.1

Fix #8860.

Format code.

Merge pull request #8899 from pgavlin/FixTotalMemoryTest

Fix the GC total memory test.

Merge pull request #8900 from adiaaida/fix8550

Copy lvExactSize to shadowVar

use assert insteaf of if statement

Rewrite CalleeSavedRegisters for x86 (#8871)

This commit revises CalleeSavedRegisters for x86 using
ENUM_CALLEE_SAVED_REGISTERS as in x64.

Initial implementation of two field span.

Implements two field span struct which is comprised of a byref field
that may be an interior pointer to a managed object, or a native
pointer indicating the start of the span, and a length field which
describes the span of access.

Since there is no MSIL operation which assign a byref field, the jit
gets involved and treats the constructor and getter of a special struct
called ByReference that contains an declared IntPtr.  This special
struct is then used as a field in the span implementation and recognized
by the runtime as a field that may contain a GC pointer.  In
implementation, the ctor of ByReference is converted into an assignment
value is returned by a reverse assignment.

Since there are some dependencies on CoreFX for the span implementation
local testing of the implementation has been done using the
BasicSpanTest.cs in the CoreCLR tests.  Once this is checked in and is
propagated to CoreFX the apporopate code in the packages will be enabled
and then may be referenced in CoreCLR tests.  At that time more span
tests will be added.

Additional comments and fixes based on code review added.

Merge pull request #8570 from sbomer/dasm_automation

Fix some problems with the ubuntu dasm output

Merge pull request #8551 from AndyAyersMS/FinallyCloning

Finally cloning

Remove bogus fgCurHeapDef guard

We should set fgCurHeapUse when visiting a heap use regardless of whether
fgCurHeapDef is set, because we haven't proven that the def writes all
memory that the use might read.  This should have been included in #8757
but somehow slipped through.

Copy lvExactSize to shadowVar

For TYP_SIMD12 vars, we need to copy the lvExactSize to the shadowVar
so that we have the right size in lower.

Fixes #8550.

Fix the GC total memory test.

This test was relying upon the result of GC.GetTotalMemory() returning a
greater number after allocating a large array. However, the array was
not kept live past the call to GC.GetTotalMemory, which resulted in this
test failing under GCStress=0xC (in which a GC is performed after each
instruction). This change adds the requisite call to GC.KeepAlive to
keep the allocated array live enough to be observed by
GC.GetTotalMemory.

Fix #8860.

These failure was an assertion under GC stress due to registers that
were reported as live while containing an invalid GC reference. The root
cause of this assertion was the use of SIMD instructions that did not
kill any GC ref contained in their destination register. This change fixes
the bug by properly killing any GC ref in the destination register for
such an instruction, which required two changes:
- Instructions with the format `IF_RRW_RRW_CNS` were never killing the
  destination register. The code that handles this format has been
  updated to do so when necessary.
- `pextrw` and `pmovmskb` were not handled correctly in
  `emitInsCanOnlyWriteSSE2OrAVXReg`. These instructions may write to
  GPRs, so that function must return false when they are passed as
  input.

Merge pull request #8880 from JosephTremoulet/SimplifyHeapPhiArg

Simplify HeapPhiArg

Add parameterless overloads of TrimStart/TrimEnd (#8834)

Add parameterless overloads of TrimStart/TrimEnd

Merge pull request #8892 from stephentoub/enumeq_ser

Fix deserialization of EnumEqualityComparer

[ARM32/Linux] Fix cross-architecture build error: T_CONTEXT (#8888)

confusion of T_CONTEXT and CONTEXT in projects
- cee_dac
- gc_wks

related issue: #8885

Fix deserialization of EnumEqualityComparer

Its deserialization ctor is getting removed by the rewriter, causing deserialization of its instances to fail.

Merge pull request #8868 from stephentoub/linkedcts_array

Remove array allocation from CTS.CreateLinkedTokenSource

fix format error

fix comments, assertion failure in crossgen mscorlib

JIT: Finally Optimizations

Adds two optimization for try-finallys: empty finally removal and
finally cloning.

Empty finally removal identifies trivially empty finally clauses and
removes the entire try-finally EH region. COde in the try is "promoted"
to be in the parent EH region (or method region). Empty finallys often
appear after inlining empty Dispose methods. Removing a try-finally with
an empty finally both reduces code size and improves code speed.

Finally cloning duplicates the code for the finally and 'inlines' it
along one of the normal exit paths from the try. This improves code
speed in the typical case where there is no exception raised while
the try is active. It generally increases code size slightly. However,
finallys are rare enough that the overall code size increase across
all methods is quite small. The jit will clone most finallys, provided
they are not too large, and are not contained in or contain other EH
constructs. If a try contains multiple exit paths only the final "fall
through" path will be optimized.

These optimizations are enabled for all target architectures. Finally
cloning is currently disabled for desktop CLR because more work is needed
to support thread abort.

More details on both optimizations can be found in the design document
added as part of this commit.

In debug builds, finally cloning can be selectively disabled or enabled
by setting COMPlus_JitEnableFinallyCloning to 0 or 1 respectively. This
config setting can thus be used override the default behavior (cloning
enabled for CoreCLR, disabled otherwise) for diagnostic or testing purposes.

Closes #1505. Closes #8065.

Merge pull request #8862 from sandreenko/ReversePInvoke-encoding-in-gc

SetReversePInvokeFrameSlot into gcInfo for reversePInvoke

Add Microsoft.NETCore.Native package (2nd attempt) (#8882)

* Adding Microsoft.NETCore.Native package (#8791)

* "Adding Microsoft.NETCore.Native package"

* Adding generic linux configuration to Microsoft.NETCore.Native package

* Fixing the OSX pkgproj of Microsoft.NETCore.Native to include S.Globalization.Native.dylib and not .so

* Fixing the osx release build.

rename, use getSIMDInstructionSet()

[x86/Linux] Fix WIN64EXCEPTIONS build error (#8629)

* Move GetUnwindInfo and GetNumberOfUnwindInfos into the real code header

This commit fixes #8342.

* Use WIN64EXCEPTIONS instead of _TARGET_X86_

* Revise FaultingExceptionFrame

This commit revises FaultingExceptionFrame to support WIN64EXCEPTIONS in
x86/Linux port.

* Add RUNTIME_FUNCTION__EndAddress as NYI

* Revise regdisp.h

* Revise eetwain.h

* Comment out exinfo.cpp if WIN64EXCEPTIONS is defined

* Revises excep.cpp

* Fix mistmatch in ThrowControlForThread defintion

* Revises cgenx86.cpp

* Disable SEH-based exception handlers when WIN64EXCEPTIONS is defined

* Revise stackwalk.cpp

* Revise jitinterface.cpp

* Revise readytorun.h

* Revise dbgipcevents.h

* Revise zapcode.cpp

* Revise clrnt.h

* Fix Windows build error

* Mark FaultingExceptionFrame::UpdateRegDisplay as NYI

* Revise per feedback

* Revert #if defined(..) as #ifdef

* Fix style changes

* Fix style changes

* Remove #undef _TARGET_X86_

* 2nd attempt to fix Windows build error

* Revise per feedback

* Revert the chagnes in clrdefinitions.cmake and add BIT32 in CMakeLists.txt

* Use !BIT64 instead of BIT32

* Include exceptionhandling.cpp and gcinfodecoder.cpp in build

This commit includes exceptionhandling.cpp and gcinfodecoder.cpp in
build, and fixes related compile errors.

* Fix COMPlus_EndCatch undefined reference

* Fix build error

* Fix GcInfoDecoder-related undefined references

* Fix AdjustContextForVirtualStub undefined reference

* Fix GetCallerSP undefined reference

* Fix ResetThreadAbortState undefined reference

* Attempt to fix Windows build error

* Fix CLRNoCatchHandler undefined reference

* Another attemp to fix Windows build error

* Fix GetXXXFromRedirectedStubStackFrame undefined references

* Fix Windows Build Error

* Add RtlpGetFunctionEndAddress and RtlVirtualUnwind as NYI

* Fix undefined references on JIT helpers

* Enable Dummy Application Run with WIN64EXCEPTIONS

* Revert "Move GetUnwindInfo and GetNumberOfUnwindInfos into the real code header"

This reverts commit c2bad85ac1136be3c6fb6ad7eedc5b3814b2ab29.

* Use indirect code header when WIN64EXCEPTIONS is enabled

* Port 'SyncRegDisplayToCurrentContext' and 'FillRegDisplay'

* Revise style 'RUNTIME_FUNCTION__SetUnwindInfoAddress'

* Extract out HandlerData from #ifdef region

* Add UNIXTODO

* Add UNIXTODO

* Port 'GetRegdisplayReturnValue'

* Fix incorrect comment

* Remove messages that mentions WIN32EXCEPTIONS

* Revise AdjustContextForWriteBarrier

* Port 'FaultingExceptionFrame::UpdateRegDisplay'

* Extract out 'AdjustContextForVirtualStub' and 'CLRNoCatchHandler' from #ifdef region

* Merge two #ifdef regions

* Set WIN64EXCEPTIONS as a default for x86/Linux

* Remove unnecessary #ifdef from ThrowControlForThread

* Remove unnecessary stubs

* Add Dependency Check between Compile Flags

* Revise per feedback

Merge pull request #8881 from CarolEidt/FixPutArgStk

Fix handling of PutArgStk

[x86/Linux] Fix generic context(hidden arg) position (#8848)

This fixes how to handle generic context position in x86 by num of arguments

[x86/Linux] Introduce UNIX_X86_ABI definition (#8863)

Add UNIX_X86_ABI definition for Unix/Linux specific ABI parts
First will be for 16 byte stack alignment codes

Updates based on PR review.

fix format error

Merge pull request #8876 from pgavlin/LVAThroughput

Do not rerun LVA if only live-out has changed.