Merge pull request #7996 from JosephTremoulet/OptRepeat

Add JitOptRepeat debug config flags

make the returning of DTFI & NFI in CultureInfo atomic (#7998)

we got some cases when more than one thread trying to get DTFI or NFI from the shared current culture object which can result returning different instances.
Although the returning object contents will be exactly but it'll be better to return same instance as apps may assume that. also returning the same instance will help reduce reinitializing more deeper fields when get requested.

Merge pull request #7911 from JosephTremoulet/CloneExprsForUnroll

Clone exprs for unroll

Add unroller support to CloneBlockState

This helper is used by the loop cloner to copy a block's attributes and
statements.  Expand it so it can also be used by the loop unroller:
 - Accept var/val parameters to pass through to `gtCloneExpr` to
   perform in-place substitutions
 - When presented with an expression that `gtCloneExpr` can't clone,
   return false rather than dereferencing null

Clear *_ASG_LHS flags in ResetOptAnnotations

This works around an apparent bug in SSA construction (GitHub issue #7846),
specifically `fgPerNodeLocalVarLiveness`, where heap uses are not
considered upwards-exposed if they follow a heap def in their block (which
is incorrect because the store and load are not necessarily must-alias).
In the non-repeat configuration, these flags are always cleared coming
into SSA construction, because `TreeRenameVariables` is the only thing
that sets them.

Reset EH pred cache in ResetOptAnnotations

The cache created in the first iteration may not be correct in the second.
It seems there is a more general problem with failure to invalidate this
cache (GitHub issue #7844), that this change is working around for the
optRepeat case.

Add JitOptRepeat debug config flags

Add flag JitOptRepeat that specifies a set of methods on which to
iteratively perform global optimizations multiple times, and flag
JitOptRepeatCount to set the number of iterations (default 2) to apply
when JitOptRepeat kicks in.

These flags are debug-only; they are intended to facilitate performing
experiments investigating optimization opportunities missed due to phase
ordering issues.

Clear defnums and post-order nums in fgResetForSsa

SSA construction will overwrite these annotations, but only for reachable
code.  Clear the annotations in all code in `fgResetForSsa` so that
downstream analysis won't stumble over stale/invalid SSA annotations
in unreachable code.

Clear heap PerSsaData, heapSsaMap in fgResetForSsa

These need to be cleared for the same reasons as the locals' PerSsaData;
their omission seems to be a simple oversight.

Merge pull request #7983 from pgavlin/VSO284785

Fix int->long cast folding for 32-bit platforms.

Avoid clobbering FldSeq annotations in cloneExpr

The overload of cloneExpr that takes a variable number and value to
perform replacements is intended to be used by the loop unroller, which
runs between Morph (where FldSeq annotations are generated) and value
numbering (where FldSeq annotations are consumed).  Update that codepath
to call `LabelIndex` when replacing a `GTF_VAR_ARR_INDEX` node, and to
avoid calling `gtFoldExpr` (which does not preserve these annotations).
Downstream constant folding should be capable of doing that optimization.

Do not replace assign LHS in gtCloneExpr

Split the var/val parameters into two sets -- one for the current level of
recursion, the other for deeper levels.  Use this to suppress one level of
replacement when recursing to the LHS of an assign.  This both avoids
creating nonsensical assign-to-immediate trees and allows replacing uses
of the given var while leaving defs in the code.

Jit: fix regression in non-AVX SIMD codegen (#7989)

Vector codegen for dot product was inadvertenly altered in non-DEBUG
builds.

Closes #7977.

Add the serialization ctor for CryptographicException to model.xml (#7974)

Fix check for float args under windows x64 remorph

When re-morphing, `argx` will not have the argument's type if the argument
has been moved to the late args list, so check the arg table entry
instead.  The unix x64 codepath already had the correct code, so just
remove the ifdef.

Clear GTF_VAR_USEDEF when folding <op>= forms

The `GTF_VAR_USEDEF` flag is applied to the def of an expression like "x =
x + y".  The `GTF_VAR_USEASG` flag is applied to the op1 of an expression
like "x += y".  Update the code to clear the `GTF_VAR_USEDEF` flag (in
addition to setting the `GTF_VAR_USEASG` flag) when folding the former to
the latter.

Merge pull request #7991 from dotnet/revert-7946-armci_crashed

Revert "ARM-CI : Use archived root-fs and run tests with --sequential option"

Revert "ARM-CI : Use archived root-fs and run tests with --sequential option"

Do not use FP registers when soft-fp ABI is used (#7869)

Soft FP ABI enforces a return value to be passed via integer registers
even though it is of float/double type (which means that 'r0 ~ r4' should
be preseved even for functions that return a float/double value).

The current implementation of 'ArgIteratorTemplate<ARGITERATOR_BASE>::ComputeReturnFlags()' does
not consider this ABI difference, which makes 'CallDescrWorkerInternal'
function to preserve FP registers instead of 'r0 ~ r4' (and spoils
'r0/r1' during preservation), which leads to #7868.

This commit revises this function in order to fix #7868.

ARM-CI : Use archived root-fs and run tests with --sequential option (#7946)

* ARM-CI : Use archived root-fs and run tests with --sequential option

To make sure the reason of test failure ramdomly( #6298 ),
We checked segmentation faults occurred from mounted rootfs and the multi thread processing.

So I changed root-fs to archived root-fs and run tests with --sequential option.

* change to original clang version

Fix JIT build host/target confusion (#7979)

Also, add RyuJIT to Windows ARM32 cross components build (as protojit.dll).

Merge pull request #7978 from AlexGhiondea/RemoveSecureStringMarshal

The SecureStringMarshal type was an artifact of the layering we had i…

Merge pull request #7982 from dotnet/revert-7677-StructOpts

Revert "Enable optimization of structs"

Merge pull request #7972 from adiaaida/storeShiftRotate32

Force store of lcl var for shift/rotate by 32

Merge pull request #7965 from ramarag/GetType

Enabling Type.Getype with overloads for assembly and type resolvers

Merge pull request #7945 from ramarag/MemoryFailPoint

Disabling checks in MemoryFailPoint for Xplat

Revert "Enable optimization of structs"

Fix int->long cast folding for 32-bit platforms.

The RyuJIT frontend does not allow for the folding of an int->long cast
that is known to overflow into a throw outside of global morph. The
folding, however, was unconditionally changing the operand to the cast
from an integer constant to a long constant, which can change the
behavior of the cast. This rewrite is not necessary, so this change
simply removes it.

Enabling Type.GetType with overloads for assembly and type resolvers

The SecureStringMarshal type was an artifact of the layering we had in CoreFx.

This type should not have been added to CoreCLR as part of the SecureString move.

Force store of lcl var for shift/rotate by 32

In the shift/rotate by 32 case, we move the lo op into the high op. In the
shift case, we set the lo op to 0, in the rotate case, we are swapping lo
and hi, so we also move hi into lo. In the instance that we are reusing
the same lclvars, we need to explicitly store the ops that we are moving
so that we don't overwrite the vars before using them. This change
explicitly replaces the uses of the ops with lclvars so we don't overwrite
vars before finishing the swap.

Merge pull request #7908 from sandreenko/fix_tail_call_in_R2R

Correct pattern check for tail calls

Fix a issue where ETW was losing RCW and CCW in heap dumps. (#7971)

Basically our builk events for RCWs and CCWs were too big, causing ETW to reject them, and thus losing information.

However you have to have at least several hundred befor you have enough to force the problem.

Merge pull request #7958 from pgavlin/VSO280123

Make a few VN methods tolerant of NoVN.

Make CrossGen documentation up to date (#7973)

Correct pattern check

sequense
localVariable = cast.int(call.small_type());
return localVaribale
is correct tail call pattern.

Merge pull request #7956 from pgavlin/VSO280110

Properly update block flags during branch opt.

Format code.

Merge pull request #7959 from pgavlin/VSO280116

Fix an assert condition in lowering.

Format code.

Merge pull request #7968 from AndyAyersMS/CaptureNewObservations

Inliner: capture new observations

Mark NonRandomizedStringEqualityComparer as serializable (#7966)

Inliner: capture new observations

Rebase the DiscretionaryPolicy on the EnhancedLegacyPolicy, and
capture and report some of the new observations that have been added
recently.

This change adds a new HAS_GC_STRUCT observation in addition to the
more specific RARE_GC_STRUCT, so that the DiscretionaryPolicy can
be notified of GC struct locals and temps for all candidates, not
just ones invoked from rare call sites.

No changes in codegen.

Revises 'JitTimer::PrintCsvHeader' to use 'append' mode (#7073)

* Revises 'JitTimer::PrintCsvHeader' to use 'append' mode

The current implementation of 'JitTimer::PrintCsvHeader' opens a CSV
file with 'read' mode and re-opens it with 'write' mode if it is absent.

The current implementation has two problems:
First, "read" file pointer will be closed even if it is null,
which is reported in #7072.
Second, "write" file pointer will be leaked as there is no corresponding
fclose.

This commit rewrites 'JitTimer::PrintCsvHeader' to fix #7072.

ParseNumber & related more efficient (#3163)

Merge pull request #7936 from vancem/EventSourceDisposeRace.11-01-16

Fix Deadlock associated with ETW commands happening during dispose.

Fix race condition (#7928)

Suppress SOS.NETCore.dll error msg in release mode (#6975)

Suppress error msg when running coreclr without
SOS.NETCore.dll in release mode

Fix an assert condition in lowering.

Tail calls via the tail call helper must live in GC-safe blocks. A block
is GC-safe if either it or all of its dominators are also GC-safe. If we
are not optimizing, we will not compute dominators, and will therfore
not mark blocks whose dominators are all GC-safe. When deciding whether
or not we need to make a block GC-safe during tail call morphing,
however, we allow a tail call in an unmarked block iff the entry block
is GC-safe, as the entry block trivially dominates every reachable
block. This change fixes an assert that was not allowing for a tail call
in a block that is not marked GC-safe where the entry block is marked
GC-safe.

Set pRetVal as NULL on error inside 'VIRTUALCommitMemory' (#7920)

Merge pull request #7917 from pgavlin/VSO280120

Fix VSO280120.

Make a few VN methods tolerant of NoVN.

There were a few methods on the VN store that were not resilient to
being provided with the "no value number" sentinel value. This lack of
resilience caused assertion failures during assertion propagation when
generating assertions for trees marked with "no value number".

Properly update block flags during branch opt.

`fgOptimizeBranch` was updating the flags for the predecessor block
using the flags from the wrong destination block. This was causing an
assert in `AllocateObjects` when verifying that all blocks that contain
`allocObj` nodes are properly marked with `BBF_HAS_NEWOBJ`.

Fix VSO280120.

st.lclFld decomposition was splitting a st.lclFld into two of the same
without bumping the destination var's ref count.

Check pointer before dereferencing it (#7930)

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

Merge changes from TFS

Merge pull request #7943 from sivarv/rotateFix

Exclude GT_ROL/ROR from ==/!= 0 compare peep optimization

Specify .NETCoreApp,Version=v1.1 for test projects (#7937)

Fix build break

[tfs-changeset: 1636334]

Merge pull request #7951 from jkotas/revert-correct-parameter-names

Revert "Correct parameter names."

Revert "Correct parameter names."

This reverts commit 0cae769f3c60bf2a696d02a88527a46d5b211cd5.

Merge pull request #7950 from jkotas/revert-parameter-name-changes

Revert "Correct parameter names."

Revert "Correct parameter names."

This reverts commit a212082aa4cea8529b4c78844e2a7408ff6f7969.

[ARM] Implement BitPosition with arm intrinsics (#7819)

Merge pull request #7904 from shrah/master

Update S.R.InteropServices to ns2.0

Fix build break 814276: FEATURE_SPAN_OF_T disabled in runtime but enabled in DAC

[tfs-changeset: 1636322]

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

Merge changes from TFS

Expose missing API in models.xml (#7940)

progress towards https://github.com/dotnet/corefx/issues/12812 and https://github.com/dotnet/corefx/issues/12398

Update GCInfoDecoder with CoreRT changes (#7938)

Porting most of the changes from https://github.com/dotnet/corert/pull/2116 to make GCInfoDecoder compile in CoreRT to keep the different copies in sync.

Disabling checks in MemoryFailPoint for Xplat till primitives like VirtualQuery
are implmemented properly

Rotate Left/Right xarch instructions don't set ZF and ZF flag.

Fix GitHub build break caused by change #1636179

[tfs-changeset: 1636227]

Enable the rest of netstandard1.7 globalization APIs (#7935)

* Enable more netstandard 1.7 Globalization APIs

* Enable Windows support for the new APIs

* Fix spaces and line alignments

Merge pull request #7923 from AndyAyersMS/FixNoCandidateBug

Jit: spill stack for non-candidate calls

Fix deadlock when commands race with EventSource Shutdown

CrossGen: Copy all entries of Debug Directory Table (#7849)

Fixes issue #6482.

Fix build break 814217  by removing inconsistencies between BCL and runtime

[tfs-changeset: 1636179]

Handle simd checks in OptimizeRangeCheck

When the index is a constant, this code applies to `GT_SIMD_CHK` equally
well as it applies to `GT_ARR_BOUNDS_CHECK`.

Use nameof throughout mscorlib (#7929)

Merge pull request #7677 from CarolEidt/StructOpts

Enable optimization of structs

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

Merge changes from TFS

Merge pull request #7883 from adiaaida/fixDecomposeRotate

Fix DecomposeRotate for > 32 case

Use resolver to get IL header and size (#7924)

Fix build break on x86

[tfs-changeset: 1636135]

Use normal verbosity logging when building tests (#7921)

Test build log file is ~4GB with diag verbosity. With normal it's about 20MB.
This seems to speed up the test build for me considerably.

See #7916.

Move SR adapter into root (#7925)

CoreFX creates SR in the System namespace. While putting the CoreCLR SR
adapter in the root may be unconventional, it allows us to keep the
shared code identical.

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

Merge changes from TFS

Merge pull request #7912 from JosephTremoulet/FlagVectorCounts

Flag vector counts

Merge pull request #7910 from JosephTremoulet/FixInitTest

Fix check for initial induction variable value

Fix check for initial induction variable value

Checking that `head` dominates `entry` is insufficient, becuase there may
be a codepath from `head` through other nodes that modify the induction
variable to `entry`.  Check instead that all preds of `entry` are either
`head` or in the loop.

Resolves #7906.

Merge pull request #7909 from JosephTremoulet/FixLoopEntryCheck

Skip removed loops in `optBlockIsLoopEntry`

Fix build break

[tfs-changeset: 1636112]

Jit: spill stack for non-candidate calls

Closes #7907.

Spill the evaluation stack at non-candidate calls since the call may
modify locals or args that are currently live on the stack.

In the attached test case I can't get the problematic IL sequence to
happen for the `F0` variant, but it is there for the `F1` variant.

No diffs seen in corlib or any of the framework assemblies that are
run via jit-dasm.

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

Update CoreClr, CoreFx to beta-24631-02, beta-24631-01, respectively (master)

Merge pull request #7918 from RussKeldorph/repoint-corefx-1.1.0

Make dotnet/coreclr reference corresponding dotnet/corefx branch

Merge pull request #7867 from Clockwork-Muse/ArgumentException

Replace hardcoded parameter names to ArgumentException with nameof

Make dotnet/coreclr reference corresponding dotnet/corefx branch

We run CoreFx tests under JitStress modes in CoreCLR.  Previously, we were
always pulling down CoreFx master, which is bad for CoreCLR release
branches when things are out of synch.

Merge pull request #7885 from pgavlin/VSO278376.2

Fix VSO 278376.

Merge pull request #7905 from pgavlin/VSO279380

Fix VSO 279380.

Add LPFLG_SIMD_LIMIT flag

This flag identifies loops whose limit was a Vector<T>.Count expression.
This can be used in heuristics to target more aggressive optimizations at
SIMD code.