#RedoxOS bannit définitivement tout code généré par #IA : contributions détectées = suppression immédiate + exclusion du projet, une politique stricte adoptée aussi par #Fedora, #Gentoo et #LLVM face aux contributions de mauvaise qualité.
#Debian barre la route aux bots et au code des IA génératives.
"sauf relecture humaine substantielle."
Donc pas totalement fermé 🤔
[$] An API for handling arithmetic overflow
On March 31, Kees Cook shared a patch set that represents the culmination of more than a year of work toward eliminating the possibility of silent, unintentional integer overflow [...]
https://lwn.net/Articles/1065889/ #LWN #Linux #kernel #GCC #LLVM #Clang #Rust
JSIR: A High-Level IR for JavaScript
https://discourse.llvm.org/t/rfc-jsir-a-high-level-ir-for-javascript/90456
This RFC introduces JSIR, a high-level IR for JavaScript: JSIR preserves all information from the AST and supports high-fidelity round-trip between source ↔ AST ↔ JSIR; JSIR uses MLIR regions to represent control flow structures; JSIR supports dataflow analysis. JSIR is developed and deployed in production at Google for code analysis and transform use cases. JSIR is open source here: GitHub - google/jsir: Next-generation JavaScript analysis tooling · GitHub. Motivation Industry trend of bui...
JSIR: A High-Level IR for JavaScript
https://discourse.llvm.org/t/rfc-jsir-a-high-level-ir-for-javascript/90456
This RFC introduces JSIR, a high-level IR for JavaScript: JSIR preserves all information from the AST and supports high-fidelity round-trip between source ↔ AST ↔ JSIR; JSIR uses MLIR regions to represent control flow structures; JSIR supports dataflow analysis. JSIR is developed and deployed in production at Google for code analysis and transform use cases. JSIR is open source here: GitHub - google/jsir: Next-generation JavaScript analysis tooling · GitHub. Motivation Industry trend of bui...
@resistor has been spelunking in LLVM history and found my first LLVM commit! from just over 18 years ago! Truly an indispensable contribution to the ecosystem!
Как найти UB, которое никто не хочет замечать: разбираем clang-tidy изнутри
Привет, Хабр! Меня зовут Анастасия Черникова, я занимаюсь разработкой компиляторных технологий и инструментов на базе LLVM в Синтакоре. Неопределенное поведение (undefined behavior, UB) по-разному выглядит с точки зрения компилятора и разработчика. Для первого оно, как правило, открывает дополнительные возможности для оптимизации. Для программиста же UB может стать проблемой, особенно если оно остается незамеченным и не учитывается при разработке. В этой статье рассмотрим подход к поиску UB с использованием статического анализа. В качестве примера я использую clang-tidy: сначала разберу, как устроены существующие чекеры и как работают AST matchers, а затем покажу, как расширять их и добавлять собственные проверки, если стандартных возможностей оказывается недостаточно. Отправимся на поиски и поимку UB →
https://habr.com/ru/companies/yadro/articles/1017930/
#llvm #clangtidy #ast #check #cpp #undefined_behavior #UB #compiler #sanitizers
I helped with shaving some instructions from isfinite and similar float functions on a variety of platforms (notably aarch64):
https://github.com/llvm/llvm-project/pull/169402
This inefficiency was first reported on the rust issue tracker, then nerdsniped some LLVM folks, and I did the boring but necessary work of actually landing the change.
So I'm writing a #compiler. No LLMs just my squishy brain and textbooks for the language #Oberon and docs for #llvm
This is a path well travelled but my trick is I'm keeping Professor Wirth's freely licensed original source and replacing only the code generation parts with calls to the llvm-c api.
So I guess I'm not even writing the compiler, I'm adapting it.
Huge thanks to obnc which translates oberon to c. When the translated compiler can compile itself I'll just stop using the translator.
jfmblinux 
LWN.net
Hacker News
Curated Hacker News
Nick Gully
David Chisnall (*Now with 50% more sarcasm!*)
Habr
Folkert de Vries
Chuck