Confronta il testo

Trova la differenza tra due file di testo

Visualizzazione

Layout

Editor liveNascondi spazi bianchiComprimi invariateSenza a capo

Livello di dettaglio

Sintassi

Elaborazione

Diffchecker Desktop Il modo più sicuro per usare Diffchecker. Ottieni l'app Diffchecker Desktop: i tuoi diff non lasciano mai il tuo computer!Ottieni Desktop

Untitled Diff

Creato 4 anni faIl diff non scade mai

0 rimozioni

Linee
Totale
Rimosso

Caratteri
Totale
Rimosso

Per continuare a utilizzare questa funzione, aggiorna a Diffchecker Pro Visualizza prezzi

427 linee

0 aggiunte

Linee
Totale
Aggiunto

Caratteri
Totale
Aggiunto

Per continuare a utilizzare questa funzione, aggiorna a Diffchecker Pro Visualizza prezzi

427 linee

****** START compiling ConstStringConstIndexOptimizations:Foo():ubyte (MethodHash=233ac324)

Generating code for Windows x64

OPTIONS: compCodeOpt = BLENDED_CODE

OPTIONS: compDbgCode = false

OPTIONS: compDbgInfo = true

OPTIONS: compDbgEnC = false

OPTIONS: compProcedureSplitting = false

OPTIONS: compProcedureSplittingEH = false

OPTIONS: No PGO data

IL to import:

IL_0000 7f 01 00 00 04 ldsflda 0x4000001

IL_0005 1b ldc.i4.5

IL_0006 73 0e 00 00 0a newobj 0xA00000E

IL_000b 0a stloc.0

IL_000c 12 00 ldloca.s 0x0

IL_000e 19 ldc.i4.3

IL_000f 28 0f 00 00 0a call 0xA00000F

IL_0014 47 ldind.u1

IL_0015 2a ret

lvaGrabTemp returning 1 (V01 tmp0) (a long lifetime temp) called for OutgoingArgSpace.

; Initial local variable assignments

;

; V00 loc0 struct <System.ReadOnlySpan`1, 16>

; V01 OutArgs lclBlk <na> "OutgoingArgSpace"

*************** In compInitDebuggingInfo() for ConstStringConstIndexOptimizations:Foo():ubyte

getVars() returned cVars = 0, extendOthers = true

info.compVarScopesCount = 1

VarNum LVNum Name Beg End

0: 00h 00h V00 loc0 000h 016h

info.compStmtOffsetsCount = 0

info.compStmtOffsetsImplicit = 0005h ( STACK_EMPTY CALL_SITE )

*************** In fgFindBasicBlocks() for ConstStringConstIndexOptimizations:Foo():ubyte

Jump targets:

none

New Basic Block BB01 [0000] created.

BB01 [000..016)

IL Code Size,Instr 22, 9, Basic Block count 1, Local Variable Num,Ref count 2, 2 for method ConstStringConstIndexOptimizations:Foo():ubyte

OPTIONS: opts.MinOpts() == false

Basic block list for 'ConstStringConstIndexOptimizations:Foo():ubyte'

-----------------------------------------------------------------------------------------------------------------------------------------

BBnum BBid ref try hnd weight lp [IL range] [jump] [EH region] [flags]

-----------------------------------------------------------------------------------------------------------------------------------------

BB01 [0000] 1 1 [000..016) (return)

-----------------------------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Pre-import

*************** Finishing PHASE Pre-import

Trees after Pre-import

-----------------------------------------------------------------------------------------------------------------------------------------

BBnum BBid ref try hnd weight lp [IL range] [jump] [EH region] [flags]

-----------------------------------------------------------------------------------------------------------------------------------------

BB01 [0000] 1 1 [000..016) (return)

-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Profile incorporation

BBOPT set, but no profile data available (hr=80004001)

*************** Finishing PHASE Profile incorporation [no changes]

*************** Starting PHASE Importation

*************** In impImport() for ConstStringConstIndexOptimizations:Foo():ubyte

impImportBlockPending for BB01

Importing BB01 (PC=000) of 'ConstStringConstIndexOptimizations:Foo():ubyte'

[ 0] 0 (0x000) ldsflda 04000001

[ 1] 5 (0x005) ldc.i4.5 5

[ 2] 6 (0x006) newobj

lvaGrabTemp returning 2 (V02 tmp1) called for NewObj constructor temp.

Suppressing zero-init for V02 -- expect to zero in prolog

0A00000E

In Compiler::impImportCall: opcode is newobj, kind=0, callRetType is void, structSize is 0

INLINER: during 'impMarkInlineCandidate' result 'CheckCanInline Success' reason 'CheckCanInline Success' for 'ConstStringConstIndexOptimizations:Foo():ubyte' calling 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this'

INLINER: during 'impMarkInlineCandidate' result 'CheckCanInline Success' reason 'CheckCanInline Success'

STMT00000 ( 0x000[E-] ... ??? )

[000004] I-C-G------ * CALL void System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this (exactContextHnd=0x00000000D1FFAB1E)

[000003] ----------- this +--* ADDR byref

[000002] -------N--- | \--* LCL_VAR struct<System.ReadOnlySpan`1, 16> V02 tmp1

[000000] H---------- arg1 +--* CNS_INT(h) long 0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

[000001] ----------- arg2 \--* CNS_INT int 5

[ 1] 11 (0x00b) stloc.0

STMT00001 ( 0x00B[--] ... ??? )

[000008] -A--------- * ASG struct (copy)

[000006] D------N--- +--* LCL_VAR struct<System.ReadOnlySpan`1, 16> V00 loc0

[000005] ----------- \--* LCL_VAR struct<System.ReadOnlySpan`1, 16> V02 tmp1

[ 0] 12 (0x00c) ldloca.s 0

Diff salvati

Testo originale

Apri file

****** START compiling ConstStringConstIndexOptimizations:Foo():ubyte (MethodHash=233ac324)
Generating code for Windows x64
OPTIONS: compCodeOpt = BLENDED_CODE
OPTIONS: compDbgCode = false
OPTIONS: compDbgInfo = true
OPTIONS: compDbgEnC  = false
OPTIONS: compProcedureSplitting   = false
OPTIONS: compProcedureSplittingEH = false
OPTIONS: No PGO data
IL to import:
IL_0000  7f 01 00 00 04    ldsflda      0x4000001
IL_0005  1b                ldc.i4.5    
IL_0006  73 0e 00 00 0a    newobj       0xA00000E
IL_000b  0a                stloc.0     
IL_000c  12 00             ldloca.s     0x0
IL_000e  19                ldc.i4.3    
IL_000f  28 0f 00 00 0a    call         0xA00000F
IL_0014  47                ldind.u1    
IL_0015  2a                ret

lvaGrabTemp returning 1 (V01 tmp0) (a long lifetime temp) called for OutgoingArgSpace.
; Initial local variable assignments
;
;  V00 loc0           struct <System.ReadOnlySpan`1, 16>
;  V01 OutArgs        lclBlk <na>  "OutgoingArgSpace"
*************** In compInitDebuggingInfo() for ConstStringConstIndexOptimizations:Foo():ubyte
getVars() returned cVars = 0, extendOthers = true
info.compVarScopesCount = 1
    	VarNum 	LVNum 	      Name 	Beg 	End
 0: 	00h 	00h 	  V00 loc0 	000h   	016h
info.compStmtOffsetsCount    = 0
info.compStmtOffsetsImplicit = 0005h ( STACK_EMPTY CALL_SITE )
*************** In fgFindBasicBlocks() for ConstStringConstIndexOptimizations:Foo():ubyte
Jump targets:
  none
New Basic Block BB01 [0000] created.
BB01 [000..016)
IL Code Size,Instr   22,   9, Basic Block count   1, Local Variable Num,Ref count   2,  2 for method ConstStringConstIndexOptimizations:Foo():ubyte
OPTIONS: opts.MinOpts() == false
Basic block list for 'ConstStringConstIndexOptimizations:Foo():ubyte'

*************** Starting PHASE Pre-import

*************** Finishing PHASE Pre-import
Trees after Pre-import

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Profile incorporation
BBOPT set, but no profile data available (hr=80004001)

*************** Finishing PHASE Profile incorporation [no changes]

*************** Starting PHASE Importation
*************** In impImport() for ConstStringConstIndexOptimizations:Foo():ubyte

impImportBlockPending for BB01

Importing BB01 (PC=000) of 'ConstStringConstIndexOptimizations:Foo():ubyte'
    [ 0]   0 (0x000) ldsflda 04000001
    [ 1]   5 (0x005) ldc.i4.5 5
    [ 2]   6 (0x006) newobj
lvaGrabTemp returning 2 (V02 tmp1) called for NewObj constructor temp.

Suppressing zero-init for V02 -- expect to zero in prolog
 0A00000E
In Compiler::impImportCall: opcode is newobj, kind=0, callRetType is void, structSize is 0
INLINER: during 'impMarkInlineCandidate' result 'CheckCanInline Success' reason 'CheckCanInline Success' for 'ConstStringConstIndexOptimizations:Foo():ubyte' calling 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this'
INLINER: during 'impMarkInlineCandidate' result 'CheckCanInline Success' reason 'CheckCanInline Success'

STMT00000 ( 0x000[E-] ... ??? )
               [000004] I-C-G------                         *  CALL      void   System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this (exactContextHnd=0x00000000D1FFAB1E)
               [000003] ----------- this                    +--*  ADDR      byref 
               [000002] -------N---                         |  \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000000] H---------- arg1                    +--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]
               [000001] ----------- arg2                    \--*  CNS_INT   int    5

[ 1]  11 (0x00b) stloc.0

STMT00001 ( 0x00B[--] ... ??? )
               [000008] -A---------                         *  ASG       struct (copy)
               [000006] D------N---                         +--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000005] -----------                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1

[ 0]  12 (0x00c) ldloca.s 0
    [ 1]  14 (0x00e) ldc.i4.3 3
    [ 2]  15 (0x00f) call 0A00000F
In Compiler::impImportCall: opcode is call, kind=0, callRetType is byref, structSize is 0
Named Intrinsic System.ReadOnlySpan`1.get_Item: Recognized

impIntrinsic: Expanding ReadOnlySpan<T>.get_Item, T=System.Byte, sizeof(T)=1
with ptr-to-span
               [000010] -----------                         *  ADDR      byref 
               [000009] -------N---                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
and index
               [000011] -----------                         *  CNS_INT   int    3

[ 1]  20 (0x014) ldind.u1
    [ 1]  21 (0x015) ret

STMT00002 ( 0x00C[E-] ... ??? )
               [000021] ---XG------                         *  RETURN    int   
               [000020] ---XG------                         \--*  IND       ubyte 
               [000019] ---X-------                            \--*  COMMA     byref 
               [000016] ---X-------                               +--*  BOUNDS_CHECK_Rng void  
               [000011] -----------                               |  +--*  CNS_INT   int    3
               [000015] -----------                               |  \--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000010] -----------                               |     \--*  ADDR      byref 
               [000009] -------N---                               |        \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000018] -----------                               \--*  ADD       byref 
               [000017] -----------                                  +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000014] -----------                                  |  \--*  ADDR      byref 
               [000013] -------N---                                  |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000012] -----------                                  \--*  CNS_INT   long   3

*************** Finishing PHASE Importation
Trees after Importation

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00000 ( 0x000[E-] ... 0x00B )
               [000004] I-C-G------                         *  CALL      void   System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this (exactContextHnd=0x00000000D1FFAB1E)
               [000003] ----------- this                    +--*  ADDR      byref 
               [000002] -------N---                         |  \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000000] H---------- arg1                    +--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]
               [000001] ----------- arg2                    \--*  CNS_INT   int    5

***** BB01
STMT00001 ( 0x00B[--] ... ??? )
               [000008] -A---------                         *  ASG       struct (copy)
               [000006] D------N---                         +--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000005] -----------                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Expand patchpoints

-- no patchpoints to transform

*************** Finishing PHASE Expand patchpoints [no changes]

*************** Starting PHASE Indirect call transform

-- no candidates to transform

*************** Finishing PHASE Indirect call transform [no changes]

*************** Starting PHASE Post-import

*************** Finishing PHASE Post-import [no changes]

*************** Starting PHASE Morph - Init

New BlockSet epoch 1, # of blocks (including unused BB00): 2, bitset array size: 1 (short)

*************** Finishing PHASE Morph - Init [no changes]

*************** Starting PHASE Morph - Inlining
*************** In fgDebugCheckBBlist
Expanding INLINE_CANDIDATE in statement STMT00000 in BB01:
STMT00000 ( 0x000[E-] ... 0x00B )
               [000004] I-C-G------                         *  CALL      void   System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this (exactContextHnd=0x00000000D1FFAB1E)
               [000003] ----------- this                    +--*  ADDR      byref 
               [000002] -------N---                         |  \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000000] H---------- arg1                    +--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]
               [000001] ----------- arg2                    \--*  CNS_INT   int    5
thisArg: is a constant or invariant is byref to a struct local
               [000003] -----------                         *  ADDR      byref 
               [000002] -------N---                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1

Argument #1: is a constant or invariant
               [000000] H----------                         *  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

Argument #2: is a constant or invariant
               [000001] -----------                         *  CNS_INT   int    5

INLINER: inlineInfo.tokenLookupContextHandle for System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this set to 0x00000000D1FFAB1E:

Invoking compiler for the inlinee method System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this :
IL to import:
IL_0000  28 7d 02 00 2b    call         0x2B00027D
IL_0005  2c 0f             brfalse.s    15 (IL_0016)
IL_0007  d0 2b 00 00 1b    ldtoken      0x1B00002B
IL_000c  28 37 09 00 06    call         0x6000937
IL_0011  28 8d 20 00 06    call         0x600208D
IL_0016  04                ldarg.2     
IL_0017  16                ldc.i4.0    
IL_0018  2f 05             bge.s        5 (IL_001f)
IL_001a  28 8f 20 00 06    call         0x600208F
IL_001f  02                ldarg.0     
IL_0020  03                ldarg.1     
IL_0021  28 7e 02 00 2b    call         0x2B00027E
IL_0026  7d 30 06 00 0a    stfld        0xA000630
IL_002b  02                ldarg.0     
IL_002c  04                ldarg.2     
IL_002d  7d 31 06 00 0a    stfld        0xA000631
IL_0032  2a                ret

INLINER impTokenLookupContextHandle for System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this is 0x00000000D1FFAB1E.
*************** In compInitDebuggingInfo() for System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this
info.compStmtOffsetsCount    = 0
info.compStmtOffsetsImplicit = 0005h ( STACK_EMPTY CALL_SITE )
*************** In fgFindBasicBlocks() for System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this
Named Intrinsic System.Runtime.CompilerServices.RuntimeHelpers.IsReferenceOrContainsReferences: Not recognized
Named Intrinsic System.Type.GetTypeFromHandle: Recognized
Named Intrinsic System.Runtime.CompilerServices.Unsafe.As: Recognized
Jump targets:
  IL_0016
  IL_001f
New Basic Block BB02 [0001] created.
BB02 [000..007)
New Basic Block BB03 [0002] created.
BB03 [007..016)
New Basic Block BB04 [0003] created.
BB04 [016..01A)
New Basic Block BB05 [0004] created.
BB05 [01A..01F)
New Basic Block BB06 [0005] created.
BB06 [01F..033)
Basic block list for 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this'

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB02 [0001]  1                             1       [000..007)-> BB04 ( cond )                     
BB03 [0002]  1                             1       [007..016)                                     
BB04 [0003]  2                             1       [016..01A)-> BB06 ( cond )                     
BB05 [0004]  1                             1       [01A..01F)                                     
BB06 [0005]  2                             1       [01F..033)        (return)                     
-----------------------------------------------------------------------------------------------------------------------------------------

*************** Inline @[000004] Starting PHASE Pre-import

*************** Inline @[000004] Finishing PHASE Pre-import
Trees after Pre-import

------------ BB02 [000..007) -> BB04 (cond), preds={} succs={BB03,BB04}

------------ BB03 [007..016), preds={} succs={BB04}

------------ BB04 [016..01A) -> BB06 (cond), preds={} succs={BB05,BB06}

------------ BB05 [01A..01F), preds={} succs={BB06}

------------ BB06 [01F..033) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000004] Starting PHASE Profile incorporation
BBOPT set, but no profile data available (hr=80004001)
Computing inlinee profile scale:
   ... no callee profile data, will use non-pgo weight to scale
   ... call site not profiled, will use non-pgo weight to scale
   call site count 100 callee entry count 100 scale 1
Scaling inlinee blocks

*************** Inline @[000004] Finishing PHASE Profile incorporation
Trees after Profile incorporation

------------ BB02 [000..007) -> BB04 (cond), preds={} succs={BB03,BB04}

------------ BB03 [007..016), preds={} succs={BB04}

------------ BB04 [016..01A) -> BB06 (cond), preds={} succs={BB05,BB06}

------------ BB05 [01A..01F), preds={} succs={BB06}

------------ BB06 [01F..033) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000004] Starting PHASE Importation
*************** In impImport() for System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this

impImportBlockPending for BB02

Importing BB02 (PC=000) of 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this'
    [ 0]   0 (0x000) call 2B00027D
In Compiler::impImportCall: opcode is call, kind=0, callRetType is bool, structSize is 0
Named Intrinsic System.Runtime.CompilerServices.RuntimeHelpers.IsReferenceOrContainsReferences: Not recognized
INLINER: during 'impMarkInlineCandidate' result 'CheckCanInline Success' reason 'CheckCanInline Success' for 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this' calling 'System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool'
INLINER: during 'impMarkInlineCandidate' result 'CheckCanInline Success' reason 'CheckCanInline Success'

STMT00003 ( 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000022] I-C-G------                         *  CALL      int    System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool (exactContextHnd=0x00000000D1FFAB1E)

[ 1]   5 (0x005) brfalse.s

STMT00004 ( 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] --C--------                         *  JTRUE     void  
               [000025] --C--------                         \--*  EQ        int   
               [000023] --C--------                            +--*  RET_EXPR  int   (for [000022])
               [000024] -----------                            \--*  CNS_INT   int    0

impImportBlockPending for BB03

impImportBlockPending for BB04

Importing BB04 (PC=022) of 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this'
    [ 0]  22 (0x016) ldarg.2
    [ 1]  23 (0x017) ldc.i4.0 0
    [ 2]  24 (0x018) bge.s
Folding operator with constant nodes into a constant:
               [000029] -----------                         *  GE        int   
               [000027] -----------                         +--*  CNS_INT   int    5
               [000028] -----------                         \--*  CNS_INT   int    0
Bashed to int constant:
               [000029] -----------                         *  CNS_INT   int    1

The conditional jump becomes an unconditional jump to BB06

impImportBlockPending for BB06

Importing BB06 (PC=031) of 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this'
    [ 0]  31 (0x01f) ldarg.0
    [ 1]  32 (0x020) ldarg.1
    [ 2]  33 (0x021) call 2B00027E
In Compiler::impImportCall: opcode is call, kind=0, callRetType is byref, structSize is 0
Named Intrinsic System.Runtime.CompilerServices.Unsafe.As: Recognized

[ 2]  38 (0x026) stfld 0A000630

STMT00005 ( 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] -------N---                         +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000030] -----------                         |  \--*  ADDR      byref 
               [000031] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

[ 0]  43 (0x02b) ldarg.0
    [ 1]  44 (0x02c) ldarg.2
    [ 2]  45 (0x02d) stfld 0A000631

STMT00006 ( 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] -------N---                         +--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000035] -----------                         |  \--*  ADDR      byref 
               [000036] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000037] -----------                         \--*  CNS_INT   int    5

[ 0]  50 (0x032) ret
Importing BB03 (PC=007) of 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this'
    [ 0]   7 (0x007) ldtoken
    [ 1]  12 (0x00c) call 06000937
In Compiler::impImportCall: opcode is call, kind=0, callRetType is ref, structSize is 0
Named Intrinsic System.Type.GetTypeFromHandle: Recognized

[ 1]  17 (0x011) call 0600208D
In Compiler::impImportCall: opcode is call, kind=0, callRetType is void, structSize is 0
INLINER: during 'impMarkInlineCandidate' result 'CheckCanInline Success' reason 'CheckCanInline Success' for 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this' calling 'System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type)'
INLINER: during 'impMarkInlineCandidate' result 'CheckCanInline Success' reason 'CheckCanInline Success'

STMT00007 ( 0x007[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000043] I-C-G------                         *  CALL      void   System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) (exactContextHnd=0x00000000D1FFAB1E)
               [000042] --C-G------ arg0                    \--*  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                       \--*  CNS_INT(h) long   0xd1ffab1e class

impImportBlockPending for BB04

** Note: inlinee IL was partially imported -- imported 42 of 51 bytes of method IL

*************** Inline @[000004] Finishing PHASE Importation
Trees after Importation

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB02 [0001]  1                             1       [000..007)-> BB04 ( cond )                     i 
BB03 [0002]  1                             1       [007..016)                                     i 
BB04 [0003]  2                             1       [016..01A)-> BB06 (always)                     i 
BB05 [0004]  1                             1       [01A..01F)                                     
BB06 [0005]  2                             1       [01F..033)        (return)                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB02 [000..007) -> BB04 (cond), preds={} succs={BB03,BB04}

***** BB02
STMT00003 ( 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000022] I-C-G------                         *  CALL      int    System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool (exactContextHnd=0x00000000D1FFAB1E)

***** BB02
STMT00004 ( 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] --C--------                         *  JTRUE     void  
               [000025] --C--------                         \--*  EQ        int   
               [000023] --C--------                            +--*  RET_EXPR  int   (for [000022])
               [000024] -----------                            \--*  CNS_INT   int    0

------------ BB03 [007..016), preds={} succs={BB04}

***** BB03
STMT00007 ( 0x007[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000043] I-C-G------                         *  CALL      void   System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) (exactContextHnd=0x00000000D1FFAB1E)
               [000042] --C-G------ arg0                    \--*  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                       \--*  CNS_INT(h) long   0xd1ffab1e class

------------ BB04 [016..01A) -> BB06 (always), preds={} succs={BB06}

------------ BB05 [01A..01F), preds={} succs={BB06}

------------ BB06 [01F..033) (return), preds={} succs={}

***** BB06
STMT00005 ( 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] -------N---                         +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000030] -----------                         |  \--*  ADDR      byref 
               [000031] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB06
STMT00006 ( 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] -------N---                         +--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000035] -----------                         |  \--*  ADDR      byref 
               [000036] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000037] -----------                         \--*  CNS_INT   int    5

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000004] Starting PHASE Expand patchpoints

-- no patchpoints to transform

*************** Inline @[000004] Finishing PHASE Expand patchpoints [no changes]

*************** Inline @[000004] Starting PHASE Indirect call transform

-- no candidates to transform

*************** Inline @[000004] Finishing PHASE Indirect call transform [no changes]

*************** Inline @[000004] Starting PHASE Post-import
BB05 was not imported, marking as removed (0)

Renumbering the basic blocks for fgPostImportationCleanup

*************** Before renumbering the basic blocks

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB02 [0001]  1                             1       [000..007)-> BB04 ( cond )                     i 
BB03 [0002]  1                             1       [007..016)                                     i 
BB04 [0003]  2                             1       [016..01A)-> BB06 (always)                     i 
BB06 [0005]  2                             1       [01F..033)        (return)                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty
Renumber BB02 to BB07
Renumber BB03 to BB08
Renumber BB04 to BB09
Renumber BB06 to BB10

*************** After renumbering the basic blocks

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB07 [0001]  1                             1       [000..007)-> BB09 ( cond )                     i 
BB08 [0002]  1                             1       [007..016)                                     i 
BB09 [0003]  2                             1       [016..01A)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [01F..033)        (return)                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty

New BlockSet epoch 1, # of blocks (including unused BB00): 6, bitset array size: 1 (short)

*************** Inline @[000004] Finishing PHASE Post-import
Trees after Post-import

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB07 [0001]  1                             1       [000..007)-> BB09 ( cond )                     i 
BB08 [0002]  1                             1       [007..016)                                     i 
BB09 [0003]  2                             1       [016..01A)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [01F..033)        (return)                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB07 [000..007) -> BB09 (cond), preds={} succs={BB08,BB09}

***** BB07
STMT00003 ( 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000022] I-C-G------                         *  CALL      int    System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool (exactContextHnd=0x00000000D1FFAB1E)

***** BB07
STMT00004 ( 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] --C--------                         *  JTRUE     void  
               [000025] --C--------                         \--*  EQ        int   
               [000023] --C--------                            +--*  RET_EXPR  int   (for [000022])
               [000024] -----------                            \--*  CNS_INT   int    0

------------ BB08 [007..016), preds={} succs={BB09}

***** BB08
STMT00007 ( 0x007[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000043] I-C-G------                         *  CALL      void   System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) (exactContextHnd=0x00000000D1FFAB1E)
               [000042] --C-G------ arg0                    \--*  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                       \--*  CNS_INT(h) long   0xd1ffab1e class

------------ BB09 [016..01A) -> BB10 (always), preds={} succs={BB10}

------------ BB10 [01F..033) (return), preds={} succs={}

***** BB10
STMT00005 ( 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] -------N---                         +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000030] -----------                         |  \--*  ADDR      byref 
               [000031] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB10
STMT00006 ( 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] -------N---                         +--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000035] -----------                         |  \--*  ADDR      byref 
               [000036] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000037] -----------                         \--*  CNS_INT   int    5

-------------------------------------------------------------------------------------------------------------------

----------- Statements (and blocks) added due to the inlining of call [000004] -----------

Arguments setup:

Inlinee method body:New Basic Block BB11 [0006] created.

Convert bbJumpKind of BB10 to BBJ_NONE
fgInlineAppendStatements: no gc ref inline locals.

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB07 [0001]  1                             1       [000..001)-> BB09 ( cond )                     i 
BB08 [0002]  1                             1       [000..001)                                     i 
BB09 [0003]  2                             1       [000..001)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [000..001)                                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB07 [000..001) -> BB09 (cond), preds={} succs={BB08,BB09}

***** BB07
STMT00003 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000022] I-C-G------                         *  CALL      int    System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool (exactContextHnd=0x00000000D1FFAB1E)

***** BB07
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] --C--------                         *  JTRUE     void  
               [000025] --C--------                         \--*  EQ        int   
               [000023] --C--------                            +--*  RET_EXPR  int   (for [000022])
               [000024] -----------                            \--*  CNS_INT   int    0

------------ BB08 [000..001), preds={} succs={BB09}

***** BB08
STMT00007 ( INL01 @ 0x007[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000043] I-C-G------                         *  CALL      void   System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) (exactContextHnd=0x00000000D1FFAB1E)
               [000042] --C-G------ arg0                    \--*  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                       \--*  CNS_INT(h) long   0xd1ffab1e class

------------ BB09 [000..001) -> BB10 (always), preds={} succs={BB10}

------------ BB10 [000..001), preds={} succs={BB11}

***** BB10
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] -------N---                         +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000030] -----------                         |  \--*  ADDR      byref 
               [000031] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB10
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] -------N---                         +--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000035] -----------                         |  \--*  ADDR      byref 
               [000036] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000037] -----------                         \--*  CNS_INT   int    5

-------------------------------------------------------------------------------------------------------------------
Successfully inlined System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this (51 IL bytes) (depth 1) [aggressive inline attribute]
--------------------------------------------------------------------------------------------

BB01 becomes empty
INLINER: during 'fgInline' result 'success' reason 'aggressive inline attribute' for 'ConstStringConstIndexOptimizations:Foo():ubyte' calling 'System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this'
INLINER: during 'fgInline' result 'success' reason 'aggressive inline attribute'
Expanding INLINE_CANDIDATE in statement STMT00003 in BB07:
STMT00003 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000022] I-C-G------                         *  CALL      int    System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool (exactContextHnd=0x00000000D1FFAB1E)
INLINER: inlineInfo.tokenLookupContextHandle for System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool set to 0x00000000D1FFAB1E:

Invoking compiler for the inlinee method System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool :
IL to import:
IL_0000  16                ldc.i4.0    
IL_0001  2a                ret

INLINER impTokenLookupContextHandle for System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool is 0x00000000D1FFAB1E.
*************** In compInitDebuggingInfo() for System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool
info.compStmtOffsetsCount    = 0
info.compStmtOffsetsImplicit = 0005h ( STACK_EMPTY CALL_SITE )
*************** In fgFindBasicBlocks() for System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool
Jump targets:
  none
New Basic Block BB12 [0007] created.
BB12 [000..002)
Basic block list for 'System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool'

*************** Inline @[000022] Starting PHASE Pre-import

*************** Inline @[000022] Finishing PHASE Pre-import
Trees after Pre-import

------------ BB12 [000..002) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000022] Starting PHASE Profile incorporation
BBOPT set, but no profile data available (hr=80004001)
Computing inlinee profile scale:
   ... no callee profile data, will use non-pgo weight to scale
   ... call site not profiled, will use non-pgo weight to scale
   call site count 100 callee entry count 100 scale 1
Scaling inlinee blocks

*************** Inline @[000022] Finishing PHASE Profile incorporation
Trees after Profile incorporation

------------ BB12 [000..002) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000022] Starting PHASE Importation
*************** In impImport() for System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool

impImportBlockPending for BB12

Importing BB12 (PC=000) of 'System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool'
    [ 0]   0 (0x000) ldc.i4.0 0
    [ 1]   1 (0x001) ret

Inlinee Return expression (before normalization)  =>
               [000045] -----------                         *  CNS_INT   int    0

Inlinee Return expression (after normalization) =>
               [000046] -----------                         *  CAST      int <- bool <- int
               [000045] -----------                         \--*  CNS_INT   int    0

** Note: inlinee IL was partially imported -- imported 0 of 2 bytes of method IL

*************** Inline @[000022] Finishing PHASE Importation
Trees after Importation

------------ BB12 [000..002) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000022] Starting PHASE Expand patchpoints

-- no patchpoints to transform

*************** Inline @[000022] Finishing PHASE Expand patchpoints [no changes]

*************** Inline @[000022] Starting PHASE Indirect call transform

-- no candidates to transform

*************** Inline @[000022] Finishing PHASE Indirect call transform [no changes]

*************** Inline @[000022] Starting PHASE Post-import

*************** Inline @[000022] Finishing PHASE Post-import [no changes]

----------- Statements (and blocks) added due to the inlining of call [000022] -----------

Inlinee method body:fgInlineAppendStatements: no gc ref inline locals.
Successfully inlined System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool (2 IL bytes) (depth 2) [below ALWAYS_INLINE size]
--------------------------------------------------------------------------------------------
INLINER: during 'fgInline' result 'success' reason 'below ALWAYS_INLINE size' for 'ConstStringConstIndexOptimizations:Foo():ubyte' calling 'System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool'
INLINER: during 'fgInline' result 'success' reason 'below ALWAYS_INLINE size'

Folding operator with constant nodes into a constant:
               [000046] -----------                         *  CAST      int <- bool <- int
               [000045] -----------                         \--*  CNS_INT   int    0
Bashed to int constant:
               [000046] -----------                         *  CNS_INT   int    0

Replacing the return expression placeholder [000023] with [000046]
               [000023] --C--------                         *  RET_EXPR  int   (for [000022]) -> [000046]

Inserting the inline return expression
               [000046] -----------                         *  CNS_INT   int    0

Folding operator with constant nodes into a constant:
               [000025] --C--------                         *  EQ        int   
               [000046] -----------                         +--*  CNS_INT   int    0
               [000024] -----------                         \--*  CNS_INT   int    0
Bashed to int constant:
               [000025] -----------                         *  CNS_INT   int    1
 ... found foldable jtrue at [000026] in BB07
INLINER: during 'fgNoteNonInlineCandidate' result 'failed this call site' reason 'target is helper' for 'ConstStringConstIndexOptimizations:Foo():ubyte' calling 'n/a'
INLINER: during 'fgNoteNonInlineCandidate' result 'failed this call site' reason 'target is helper'
Expanding INLINE_CANDIDATE in statement STMT00007 in BB08:
STMT00007 ( INL01 @ 0x007[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000043] I-C-G------                         *  CALL      void   System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) (exactContextHnd=0x00000000D1FFAB1E)
               [000042] --C-G------ arg0                    \--*  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                       \--*  CNS_INT(h) long   0xd1ffab1e class

Argument #0: is a constant or invariant has global refs
               [000042] --C-G------                         *  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                    \--*  CNS_INT(h) long   0xd1ffab1e class

INLINER: inlineInfo.tokenLookupContextHandle for System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) set to 0x00000000D1FFAB1E:

Invoking compiler for the inlinee method System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) :
IL to import:
IL_0000  28 6b 1d 00 06    call         0x6001D6B
IL_0005  02                ldarg.0     
IL_0006  28 f8 1b 00 06    call         0x6001BF8
IL_000b  73 48 0b 00 06    newobj       0x6000B48
IL_0010  7a                throw

INLINER impTokenLookupContextHandle for System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) is 0x00000000D1FFAB1E.
*************** In compInitDebuggingInfo() for System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type)
info.compStmtOffsetsCount    = 0
info.compStmtOffsetsImplicit = 0005h ( STACK_EMPTY CALL_SITE )
*************** In fgFindBasicBlocks() for System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type)
weight= 79 : state  40 [ call ]
weight= 10 : state   3 [ ldarg.0 ]
weight= 79 : state  40 [ call ]
weight=227 : state 103 [ newobj ]
weight=210 : state 108 [ throw ]

Inline candidate callsite is boring.  Multiplier increased to 1.3.
calleeNativeSizeEstimate=605
callsiteNativeSizeEstimate=85
benefit multiplier=1.3
threshold=110
Native estimate for function size exceeds threshold for inlining 60.5 > 11 (multiplier = 1.3)

Inline expansion aborted, inline not profitable
INLINER: during 'fgInline' result 'failed this call site' reason 'unprofitable inline' for 'ConstStringConstIndexOptimizations:Foo():ubyte' calling 'System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type)'
INLINER: during 'fgInline' result 'failed this call site' reason 'unprofitable inline'
**************** Inline Tree

Inlines into 06000001 [via ExtendedDefaultPolicy] ConstStringConstIndexOptimizations:Foo():ubyte:
  [INL01 IL=0006 TR=000004 060019F9] [INLINED: callee: aggressive inline attribute] System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this
    [INL02 IL=0000 TR=000022 060058DC] [INLINED: callee: below ALWAYS_INLINE size] System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool
    [INL00 IL=0017 TR=000043 0600208D] [FAILED: call site: unprofitable inline] System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type)
Budget: initialTime=126, finalTime=182, initialBudget=1260, currentBudget=1330
Budget: increased by 70 because of force inlines
Budget: initialSize=632, finalSize=632

*************** Finishing PHASE Morph - Inlining
Trees after Morph - Inlining

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB07 [0001]  1                             1       [000..001)-> BB09 (always)                     i 
BB08 [0002]  1                             1       [000..001)                                     i 
BB09 [0003]  2                             1       [000..001)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [000..001)                                     i 
BB11 [0006]  1                             1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB01 [000..016), preds={} succs={BB07}

------------ BB07 [000..001) -> BB09 (always), preds={} succs={BB09}

***** BB07
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

------------ BB08 [000..001), preds={} succs={BB09}

***** BB08
STMT00007 ( INL01 @ 0x007[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000043] --C-G------                         *  CALL      void   System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type)
               [000042] --C-G------ arg0                    \--*  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                       \--*  CNS_INT(h) long   0xd1ffab1e class

------------ BB09 [000..001) -> BB10 (always), preds={} succs={BB10}

------------ BB10 [000..001), preds={} succs={BB11}

------------ BB11 [???..???) (return), preds={} succs={}

***** BB11
STMT00001 ( 0x00B[--] ... ??? )
               [000008] -A---------                         *  ASG       struct (copy)
               [000006] D------N---                         +--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000005] -----------                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1

***** BB11
STMT00002 ( 0x00C[E-] ... 0x015 )
               [000021] ---XG------                         *  RETURN    int   
               [000020] ---XG------                         \--*  IND       ubyte 
               [000019] ---X-------                            \--*  COMMA     byref 
               [000016] ---X-------                               +--*  BOUNDS_CHECK_Rng void  
               [000011] -----------                               |  +--*  CNS_INT   int    3
               [000015] -----------                               |  \--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000010] -----------                               |     \--*  ADDR      byref 
               [000009] -------N---                               |        \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000018] -----------                               \--*  ADD       byref 
               [000017] -----------                                  +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000014] -----------                                  |  \--*  ADDR      byref 
               [000013] -------N---                                  |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000012] -----------                                  \--*  CNS_INT   long   3

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Allocate Objects
no newobjs in this method; punting

*************** Finishing PHASE Allocate Objects [no changes]

*************** Starting PHASE Morph - Add internal blocks

*************** After fgAddInternal()

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB07 [0001]  1                             1       [000..001)-> BB09 (always)                     i 
BB08 [0002]  1                             1       [000..001)                                     i 
BB09 [0003]  2                             1       [000..001)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [000..001)                                     i 
BB11 [0006]  1                             1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty

*************** Finishing PHASE Morph - Add internal blocks [no changes]

*************** Starting PHASE Remove empty try

*************** In fgRemoveEmptyTry()
No EH in this method, nothing to remove.

*************** Finishing PHASE Remove empty try [no changes]

*************** Starting PHASE Remove empty finally
No EH in this method, nothing to remove.

*************** Finishing PHASE Remove empty finally [no changes]

*************** Starting PHASE Merge callfinally chains
No EH in this method, nothing to merge.

*************** Finishing PHASE Merge callfinally chains [no changes]

*************** Starting PHASE Clone finally
No EH in this method, no cloning.

*************** Finishing PHASE Clone finally [no changes]

*************** Starting PHASE Compute preds

Renumbering the basic blocks for fgComputePred

*************** Before renumbering the basic blocks

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB07 [0001]  1                             1       [000..001)-> BB09 (always)                     i 
BB08 [0002]  1                             1       [000..001)                                     i 
BB09 [0003]  2                             1       [000..001)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [000..001)                                     i 
BB11 [0006]  1                             1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty
Renumber BB07 to BB02
Renumber BB08 to BB03
Renumber BB09 to BB04
Renumber BB10 to BB05
Renumber BB11 to BB06

*************** After renumbering the basic blocks

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB02 [0001]  1                             1       [000..001)-> BB04 (always)                     i 
BB03 [0002]  1                             1       [000..001)                                     i 
BB04 [0003]  2                             1       [000..001)-> BB05 (always)                     i 
BB05 [0005]  2                             1       [000..001)                                     i 
BB06 [0006]  1                             1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty

New BlockSet epoch 2, # of blocks (including unused BB00): 7, bitset array size: 1 (short)
Setting edge weights for BB01 -> BB02 to [0 .. 3.402823e+38]
Setting edge weights for BB02 -> BB04 to [0 .. 3.402823e+38]
Setting edge weights for BB03 -> BB04 to [0 .. 3.402823e+38]
Setting edge weights for BB04 -> BB05 to [0 .. 3.402823e+38]
Setting edge weights for BB05 -> BB06 to [0 .. 3.402823e+38]

*************** Finishing PHASE Compute preds
Trees after Compute preds

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd preds           weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB02 [0001]  1       BB01                  1       [000..001)-> BB04 (always)                     i 
BB03 [0002]  0                             1       [000..001)                                     i 
BB04 [0003]  2       BB02,BB03             1       [000..001)-> BB05 (always)                     i 
BB05 [0005]  1       BB04                  1       [000..001)                                     i 
BB06 [0006]  1       BB05                  1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB01 [000..016), preds={} succs={BB02}

------------ BB02 [000..001) -> BB04 (always), preds={BB01} succs={BB04}

***** BB02
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

------------ BB03 [000..001), preds={} succs={BB04}

***** BB03
STMT00007 ( INL01 @ 0x007[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000043] --C-G------                         *  CALL      void   System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type)
               [000042] --C-G------ arg0                    \--*  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                       \--*  CNS_INT(h) long   0xd1ffab1e class

------------ BB04 [000..001) -> BB05 (always), preds={BB02,BB03} succs={BB05}

------------ BB05 [000..001), preds={BB04} succs={BB06}

***** BB05
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] -------N---                         +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000030] -----------                         |  \--*  ADDR      byref 
               [000031] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB05
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] -------N---                         +--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000035] -----------                         |  \--*  ADDR      byref 
               [000036] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1         
               [000037] -----------                         \--*  CNS_INT   int    5

------------ BB06 [???..???) (return), preds={BB05} succs={}

***** BB06
STMT00001 ( 0x00B[--] ... ??? )
               [000008] -A---------                         *  ASG       struct (copy)
               [000006] D------N---                         +--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000005] -----------                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V02 tmp1

***** BB06
STMT00002 ( 0x00C[E-] ... 0x015 )
               [000021] ---XG------                         *  RETURN    int   
               [000020] ---XG------                         \--*  IND       ubyte 
               [000019] ---X-------                            \--*  COMMA     byref 
               [000016] ---X-------                               +--*  BOUNDS_CHECK_Rng void  
               [000011] -----------                               |  +--*  CNS_INT   int    3
               [000015] -----------                               |  \--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000010] -----------                               |     \--*  ADDR      byref 
               [000009] -------N---                               |        \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000018] -----------                               \--*  ADD       byref 
               [000017] -----------                                  +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000014] -----------                                  |  \--*  ADDR      byref 
               [000013] -------N---                                  |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16> V00 loc0         
               [000012] -----------                                  \--*  CNS_INT   long   3

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Tail merge

*************** Finishing PHASE Tail merge [no changes]

*************** Starting PHASE Merge throw blocks

*************** In fgTailMergeThrows
Method does not have multiple noreturn calls.

*************** Finishing PHASE Merge throw blocks [no changes]

*************** Starting PHASE Update flow graph early pass

Compacting blocks BB01 and BB02:
*************** In fgDebugCheckBBlist

Optimizing a jump to an unconditional jump (BB01 -> BB04 -> BB05)
Setting edge weights for BB01 -> BB05 to [0 .. 3.402823e+38]

Compacting blocks BB03 and BB04:
*************** In fgDebugCheckBBlist

Removing unconditional jump to next block (BB03 -> BB05) (converted BB03 to fall-through)
fgRemoveBlock BB03, unreachable=true

Removing unreachable BB03

removing useless STMT00007 ( INL01 @ 0x007[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000043] --C-G------                         *  CALL      void   System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type)
               [000042] --C-G------ arg0                    \--*  CALL help ref    CORINFO_HELP_TYPEHANDLE_TO_RUNTIMETYPE
               [000040] H---------- arg0                       \--*  CNS_INT(h) long   0xd1ffab1e class
 from BB03

BB03 becomes empty

Compacting blocks BB05 and BB06:
*************** In fgDebugCheckBBlist

Compacting blocks BB01 and BB05:
*************** In fgDebugCheckBBlist

*************** Finishing PHASE Update flow graph early pass
Trees after Update flow graph early pass

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Morph - Promote Structs

lvaTable before fgPromoteStructs
; Initial local variable assignments
;
;  V00 loc0           struct <System.ReadOnlySpan`1, 16> ld-addr-op
;  V01 OutArgs        lclBlk <na>  "OutgoingArgSpace"
;  V02 tmp1           struct <System.ReadOnlySpan`1, 16> ld-addr-op "NewObj constructor temp"

Promoting struct local V00 (System.ReadOnlySpan`1[ubyte]):
lvaGrabTemp returning 3 (V03 tmp2) (a long lifetime temp) called for field V00._reference (fldOffset=0x0).

lvaGrabTemp returning 4 (V04 tmp3) (a long lifetime temp) called for field V00._length (fldOffset=0x8).

Promoting struct local V02 (System.ReadOnlySpan`1[ubyte]):
lvaGrabTemp returning 5 (V05 tmp4) (a long lifetime temp) called for field V02._reference (fldOffset=0x0).

lvaGrabTemp returning 6 (V06 tmp5) (a long lifetime temp) called for field V02._length (fldOffset=0x8).

lvaTable after fgPromoteStructs
; Initial local variable assignments
;
;  V00 loc0           struct <System.ReadOnlySpan`1, 16> ld-addr-op
;  V01 OutArgs        lclBlk <na>  "OutgoingArgSpace"
;  V02 tmp1           struct <System.ReadOnlySpan`1, 16> ld-addr-op "NewObj constructor temp"
;  V03 tmp2            byref  V00._reference(offs=0x00) P-INDEP "field V00._reference (fldOffset=0x0)"
;  V04 tmp3              int  V00._length(offs=0x08) P-INDEP "field V00._length (fldOffset=0x8)"
;  V05 tmp4            byref  V02._reference(offs=0x00) P-INDEP "field V02._reference (fldOffset=0x0)"
;  V06 tmp5              int  V02._length(offs=0x08) P-INDEP "field V02._length (fldOffset=0x8)"

*************** Finishing PHASE Morph - Promote Structs
Trees after Morph - Promote Structs

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

***** BB01
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] -------N---                         +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000030] -----------                         |  \--*  ADDR      byref 
               [000031] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            |     \--*    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            |     \--*    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB01
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] -------N---                         +--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000035] -----------                         |  \--*  ADDR      byref 
               [000036] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            |     \--*    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            |     \--*    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5         
               [000037] -----------                         \--*  CNS_INT   int    5

***** BB01
STMT00001 ( 0x00B[--] ... ??? )
               [000008] -A---------                         *  ASG       struct (copy)
               [000006] D------N---                         +--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                            +--*    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                            +--*    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
               [000005] -----------                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            \--*    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            \--*    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5

***** BB01
STMT00002 ( 0x00C[E-] ... 0x015 )
               [000021] ---XG------                         *  RETURN    int   
               [000020] ---XG------                         \--*  IND       ubyte 
               [000019] ---X-------                            \--*  COMMA     byref 
               [000016] ---X-------                               +--*  BOUNDS_CHECK_Rng void  
               [000011] -----------                               |  +--*  CNS_INT   int    3
               [000015] -----------                               |  \--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000010] -----------                               |     \--*  ADDR      byref 
               [000009] -------N---                               |        \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                                  |        \--*    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                                  |        \--*    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
               [000018] -----------                               \--*  ADD       byref 
               [000017] -----------                                  +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000014] -----------                                  |  \--*  ADDR      byref 
               [000013] -------N---                                  |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                                     |     \--*    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                                     |     \--*    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
               [000012] -----------                                  \--*  CNS_INT   long   3

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Morph - Structs/AddrExp
LocalAddressVisitor visiting statement:
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

LocalAddressVisitor visiting statement:
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] -------N---                         +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000030] -----------                         |  \--*  ADDR      byref 
               [000031] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            |     \--*    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            |     \--*    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]
Replacing the field in promoted struct with local var V05
LocalAddressVisitor modified statement:
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] D------N---                         +--*  LCL_VAR   byref  V05 tmp4         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

LocalAddressVisitor visiting statement:
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] -------N---                         +--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000035] -----------                         |  \--*  ADDR      byref 
               [000036] -------N---                         |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            |     \--*    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            |     \--*    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5         
               [000037] -----------                         \--*  CNS_INT   int    5
Replacing the field in promoted struct with local var V06
LocalAddressVisitor modified statement:
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] D------N---                         +--*  LCL_VAR   int    V06 tmp5         
               [000037] -----------                         \--*  CNS_INT   int    5

LocalAddressVisitor visiting statement:
STMT00001 ( 0x00B[--] ... ??? )
               [000008] -A---------                         *  ASG       struct (copy)
               [000006] D------N---                         +--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                            +--*    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                            +--*    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
               [000005] -----------                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            \--*    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            \--*    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5

LocalAddressVisitor visiting statement:
STMT00002 ( 0x00C[E-] ... 0x015 )
               [000021] ---XG------                         *  RETURN    int   
               [000020] ---XG------                         \--*  IND       ubyte 
               [000019] ---X-------                            \--*  COMMA     byref 
               [000016] ---X-------                               +--*  BOUNDS_CHECK_Rng void  
               [000011] -----------                               |  +--*  CNS_INT   int    3
               [000015] -----------                               |  \--*  FIELD     int    System.ReadOnlySpan`1[ubyte]:_length
               [000010] -----------                               |     \--*  ADDR      byref 
               [000009] -------N---                               |        \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                                  |        \--*    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                                  |        \--*    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
               [000018] -----------                               \--*  ADD       byref 
               [000017] -----------                                  +--*  FIELD     byref  System.ReadOnlySpan`1[ubyte]:_reference
               [000014] -----------                                  |  \--*  ADDR      byref 
               [000013] -------N---                                  |     \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                                     |     \--*    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                                     |     \--*    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
               [000012] -----------                                  \--*  CNS_INT   long   3
Replacing the field in promoted struct with local var V04
Replacing the field in promoted struct with local var V03
LocalAddressVisitor modified statement:
STMT00002 ( 0x00C[E-] ... 0x015 )
               [000021] ---XG------                         *  RETURN    int   
               [000020] ---XG------                         \--*  IND       ubyte 
               [000019] ---X-------                            \--*  COMMA     byref 
               [000016] ---X-------                               +--*  BOUNDS_CHECK_Rng void  
               [000011] -----------                               |  +--*  CNS_INT   int    3
               [000015] -----------                               |  \--*  LCL_VAR   int    V04 tmp3         
               [000018] -----------                               \--*  ADD       byref 
               [000017] -----------                                  +--*  LCL_VAR   byref  V03 tmp2         
               [000012] -----------                                  \--*  CNS_INT   long   3

*************** Finishing PHASE Morph - Structs/AddrExp
Trees after Morph - Structs/AddrExp

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

***** BB01
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---------                         *  ASG       byref 
               [000033] D------N---                         +--*  LCL_VAR   byref  V05 tmp4         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB01
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---------                         *  ASG       int   
               [000038] D------N---                         +--*  LCL_VAR   int    V06 tmp5         
               [000037] -----------                         \--*  CNS_INT   int    5

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Forward Substitution

===> BB01
    [000034]:  mismatched types (assignment)
    [000039]:  no next stmt use
    [000008]:  not asg (single-use lcl)

*************** Finishing PHASE Forward Substitution [no changes]

*************** Starting PHASE Morph - ByRefs

*************** Finishing PHASE Morph - ByRefs [no changes]

*************** Starting PHASE Morph - Global

*************** In fgMorphBlocks()

Morphing BB01 of 'ConstStringConstIndexOptimizations:Foo():ubyte'

fgMorphTree BB01, STMT00004 (before)
               [000026] -----------                         *  NOP       void

fgMorphTree BB01, STMT00005 (before)
               [000034] -A---------                         *  ASG       byref 
               [000033] D------N---                         +--*  LCL_VAR   byref  V05 tmp4         
               [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]
Notify VM instruction set (SSE2) must be supported.
GenTreeNode creates assertion:
               [000034] -A---+-----                         *  ASG       byref 
In BB01 New Local Constant Assertion: V05 == [00000000D1FFAB1E], index = #01

fgMorphTree BB01, STMT00006 (before)
               [000039] -A---------                         *  ASG       int   
               [000038] D------N---                         +--*  LCL_VAR   int    V06 tmp5         
               [000037] -----------                         \--*  CNS_INT   int    5
GenTreeNode creates assertion:
               [000039] -A---+-----                         *  ASG       int   
In BB01 New Local Constant Assertion: V06 == 5, index = #02

fgMorphTree BB01, STMT00001 (before)
               [000008] -A---------                         *  ASG       struct (copy)
               [000006] D------N---                         +--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                            +--*    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                            +--*    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
               [000005] -----------                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            \--*    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            \--*    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5         
MorphCopyBlock:
MorphBlock for dst tree, before:
               [000006] D----+-N---                         *  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                            *    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                            *    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
MorphBlock after:
               [000006] D----+-N---                         *  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                            *    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                            *    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
PrepareDst for [000006] have found a local var V00.
MorphBlock for src tree, before:
               [000005] -----+-----                         *  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            *    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            *    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5         
MorphBlock after:
               [000005] -----+-----                         *  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            *    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            *    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5         
GenTreeNode creates assertion:
               [000008] -A---------                         *  ASG       struct (copy)
In BB01 New Local Copy     Assertion: V00 == V02, index = #03
block assignment to morph:
               [000008] -A---------                         *  ASG       struct (copy)
               [000006] D----+-N---                         +--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V00 loc0         
                                                            +--*    byref  V00.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V03 tmp2         
                                                            +--*    int    V00.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V04 tmp3         
               [000005] -----+-----                         \--*  LCL_VAR   struct<System.ReadOnlySpan`1, 16>(P) V02 tmp1         
                                                            \--*    byref  V02.System.ReadOnlySpan`1[ubyte]:_reference (offs=0x00) -> V05 tmp4         
                                                            \--*    int    V02.System.ReadOnlySpan`1[ubyte]:_length (offs=0x08) -> V06 tmp5         
 (m_dstDoFldAsg=true) (m_srcDoFldAsg=true) using field by field assignments.
GenTreeNode creates assertion:
               [000050] -A---------                         *  ASG       byref 
In BB01 New Local Copy     Assertion: V03 == V05, index = #04
GenTreeNode creates assertion:
               [000053] -A---------                         *  ASG       int   
In BB01 New Local Copy     Assertion: V04 == V06, index = #05
MorphCopyBlock (after):
               [000054] -A---+-----                         *  COMMA     void  
               [000050] -A---------                         +--*  ASG       byref 
               [000048] D------N---                         |  +--*  LCL_VAR   byref  V03 tmp2         
               [000049] -----------                         |  \--*  LCL_VAR   byref  V05 tmp4         
               [000053] -A---------                         \--*  ASG       int   
               [000051] D------N---                            +--*  LCL_VAR   int    V04 tmp3         
               [000052] -----------                            \--*  LCL_VAR   int    V06 tmp5

fgMorphTree BB01, STMT00001 (after)
               [000054] -A---+-----                         *  COMMA     void  
               [000050] -A---------                         +--*  ASG       byref 
               [000048] D------N---                         |  +--*  LCL_VAR   byref  V03 tmp2         
               [000049] -----------                         |  \--*  LCL_VAR   byref  V05 tmp4         
               [000053] -A---------                         \--*  ASG       int   
               [000051] D------N---                            +--*  LCL_VAR   int    V04 tmp3         
               [000052] -----------                            \--*  LCL_VAR   int    V06 tmp5

fgMorphTree BB01, STMT00002 (before)
               [000021] ---XG------                         *  RETURN    int   
               [000020] ---XG------                         \--*  IND       ubyte 
               [000019] ---X-------                            \--*  COMMA     byref 
               [000016] ---X-------                               +--*  BOUNDS_CHECK_Rng void  
               [000011] -----------                               |  +--*  CNS_INT   int    3
               [000015] -----------                               |  \--*  LCL_VAR   int    V04 tmp3         
               [000018] -----------                               \--*  ADD       byref 
               [000017] -----------                                  +--*  LCL_VAR   byref  V03 tmp2         
               [000012] -----------                                  \--*  CNS_INT   long   3

Assertion prop in BB01:
Copy     Assertion: V04 == V06, index = #05
               [000015] -----------                         *  LCL_VAR   int    V06 tmp5

Assertion prop in BB01:
Constant Assertion: V06 == 5, index = #02
               [000015] -----------                         *  CNS_INT   int    5

Folding an in-range bounds check:
               [000016] ---X-------                         *  BOUNDS_CHECK_Rng void  
               [000011] -----+-----                         +--*  CNS_INT   int    3
               [000015] -----+-----                         \--*  CNS_INT   int    5
Bashed to NOP:
               [000016] -----------                         *  NOP       void

Assertion prop in BB01:
Copy     Assertion: V03 == V05, index = #04
               [000017] -----------                         *  LCL_VAR   byref  V05 tmp4

Assertion prop in BB01:
Constant Assertion: V05 == [00000000D1FFAB1E], index = #01
               [000055] H----------                         *  CNS_INT(h) long   0xd1ffab1e static

Folding long operator with constant nodes into a constant:
               [000018] -----------                         *  ADD       long  
               [000055] H----+-----                         +--*  CNS_INT(h) long   0xd1ffab1e static
               [000012] -----+-----                         \--*  CNS_INT   long   3
Bashed to long constant:
               [000018] -----------                         *  CNS_INT   long   0x1cb38f0293b

fgMorphTree BB01, STMT00002 (after)
               [000021] ---XG+-----                         *  RETURN    int   
               [000020] ---XG+-----                         \--*  IND       ubyte 
               [000018] -----+-----                            \--*  CNS_INT   long   0x1cb38f0293b

*************** In fgMarkDemotedImplicitByRefArgs()

*************** Finishing PHASE Morph - Global
Trees after Morph - Global

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---+-----                         *  ASG       byref 
               [000033] D----+-N---                         +--*  LCL_VAR   byref  V05 tmp4         
               [000032] H----+-----                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB01
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---+-----                         *  ASG       int   
               [000038] D----+-N---                         +--*  LCL_VAR   int    V06 tmp5         
               [000037] -----+-----                         \--*  CNS_INT   int    5

***** BB01
STMT00001 ( 0x00B[--] ... ??? )
               [000054] -A---+-----                         *  COMMA     void  
               [000050] -A---------                         +--*  ASG       byref 
               [000048] D------N---                         |  +--*  LCL_VAR   byref  V03 tmp2         
               [000049] -----------                         |  \--*  LCL_VAR   byref  V05 tmp4         
               [000053] -A---------                         \--*  ASG       int   
               [000051] D------N---                            +--*  LCL_VAR   int    V04 tmp3         
               [000052] -----------                            \--*  LCL_VAR   int    V06 tmp5

***** BB01
STMT00002 ( 0x00C[E-] ... 0x015 )
               [000021] ---XG+-----                         *  RETURN    int   
               [000020] ---XG+-----                         \--*  IND       ubyte 
               [000018] -----+-----                            \--*  CNS_INT   long   0x1cb38f0293b

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
*************** In fgDebugCheckLoopTable: loop table not valid

*************** Starting PHASE GS Cookie
No GS security needed

*************** Finishing PHASE GS Cookie [no changes]

*************** Starting PHASE Compute edge weights (1, false)

-- no profile data, so using default called count
 -- not optimizing or no profile data, so not computing edge weights

*************** Finishing PHASE Compute edge weights (1, false) [no changes]

*************** Starting PHASE Create EH funclets

*************** Finishing PHASE Create EH funclets [no changes]

*************** Starting PHASE Invert loops

*************** Finishing PHASE Invert loops [no changes]

*************** Starting PHASE Optimize control flow

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** Finishing PHASE Optimize control flow
Trees after Optimize control flow

------------ BB01 [000..016) (return), preds={} succs={}

*************** Starting PHASE Post-morph tail merge

*************** Finishing PHASE Post-morph tail merge [no changes]

*************** Starting PHASE Compute blocks reachability
Return blocks: BB01

Renumbering the basic blocks for fgComputeReachability pass #1

*************** Before renumbering the basic blocks

***************  Exception Handling table is empty

*************** After renumbering the basic blocks
=============== No blocks renumbered!

New BlockSet epoch 3, # of blocks (including unused BB00): 2, bitset array size: 1 (short)
Enter blocks: BB01

After computing reachability sets:
------------------------------------------------
BBnum  Reachable by 
------------------------------------------------
BB01 : BB01 
*************** In fgComputeDoms
*************** In fgDebugCheckBBlist

Dominator computation start blocks (those blocks with no incoming edges):
BB01 
------------------------------------------------
BBnum  Dominated by
------------------------------------------------
BB01:  BB01

Inside fgBuildDomTree

After computing the Dominance Tree:

After numbering the dominator tree:
BB01: pre=01, post=01

*************** Finishing PHASE Compute blocks reachability
Trees after Compute blocks reachability

------------ BB01 [000..016) (return), preds={} succs={}

*************** Starting PHASE Set block weights

*************** Finishing PHASE Set block weights [no changes]

*************** Starting PHASE Find loops
*************** In optFindLoops()
*************** In optMarkLoopHeads()
0 loop heads marked

*************** Finishing PHASE Find loops
Trees after Find loops

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Clone loops

*************** In optCloneLoops()
  No loops to clone

*************** Finishing PHASE Clone loops [no changes]

*************** Starting PHASE Unroll loops

*************** Finishing PHASE Unroll loops [no changes]

*************** Starting PHASE Clear loop info

*************** Finishing PHASE Clear loop info [no changes]

*************** Starting PHASE Morph array ops
No multi-dimensional array references in the function

*************** Finishing PHASE Morph array ops [no changes]

*************** Starting PHASE Mark local vars

*************** In lvaMarkLocalVars()
*** lvaComputeRefCounts ***

*** lvaComputeRefCounts -- explicit counts ***

*** marking local variables in block BB01 (weight=1   )
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000034] -A---+-----                         *  ASG       byref 
               [000033] D----+-N---                         +--*  LCL_VAR   byref  V05 tmp4         
               [000032] H----+-----                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]
New refCnts for V05: refCnt =  1, refCntWtd = 1   
Marking EH Var V05 as a register candidate.
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000039] -A---+-----                         *  ASG       int   
               [000038] D----+-N---                         +--*  LCL_VAR   int    V06 tmp5         
               [000037] -----+-----                         \--*  CNS_INT   int    5
New refCnts for V06: refCnt =  1, refCntWtd = 1   
Marking EH Var V06 as a register candidate.
STMT00001 ( 0x00B[--] ... ??? )
               [000054] -A---+-----                         *  COMMA     void  
               [000050] -A---------                         +--*  ASG       byref 
               [000048] D------N---                         |  +--*  LCL_VAR   byref  V03 tmp2         
               [000049] -----------                         |  \--*  LCL_VAR   byref  V05 tmp4         
               [000053] -A---------                         \--*  ASG       int   
               [000051] D------N---                            +--*  LCL_VAR   int    V04 tmp3         
               [000052] -----------                            \--*  LCL_VAR   int    V06 tmp5         
New refCnts for V03: refCnt =  1, refCntWtd = 1   
Marking EH Var V03 as a register candidate.
New refCnts for V05: refCnt =  2, refCntWtd = 2   
New refCnts for V04: refCnt =  1, refCntWtd = 1   
Marking EH Var V04 as a register candidate.
New refCnts for V06: refCnt =  2, refCntWtd = 2   
STMT00002 ( 0x00C[E-] ... 0x015 )
               [000021] ---XG+-----                         *  RETURN    int   
               [000020] ---XG+-----                         \--*  IND       ubyte 
               [000018] -----+-----                            \--*  CNS_INT   long   0x1cb38f0293b

*** lvaComputeRefCounts -- implicit counts ***

*************** Finishing PHASE Mark local vars [no changes]

*************** Starting PHASE Opt add copies

*************** In optAddCopies()

*************** Finishing PHASE Opt add copies [no changes]

*************** Starting PHASE Find oper order
*************** In fgFindOperOrder()

*************** Finishing PHASE Find oper order
Trees after Find oper order

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
     (  7, 13) [000034] -A------R--                         *  ASG       byref 
     (  3,  2) [000033] D------N---                         +--*  LCL_VAR   byref  V05 tmp4         
     (  3, 10) [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB01
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
     (  5,  4) [000039] -A------R--                         *  ASG       int   
     (  3,  2) [000038] D------N---                         +--*  LCL_VAR   int    V06 tmp5         
     (  1,  1) [000037] -----------                         \--*  CNS_INT   int    5

***** BB01
STMT00001 ( 0x00B[--] ... ??? )
     ( 14, 10) [000054] -A---------                         *  COMMA     void  
     (  7,  5) [000050] -A------R--                         +--*  ASG       byref 
     (  3,  2) [000048] D------N---                         |  +--*  LCL_VAR   byref  V03 tmp2         
     (  3,  2) [000049] -----------                         |  \--*  LCL_VAR   byref  V05 tmp4         
     (  7,  5) [000053] -A------R--                         \--*  ASG       int   
     (  3,  2) [000051] D------N---                            +--*  LCL_VAR   int    V04 tmp3         
     (  3,  2) [000052] -----------                            \--*  LCL_VAR   int    V06 tmp5

***** BB01
STMT00002 ( 0x00C[E-] ... 0x015 )
     (  6, 14) [000021] ---XG------                         *  RETURN    int   
     (  5, 13) [000020] ---XG------                         \--*  IND       ubyte 
     (  2, 10) [000018] -----------                            \--*  CNS_INT   long   0x1cb38f0293b

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Set block order
*************** In fgSetBlockOrder()
The biggest BB has    7 tree nodes

*************** Finishing PHASE Set block order
Trees after Set block order

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
N003 (  7, 13) [000034] -A------R--                         *  ASG       byref 
N002 (  3,  2) [000033] D------N---                         +--*  LCL_VAR   byref  V05 tmp4         
N001 (  3, 10) [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

***** BB01
STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
N003 (  5,  4) [000039] -A------R--                         *  ASG       int   
N002 (  3,  2) [000038] D------N---                         +--*  LCL_VAR   int    V06 tmp5         
N001 (  1,  1) [000037] -----------                         \--*  CNS_INT   int    5

***** BB01
STMT00001 ( 0x00B[--] ... ??? )
N007 ( 14, 10) [000054] -A---------                         *  COMMA     void  
N003 (  7,  5) [000050] -A------R--                         +--*  ASG       byref 
N002 (  3,  2) [000048] D------N---                         |  +--*  LCL_VAR   byref  V03 tmp2         
N001 (  3,  2) [000049] -----------                         |  \--*  LCL_VAR   byref  V05 tmp4         
N006 (  7,  5) [000053] -A------R--                         \--*  ASG       int   
N005 (  3,  2) [000051] D------N---                            +--*  LCL_VAR   int    V04 tmp3         
N004 (  3,  2) [000052] -----------                            \--*  LCL_VAR   int    V06 tmp5

***** BB01
STMT00002 ( 0x00C[E-] ... 0x015 )
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int   
N002 (  5, 13) [000020] ---XG------                         \--*  IND       ubyte 
N001 (  2, 10) [000018] -----------                            \--*  CNS_INT   long   0x1cb38f0293b

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Build SSA representation
*************** In SsaBuilder::Build()
[SsaBuilder] Max block count is 2.

***************  Exception Handling table is empty
[SsaBuilder] Topologically sorted the graph.
[SsaBuilder::ComputeImmediateDom]

Inside fgBuildDomTree

After computing the Dominance Tree:

*************** In fgLocalVarLiveness()
In fgLocalVarLivenessInit
Tracked variable (4 out of 7) table:
V05 tmp4          [ byref]: refCnt =    2, refCntWtd =   2   
V06 tmp5          [   int]: refCnt =    2, refCntWtd =   2   
V03 tmp2          [ byref]: refCnt =    1, refCntWtd =   1   
V04 tmp3          [   int]: refCnt =    1, refCntWtd =   1

*************** In fgPerBlockLocalVarLiveness()
BB01 USE(0)={               } + ByrefExposed + GcHeap
     DEF(4)={V05 V06 V03 V04}

** Memory liveness computed, GcHeap states and ByrefExposed states match
*************** In fgInterBlockLocalVarLiveness()

BB liveness after fgLiveVarAnalysis():

BB01 IN (0)={} + ByrefExposed + GcHeap
     OUT(0)={}

Removing tree [000053] in BB01 as useless
N006 (  7,  5) [000053] -A------R--                         *  ASG       int   
N005 (  3,  2) [000051] D------N---                         +--*  LCL_VAR   int    V04 tmp3         
N004 (  3,  2) [000052] -----------                         \--*  LCL_VAR   int    V06 tmp5

Removing tree [000050] in BB01 as useless
N003 (  7,  5) [000050] -A------R--                         *  ASG       byref 
N002 (  3,  2) [000048] D------N---                         +--*  LCL_VAR   byref  V03 tmp2         
N001 (  3,  2) [000049] -----------                         \--*  LCL_VAR   byref  V05 tmp4

fgComputeLife modified tree:
N003 (  0,  0) [000054] -----------                         *  COMMA     void  
N001 (  0,  0) [000050] -----------                         +--*  NOP       void  
N002 (  0,  0) [000053] -----------                         \--*  NOP       void

top level assign
removing stmt with no side effects

removing useless STMT00006 ( INL01 @ 0x02B[E-] ... ??? ) <- INLRT @ 0x000[E-]
N003 (  5,  4) [000039] -A------R--                         *  ASG       int   
N002 (  3,  2) [000038] D------N---                         +--*  LCL_VAR   int    V06 tmp5         
N001 (  1,  1) [000037] -----------                         \--*  CNS_INT   int    5
 from BB01
top level assign
removing stmt with no side effects

removing useless STMT00005 ( INL01 @ 0x01F[E-] ... ??? ) <- INLRT @ 0x000[E-]
N003 (  7, 13) [000034] -A------R--                         *  ASG       byref 
N002 (  3,  2) [000033] D------N---                         +--*  LCL_VAR   byref  V05 tmp4         
N001 (  3, 10) [000032] H----------                         \--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]
 from BB01
*************** In optRemoveRedundantZeroInits()
*************** In SsaBuilder::InsertPhiFunctions()
Inserting phi functions:
*************** In SsaBuilder::RenameVariables()
V03.1: defined in BB00 0 uses (local)
V04.1: defined in BB00 0 uses (local)
V05.1: defined in BB00 0 uses (local)
V06.1: defined in BB00 0 uses (local)

*************** Finishing PHASE Build SSA representation
Trees after Build SSA representation

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00001 ( 0x00B[--] ... ??? )
N003 (  0,  0) [000054] -----------                         *  COMMA     void  
N001 (  0,  0) [000050] -----------                         +--*  NOP       void  
N002 (  0,  0) [000053] -----------                         \--*  NOP       void

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
SSA checks completed successfully
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Early Value Propagation
no arrays or null checks in the method

*************** Finishing PHASE Early Value Propagation [no changes]

*************** Starting PHASE Do value numbering

*************** In fgValueNumber()
Memory Initial Value in BB01 is: $c0
The SSA definition for ByrefExposed (#1) at start of BB01 is $c0 {InitVal($81)}
The SSA definition for GcHeap (#1) at start of BB01 is $c0 {InitVal($81)}

***** BB01, STMT00001(before)
N003 (  0,  0) [000054] -----------                         *  COMMA     void  
N001 (  0,  0) [000050] -----------                         +--*  NOP       void  
N002 (  0,  0) [000053] -----------                         \--*  NOP       void

N001 [000050]   NOP       => $100 {MemOpaque:NotInLoop}
N002 [000053]   NOP       => $101 {MemOpaque:NotInLoop}
N003 [000054]   COMMA     => $101 {MemOpaque:NotInLoop}

***** BB01, STMT00001(after)
N003 (  0,  0) [000054] -----------                         *  COMMA     void   $101
N001 (  0,  0) [000050] -----------                         +--*  NOP       void   $100
N002 (  0,  0) [000053] -----------                         \--*  NOP       void   $101

---------

***** BB01, STMT00002(before)
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int   
N002 (  5, 13) [000020] ---XG------                         \--*  IND       ubyte 
N001 (  2, 10) [000018] -----------                            \--*  CNS_INT   long   0x1cb38f0293b

N001 [000018]   CNS_INT   0x1cb38f0293b => $140 {LngCns:  0x1cb38f0293b}
N002 [000020]   IND       => <l:$281 {norm=$180 {ByrefExposedLoad($82, $140, $c0)}, exc=$240 {NullPtrExc($140)}}, c:$280 {norm=$1c0 {MemOpaque:NotInLoop}, exc=$240 {NullPtrExc($140)}}>
N003 [000021]   RETURN    => $241 {norm=$VN.Void, exc=$240 {NullPtrExc($140)}}

***** BB01, STMT00002(after)
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int    $241
N002 (  5, 13) [000020] ---XG------                         \--*  IND       ubyte  <l:$281, c:$280>
N001 (  2, 10) [000018] -----------                            \--*  CNS_INT   long   0x1cb38f0293b $140

finish(BB01).

*************** Finishing PHASE Do value numbering
Trees after Do value numbering

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00001 ( 0x00B[--] ... ??? )
N003 (  0,  0) [000054] -----------                         *  COMMA     void   $101
N001 (  0,  0) [000050] -----------                         +--*  NOP       void   $100
N002 (  0,  0) [000053] -----------                         \--*  NOP       void   $101

***** BB01
STMT00002 ( 0x00C[E-] ... 0x015 )
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int    $241
N002 (  5, 13) [000020] ---XG------                         \--*  IND       ubyte  <l:$281, c:$280>
N001 (  2, 10) [000018] -----------                            \--*  CNS_INT   long   0x1cb38f0293b $140

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
SSA checks completed successfully
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Hoist loop code

No loops; no hoisting

*************** Finishing PHASE Hoist loop code [no changes]

*************** Starting PHASE VN based copy prop
Copy Assertion for BB01
  curSsaName stack: { }

*************** Finishing PHASE VN based copy prop [no changes]

*************** Starting PHASE Redundant branch opts

*************** Finishing PHASE Redundant branch opts [no changes]

*************** Starting PHASE Optimize Valnum CSEs

*************** Finishing PHASE Optimize Valnum CSEs
Trees after Optimize Valnum CSEs

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
SSA checks completed successfully
*************** In fgDebugCheckLoopTable
Disabling SSA checking before assertion prop

*************** Starting PHASE Assertion prop

*************** Finishing PHASE Assertion prop [no changes]

*************** Starting PHASE If conversion

*************** Finishing PHASE If conversion [no changes]

*************** Starting PHASE Optimize index checks

*************** Finishing PHASE Optimize index checks [no changes]

*************** Starting PHASE VN-based dead store removal

*************** Finishing PHASE VN-based dead store removal [no changes]

*************** Starting PHASE Insert GC Polls

*************** Finishing PHASE Insert GC Polls [no changes]

*************** Starting PHASE Optimize bools
*************** In optOptimizeBools()

optimized 0 BBJ_COND cases, 0 BBJ_RETURN cases in 1 passes

*************** Finishing PHASE Optimize bools [no changes]

*************** Starting PHASE Optimize layout

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** Finishing PHASE Optimize layout
Trees after Optimize layout

------------ BB01 [000..016) (return), preds={} succs={}

*************** Starting PHASE Determine first cold block
No procedure splitting will be done for this method

*************** Finishing PHASE Determine first cold block [no changes]

*************** Starting PHASE Rationalize IR

*************** Finishing PHASE Rationalize IR
Trees after Rationalize IR

------------ BB01 [000..016) (return), preds={} succs={}
               [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--]
               [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-]
N001 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1cb38f0293b $140
                                                            /--*  t18    long   
N002 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  <l:$281, c:$280>
                                                            /--*  t20    ubyte  
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int    $241

*************** Starting PHASE Do 'simple' lowering

*************** Finishing PHASE Do 'simple' lowering [no changes]

*************** Starting PHASE Lowering nodeinfo
lowering GT_RETURN
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int    $241
============Lower has completed modifying nodes.

-------------------------------------------------------------------------------------------------------------------

*** lvaComputeRefCounts ***

*** lvaComputeRefCounts -- explicit counts ***

*** lvaComputeRefCounts -- implicit counts ***
*************** In fgLocalVarLiveness()
; Initial local variable assignments
;
;  V00 loc0           struct <System.ReadOnlySpan`1, 16> ld-addr-op
;  V01 OutArgs        lclBlk <0>  "OutgoingArgSpace"
;  V02 tmp1           struct <System.ReadOnlySpan`1, 16> ld-addr-op "NewObj constructor temp"
;  V03 tmp2            byref  single-def V00._reference(offs=0x00) P-INDEP "field V00._reference (fldOffset=0x0)"
;  V04 tmp3              int  single-def V00._length(offs=0x08) P-INDEP "field V00._length (fldOffset=0x8)"
;  V05 tmp4            byref  single-def V02._reference(offs=0x00) P-INDEP "field V02._reference (fldOffset=0x0)"
;  V06 tmp5              int  single-def V02._length(offs=0x08) P-INDEP "field V02._length (fldOffset=0x8)"
In fgLocalVarLivenessInit
Tracked variable (0 out of 7) table:

*************** In fgPerBlockLocalVarLiveness()
BB01 USE(0)={} + ByrefExposed + GcHeap
     DEF(0)={}

** Memory liveness computed, GcHeap states and ByrefExposed states match
*************** In fgInterBlockLocalVarLiveness()

BB liveness after fgLiveVarAnalysis():

BB01 IN (0)={} + ByrefExposed + GcHeap
     OUT(0)={}

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** In fgRemoveDeadBlocks()
Removing unreachable blocks for fgRemoveDeadBlocks iteration #1
*************** In fgDebugCheckBBlist

*** lvaComputeRefCounts ***

*** lvaComputeRefCounts -- explicit counts ***

*** lvaComputeRefCounts -- implicit counts ***

*************** Finishing PHASE Lowering nodeinfo
Trees after Lowering nodeinfo

*************** Starting PHASE Calculate stack level slots

*************** Finishing PHASE Calculate stack level slots [no changes]

*************** Starting PHASE Linear scan register alloc
Clearing modified regs.

buildIntervals ========

-----------------
LIVENESS:
-----------------
BB01
use: {}
def: {}
 in: {}
out: {}

FP callee save candidate vars: None

floatVarCount = 0; hasLoops = false, singleExit = true
TUPLE STYLE DUMP BEFORE LSRA
Start LSRA Block Sequence: 
Current block: BB01
Final LSRA Block Sequence:
BB01 (  1   )

BB01 [000..016) (return), preds={} succs={}
=====
  N000.                    IL_OFFSET INLRT @ 0x00B[--]
  N000.                    IL_OFFSET INLRT @ 0x00C[E-]
  N001. t18             =  CNS_INT   0x1cb38f0293b
  N002. t20             =  IND      ; t18
  N003.                    RETURN   ; t20

buildIntervals second part ========

NEW BLOCK BB01
<RefPosition #0   @0   RefTypeBB BB01 regmask=[] minReg=1 wt=100.00>

DefList: {  }
N002 (???,???) [000056] -----------                         *  IL_OFFSET void   INLRT @ 0x00B[--] REG NA

DefList: {  }
N004 (???,???) [000057] -----------                         *  IL_OFFSET void   INLRT @ 0x00C[E-] REG NA

DefList: {  }
N006 (  2, 10) [000018] -----------                         *  CNS_INT   long   0x1cb38f0293b REG NA $140
Interval  0: long RefPositions {} physReg:NA Preferences=[allInt]
<RefPosition #1   @7   RefTypeDef <Ivl:0> CNS_INT BB01 regmask=[allInt] minReg=1 wt=400.00>

DefList: { N006.t18. CNS_INT }
N008 (  5, 13) [000020] ---XG------                         *  IND       ubyte  REG NA <l:$281, c:$280>
<RefPosition #2   @8   RefTypeUse <Ivl:0> BB01 regmask=[allInt] minReg=1 last wt=100.00>
Interval  1: ubyte RefPositions {} physReg:NA Preferences=[allInt]
<RefPosition #3   @9   RefTypeDef <Ivl:1> IND BB01 regmask=[allInt] minReg=1 wt=400.00>

DefList: { N008.t20. IND }
N010 (  6, 14) [000021] ---XG------                         *  RETURN    int    REG NA $241
<RefPosition #4   @10  RefTypeFixedReg <Reg:rax> BB01 regmask=[rax] minReg=1 wt=100.00>
<RefPosition #5   @10  RefTypeUse <Ivl:1> BB01 regmask=[rax] minReg=1 last fixed wt=100.00>

Linear scan intervals BEFORE VALIDATING INTERVALS:
Interval  0: long (constant) RefPositions {#1@7 #2@8} physReg:NA Preferences=[allInt]
Interval  1: ubyte RefPositions {#3@9 #5@10} physReg:NA Preferences=[rax]

------------
REFPOSITIONS BEFORE VALIDATING INTERVALS: 
------------
<RefPosition #0   @0   RefTypeBB BB01 regmask=[] minReg=1 wt=100.00>
<RefPosition #1   @7   RefTypeDef <Ivl:0> CNS_INT BB01 regmask=[allInt] minReg=1 wt=400.00>
<RefPosition #2   @8   RefTypeUse <Ivl:0> BB01 regmask=[allInt] minReg=1 last wt=100.00>
<RefPosition #3   @9   RefTypeDef <Ivl:1> IND BB01 regmask=[rax] minReg=1 wt=400.00>
<RefPosition #4   @10  RefTypeFixedReg <Reg:rax> BB01 regmask=[rax] minReg=1 wt=100.00>
<RefPosition #5   @10  RefTypeUse <Ivl:1> BB01 regmask=[rax] minReg=1 last fixed wt=100.00>
TUPLE STYLE DUMP WITH REF POSITIONS
Incoming Parameters: 
BB01 [000..016) (return), preds={} succs={}
=====
  N002.                    IL_OFFSET INLRT @ 0x00B[--]
  N004.                    IL_OFFSET INLRT @ 0x00C[E-]
  N006.                    CNS_INT   0x1cb38f0293b
        Def:<I0>(#1)
  N008.                    IND      
                               Use:<I0>(#2) *
        Def:<I1>(#3)
  N010.                    RETURN   
                               Use:<I1>(#5) Fixed:rax(#4) *

Linear scan intervals after buildIntervals:
Interval  0: long (constant) RefPositions {#1@7 #2@8} physReg:NA Preferences=[allInt]
Interval  1: ubyte RefPositions {#3@9 #5@10} physReg:NA Preferences=[rax]

*************** In LinearScan::allocateRegisters()

Linear scan intervals before allocateRegisters:
Interval  0: long (constant) RefPositions {#1@7 #2@8} physReg:NA Preferences=[allInt]
Interval  1: ubyte RefPositions {#3@9 #5@10} physReg:NA Preferences=[rax]

------------
REFPOSITIONS BEFORE ALLOCATION: 
------------
<RefPosition #0   @0   RefTypeBB BB01 regmask=[] minReg=1 wt=100.00>
<RefPosition #1   @7   RefTypeDef <Ivl:0> CNS_INT BB01 regmask=[allInt] minReg=1 wt=400.00>
<RefPosition #2   @8   RefTypeUse <Ivl:0> BB01 regmask=[allInt] minReg=1 last wt=100.00>
<RefPosition #3   @9   RefTypeDef <Ivl:1> IND BB01 regmask=[rax] minReg=1 wt=400.00>
<RefPosition #4   @10  RefTypeFixedReg <Reg:rax> BB01 regmask=[rax] minReg=1 wt=100.00>
<RefPosition #5   @10  RefTypeUse <Ivl:1> BB01 regmask=[rax] minReg=1 last fixed wt=100.00>

Allocating Registers
--------------------
The following table has one or more rows for each RefPosition that is handled during allocation.
The columns are: (1) Loc: LSRA location, (2) RP#: RefPosition number, (3) Name, (4) Type (e.g. Def, Use,
Fixd, Parm, DDef (Dummy Def), ExpU (Exposed Use), Kill) followed by a '*' if it is a last use, and a 'D'
if it is delayRegFree, (5) Action taken during allocation. Some actions include (a) Alloc a new register,
(b) Keep an existing register, (c) Spill a register, (d) ReLod (Reload) a register. If an ALL-CAPS name
such as COVRS is displayed, it is a score name from lsra_score.h, with a trailing '(A)' indicating alloc,
'(C)' indicating copy, and '(R)' indicating re-use. See dumpLsraAllocationEvent() for details.
The subsequent columns show the Interval occupying each register, if any, followed by 'a' if it is
active, 'p' if it is a large vector that has been partially spilled, and 'i' if it is inactive.
Columns are only printed up to the last modified register, which may increase during allocation,
in which case additional columns will appear. Registers which are not marked modified have ---- in
their column.

-----------------------------------------+----+----+----+----+----+----+----+----+----+
TreeID   LocRP#Name Type  Action    Reg  |rax |rcx |rdx |rbx |rbp |rsi |rdi |r8  |r9  |
-----------------------------------------+----+----+----+----+----+----+----+----+----+
                                         |    |    |    |    |    |    |    |    |    |
          0.#0 BB1 PredBB0               |    |    |    |    |    |    |    |    |    |
[000018]  7.#1 C0   Def    BSFIT(A) rax  |C0 a|    |    |    |    |    |    |    |    |
[000020]  8.#2 C0   Use *  Keep     rax  |C0 a|    |    |    |    |    |    |    |    |
          9.#3 I1   Def    Alloc    rax  |I1 a|    |    |    |    |    |    |    |    |
[000021] 10.#4 rax  Fixd   Keep     rax  |I1 a|    |    |    |    |    |    |    |    |
         10.#5 I1   Use *  Keep     rax  |    |    |    |    |    |    |    |    |    |

------------
REFPOSITIONS AFTER ALLOCATION: 
------------
<RefPosition #0   @0   RefTypeBB BB01 regmask=[] minReg=1 wt=100.00>
<RefPosition #1   @7   RefTypeDef <Ivl:0> CNS_INT BB01 regmask=[rax] minReg=1 wt=400.00>
<RefPosition #2   @8   RefTypeUse <Ivl:0> BB01 regmask=[rax] minReg=1 last wt=100.00>
<RefPosition #3   @9   RefTypeDef <Ivl:1> IND BB01 regmask=[rax] minReg=1 wt=400.00>
<RefPosition #4   @10  RefTypeFixedReg <Reg:rax> BB01 regmask=[rax] minReg=1 wt=100.00>
<RefPosition #5   @10  RefTypeUse <Ivl:1> BB01 regmask=[rax] minReg=1 last fixed wt=100.00>
Active intervals at end of allocation:

Trees after linear scan register allocator (LSRA)

------------ BB01 [000..016) (return), preds={} succs={}
N002 (???,???) [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--] REG NA
N004 (???,???) [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-] REG NA
N006 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1cb38f0293b REG rax $140
                                                            /--*  t18    long   
N008 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  REG rax <l:$281, c:$280>
                                                            /--*  t20    ubyte  
N010 (  6, 14) [000021] ---XG------                         *  RETURN    int    REG NA $241

-------------------------------------------------------------------------------------------------------------------

Final allocation
-----------------------------------------+----+----+----+----+----+----+----+----+----+
TreeID   LocRP#Name Type  Action    Reg  |rax |rcx |rdx |rbx |rbp |rsi |rdi |r8  |r9  |
-----------------------------------------+----+----+----+----+----+----+----+----+----+
          0.#0 BB1 PredBB0               |    |    |    |    |    |    |    |    |    |
[000018]  7.#1 C0   Def    Alloc    rax  |C0 a|    |    |    |    |    |    |    |    |
[000020]  8.#2 C0   Use *  Keep     rax  |C0 i|    |    |    |    |    |    |    |    |
          9.#3 I1   Def    Alloc    rax  |I1 a|    |    |    |    |    |    |    |    |
[000021] 10.#4 rax  Fixd   Keep     rax  |I1 a|    |    |    |    |    |    |    |    |
         10.#5 I1   Use *  Keep     rax  |I1 i|    |    |    |    |    |    |    |    |

Recording the maximum number of concurrent spills:

----------
LSRA Stats
----------
Register selection order: ABCDEFGHIJKLMNOPQ
Total Tracked Vars:  0
Total Reg Cand Vars: 0
Total number of Intervals: 1
Total number of RefPositions: 5
Total Number of spill temps created: 0
..........
BB01 [  100.00]: BEST_FIT = 1
..........
Total SpillCount : 0   Weighted: 0.000000
Total CopyReg : 0   Weighted: 0.000000
Total ResolutionMovs : 0   Weighted: 0.000000
Total SplitEdges : 0   Weighted: 0.000000
..........
Total BEST_FIT [#11] : 1   Weighted: 100.000000

TUPLE STYLE DUMP WITH REGISTER ASSIGNMENTS
Incoming Parameters: 
BB01 [000..016) (return), preds={} succs={}
=====
  N002.                    IL_OFFSET INLRT @ 0x00B[--]
  N004.                    IL_OFFSET INLRT @ 0x00C[E-]
  N006. rax             =  CNS_INT   0x1cb38f0293b
  N008. rax             =  IND      ; rax
  N010.                    RETURN   ; rax

*************** Finishing PHASE Linear scan register alloc
Trees after Linear scan register alloc

*************** Starting PHASE Place 'align' instructions

*************** Finishing PHASE Place 'align' instructions [no changes]
*************** In genGenerateCode()

*************** Starting PHASE Generate code
*************** In fgDebugCheckBBlist
Finalizing stack frame
Modified regs: [rax]
Callee-saved registers pushed: 0 []
*************** In lvaAssignFrameOffsets(FINAL_FRAME_LAYOUT)
--- delta bump 8 for RA
--- delta bump 0 for RSP frame
--- virtual stack offset to actual stack offset delta is 8
-- V01 was 0, now 8
; Final local variable assignments
;
;* V00 loc0         [V00    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op
;# V01 OutArgs      [V01    ] (  1,  1   )  lclBlk ( 0) [rsp+00H]   "OutgoingArgSpace"
;* V02 tmp1         [V02    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp"
;* V03 tmp2         [V03    ] (  0,  0   )   byref  ->  zero-ref    single-def V00._reference(offs=0x00) P-INDEP "field V00._reference (fldOffset=0x0)"
;* V04 tmp3         [V04    ] (  0,  0   )     int  ->  zero-ref    single-def V00._length(offs=0x08) P-INDEP "field V00._length (fldOffset=0x8)"
;* V05 tmp4         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def V02._reference(offs=0x00) P-INDEP "field V02._reference (fldOffset=0x0)"
;* V06 tmp5         [V06    ] (  0,  0   )     int  ->  zero-ref    single-def V02._length(offs=0x08) P-INDEP "field V02._length (fldOffset=0x8)"
;
; Lcl frame size = 0
Mark labels for codegen
  BB01 : first block
*************** After genMarkLabelsForCodegen()

=============== Generating BB01 [000..016) (return), preds={} succs={} flags=0x00000000.20010020: i label LIR 
BB01 IN (0)={} + ByrefExposed + GcHeap
     OUT(0)={}

Liveness not changing: 0000000000000000 {}
							Live regs: (unchanged) 00000000 {}
							GC regs: (unchanged) 00000000 {}
							Byref regs: (unchanged) 00000000 {}

L_M15579_BB01:
Mapped BB01 to G_M15579_IG02
Label: IG02, GCvars=0000000000000000 {}, gcrefRegs=00000000 {}, byrefRegs=00000000 {}

Scope info: begin block BB01, IL range [000..016)
Added IP mapping: 0x000B (G_M15579_IG02,ins#0,ofs#0) label
Generating: N002 (???,???) [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--] REG NA
Added IP mapping: 0x000C STACK_EMPTY (G_M15579_IG02,ins#0,ofs#0)
Generating: N004 (???,???) [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-] REG NA
Generating: N006 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1cb38f0293b REG rax $140
IN0001:        mov      rax, 0xD1FFAB1E
                                                                        /--*  t18    long   
Generating: N008 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  REG rax <l:$281, c:$280>
IN0002:        movzx    rax, byte  ptr [rax]
                                                                        /--*  t20    ubyte  
Generating: N010 (  6, 14) [000021] ---XG------                         *  RETURN    int    REG NA $241
Added IP mapping: EPILOG (G_M15579_IG02,ins#2,ofs#13) label
Reserving epilog IG for block BB01

G_M15579_IG02:        ; offs=000000H, funclet=00, bbWeight=1   , byref
*************** After placeholder IG creation
G_M15579_IG01:        ; func=00, offs=000000H, size=0000H, gcrefRegs=00000000 {} <-- Prolog IG
G_M15579_IG02:        ; offs=000000H, size=000DH, gcrefRegs=00000000 {}, byrefRegs=00000000 {}, BB01 [0000], byref
G_M15579_IG03:        ; epilog placeholder, next placeholder=<END>, BB01 [0000], epilog, extend <-- First placeholder <-- Last placeholder
                      ;   PrevGCVars=0000000000000000 {}, PrevGCrefRegs=00000000 {}, PrevByrefRegs=00000000 {}
                      ;   InitGCVars=0000000000000000 {}, InitGCrefRegs=00000000 {}, InitByrefRegs=00000000 {}

Variable Live Range History Dump for BB01
..None..
Liveness not changing: 0000000000000000 {}

# compCycleEstimate =      6, compSizeEstimate =    14 ConstStringConstIndexOptimizations:Foo():ubyte
; Final local variable assignments
;
;* V00 loc0         [V00    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op
;# V01 OutArgs      [V01    ] (  1,  1   )  lclBlk ( 0) [rsp+00H]   "OutgoingArgSpace"
;* V02 tmp1         [V02    ] (  0,  0   )  struct (16) zero-ref    ld-addr-op "NewObj constructor temp"
;* V03 tmp2         [V03    ] (  0,  0   )   byref  ->  zero-ref    single-def V00._reference(offs=0x00) P-INDEP "field V00._reference (fldOffset=0x0)"
;* V04 tmp3         [V04    ] (  0,  0   )     int  ->  zero-ref    single-def V00._length(offs=0x08) P-INDEP "field V00._length (fldOffset=0x8)"
;* V05 tmp4         [V05    ] (  0,  0   )   byref  ->  zero-ref    single-def V02._reference(offs=0x00) P-INDEP "field V02._reference (fldOffset=0x0)"
;* V06 tmp5         [V06    ] (  0,  0   )     int  ->  zero-ref    single-def V02._length(offs=0x08) P-INDEP "field V02._length (fldOffset=0x8)"
;
; Lcl frame size = 0
*************** Before prolog / epilog generation
G_M15579_IG01:        ; func=00, offs=000000H, size=0000H, gcrefRegs=00000000 {} <-- Prolog IG
G_M15579_IG02:        ; offs=000000H, size=000DH, gcrefRegs=00000000 {}, byrefRegs=00000000 {}, BB01 [0000], byref
G_M15579_IG03:        ; epilog placeholder, next placeholder=<END>, BB01 [0000], epilog, extend <-- First placeholder <-- Last placeholder
                      ;   PrevGCVars=0000000000000000 {}, PrevGCrefRegs=00000000 {}, PrevByrefRegs=00000000 {}
                      ;   InitGCVars=0000000000000000 {}, InitGCrefRegs=00000000 {}, InitByrefRegs=00000000 {}
*************** In genFnProlog()
Added IP mapping to front: PROLOG (G_M15579_IG01,ins#0,ofs#0) label

__prolog:
*************** In genEnregisterIncomingStackArgs()

G_M15579_IG01:        ; offs=000000H, funclet=00, bbWeight=1   , byref, nogc
*************** In genFnEpilog()

__epilog:
gcVarPtrSetCur=0000000000000000 {}, gcRegGCrefSetCur=00000000 {}, gcRegByrefSetCur=00000000 {}
IN0003:        ret

G_M15579_IG03:        ; offs=00000DH, funclet=00, bbWeight=1   , epilog, nogc, extend
0 prologs, 1 epilogs, 0 funclet prologs, 0 funclet epilogs
*************** After prolog / epilog generation
G_M15579_IG01:        ; func=00, offs=000000H, size=0000H, gcrefRegs=00000000 {}, byrefRegs=00000000 {}, byref, nogc <-- Prolog IG
G_M15579_IG02:        ; offs=000000H, size=000DH, gcrefRegs=00000000 {}, byrefRegs=00000000 {}, BB01 [0000], byref
G_M15579_IG03:        ; offs=00000DH, size=0001H, epilog, nogc, extend
*************** In emitJumpDistBind()
Emitter Jump List:
  total jump count: 0

*************** Finishing PHASE Generate code

*************** Starting PHASE Emit code

Hot  code size = 0xE bytes
Cold code size = 0x0 bytes
reserveUnwindInfo(isFunclet=false, isColdCode=false, unwindSize=0x4)
*************** In emitEndCodeGen()
Converting emitMaxStackDepth from bytes (0) to elements (0)

***************************************************************************
Instructions as they come out of the scheduler

G_M15579_IG01:        ; func=00, offs=000000H, size=0000H, gcrefRegs=00000000 {}, byrefRegs=00000000 {}, byref, nogc <-- Prolog IG
						;; size=0 bbWeight=1    PerfScore 0.00
G_M15579_IG02:        ; func=00, offs=000000H, size=000DH, gcrefRegs=00000000 {}, byrefRegs=00000000 {}, BB01 [0000], byref
IN0001: 000000 mov      rax, 0xD1FFAB1E
IN0002: 00000A movzx    rax, byte  ptr [rax]
						;; size=13 bbWeight=1    PerfScore 2.25
G_M15579_IG03:        ; func=00, offs=00000DH, size=0001H, epilog, nogc, extend
IN0003: 00000D ret      
						;; size=1 bbWeight=1    PerfScore 1.00Allocated method code size =   14 , actual size =   14, unused size =    0

; Total bytes of code 14, prolog size 0, PerfScore 4.65, instruction count 3, allocated bytes for code 14 (MethodHash=233ac324) for method ConstStringConstIndexOptimizations:Foo():ubyte
; ============================================================

*************** After end code gen, before unwindEmit()
G_M15579_IG01:        ; func=00, offs=000000H, size=0000H, bbWeight=1    PerfScore 0.00, gcrefRegs=00000000 {}, byrefRegs=00000000 {}, byref, nogc <-- Prolog IG
G_M15579_IG02:        ; offs=000000H, size=000DH, bbWeight=1    PerfScore 2.25, gcrefRegs=00000000 {}, byrefRegs=00000000 {}, BB01 [0000], byref

IN0001: 000000 mov      rax, 0xD1FFAB1E
IN0002: 00000A movzx    rax, byte  ptr [rax]

G_M15579_IG03:        ; offs=00000DH, size=0001H, bbWeight=1    PerfScore 1.00, epilog, nogc, extend

IN0003: 00000D ret

*************** Finishing PHASE Emit code

*************** Starting PHASE Emit GC+EH tables
Unwind Info:
  >> Start offset   : 0x000000 (not in unwind data)
  >>   End offset   : 0xd1ffab1e (not in unwind data)
  Version           : 1
  Flags             : 0x00
  SizeOfProlog      : 0x00
  CountOfUnwindCodes: 0
  FrameRegister     : none (0)
  FrameOffset       : N/A (no FrameRegister) (Value=0)
  UnwindCodes       :
allocUnwindInfo(pHotCode=0x00000000D1FFAB1E, pColdCode=0x0000000000000000, startOffset=0x0, endOffset=0xe, unwindSize=0x4, pUnwindBlock=0x00000000D1FFAB1E, funKind=0 (main function))
*************** In genIPmappingGen()
IP mapping count : 2
IL offs PROLOG : 0x00000000 ( STACK_EMPTY )
IL offs EPILOG : 0x0000000D ( STACK_EMPTY )

*************** In genSetScopeInfo()
VarLocInfo count is 0
; Variable debug info: 0 live ranges, 0 vars for method ConstStringConstIndexOptimizations:Foo():ubyte
*************** In gcInfoBlockHdrSave()
Set code length to 14.
Set ReturnKind to Scalar.
Set Outgoing stack arg area size to 0.
Defining 0 call sites:

*************** Finishing PHASE Emit GC+EH tables
Method code size: 14

Allocations for ConstStringConstIndexOptimizations:Foo():ubyte (MethodHash=233ac324)
count:        518, size:      62538, max =       3272
allocateMemory:     131072, nraUsed:      67688

Alloc'd bytes by kind:
                  kind |       size |     pct
  ---------------------+------------+--------
         AssertionProp |       6556 |  10.48%
               ASTNode |       7912 |  12.65%
              InstDesc |       2096 |   3.35%
              ImpStack |        384 |   0.61%
            BasicBlock |       2864 |   4.58%
              CallArgs |        480 |   0.77%
              FlowList |        240 |   0.38%
     TreeStatementList |          0 |   0.00%
               SiScope |          0 |   0.00%
       DominatorMemory |         96 |   0.15%
                  LSRA |       4688 |   7.50%
         LSRA_Interval |        160 |   0.26%
      LSRA_RefPosition |        432 |   0.69%
          Reachability |         40 |   0.06%
                   SSA |        488 |   0.78%
           ValueNumber |       8826 |  14.11%
              LvaTable |       1948 |   3.11%
            UnwindInfo |          0 |   0.00%
                hashBv |         40 |   0.06%
                bitset |         56 |   0.09%
          FixedBitVect |         72 |   0.12%
               Generic |       1528 |   2.44%
   LocalAddressVisitor |          0 |   0.00%
         FieldSeqStore |        144 |   0.23%
          MemorySsaMap |          0 |   0.00%
          MemoryPhiArg |          0 |   0.00%
                   CSE |       1144 |   1.83%
                    GC |       1224 |   1.96%
       CorTailCallInfo |          0 |   0.00%
              Inlining |       3208 |   5.13%
            ArrayStack |          0 |   0.00%
             DebugInfo |        232 |   0.37%
             DebugOnly |      16383 |  26.20%
               Codegen |        848 |   1.36%
               LoopOpt |         24 |   0.04%
             LoopClone |          0 |   0.00%
             LoopHoist |          0 |   0.00%
               Unknown |        161 |   0.26%
            RangeCheck |          0 |   0.00%
              CopyProp |          0 |   0.00%
           SideEffects |          0 |   0.00%
       ObjectAllocator |          0 |   0.00%
    VariableLiveRanges |        184 |   0.29%
           ClassLayout |         80 |   0.13%
       TailMergeThrows |          0 |   0.00%
             EarlyProp |          0 |   0.00%
              ZeroInit |          0 |   0.00%
                   Pgo |          0 |   0.00%

****** DONE compiling ConstStringConstIndexOptimizations:Foo():ubyte

Testo modificato

Apri file

*************** Starting PHASE Pre-import

*************** Finishing PHASE Pre-import
Trees after Pre-import

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Profile incorporation
BBOPT set, but no profile data available (hr=80004001)

*************** Finishing PHASE Profile incorporation [no changes]

*************** Starting PHASE Importation
*************** In impImport() for ConstStringConstIndexOptimizations:Foo():ubyte

impImportBlockPending for BB01

[ 1]  11 (0x00b) stloc.0

[ 1]  20 (0x014) ldind.u1
    [ 1]  21 (0x015) ret

*************** Finishing PHASE Importation
Trees after Importation

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Expand patchpoints

-- no patchpoints to transform

*************** Finishing PHASE Expand patchpoints [no changes]

*************** Starting PHASE Indirect call transform

-- no candidates to transform

*************** Finishing PHASE Indirect call transform [no changes]

*************** Starting PHASE Post-import

*************** Finishing PHASE Post-import [no changes]

*************** Starting PHASE Morph - Init

New BlockSet epoch 1, # of blocks (including unused BB00): 2, bitset array size: 1 (short)

*************** Finishing PHASE Morph - Init [no changes]

Argument #2: is a constant or invariant
               [000001] -----------                         *  CNS_INT   int    5

INLINER: inlineInfo.tokenLookupContextHandle for System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this set to 0x00000000D1FFAB1E:

*************** Inline @[000004] Starting PHASE Pre-import

*************** Inline @[000004] Finishing PHASE Pre-import
Trees after Pre-import

------------ BB02 [000..007) -> BB04 (cond), preds={} succs={BB03,BB04}

------------ BB03 [007..016), preds={} succs={BB04}

------------ BB04 [016..01A) -> BB06 (cond), preds={} succs={BB05,BB06}

------------ BB05 [01A..01F), preds={} succs={BB06}

------------ BB06 [01F..033) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000004] Finishing PHASE Profile incorporation
Trees after Profile incorporation

------------ BB02 [000..007) -> BB04 (cond), preds={} succs={BB03,BB04}

------------ BB03 [007..016), preds={} succs={BB04}

------------ BB04 [016..01A) -> BB06 (cond), preds={} succs={BB05,BB06}

------------ BB05 [01A..01F), preds={} succs={BB06}

------------ BB06 [01F..033) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000004] Starting PHASE Importation
*************** In impImport() for System.ReadOnlySpan`1[ubyte]:.ctor(ulong,int):this

impImportBlockPending for BB02

[ 1]   5 (0x005) brfalse.s

impImportBlockPending for BB03

impImportBlockPending for BB04

The conditional jump becomes an unconditional jump to BB06

impImportBlockPending for BB06

[ 2]  38 (0x026) stfld 0A000630

[ 0]  43 (0x02b) ldarg.0
    [ 1]  44 (0x02c) ldarg.2
    [ 2]  45 (0x02d) stfld 0A000631

impImportBlockPending for BB04

** Note: inlinee IL was partially imported -- imported 42 of 51 bytes of method IL

*************** Inline @[000004] Finishing PHASE Importation
Trees after Importation

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB02 [0001]  1                             1       [000..007)-> BB04 ( cond )                     i 
BB03 [0002]  1                             1       [007..016)                                     i 
BB04 [0003]  2                             1       [016..01A)-> BB06 (always)                     i 
BB05 [0004]  1                             1       [01A..01F)                                     
BB06 [0005]  2                             1       [01F..033)        (return)                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB02 [000..007) -> BB04 (cond), preds={} succs={BB03,BB04}

------------ BB03 [007..016), preds={} succs={BB04}

------------ BB04 [016..01A) -> BB06 (always), preds={} succs={BB06}

------------ BB05 [01A..01F), preds={} succs={BB06}

------------ BB06 [01F..033) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000004] Starting PHASE Expand patchpoints

-- no patchpoints to transform

*************** Inline @[000004] Finishing PHASE Expand patchpoints [no changes]

*************** Inline @[000004] Starting PHASE Indirect call transform

-- no candidates to transform

*************** Inline @[000004] Finishing PHASE Indirect call transform [no changes]

*************** Inline @[000004] Starting PHASE Post-import
BB05 was not imported, marking as removed (0)

Renumbering the basic blocks for fgPostImportationCleanup

*************** Before renumbering the basic blocks

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB02 [0001]  1                             1       [000..007)-> BB04 ( cond )                     i 
BB03 [0002]  1                             1       [007..016)                                     i 
BB04 [0003]  2                             1       [016..01A)-> BB06 (always)                     i 
BB06 [0005]  2                             1       [01F..033)        (return)                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty
Renumber BB02 to BB07
Renumber BB03 to BB08
Renumber BB04 to BB09
Renumber BB06 to BB10

*************** After renumbering the basic blocks

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB07 [0001]  1                             1       [000..007)-> BB09 ( cond )                     i 
BB08 [0002]  1                             1       [007..016)                                     i 
BB09 [0003]  2                             1       [016..01A)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [01F..033)        (return)                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty

New BlockSet epoch 1, # of blocks (including unused BB00): 6, bitset array size: 1 (short)

*************** Inline @[000004] Finishing PHASE Post-import
Trees after Post-import

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB07 [0001]  1                             1       [000..007)-> BB09 ( cond )                     i 
BB08 [0002]  1                             1       [007..016)                                     i 
BB09 [0003]  2                             1       [016..01A)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [01F..033)        (return)                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB07 [000..007) -> BB09 (cond), preds={} succs={BB08,BB09}

------------ BB08 [007..016), preds={} succs={BB09}

------------ BB09 [016..01A) -> BB10 (always), preds={} succs={BB10}

------------ BB10 [01F..033) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

----------- Statements (and blocks) added due to the inlining of call [000004] -----------

Arguments setup:

Inlinee method body:New Basic Block BB11 [0006] created.

Convert bbJumpKind of BB10 to BBJ_NONE
fgInlineAppendStatements: no gc ref inline locals.

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB07 [0001]  1                             1       [000..001)-> BB09 ( cond )                     i 
BB08 [0002]  1                             1       [000..001)                                     i 
BB09 [0003]  2                             1       [000..001)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [000..001)                                     i 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB07 [000..001) -> BB09 (cond), preds={} succs={BB08,BB09}

------------ BB08 [000..001), preds={} succs={BB09}

------------ BB09 [000..001) -> BB10 (always), preds={} succs={BB10}

------------ BB10 [000..001), preds={} succs={BB11}

*************** Inline @[000022] Starting PHASE Pre-import

*************** Inline @[000022] Finishing PHASE Pre-import
Trees after Pre-import

------------ BB12 [000..002) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000022] Finishing PHASE Profile incorporation
Trees after Profile incorporation

------------ BB12 [000..002) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000022] Starting PHASE Importation
*************** In impImport() for System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool

impImportBlockPending for BB12

Importing BB12 (PC=000) of 'System.Runtime.CompilerServices.RuntimeHelpers:IsReferenceOrContainsReferences[ubyte]():bool'
    [ 0]   0 (0x000) ldc.i4.0 0
    [ 1]   1 (0x001) ret

Inlinee Return expression (before normalization)  =>
               [000045] -----------                         *  CNS_INT   int    0

** Note: inlinee IL was partially imported -- imported 0 of 2 bytes of method IL

*************** Inline @[000022] Finishing PHASE Importation
Trees after Importation

------------ BB12 [000..002) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Inline @[000022] Starting PHASE Expand patchpoints

-- no patchpoints to transform

*************** Inline @[000022] Finishing PHASE Expand patchpoints [no changes]

*************** Inline @[000022] Starting PHASE Indirect call transform

-- no candidates to transform

*************** Inline @[000022] Finishing PHASE Indirect call transform [no changes]

*************** Inline @[000022] Starting PHASE Post-import

*************** Inline @[000022] Finishing PHASE Post-import [no changes]

----------- Statements (and blocks) added due to the inlining of call [000022] -----------

Replacing the return expression placeholder [000023] with [000046]
               [000023] --C--------                         *  RET_EXPR  int   (for [000022]) -> [000046]

Inserting the inline return expression
               [000046] -----------                         *  CNS_INT   int    0

INLINER: inlineInfo.tokenLookupContextHandle for System.ThrowHelper:ThrowInvalidTypeWithPointersNotSupported(System.Type) set to 0x00000000D1FFAB1E:

*************** Finishing PHASE Morph - Inlining
Trees after Morph - Inlining

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB07 [0001]  1                             1       [000..001)-> BB09 (always)                     i 
BB08 [0002]  1                             1       [000..001)                                     i 
BB09 [0003]  2                             1       [000..001)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [000..001)                                     i 
BB11 [0006]  1                             1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB01 [000..016), preds={} succs={BB07}

------------ BB07 [000..001) -> BB09 (always), preds={} succs={BB09}

***** BB07
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

------------ BB08 [000..001), preds={} succs={BB09}

------------ BB09 [000..001) -> BB10 (always), preds={} succs={BB10}

------------ BB10 [000..001), preds={} succs={BB11}

------------ BB11 [???..???) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Allocate Objects
no newobjs in this method; punting

*************** Finishing PHASE Allocate Objects [no changes]

*************** Starting PHASE Morph - Add internal blocks

*************** After fgAddInternal()

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB07 [0001]  1                             1       [000..001)-> BB09 (always)                     i 
BB08 [0002]  1                             1       [000..001)                                     i 
BB09 [0003]  2                             1       [000..001)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [000..001)                                     i 
BB11 [0006]  1                             1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty

*************** Finishing PHASE Morph - Add internal blocks [no changes]

*************** Starting PHASE Remove empty try

*************** In fgRemoveEmptyTry()
No EH in this method, nothing to remove.

*************** Finishing PHASE Remove empty try [no changes]

*************** Starting PHASE Remove empty finally
No EH in this method, nothing to remove.

*************** Finishing PHASE Remove empty finally [no changes]

*************** Starting PHASE Merge callfinally chains
No EH in this method, nothing to merge.

*************** Finishing PHASE Merge callfinally chains [no changes]

*************** Starting PHASE Clone finally
No EH in this method, no cloning.

*************** Finishing PHASE Clone finally [no changes]

*************** Starting PHASE Compute preds

Renumbering the basic blocks for fgComputePred

*************** Before renumbering the basic blocks

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB07 [0001]  1                             1       [000..001)-> BB09 (always)                     i 
BB08 [0002]  1                             1       [000..001)                                     i 
BB09 [0003]  2                             1       [000..001)-> BB10 (always)                     i 
BB10 [0005]  2                             1       [000..001)                                     i 
BB11 [0006]  1                             1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty
Renumber BB07 to BB02
Renumber BB08 to BB03
Renumber BB09 to BB04
Renumber BB10 to BB05
Renumber BB11 to BB06

*************** After renumbering the basic blocks

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd                 weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB02 [0001]  1                             1       [000..001)-> BB04 (always)                     i 
BB03 [0002]  1                             1       [000..001)                                     i 
BB04 [0003]  2                             1       [000..001)-> BB05 (always)                     i 
BB05 [0005]  2                             1       [000..001)                                     i 
BB06 [0006]  1                             1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

***************  Exception Handling table is empty

*************** Finishing PHASE Compute preds
Trees after Compute preds

-----------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd preds           weight    lp [IL range]     [jump]      [EH region]         [flags]
-----------------------------------------------------------------------------------------------------------------------------------------
BB01 [0000]  1                             1       [000..016)                                     i 
BB02 [0001]  1       BB01                  1       [000..001)-> BB04 (always)                     i 
BB03 [0002]  0                             1       [000..001)                                     i 
BB04 [0003]  2       BB02,BB03             1       [000..001)-> BB05 (always)                     i 
BB05 [0005]  1       BB04                  1       [000..001)                                     i 
BB06 [0006]  1       BB05                  1       [???..???)        (return)                     internal 
-----------------------------------------------------------------------------------------------------------------------------------------

------------ BB01 [000..016), preds={} succs={BB02}

------------ BB02 [000..001) -> BB04 (always), preds={BB01} succs={BB04}

***** BB02
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

------------ BB03 [000..001), preds={} succs={BB04}

------------ BB04 [000..001) -> BB05 (always), preds={BB02,BB03} succs={BB05}

------------ BB05 [000..001), preds={BB04} succs={BB06}

------------ BB06 [???..???) (return), preds={BB05} succs={}

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Tail merge

*************** Finishing PHASE Tail merge [no changes]

*************** Starting PHASE Merge throw blocks

*************** In fgTailMergeThrows
Method does not have multiple noreturn calls.

*************** Finishing PHASE Merge throw blocks [no changes]

*************** Starting PHASE Update flow graph early pass

Compacting blocks BB01 and BB02:
*************** In fgDebugCheckBBlist

Optimizing a jump to an unconditional jump (BB01 -> BB04 -> BB05)
Setting edge weights for BB01 -> BB05 to [0 .. 3.402823e+38]

Compacting blocks BB03 and BB04:
*************** In fgDebugCheckBBlist

Removing unconditional jump to next block (BB03 -> BB05) (converted BB03 to fall-through)
fgRemoveBlock BB03, unreachable=true

Removing unreachable BB03

BB03 becomes empty

Compacting blocks BB05 and BB06:
*************** In fgDebugCheckBBlist

Compacting blocks BB01 and BB05:
*************** In fgDebugCheckBBlist

*************** Finishing PHASE Update flow graph early pass
Trees after Update flow graph early pass

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Morph - Promote Structs

Promoting struct local V00 (System.ReadOnlySpan`1[ubyte]):
lvaGrabTemp returning 3 (V03 tmp2) (a long lifetime temp) called for field V00._reference (fldOffset=0x0).

lvaGrabTemp returning 4 (V04 tmp3) (a long lifetime temp) called for field V00._length (fldOffset=0x8).

Promoting struct local V02 (System.ReadOnlySpan`1[ubyte]):
lvaGrabTemp returning 5 (V05 tmp4) (a long lifetime temp) called for field V02._reference (fldOffset=0x0).

lvaGrabTemp returning 6 (V06 tmp5) (a long lifetime temp) called for field V02._length (fldOffset=0x8).

*************** Finishing PHASE Morph - Promote Structs
Trees after Morph - Promote Structs

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

-------------------------------------------------------------------------------------------------------------------

*************** Finishing PHASE Morph - Structs/AddrExp
Trees after Morph - Structs/AddrExp

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00004 ( INL01 @ 0x000[E-] ... ??? ) <- INLRT @ 0x000[E-]
               [000026] -----------                         *  NOP       void

-------------------------------------------------------------------------------------------------------------------

*************** Starting PHASE Forward Substitution

===> BB01
    [000034]:  mismatched types (assignment)
    [000039]:  no next stmt use
    [000008]:  not asg (single-use lcl)

*************** Finishing PHASE Forward Substitution [no changes]

*************** Starting PHASE Morph - ByRefs

*************** Finishing PHASE Morph - ByRefs [no changes]

*************** Starting PHASE Morph - Global

*************** In fgMorphBlocks()

Morphing BB01 of 'ConstStringConstIndexOptimizations:Foo():ubyte'

fgMorphTree BB01, STMT00004 (before)
               [000026] -----------                         *  NOP       void

Assertion prop in BB01:
Copy     Assertion: V04 == V06, index = #05
               [000015] -----------                         *  LCL_VAR   int    V06 tmp5

Assertion prop in BB01:
Constant Assertion: V06 == 5, index = #02
               [000015] -----------                         *  CNS_INT   int    5

Assertion prop in BB01:
Copy     Assertion: V03 == V05, index = #04
               [000017] -----------                         *  LCL_VAR   byref  V05 tmp4

Assertion prop in BB01:
Constant Assertion: V05 == [00000000D1FFAB1E], index = #01
               [000055] H----------                         *  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]

Folding long operator with constant nodes into a constant:
               [000018] -----------                         *  ADD       long  
               [000055] H----+-----                         +--*  CNS_INT(h) long   0xd1ffab1e static Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0]
               [000012] -----+-----                         \--*  CNS_INT   long   3
Bashed to long constant:
               [000018] -----------                         *  CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3]

fgMorphTree BB01, STMT00002 (after)
               [000021] ---XG+-----                         *  RETURN    int   
               [000020] ---XG+-----                         \--*  IND       ubyte 
               [000018] -----+-----                            \--*  CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3]

*************** In fgMarkDemotedImplicitByRefArgs()

*************** Finishing PHASE Morph - Global
Trees after Morph - Global

------------ BB01 [000..016) (return), preds={} succs={}

***** BB01
STMT00002 ( 0x00C[E-] ... 0x015 )
               [000021] ---XG+-----                         *  RETURN    int   
               [000020] ---XG+-----                         \--*  IND       ubyte 
               [000018] -----+-----                            \--*  CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3]

*************** Starting PHASE GS Cookie
No GS security needed

*************** Finishing PHASE GS Cookie [no changes]

*************** Starting PHASE Compute edge weights (1, false)

-- no profile data, so using default called count
 -- not optimizing or no profile data, so not computing edge weights

*************** Finishing PHASE Compute edge weights (1, false) [no changes]

*************** Starting PHASE Create EH funclets

*************** Finishing PHASE Create EH funclets [no changes]

*************** Starting PHASE Invert loops

*************** Finishing PHASE Invert loops [no changes]

*************** Starting PHASE Optimize control flow

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** Finishing PHASE Optimize control flow
Trees after Optimize control flow

------------ BB01 [000..016) (return), preds={} succs={}

*************** Starting PHASE Post-morph tail merge

*************** Finishing PHASE Post-morph tail merge [no changes]

*************** Starting PHASE Compute blocks reachability
Return blocks: BB01

Renumbering the basic blocks for fgComputeReachability pass #1

*************** Before renumbering the basic blocks

***************  Exception Handling table is empty

*************** After renumbering the basic blocks
=============== No blocks renumbered!

New BlockSet epoch 3, # of blocks (including unused BB00): 2, bitset array size: 1 (short)
Enter blocks: BB01

Inside fgBuildDomTree

After computing the Dominance Tree:

After numbering the dominator tree:
BB01: pre=01, post=01

*************** Finishing PHASE Compute blocks reachability
Trees after Compute blocks reachability

------------ BB01 [000..016) (return), preds={} succs={}

*************** Starting PHASE Set block weights

*************** Finishing PHASE Set block weights [no changes]

*************** Starting PHASE Find loops
*************** In optFindLoops()
*************** In optMarkLoopHeads()
0 loop heads marked

*************** Finishing PHASE Find loops
Trees after Find loops

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Clone loops

*************** In optCloneLoops()
  No loops to clone

*************** Finishing PHASE Clone loops [no changes]

*************** Starting PHASE Unroll loops

*************** Finishing PHASE Unroll loops [no changes]

*************** Starting PHASE Clear loop info

*************** Finishing PHASE Clear loop info [no changes]

*************** Starting PHASE Morph array ops
No multi-dimensional array references in the function

*************** Finishing PHASE Morph array ops [no changes]

*************** Starting PHASE Mark local vars

*************** In lvaMarkLocalVars()
*** lvaComputeRefCounts ***

*** lvaComputeRefCounts -- explicit counts ***

*** lvaComputeRefCounts -- implicit counts ***

*************** Finishing PHASE Mark local vars [no changes]

*************** Starting PHASE Opt add copies

*************** In optAddCopies()

*************** Finishing PHASE Opt add copies [no changes]

*************** Starting PHASE Find oper order
*************** In fgFindOperOrder()

*************** Finishing PHASE Find oper order
Trees after Find oper order

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Set block order
*************** In fgSetBlockOrder()
The biggest BB has    7 tree nodes

*************** Finishing PHASE Set block order
Trees after Set block order

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Build SSA representation
*************** In SsaBuilder::Build()
[SsaBuilder] Max block count is 2.

***************  Exception Handling table is empty
[SsaBuilder] Topologically sorted the graph.
[SsaBuilder::ComputeImmediateDom]

Inside fgBuildDomTree

After computing the Dominance Tree:

*************** In fgPerBlockLocalVarLiveness()
BB01 USE(0)={               } + ByrefExposed + GcHeap
     DEF(4)={V05 V06 V03 V04}

** Memory liveness computed, GcHeap states and ByrefExposed states match
*************** In fgInterBlockLocalVarLiveness()

BB liveness after fgLiveVarAnalysis():

BB01 IN (0)={} + ByrefExposed + GcHeap
     OUT(0)={}

top level assign
removing stmt with no side effects

*************** Finishing PHASE Build SSA representation
Trees after Build SSA representation

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
SSA checks completed successfully
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Early Value Propagation
no arrays or null checks in the method

*************** Finishing PHASE Early Value Propagation [no changes]

*************** Starting PHASE Do value numbering

N001 [000050]   NOP       => $100 {MemOpaque:NotInLoop}
N002 [000053]   NOP       => $101 {MemOpaque:NotInLoop}
N003 [000054]   COMMA     => $101 {MemOpaque:NotInLoop}

---------

N001 [000018]   CNS_INT   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3] => $140 {LngCns:  0x1db53ae293b}
N002 [000020]   IND       => <l:$281 {norm=$180 {ByrefExposedLoad($82, $140, $c0)}, exc=$240 {NullPtrExc($140)}}, c:$280 {norm=$1c0 {MemOpaque:NotInLoop}, exc=$240 {NullPtrExc($140)}}>
N003 [000021]   RETURN    => $241 {norm=$VN.Void, exc=$240 {NullPtrExc($140)}}

finish(BB01).

*************** Finishing PHASE Do value numbering
Trees after Do value numbering

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
SSA checks completed successfully
*************** In fgDebugCheckLoopTable

*************** Starting PHASE Hoist loop code

No loops; no hoisting

*************** Finishing PHASE Hoist loop code [no changes]

*************** Starting PHASE VN based copy prop
Copy Assertion for BB01
  curSsaName stack: { }

*************** Finishing PHASE VN based copy prop [no changes]

*************** Starting PHASE Redundant branch opts

*************** Finishing PHASE Redundant branch opts [no changes]

*************** Starting PHASE Optimize Valnum CSEs

*************** Finishing PHASE Optimize Valnum CSEs
Trees after Optimize Valnum CSEs

------------ BB01 [000..016) (return), preds={} succs={}

-------------------------------------------------------------------------------------------------------------------
*************** In fgDebugCheckBBlist
SSA checks completed successfully
*************** In fgDebugCheckLoopTable
Disabling SSA checking before assertion prop

*************** Starting PHASE Assertion prop

*************** Finishing PHASE Assertion prop [no changes]

*************** Starting PHASE If conversion

*************** Finishing PHASE If conversion [no changes]

*************** Starting PHASE Optimize index checks

*************** Finishing PHASE Optimize index checks [no changes]

*************** Starting PHASE VN-based dead store removal

*************** Finishing PHASE VN-based dead store removal [no changes]

*************** Starting PHASE Insert GC Polls

*************** Finishing PHASE Insert GC Polls [no changes]

*************** Starting PHASE Optimize bools
*************** In optOptimizeBools()

optimized 0 BBJ_COND cases, 0 BBJ_RETURN cases in 1 passes

*************** Finishing PHASE Optimize bools [no changes]

*************** Starting PHASE Optimize layout

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** Finishing PHASE Optimize layout
Trees after Optimize layout

------------ BB01 [000..016) (return), preds={} succs={}

*************** Starting PHASE Determine first cold block
No procedure splitting will be done for this method

*************** Finishing PHASE Determine first cold block [no changes]

*************** Starting PHASE Rationalize IR

*************** Finishing PHASE Rationalize IR
Trees after Rationalize IR

------------ BB01 [000..016) (return), preds={} succs={}
               [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--]
               [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-]
N001 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3] $140
                                                            /--*  t18    long   
N002 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  <l:$281, c:$280>
                                                            /--*  t20    ubyte  
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int    $241

*************** Starting PHASE Do 'simple' lowering

*************** Finishing PHASE Do 'simple' lowering [no changes]

------------ BB01 [000..016) (return), preds={} succs={}
               [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--]
               [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-]
N001 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3] $140
                                                            /--*  t18    long   
N002 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  <l:$281, c:$280>
                                                            /--*  t20    ubyte  
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int    $241

-------------------------------------------------------------------------------------------------------------------

*** lvaComputeRefCounts ***

*** lvaComputeRefCounts -- explicit counts ***

*************** In fgPerBlockLocalVarLiveness()
BB01 USE(0)={} + ByrefExposed + GcHeap
     DEF(0)={}

** Memory liveness computed, GcHeap states and ByrefExposed states match
*************** In fgInterBlockLocalVarLiveness()

BB liveness after fgLiveVarAnalysis():

BB01 IN (0)={} + ByrefExposed + GcHeap
     OUT(0)={}

*************** In fgUpdateFlowGraph()
Before updating the flow graph:

*************** In fgDebugCheckBBlist

*************** In fgRemoveDeadBlocks()
Removing unreachable blocks for fgRemoveDeadBlocks iteration #1
*************** In fgDebugCheckBBlist

*** lvaComputeRefCounts ***

*** lvaComputeRefCounts -- explicit counts ***

*** lvaComputeRefCounts -- implicit counts ***

*************** Finishing PHASE Lowering nodeinfo
Trees after Lowering nodeinfo

------------ BB01 [000..016) (return), preds={} succs={}
               [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--]
               [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-]
N001 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3] $140
                                                            /--*  t18    long   
N002 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  <l:$281, c:$280>
                                                            /--*  t20    ubyte  
N003 (  6, 14) [000021] ---XG------                         *  RETURN    int    $241

*************** Starting PHASE Calculate stack level slots

*************** Finishing PHASE Calculate stack level slots [no changes]

*************** Starting PHASE Linear scan register alloc
Clearing modified regs.

buildIntervals ========

-----------------
LIVENESS:
-----------------
BB01
use: {}
def: {}
 in: {}
out: {}

FP callee save candidate vars: None

floatVarCount = 0; hasLoops = false, singleExit = true
TUPLE STYLE DUMP BEFORE LSRA
Start LSRA Block Sequence: 
Current block: BB01
Final LSRA Block Sequence:
BB01 (  1   )

BB01 [000..016) (return), preds={} succs={}
=====
  N000.                    IL_OFFSET INLRT @ 0x00B[--]
  N000.                    IL_OFFSET INLRT @ 0x00C[E-]
  N001. t18             =  CNS_INT   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3]
  N002. t20             =  IND      ; t18
  N003.                    RETURN   ; t20

buildIntervals second part ========

NEW BLOCK BB01
<RefPosition #0   @0   RefTypeBB BB01 regmask=[] minReg=1 wt=100.00>

DefList: {  }
N002 (???,???) [000056] -----------                         *  IL_OFFSET void   INLRT @ 0x00B[--] REG NA

DefList: {  }
N004 (???,???) [000057] -----------                         *  IL_OFFSET void   INLRT @ 0x00C[E-] REG NA

DefList: {  }
N006 (  2, 10) [000018] -----------                         *  CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3] REG NA $140
Interval  0: long RefPositions {} physReg:NA Preferences=[allInt]
<RefPosition #1   @7   RefTypeDef <Ivl:0> CNS_INT BB01 regmask=[allInt] minReg=1 wt=400.00>

------------
REFPOSITIONS BEFORE VALIDATING INTERVALS: 
------------
<RefPosition #0   @0   RefTypeBB BB01 regmask=[] minReg=1 wt=100.00>
<RefPosition #1   @7   RefTypeDef <Ivl:0> CNS_INT BB01 regmask=[allInt] minReg=1 wt=400.00>
<RefPosition #2   @8   RefTypeUse <Ivl:0> BB01 regmask=[allInt] minReg=1 last wt=100.00>
<RefPosition #3   @9   RefTypeDef <Ivl:1> IND BB01 regmask=[rax] minReg=1 wt=400.00>
<RefPosition #4   @10  RefTypeFixedReg <Reg:rax> BB01 regmask=[rax] minReg=1 wt=100.00>
<RefPosition #5   @10  RefTypeUse <Ivl:1> BB01 regmask=[rax] minReg=1 last fixed wt=100.00>
TUPLE STYLE DUMP WITH REF POSITIONS
Incoming Parameters: 
BB01 [000..016) (return), preds={} succs={}
=====
  N002.                    IL_OFFSET INLRT @ 0x00B[--]
  N004.                    IL_OFFSET INLRT @ 0x00C[E-]
  N006.                    CNS_INT   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3]
        Def:<I0>(#1)
  N008.                    IND      
                               Use:<I0>(#2) *
        Def:<I1>(#3)
  N010.                    RETURN   
                               Use:<I1>(#5) Fixed:rax(#4) *

*************** In LinearScan::allocateRegisters()

Trees after linear scan register allocator (LSRA)

------------ BB01 [000..016) (return), preds={} succs={}
N002 (???,???) [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--] REG NA
N004 (???,???) [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-] REG NA
N006 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3] REG rax $140
                                                            /--*  t18    long   
N008 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  REG rax <l:$281, c:$280>
                                                            /--*  t20    ubyte  
N010 (  6, 14) [000021] ---XG------                         *  RETURN    int    REG NA $241

-------------------------------------------------------------------------------------------------------------------

Recording the maximum number of concurrent spills:

TUPLE STYLE DUMP WITH REGISTER ASSIGNMENTS
Incoming Parameters: 
BB01 [000..016) (return), preds={} succs={}
=====
  N002.                    IL_OFFSET INLRT @ 0x00B[--]
  N004.                    IL_OFFSET INLRT @ 0x00C[E-]
  N006. rax             =  CNS_INT   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3]
  N008. rax             =  IND      ; rax
  N010.                    RETURN   ; rax

*************** Finishing PHASE Linear scan register alloc
Trees after Linear scan register alloc

------------ BB01 [000..016) (return), preds={} succs={}
N002 (???,???) [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--] REG NA
N004 (???,???) [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-] REG NA
N006 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3] REG rax $140
                                                            /--*  t18    long   
N008 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  REG rax <l:$281, c:$280>
                                                            /--*  t20    ubyte  
N010 (  6, 14) [000021] ---XG------                         *  RETURN    int    REG NA $241

*************** Starting PHASE Place 'align' instructions

*************** Finishing PHASE Place 'align' instructions [no changes]
*************** In genGenerateCode()

=============== Generating BB01 [000..016) (return), preds={} succs={} flags=0x00000000.20010020: i label LIR 
BB01 IN (0)={} + ByrefExposed + GcHeap
     OUT(0)={}

Liveness not changing: 0000000000000000 {}
							Live regs: (unchanged) 00000000 {}
							GC regs: (unchanged) 00000000 {}
							Byref regs: (unchanged) 00000000 {}

L_M15579_BB01:
Mapped BB01 to G_M15579_IG02
Label: IG02, GCvars=0000000000000000 {}, gcrefRegs=00000000 {}, byrefRegs=00000000 {}

Scope info: begin block BB01, IL range [000..016)
Added IP mapping: 0x000B (G_M15579_IG02,ins#0,ofs#0) label
Generating: N002 (???,???) [000056] -----------                            IL_OFFSET void   INLRT @ 0x00B[--] REG NA
Added IP mapping: 0x000C STACK_EMPTY (G_M15579_IG02,ins#0,ofs#0)
Generating: N004 (???,???) [000057] -----------                            IL_OFFSET void   INLRT @ 0x00C[E-] REG NA
Generating: N006 (  2, 10) [000018] -----------                   t18 =    CNS_INT   long   0x1db53ae293b Fseq[74F81FE167D99B4CB41D6D0CCDA82278CAEE9F3E2F25D5E5A3936FF3DCEC60D0, 3] REG rax $140
IN0001:        mov      rax, 0xD1FFAB1E
                                                                        /--*  t18    long   
Generating: N008 (  5, 13) [000020] ---XG------                   t20 = *  IND       ubyte  REG rax <l:$281, c:$280>
IN0002:        movzx    rax, byte  ptr [rax]
                                                                        /--*  t20    ubyte  
Generating: N010 (  6, 14) [000021] ---XG------                         *  RETURN    int    REG NA $241
Added IP mapping: EPILOG (G_M15579_IG02,ins#2,ofs#13) label
Reserving epilog IG for block BB01

Variable Live Range History Dump for BB01
..None..
Liveness not changing: 0000000000000000 {}

__prolog:
*************** In genEnregisterIncomingStackArgs()

G_M15579_IG01:        ; offs=000000H, funclet=00, bbWeight=1   , byref, nogc
*************** In genFnEpilog()

__epilog:
gcVarPtrSetCur=0000000000000000 {}, gcRegGCrefSetCur=00000000 {}, gcRegByrefSetCur=00000000 {}
IN0003:        ret

*************** Finishing PHASE Generate code

*************** Starting PHASE Emit code

***************************************************************************
Instructions as they come out of the scheduler

IN0001: 000000 mov      rax, 0xD1FFAB1E
IN0002: 00000A movzx    rax, byte  ptr [rax]

G_M15579_IG03:        ; offs=00000DH, size=0001H, bbWeight=1    PerfScore 1.00, epilog, nogc, extend

IN0003: 00000D ret

*************** Finishing PHASE Emit code

*************** Finishing PHASE Emit GC+EH tables
Method code size: 14

Allocations for ConstStringConstIndexOptimizations:Foo():ubyte (MethodHash=233ac324)
count:        518, size:      62538, max =       3272
allocateMemory:     131072, nraUsed:      67688

****** DONE compiling ConstStringConstIndexOptimizations:Foo():ubyte

Confronta il testo

Visualizzazione

Elaborazione

Untitled Diff @keyframes loading-circle-spin { 100% { transform: rotate(360deg); } }

Untitled Diff