lp
если больше чем один макрос использует ватт - сам интерпретатор амортизируешь
Size: a a a
2019 October 16
lp
интерпретатора - достаточно. Логики там обычно не много. Если оно в сто раз медленее чем натив все равно это быстрее чем компиляция прок макроса
AF
другой вариант - интерпретировать раст.. https://github.com/solson/miri
M
другой вариант - интерпретировать раст.. https://github.com/solson/miri
Именно. Это должно решаться на уровне HIR или MIR где можно добавить мемоизации для ветвей или не добавлять если там DAG-based какой нибудь. А прикручивание wasm интерпертаторы выглядит как какой то костыль если честно
lp
другой вариант - интерпретировать раст.. https://github.com/solson/miri
это хороший поинт, правда я не в курсе подводных камней
lp
HIR слишком высокоуровневый для таких вещей, MIR как раз. Про мемезацию ветвей я не совсем представляю
lp
но в любом случае watt хорошая возможность посмотреть результаты до реализации в карге
M
HIR слишком высокоуровневый для таких вещей, MIR как раз. Про мемезацию ветвей я не совсем представляю
> мемезацию ветвей я не совсем представляю
Ну это скорее как дополнительный шаг, я просто слышал что у Rust этого нет, от того компиляция и пробразования в MIR очень долгие
Ну это скорее как дополнительный шаг, я просто слышал что у Rust этого нет, от того компиляция и пробразования в MIR очень долгие
M
+ интерпретация. ее тоже можно мемоизировать (вернее ее результат)
lp
очень плохо себе представляю как мемоизировать васм или мир
lp
(без гигантского потребления памяти)
M
очень плохо себе представляю как мемоизировать васм или мир
Ну вот Halide как то справляется:
https://github.com/halide/Halide/blob/master/src/Memoization.h
https://github.com/halide/Halide/blob/master/src/Memoization.h
M
(без гигантского потребления памяти)
LRU не?
lp
интересно, я не знаком. Их IR регистровая или стековая машина?
M
интересно, я не знаком. Их IR регистровая или стековая машина?
В смысле? Это обчно LIR регистровый или стековый. Обычный IR (который милвар или HIR) это CFG + SSA или DFG / CFG / DAG и прочие комбинации графов с SSA и без
M
Там еще полихедральныая модель может использоваться
lp
ну чую ща начнеться
SSA по вашему не регистровый?)) но ладно мы это как то отдалились
SSA по вашему не регистровый?)) но ладно мы это как то отдалились
M
кстати Polly что в LLVM - это говно
lp
ладно я удаляюсь, у меня тут пол третьего )
M
ну чую ща начнеться
SSA по вашему не регистровый?)) но ладно мы это как то отдалились
SSA по вашему не регистровый?)) но ладно мы это как то отдалились
Ну SSA может быть и не над регистрами) Например есть mSSA (memory SSA)