37 noticias
Martin Uecker detalla una técnica avanzada para gestionar funciones anidadas en compiladores GCC antiguos sin requerir una pila ejecutable, un problema común al usar callbacks. Aunque GCC 17 y Clang introducen macros específicas para este fin, los desarrolladores que deben soportar versiones previas
LLVM 23 reduce el tiempo de compilación un 6,75% en compilaciones -O3, con un descenso del 10,53% en el caso concreto de sqlite3, según los datos del propio proyecto. La mayor parte de la ganancia procede de tres reformas de las tablas hash que LLVM utiliza intensivamente: el paso de sondeo cuadráti
El lenguaje Odin incorpora un ensamblador inline diseñado desde cero, no añadido como un parche sobre una cadena de texto. A diferencia de las soluciones de GCC, Clang o Rust —basadas en plantillas de texto y restricciones tipo DSL—, el sistema de Odin trata el ensamblador como plantillas asm invoca
Un experimento reducido comparó el tamaño del código, el volumen dinámico de instrucciones y el número de microoperaciones generado por RISC-V y ARMv9. La prueba utilizó chibicc, un compilador de C de tamaño medio, compilado consigo mismo como carga de trabajo. Los binarios se evaluaron con RVA22, R
La optimización de tail calls (llamadas de cola) en el lenguaje C no existía desde siempre, según argumenta un comentario firmado por anton (anton@) en LWN.net. La convención de llamadas de C exigía que el llamante retirase los argumentos de la pila tras la llamada, lo que convertía estas llamadas e
El autor documenta una ambigüedad nunca resuelta del estándar C89/C90 sobre las declaraciones implícitas de funciones, una característica del lenguaje eliminada en C99. Explica que, cuando se invoca una función no declarada, el compilador la inserta en el ámbito como extern int () en lugar de produc
El autor, Nemanja Trifunović, mantiene desde 2006 una biblioteca C++ de código abierto para manejar cadenas UTF-8 y recientemente reoptimizó su función validate_next, que decodifica un code point UTF-8 a partir de un iterador de bytes. La versión original determina la longitud de la secuencia según
Ayush Shukla, ingeniero de Axiom y desarrollador de OpenVM, explica en su blog personal cómo reducir la diferencia entre ejecutar un programa RISC-V dentro de una máquina virtual y hacerlo directamente sobre el hardware del equipo anfitrión. OpenVM es la máquina virtual RISC-V que Axiom utiliza para
En C++, convertir un valor en coma flotante a un entero mediante sintaxis tan habitual como `int i = f;` o `static_cast<int>(f)` constituye comportamiento indefinido cuando el valor truncado no cabe en el tipo destino. El estándar lo recoge en la página de conversiones implícitas de Cppreference, do
All Your Codebase es una iniciativa que empaqueta proyectos C y C++ para el sistema de build de Zig, permitiendo compilarlos y compilarlos cruzadamente con un único comando. La organización aloja repositorios que sustituyen las cadenas de herramientas tradicionales (Make, CMake, autoconf, scripts de
Un análisis técnico demuestra que la opción -mcmodel=large de GCC y Clang, pensada para compilar binarios enormes sorteando los límites de direccionamiento de 32 bits, falla de forma sistemática con variables thread-local (__thread) y, por extensión, con la inmensa mayoría del software C/C++ real de
scriptc es un compilador experimental, desarrollado por vercel-labs, que traduce código TypeScript ordinario a ejecutables nativos pequeños y rápidos, sin necesidad de Node ni de un motor de JavaScript incluido en el binario. La promesa central es que el mismo TypeScript que se ejecuta sobre Node —t
En C moderno, la palabra clave auto permite declarar variables con tipo inferido, pero su análisis sintáctico encierra ambigüedades que enfrentan a GCC y Clang en sentidos opuestos. Cuando en un ámbito interno existe un typedef con el mismo nombre que el identificador de la declaración, ambos compil
En C++, los tipos de función llevan asociado un «enlace de lenguaje» (language linkage) que puede ser «C++», «C» u otro definido por la implementación. El estándar establece con claridad que dos tipos de función con enlaces de lenguaje distintos son tipos diferentes aunque su firma sea idéntica, pre
El programador Christof Kaser presenta `sort.h`, una implementación de Quicksort sin ramas basada en el principio de que los compiladores modernos —especialmente Clang— traducen bucles con operadores condicionales en instrucciones branchless rápidas, siempre que el código fuente esté escrito con el
Cpp2Rust es una herramienta de código abierto que traduce código C++ a Rust completamente seguro de forma automática. Funciona como un traductor dirigido por la sintaxis que toma como punto de partida el árbol de sintaxis abstracta (AST) generado por clang. Tras recorrer dicho AST, la herramienta em
Maxime Chevalier-Boisvert retomó su proyecto personal UVM, una máquina virtual minimalista basada en bytecode con pila que abandonó a principios de 2023, y se propuso compilar software real en ella. Hasta ahora, programar para UVM exigía usar su lenguaje ensamblador propio o ncc, un compilador de ju
El artículo repasa la historia, el diseño y el impacto de LLVM, la infraestructura de compiladores de código abierto nacida en 2000 como proyecto de investigación en la Universidad de Illinois Urbana-Champaign y publicada por primera vez en octubre de 2003. Financiada inicialmente por la Fundación N
La sabiduría heredada sobre optimización en C++ —el inverso rápido de raíz cuadrada de Quake III, el intercambio por XOR, el conteo de bits de Kernighan, el acceso por punteros de fila— se asentó sobre hardware y compiladores que ya no existen. Este artículo demuestra con benchmarks en un AMD Ryzen
BUSY (BUild SYstem) es un sistema de compilación multiplataforma para las toolchains GCC, Clang y MSVC, con requisitos de sistema mínimos y fácil arranque en frío. Frente a alternativas como CMake, QMake, Meson o GN, su principal rasgo diferenciador es un lenguaje de especificación de tipado estátic
FPChecker es un marco de análisis asistido por compilador, basado en clang/LLVM, que instrumenta código en C y C++ para exponer el comportamiento de la aritmética en coma flotante y detectar fuentes de error numérico. El taller, de media jornada, se celebrará el 22 de junio de 2026, entre las 9:00 y
LLVM, el compilador de Clang, ha introducido una optimización en SmallVector::push_back para tipos aproximadamente copiables triviales, su operación más caliente. Antes, la ruta rápida del push_back reservaba capacidad, almacenaba el elemento y luego llamaba a grow_pod, lo que obligaba a guardar thi
C++26 da un paso más en la trayectoria de expansión de constexpr, la palabra clave que permite evaluar expresiones en tiempo de compilación. La propuesta P3533R2, autoría de Hana Dusíková, levanta una de las últimas restricciones sintácticas: la prohibición de declarar constexpr los constructores y
Pystd es una biblioteca estándar para C++ escrita desde cero con un objetivo muy concreto: minimizar el tiempo de compilación. Su autor, tras ver rechazadas varias propuestas de charla en conferencias, decidió publicarla como entrada de blog. El problema de fondo es conocido: incluir una sola cabec
BumpPtrAllocator es el asignador bump (de tipo arena) de LLVM: cada asignación avanza un puntero dentro de un slab y todo se libera de golpe al destruir el asignador. Da soporte a áreas críticas como el ASTContext de Clang, los pools de objetos make<T> de lld y los registros de TableGen. Una optimiz
Este artículo relata los problemas técnicos que el autor, desarrollador del proyecto Anubis, tuvo que resolver para integrar comprobaciones de prueba de trabajo basadas en WebAssembly con fallback a JavaScript puro. La idea es definir la lógica de comprobación una sola vez y compilarla a JavaScript
El equipo de desarrollo de Apple está ultimando la adopción del enlazador paralelo de DWARF dentro de dsymutil, la herramienta que agrupa la información de depuración de las plataformas Apple en un bundle autónomo. El objetivo es reducir los tiempos de procesado en proyectos C++ de gran tamaño, dond
El algoritmo de rotación unidireccional de gcc libstdc++ para iteradores de acceso aleatorio resulta ser, contra toda expectativa, el mismo que el algoritmo clásico empleado con iteradores forward. Así lo explica el blog técnico The Old New Thing en una nueva entrega, donde compara ambos procedimien
José Marchesi y los desarrolladores de GCC-BPF abrieron la sesión sobre BPF en el Linux Storage, Filesystem, Memory-management, and BPF Summit 2026 con un repaso de 90 minutos sobre los avances del último año en el soporte de BPF en la cadena de herramientas GNU. GCC estaría cerca de alcanzar la par
Un nuevo proyecto llamado 'gobee' permite a los desarrolladores escribir programas BPF (Berkeley Packet Filter) en Go, en lugar de C. Esta herramienta transpila un subconjunto estricto de código Go a BPF C, generando también enlaces de Go tipados para el espacio de usuario y verificando la compatibi
La devirtualización es una optimización del compilador que convierte llamadas a funciones virtuales en llamadas directas a métodos específicos, eliminando el costo de la tabla de funciones virtuales (vtable). Esta técnica mejora el rendimiento al evitar el direccionamiento típico del polimorfismo en
LFortran ha logrado compilar con éxito el Fortran Package Manager (fpm), un proyecto complejo que ha permitido identificar y corregir numerosos errores y carencias en el compilador. Este logro, completado el 7 de febrero de 2026, marca un hito importante en el desarrollo de LFortran, acercándolo a s
La funcionalidad 'defer', una herramienta para gestionar la limpieza de recursos y evitar fugas de memoria en código C, está ahora disponible en el compilador Clang a partir de la versión 22, y está en proceso de integración en GCC. La especificación técnica (TS 25755) ha sido completada y está ava
`fbounds-safety` es una extensión para el lenguaje C que busca abordar un problema crítico: los accesos a memoria fuera de los límites (out-of-bounds, OOB). Estos accesos son una fuente común de vulnerabilidades de seguridad en C, y esta extensión tiene como objetivo eliminarlos convirtiendo estos a
El desarrollo de Swift 6.0 enfrenta importantes obstáculos técnicos que impiden su lanzamiento estable, según un análisis detallado publicado en GitHub por LadybirdBrowser. La lista de problemas abarca desde incompatibilidades con LLVM, errores en la gestión de tipos opcionales entre Swift y C++, ha
Un nuevo lenguaje de programación llamado ROX ha sido desarrollado con el objetivo de priorizar la claridad sobre la comodidad. Creado por Taman-Islam y disponible en GitHub, ROX busca eliminar las complejidades inherentes a muchos lenguajes, como conversiones implícitas, operadores sobrecargados y
Investigadores han descubierto comportamientos inesperados e ineficientes en el código generado por los compiladores GCC y Clang al trabajar con arrays de diferentes tamaños. El problema surge al verificar si un array contiene solo ceros, una tarea aparentemente sencilla. Al variar el tamaño del arr
