h
typedef double int
?
а. пасиб
?
Size: a a a
2020 December 05
?
AG
там есть бенчмарки
h
typedef double int
?
подобное запретить бы...
либо базовые типа вроде
либо базовые типа вроде
int делать кивордами. либо надстройку над типами сделать типа "closed", правда тогда redefinition придется через всё дерево искать...h
typedef double int
?
такс. вы неправы -_-
это не сработает. про контекст я понял, но подобное не сделаешь, как вы описали
это не сработает. про контекст я понял, но подобное не сделаешь, как вы описали
а
Не совсем, ARC требует много плясок. Практически каждай новая фича в компиляторе требует правильной работы со счетчиками особенно такими что имеют статус autoreleased. Кроме того есть пару очень трудноотлавливаемых edge кейсов связанных с алиасингом. В общем это то еще удовольствие. В конечном итоге все это начало очень сильно тормозить процесс разработки и было принято нелегкое решение отказаться от этого
Очень интересный опыт
MM
Привет. Можете плиз объяснить зачем в llvm взятие типов реализовано через
Зачем типы хранить в контексте?
LLVMContext?Зачем типы хранить в контексте?
int он ведь везде intТам помимо базовых типов есть ещё массивы, структуры, векторные типы, n-битные типы для "странных" n. Каждый тип - это объект. LLVMContext нужен чтобы для каждого типа был единственный экземпляр такого объекта. Тогда типы можно сравнивать простым сравнением указателей.
2020 December 06
а
not ssa based - это не SSA, а другие формы - CPS, RVSDG, ANF и т д
Какие ещё бывают формы, помимо тех что вы перечислили? просто интересно
AG
CFG, DFG, SoN, sequent calculus, lambda^1/2
а
CFG, DFG, SoN, sequent calculus, lambda^1/2
Спасибо : )
t
Приветствую всех,как фаззить JIT?
M
А как с llvm готовить сишный bool. Сначала я хотел выделить int в байт и просто поддерживать инвариант, что он всегда или 1 или 0. Но потом подумал, может есть какой то другой способ что бы не приходилось вечные приведения для br делать
E
А как с llvm готовить сишный bool. Сначала я хотел выделить int в байт и просто поддерживать инвариант, что он всегда или 1 или 0. Но потом подумал, может есть какой то другой способ что бы не приходилось вечные приведения для br делать
везде юзать i1, не?
M
Непонятно тогда как попросить llvm тип сделать размером 1 байт
h
Непонятно тогда как попросить llvm тип сделать размером 1 байт
там есть
Int1Tyt
Непонятно тогда как попросить llvm тип сделать размером 1 байт
i8
t
там есть
Int1TygetIntNTy()
t
Непонятно тогда как попросить llvm тип сделать размером 1 байт
изучите более лучше док по IR и llvm::IRBuilder и llvm::Type
M
изучите более лучше док по IR и llvm::IRBuilder и llvm::Type
К чему это?