Merge pull request #13250 from JosephTremoulet/CaptureHead

Stop rejecting loops with backward exits

Swaping the order of how scenarios are run. (#13255)

- Currently ILLink scenario is broken and the x64 scenario leg does not run JitBench
  By swaping the scenario it will let JitBench run while ILLink is being fixed.

Merge pull request #13236 from briansull/arm-issue

Updated fix for issue #13093

Fix Region DisplayName (#13249)

This change fix the logic when getting the display name from the OS and when we use the native name instead

Cleanup code access security from the unmanaged runtime (#13241)

Stop rejecting loops with backward exits

Remove some convoluted code from `optFindNaturalLoops` that has the effect
of rejecting loops with exits that are (lexically) backwards branches.
The comments in the removed code indicate that the intent was to identify
loops which include blocks lexically before `top`, but since `top` is
defined as `head->bbNext`, any such loop was doomed to be rejected by the
code (also being removed) that rejects a loop that "captures head".

When a loop does have a branch back to a block prior to `top`, the
subsequent code that identifies loop exits will identify it as such, and
the subsequent code that rejects predecessors other than `head` of loop
blocks ensures that the backwards branch truly was an exit.

This change still leaves `top` and `first` as separate concepts in the
loop table, to allow for subsequently improvements to loop detection to
identify such loops, though today they're always the same block.

Removed the legacy JIT32 assert regarding 4-byte alignment inArenaAllocator::allocateMemory
Immediately after this assert we roundUp to an pointer size allocation amount.

Stopped using two implementation of ArenaAllocator::allocateMemory
Instead we add ifdef DEBUG parts to the common version
Move the implementation of ArenaAllocator::allocateMemory to the header file

Fixed a couple of allocations in assertionprop to use CMF_AssertionProp so that we correctly
attribute which phase uses the memory being allocated.
Added range check for the array writes in Compiler::optMapComplementary

Removed the AlignUp to 4-byte in operator new and new[] in compiler.hpp

fix callsignalhandlerwrapper(arm) (#13114)

issue: #13099
1. add unwind information
2. add free_stack

Update CoreClr, CoreFx to preview2-25607-01, preview2-25607-02, respectively (#13133)

Use attribute names without namespaces in a few places (#13248)

Signed-off-by: dotnet-bot <dotnet-bot@microsoft.com>

Reduce size of array enumerators for x86 (#13157)

Use placement new to initialize ELF Header (instead of memcpy) (#13218)

Enable string format tests on Linux. (#13191)

Modified string format tests so that it can be supported on Linux.

Fix #11655

Update buildtools to 2.0.0-prerelease-01903-01. (#13228)

Move files to shared partition (#13244)

Update linux-instructions.md (#13246)

On Ubuntu a configuration failure occurs when running `cmake` through `build.sh` on `corefx` asking to install `libkrb5-dev` or its equivalent.

Merge pull request #13227 from BruceForstall/Revert13186

Revert "Fixes issue #13093"

typo (dotnet/corert#4274)

Signed-off-by: dotnet-bot <dotnet-bot@microsoft.com>

typo (#13229)

align the segment size to power of 2 and perf fix on getting the seg mapping table indices (#13076)

seg size fixes

Revert "Fixes issue #13093"

This reverts commit 0d390cceb7ab0c8a271afce315fe4456211fdc6c.

Merge pull request #13197 from BredPet/master

ARM32: fix switch jump table generation bug

Merge pull request dotnet/corert#4271 from dotnet/nmirror

Merge nmirror to master

Signed-off-by: dotnet-bot <dotnet-bot@microsoft.com>

ARM32: fix switch jump table generation bug
- force using an inlined jumping instead switch table generation
- see https://github.com/dotnet/coreclr/issues/13194

Signed-off-by: Petr Bred <bredpetr@gmail.com>

Merge pull request #13143 from shimingsg/v-shige/add-nogc

Add NoGC test to coreclr

Merge pull request #13186 from briansull/alloc-align-fixes

Fixes issue #13093

Fixes issue #13093

Removed the legacy JIT32 assert regarding 4-byte alignment inArenaAllocator::allocateMemory
Immediately after this assert we roundUp to an pointer size allocation amount.

Fixed a couple of allocations in assertionprop to use CMF_AssertionProp so that we correctly
attribute which phase uses the memory being allocated.
Added range check for the array writes in Compiler::optMapComplementary

Removed the now unnecessary AlignUp to 4-byte in operator new and new[] in compiler.hpp

Drop the first iteration value of JitBench. (#13211)

typo (#13196)

* typo

* typo

Merge pull request #13145 from hqueue/arm/ryujit/issue_13118

[Ryujit/ARM32] Update allocateBusyReg() in LSRA for ARM32

Merge pull request #13166 from YongseopKim/ryujit/arm32/add_handling_secure_delegate_inv

[RyuJIT/ARM32] Adds code to handle SecureDelegateInvoke

[RyuJIT/ARM32] Adds code to handle SecureDelegateInvoke

- Adds code to handle SecureDelegateInvoke on morph phase like legacy's handling.
- Set R4 to proper addr for indirect call of vsd
- This is like legacy's doing from #6500.
- Fix #12993

Apply review feedback

- Sink a local variable into the innermost block
- Fix format for if-else statement by adding braces

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

Merge pull request #13154 from christianscheuer/fix-readme

Fix reference to System.Threading.Thread class in README.md

Merge pull request #13182 from adiaaida/addMinOptsTP

Add JitMinOpts throughput jobs

Add JitMinOpts throughput jobs

This change adds an opt_level throughput option so that we can run
throughput jobs in minopts mode. This also adds jobs to the lab for min
opts runs

JIT: refactor logic for removing box upstream side effects (#13169)

Introduce a new method `gtTryRemoveBoxUpstreamEffects` to capture
the logic for cleaning up after a dead value type box into a utility.
Call this from `gtFoldExprSpecial` and now also from the inliner when
it finds a dead box argument.

Also remove the useless `fgExpandInline` field and associated
`fgIsInlining` method, as the jit never set the field to true.

No diffs from the refactoring. The inliner case kicks in in 3 places
in the test tree.

Closes #13136.

Add JitBench scenario testing. (#11400)

Merge pull request #13158 from parjong/fix/INTERPERTER_GDBJIT_Conflict

Resolve FEATURE_GDBJIT/FEATURE_INTERPRETER conflict

Merge pull request #13155 from CarolEidt/UModTreeNodeInfo

Set Register Requirements for Mod/Div

Merge pull request #13128 from JosephTremoulet/Mulshift

Emit power-of-two constant multiply as shift

Merge pull request #11456 from CarolEidt/EHWriteThruDoc

Add an alternate algorithm done during LSRA

[Arm64] GetLargestOnDieCacheSize (#13071)

Look for cache info in /sys/.../cache/index*/size

If that fails estimate cache size based on processor count

[RyuJIT/ARM32] Update allocateBusyReg() with a helper for ARM32

- Add a helper `isRegInUse()`
- Update `allocateBusyReg()` using `isRegInUse()` for ARM32

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

[RyuJIT/ARM32] Unassign a double register properly in allocateBusyReg()

- Introduce a helper, `unassignDoublePhysReg()` for ARM32
- Update `allocateBusyReg()` for ARM32 using `unassignDoublePhysReg()`

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

Remove unused extern declarations (#13159)

[RyuJIT/ARM32] Update allocateBusy() to test spill candiates with new helpers

- Introduce a helper `canSpillReg` for all targets
- Introduce a helper `canSpillDoubleReg` for ARM32
- Remove a obsolute helper `canSpillThisReg`
- Update allocateBusy() to test spill candiates with new helpers

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

PAL enable Thread affinity support (#12936)

[RyuJIT/ARM32] Helpers to check and test assigned intervals for a register

- Add two helper functions, i.e. `checkActiveInterval` and `checkActiveIntervals`
- Remove one helper function. `checkReferenceAt()`
- Simplify `allocateBusyReg()` by using helpers

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

Use 'udf 0xff' instead of 'bkpt 0xbe' as a poison (#13152)

Apply review feedback

- Use simpler condition and add an assertion
- Fix typo

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

Enable build of crosscomponent for armel (#11066)

* Enable build of crosscomponent for armel

Enable build of crosscomponent for armel in addition to arm

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

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

Resolve FEATURE_GDBJIT/FEATURE_INTERPRETER conflict

Set Register Requirements for Mod/Div

LinkBench: Enable Roslyn

This change enables Roslyn runs as part of ILLink.

Roslyn was previously disabled because .Net CLI didnt use the latest
Roslyn compilers. Now that this issue is fixed, we re-enable Roslyn.
The different .Net versions necessary to run the benchmarks are
all downloaded, and the benchmarks are built using them.

Merge pull request #13151 from briansull/dump-fixes

Minor fixes for JitDumps

Fix reference to System.Threading.Thread class

[Arm64/Unix] Add OfficialBuildRID linux-arm64 (#12372)

* [Arm64/Unix] Add OfficialBuildRID linux-arm64

* [Arm64/Unix] Fix nuget package build

GC Prefer CompareExchange

GC Reduce unnecessary work

Simplify cache alignment
Remove unecessary barriers
Remove unnecessary Interlocked::Decrement
Remove unused join variables

Merge pull request #12856 from briansull/method-referenced-ibcdata

Record references to all of the hot methods specified by the IBC profile data

Merge pull request #13109 from mikedn/range-alloc

Remove unnecessary allocations from RangeCheck

Merge pull request #12929 from mikedn/cast-cmp-test

Use "test reg, reg" instead of "cmp reg, 0" for cast overflow checks

Refactor emitter::emitInsMov (#12905)

* Split emitter::emitInsMov into separate functions

None of this function's callers need it to figure out what kind of "mov" to emit, the callers already know what they need and they should call the appropiate function.

Copy & paste code, no actual changes.

* Pass the destination register to emitInsLoadInd

This way it can be used for contained indirs where the destination register is set on the parent node.

* Cleanup emitInsLoadInd/emitInsStoreInd/emitInsStoreLcl

Fix build errors when TRACK_SYNC is defined (#13122)

* Fix build errors when TRACK_SYNC is defined

* Remove unnecessary default constructor

Merge pull request #12926 from mikedn/dead-cast-code

Delete dead code from genIntToIntCast

Emit power-of-two constant multiply as shift

Most of these get translated to shifts at Morph, but adding a failsafe
here next to the transform for 3/5/9->LEA ensures we won't have these in
the emitted code when they (re-)appear in later phases.

Merge pull request #13125 from sdmaclea/PR-POISON

[Arm64] Implement Poison()

Merge pull request #13134 from BruceForstall/Fix12911

Handle unspilling part of a multi-use reg with FREE_REG

Merge pull request #13147 from jashook/fix_desktop_build_break

Fix Desktop build break in regset.cpp

Merge branch 'master' into dump-fixes

Minor fixes for JitDumps
- Remove extra ']' in rsMarkRegUsed and rsMarkArgRegUsedByPromotedFieldArg
- removed incorrect newline splits in rsMarkPairUsed
- Check if rsUsedAddr[] is null before calling printTreeID
- Check if spillAddr is null before calling printTreeID

Merge pull request #13130 from markwilkie/CROSS-Doc

Added CROSS guidance

Merge pull request #13142 from hseok-oh/ryujit/fix_12627

[RyuJIT/ARM32] Tailcall: passing struct argument

Merge pull request #13002 from sdmaclea/PR-ARM64-resolveEntryPoint

[Arm64] Fix ResolveStub tokenHash lookup

Merge pull request #13138 from hseok-oh/ryujit/nyi_zr

[RyuJIT/ARM32] Remove NYI: using zero register

small updates....

Merge pull request #13144 from parjong/fix/INTERPRETER_build

Fix FEATURE_INTERPRETER build

Updated guidance based on PR feedback

[Arm64] Adjust alignment for 128 byte cache line (#12801)

Fix Desktop build break in regset.cpp

Merge pull request #12947 from pgavlin/GH12919

Lock arg registers when generating a `JMP` on ARM/Legacy.

[Ryujit/ARM32] Update allocateBusyReg() in LSRA for ARM32

- Add two helper functions. `canSpillThisReg()` and `checkReferenceAt()`
- Update allocateBusyReg() to spill and allocate a double register properly

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

Fix FEATURE_INTERPRETER build error

Add NoGC test to coreclr

[RyuJIT/ARM32] Tailcall: passing struct argument

Fix bug in tailcall(jmp) to pass struct argument
Remove NYI for HFA struct passing

Format code.

[RyuJIT/ARM32] Remove NYI: using zero register

We can remove NYI to using zero register to assign constant zero argument.
There is no zero register on ARM32. (src/jit/registerarm32.h)
So we can change the NYI to unreached() assertion.

Handle unspilling part of a multi-use reg with FREE_REG

If rsUnspillOneReg() is called with willKeepNewReg==FREE_REG
(indicating the unspilled value will be free on return),
and the reg to unspill is multi-use, then we were releasing the
underlying temp incorrectly, since the temp still contains the
other multi-use spilled values, which will be subsequently
unspilled.

This occurred in a very large, JitStressRegs=1/JitStress=1 test case.

Fixes #12911

Merge pull request #13132 from rartemev/legbnd_fix_misprint

Fixed misprint in legacy backend that led to assert failure

Merge pull request #13096 from hseok-oh/ryujit/remove_nyi_promote

[RyuJIT/ARM32] Remove NYI: promoted struct argument

Lock all ABI arg registers when generating a GS check on ARM/Legacy.

These registers may otherwise be overwritten by code that is generated
between the JMP/tail call and the epilog (e.g. GS cookie checks).

Fixes #12919.

Fixed misprint in legacy backend that led to assert failure

Merge pull request #13103 from pgavlin/GH12910

Only lock unlocked registers in `rsUnspillRegPair`.

Add benchmarks mandelbrot and fannkuch (#12933)

* Add benchmarks mandelbrot and fannkuch

Adding mandelbrot and fankuch-redux from Benchmarks Game to
complete the representation of benchmarks from this list
http://benchmarksgame.alioth.debian.org/u64q/csharp.html

* Update source acknolegments and edit return codes

* Add checksums to verify benchmark runs

This commit adds checksums, which are pre-computed for each input
case, to verify that the fannkuch and mandelbrot benchmarks
actualy compute the desired function

* Revert version bump

* Remove XunitPerfHarness from Main

* Remove an unnecessary line

* Add iterations to fannkuch to inscrease runtime

JIT: Fix value type box optimization (#13016)

Boxing a value type produces a non-null result. If the result of the box is
only used to feed a compare against null, the jit tries to optimize the box
away entirely since the result of the comparison is known. Such idiomatic
expressions arise fairly often in generics instantiated over value types.

In the current implementation the box expands into two parts. The first is
an upstream statement to allocate a boxed object and assign a reference to
the boxed object to a local var known as the "box temp". The second is an
expression tree whose value is the box temp that also contains an an
encapsulated copy from the value being boxed to the payload section of the
boxed object. The box node also contains a pointer back to the first
statement (more on this later).

In the examples being discussed here this second tree is a child of a compare
node whose other child is a null pointer. When the optimization fires, the
upstream allocation statement is located via the pointer in the box node and
removed, and the entire compare is replaced with a constant 0 or 1 as
appropriate. Unfortunately the encapsulated copy in the box subtree may
include side effects that should be preserved, and so this transformation is
unsafe.

Note that the copy subtree as a whole will always contain side effects, since
the copy is storing values into the heap, and that copy now will not happen.
But the side effects that happen when producing the value to box must remain.

In the initial example from #12949 the side effects in question were
introduced by the jit's optimizer to capure a CSE definition. #13016 gives
several other examples where the side effects are present in the initial user
code. For instance the value being boxed might come from an array, in which
case the encapsulated copy in the box expression tree would contain the array
null check and bounds check. So removing the entire tree can alter behavior.

This fix attempts to carefully preserve the important side effects by
reworking how a box is imported. The copy is now moved out from under the box
into a second upstream statement. The box itself is then just a trivial
side-effect-free reference to the box temp. To ensure proper ordering of side
effects the jit spills the evaluation stack before appending the copy
statement.

When the optimization fires the jit removes the upstream heap allocation
as before, as well as the now-trivial compare tree. It analyzes the source
side of the upstream copy. If it is side effect free, the copy is removed
entirely. If not, the jit modifies the copy into a minimal load of the
boxed value, and this load should reproduce the necessary side effects.

The optimization is only performed when the tree shape of the copy matches
expected patterns.

There are some expected cases where the tree won't match, for instance if the
optimization is invoked while the jit is inlining. Because this optimization
runs at several points the jit can catch these cases once inlining completes.
There is one case that is not handled that could be -- if the assignment part
of the copy is itself a subtree of a comma. This doesn't happen often.

The optimization is now also extended to handle the case where the comparision
operation is `cgt.un`. This doesn't catch any new cases but causes the
optimization to happen earlier, typically during importation, which should
reduce jit time slightly.

Generally the split of the box into two upstream statements reduces code size,
especially when the box expression is incorporated into a larger tree -- for
example a call. However in some cases where the value being boxed comes from
an array, preserving the array bounds check now causes loop cloning to kick
in and increase code size. Hence the overall size impact on the jit-diff set is
essentially zero.

Added a number of new test cases showing the variety of situations that must
be handled and the need to spill before appending the copy statement.

Fixes #12949.

Add documents about JIT optimization planning

This change adds two documents:

 - JitOptimizerPlanningGuide.md discusses how we can/do/should go about
   identifying, prioritizing, and validating optimization improvement
   opportunities, as well as several ideas for how we might improve the
   process.
 - JitOptimizerTodoAssessment.md lists several potential optimization
   improvements that always come up in planning discussions, with brief
   notes about each, to capture current thinking.

Merge pull request #13111 from dotnet-maestro-bot/master-UpdateDependencies

Update CoreClr, CoreFx to preview2-25531-02, preview2-25531-01, respectively (master)

[ARM/Linux] Set R2R_INDIRECT_PARAM before R2R call (#12952)

* Set R2R_INDIRECT_PARAM before R2R call

* Revise code formatting

* Preserve R2R_INDIRECT_PARAM across R2R call

* Fix format error

* Attempt to fix x86/Windows build error

* 2nd attempt to fix x86/Windows build error

* Revise RA to reserve R2R_INDIRECT_PARAM reg

* Fix format error

[Arm64] Implement Poison()

Fixes #13117