Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Repo build using checked runtime fails with JIT asserts #112635

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
jkotas opened this issue Feb 17, 2025 · 4 comments · Fixed by #112733
Closed

Repo build using checked runtime fails with JIT asserts #112635

jkotas opened this issue Feb 17, 2025 · 4 comments · Fixed by #112733
Assignees
@jakobbotsch
Labels
area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI in-pr There is an active PR which will close this issue when it is merged
Milestone
10.0.0

Comments

@jkotas
Copy link
Member

jkotas commented Feb 17, 2025 •
edited
Loading

Repro

Build checked runtime, patch the bootstrap SDK with it, and rebuild:

build.cmd -s clr+libs -c release -rc checked
taskkill /F /IM dotnet.exe
copy artifacts\bin\testhost\net10.0-windows-Release-x64\shared\Microsoft.NETCore.App\10.0.0\* .dotnet\shared\Microsoft.NETCore.App\10.0.0-alpha.1.25073.13\*
del /s artifacts\*.dll
build.cmd -s clr+libs -c release -rc checked

Result

  sfx-finish -> Trimming win-x64 shared framework assemblies with ILLinker...

  Assert failure(PID 25472 [0x00006380], Thread: 11028 [0x2b14]): Assertion failed '!"Unexpected tree op after call mar
  ked as tailcall"' in 'ILLink.Shared.TrimAnalysis.SystemReflectionMethodBaseValue:Equals(ILLink.Shared.DataFlow.Single
  Value):ubyte:this' during 'Morph - Global' (IL size 8; hash 0x9e01e8f8; Tier1)
@dotnet-issue-labeler dotnet-issue-labeler bot added the area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI label Feb 17, 2025
@dotnet-policy-service dotnet-policy-service bot added the untriaged New issue has not been triaged by the area owner label Feb 17, 2025
@dotnet-policy-service Dotnet Policy Service
Copy link
Contributor

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

@EgorBo
Copy link
Member

EgorBo commented Feb 17, 2025

@dotnet/jit-contrib if it rings a bell

@EgorBo
Copy link
Member

EgorBo commented Feb 17, 2025 •
edited
Loading

The tree is:

[000188] -----------                         *  CAST      int <- ubyte <- int
[000162] -----------                         \--*  LCL_VAR   int    V11 tmp9          (last use)

------------ BB31 [0037] [000..001) -> BB29(1) (always), preds={BB05} succs={BB29}

***** BB31 [0037]
STMT00043 ( INL09 @ 0x000[E-] ... ??? ) <- INL08 @ 0x010[E-] <- INL02 @ 0x00D[E-] <- INL01 @ ??? <- INLRT @ 0x000[E-]
               [000180] DAC-G------                         *  STORE_LCL_VAR int    V11 tmp9         
               [000160] --C-G------                         \--*  CALLV vt-ind int    System.Object:Equals(System.Object):ubyte:this
               [000164] ----------- this                       +--*  LCL_VAR   ref    V12 tmp10         (last use)
               [000159] ----------- arg1                       \--*  LCL_VAR   ref    V17 tmp15         (last use)

------------ BB29 [0035] [000..001) -> BB02(1) (always), preds={BB30,BB31} succs={BB02}

***** BB29 [0035]
STMT00012 ( INL02 @ 0x00D[E-] ... ??? ) <- INL01 @ ??? <- INLRT @ 0x000[E-]
               [000053] DA---------                         *  STORE_LCL_VAR ubyte  V04 tmp2         
               [000188] -----------                         \--*  CAST      int <- ubyte <- int
               [000162] -----------                            \--*  LCL_VAR   int    V11 tmp9          (last use)

------------ BB06 [0005] [000..001) -> BB02(1) (always), preds={BB08} succs={BB02}

------------ BB02 [0007] [000..008) (return), preds={BB06,BB07,BB29} succs={}

***** BB02 [0007]
STMT00001 ( 0x000[E-] ... ??? )
               [000004] --C--------                         *  RETURN    int   
               [000054] -----------                         \--*  LCL_VAR   ubyte  V04 tmp2          (last use)

@amanasifkhalid amanasifkhalid removed the untriaged New issue has not been triaged by the area owner label Feb 18, 2025
@amanasifkhalid amanasifkhalid added this to the 10.0.0 milestone Feb 18, 2025
@JulieLeeMSFT
Copy link
Member

@jakobbotsch, PTAL.

jakobbotsch added a commit to jakobbotsch/runtime that referenced this issue Feb 20, 2025
@jakobbotsch
JIT: Keep small-typedness information for return temps introduced by GDV
df7098e 
Fix dotnet#112635
@jakobbotsch jakobbotsch mentioned this issue Feb 20, 2025
Merged
@dotnet-policy-service dotnet-policy-service bot added the in-pr There is an active PR which will close this issue when it is merged label Feb 20, 2025
@EgorBo EgorBo mentioned this issue Feb 24, 2025
Closed
@github-actions github-actions bot locked and limited conversation to collaborators Mar 24, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jakobbotsch jakobbotsch

Labels
area-CodeGen-coreclr CLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI in-pr There is an active PR which will close this issue when it is merged
Projects
None yet
Milestone
10.0.0
Development

Successfully merging a pull request may close this issue.

JIT: Keep small-typedness information for return temps introduced by GDV jakobbotsch/runtime
5 participants
@EgorBo @jkotas @jakobbotsch @amanasifkhalid @JulieLeeMSFT