E
я не понял тебя
Size: a a a
2019 October 11
E
раст генерит тоже что и ллвм
M
То есть получается это не LLVM а Clang халтурит
E
а ты про movsxd
M
ну да
E
а почему раст в lea тогда не делает?)
M
точнее про регистры и movsxd
M
а почему раст в lea тогда не делает?)
Ну lea там действительно лишний
E
почему?
E
разве леа не посчитается на этапе декодинга?
M
LEA не бесплатный (вернее не всегда). Это известный миф)
E
ага, но я сильно не в теме, помню что там из одного в другое переливается и выглядит как зеро латенси
M
lea это может быть и alu + agu Так вот когда там agu latency у него иногда больше единицы
E
тут короче кланг эмитит sext
E
я так подозреваю ты ожидал там zext
E
define dso_local i64 @add1(i64, i32) local_unnamed_addr #0 {
%3 = sext i32 %1 to i64
%4 = add nsw i64 %3, %0
ret i64 %4
}https://llvm.org/docs/LangRef.html#sext-to-instruction
E
ща гляну что моно эмитит
M
тут короче кланг эмитит sext
Ну правильно эмитит, там должен быть sext. потому что там знаковые операнды. Проблема с размерностью регистров
M
то есть в первом случае это должно быть
во втором
и
в третьем
%3 = sext i32 %1 to i64во втором
%3 = sext i16 %1 to i64и
%3 = sext i8 %1 to i64в третьем
M
