Телеграмм чат группы pro

что может случится при коверсии 42.0 в лонг?

23:24пожаловаться #1

и?

И jit должен выполнить checked конвертацию во время конструирования метода

23:24пожаловаться #2

понятнее не стало

23:25пожаловаться #3

хз о чем ты

23:25пожаловаться #4

хз о чем ты

Как понять, что 42 можно сконвертировать в лонг?

23:26пожаловаться #5

Какой код должен быть в jit, чтобы он посчитал, что checked не нужен?

23:26пожаловаться #6

42.0 — проверить на нормальную форму, а потом проверить на принадлежность к диапазону long.MinValue..long.MaxValue

23:26пожаловаться #7

всё

23:26пожаловаться #8

42.0 — проверить на нормальную форму, а потом проверить на принадлежность к диапазону long.MinValue..long.MaxValue

То есть вот этого не хватает в jit

23:27пожаловаться #9

если не удовлетворяет хотя бы одному условию - не оптимизровать чекед

23:27пожаловаться #10

Выкидывание checked для констант

23:27пожаловаться #11

да. джит консервативен с checked, в большинстве оптимизаций проверяется is in checked context и если да — сразу give up

23:28пожаловаться #12

в принципе имеет смысл

23:28пожаловаться #13

в принципе имеет смысл

почему? для константособого смыла не имеет

23:29пожаловаться #14

имеет смысл в плане что чекед в основном юзается когда тебя больше заботит корректность

23:31пожаловаться #15

а не ковбой-стайл оптимизации

23:31пожаловаться #16

имеет смысл в плане что чекед в основном юзается когда тебя больше заботит корректность

время оптимизаций)

23:31пожаловаться #17

image_2020-03-17_23-34-59.png

(94.88 Кб)

23:34пожаловаться #18

применил хак ulong :)

23:35пожаловаться #19

но пизда, Native estimate for function size exceeds threshold for inlining 96.5 > 95.4 (multiplier = 8.3)