Fix case where dividend is long that's known in range

Author: MihaZupan

src/coreclr/jit/assertionprop.cpp

@@ -4116,7 +4116,7 @@ void Compiler::optAssertionProp_RangeProperties(ASSERT_VALARG_TP assertions,
 //    1) Convert DIV/MOD to UDIV/UMOD if both operands are proven to be never negative
 //    2) Marks DIV/UDIV/MOD/UMOD with GTF_DIV_MOD_NO_BY_ZERO if divisor is proven to be never zero
 //    3) Marks DIV/UDIV/MOD/UMOD with GTF_DIV_MOD_NO_OVERFLOW if both operands are proven to be never negative
-//    4) UMOD with GTF_UMOD_UINT16_OPERANDS if both operands are proven to be in uint16 range
+//    4) Marks UMOD with GTF_UMOD_UINT16_OPERANDS if both operands are proven to be in uint16 range
 //
 // Arguments:
 //    assertions - set of live assertions

src/coreclr/jit/lower.cpp

@@ -7221,9 +7221,9 @@ bool Lowering::LowerUnsignedDivOrMod(GenTreeOp* divMod)
         BlockRange().InsertBefore(divMod, multiplier, mul1, cast, shiftAmount);
         BlockRange().InsertBefore(divMod, mul2, shift);
 
-        // (int)result
+        // (int)result or (long)result
         divMod->ChangeOper(GT_CAST);
-        divMod->AsCast()->gtCastType = TYP_INT;
+        divMod->AsCast()->gtCastType = type;
         divMod->gtOp1                = shift;
         divMod->gtOp2                = nullptr;
         divMod->SetUnsigned();