Use unsigned casts for array length/index

pentp · pentp · commit cc768d2f0885 · 2021-09-16T15:38:24.000+03:00
diff --git a/src/coreclr/jit/morph.cpp b/src/coreclr/jit/morph.cpp
@@ -5685,7 +5685,7 @@ GenTree* Compiler::fgMorphArrayIndex(GenTree* tree)
 
         if (bndsChkType != TYP_INT)
         {
-            arrLen = gtNewCastNode(bndsChkType, arrLen, false, bndsChkType);
+            arrLen = gtNewCastNode(bndsChkType, arrLen, true, bndsChkType);
         }
 
         GenTreeBoundsChk* arrBndsChk = new (this, GT_ARR_BOUNDS_CHECK)
@@ -5714,7 +5714,7 @@ GenTree* Compiler::fgMorphArrayIndex(GenTree* tree)
         }
         else
         {
-            index = gtNewCastNode(TYP_I_IMPL, index, false, TYP_I_IMPL);
+            index = gtNewCastNode(TYP_I_IMPL, index, true, TYP_I_IMPL);
         }
     }
 #endif // TARGET_64BIT

Original file line number	Diff line number	Diff line change
`@@ -5685,7 +5685,7 @@ GenTree* Compiler::fgMorphArrayIndex(GenTree* tree)`
`5685`	`5685`
`5686`	`5686`	`if (bndsChkType != TYP_INT)`
`5687`	`5687`	`{`
`5688`		`- arrLen = gtNewCastNode(bndsChkType, arrLen, false, bndsChkType);`
	`5688`	`+ arrLen = gtNewCastNode(bndsChkType, arrLen, true, bndsChkType);`
`5689`	`5689`	`}`
`5690`	`5690`
`5691`	`5691`	`GenTreeBoundsChk* arrBndsChk = new (this, GT_ARR_BOUNDS_CHECK)`
`@@ -5714,7 +5714,7 @@ GenTree* Compiler::fgMorphArrayIndex(GenTree* tree)`
`5714`	`5714`	`}`
`5715`	`5715`	`else`
`5716`	`5716`	`{`
`5717`		`- index = gtNewCastNode(TYP_I_IMPL, index, false, TYP_I_IMPL);`
	`5717`	`+ index = gtNewCastNode(TYP_I_IMPL, index, true, TYP_I_IMPL);`
`5718`	`5718`	`}`
`5719`	`5719`	`}`
`5720`	`5720`	`#endif // TARGET_64BIT`