How LLVM Optimizes a Function – Embedded in Academia edit / delete

A nice walkthrough of how LLVM's optimisation passes rewrite a simple loop. This assumes you know how LLVM's SSA representation works, but it'll still make sense even if you don't.

to cmp409 compiler llvm loop optimisation ... on 11 September

N4455 No Sane Compiler Would Optimize Atomics edit / delete

"Compilers do optimize atomics, memory accesses around atomics, and utilize architecture-specific knowledge. This paper illustrates a few such optimizations, and discusses their implications."

to atomic cmp201 compiler optimisation ... on 11 September

CMOC - 6809 cross-compiler for a C-like language edit / delete

"CMOC is a 6809-generating cross-compiler for a subset of the C language."

to 6809 c coco compiler cross-compiler dragon retrocomputing ... on 20 January

picol, a Tcl interpreter in 550 lines of C code edit / delete

As it says. Nothing fancy, but this is a nice example of a small language.

to cmp409 compiler interpreter parsing tcl ... on 06 January

Software Preservation Group — Software Preservation Group edit / delete

Some fairly specific archiving projects from CHM -- e.g. as much as they could collect about early Fortran compilers.

to compiler fortran history language-design retrocomputing ... on 13 September 2017

graydon2 | "What next?" edit / delete

"After memory safety, what do you think is the next big step for compiled languages to take?" Some interesting suggestions.

to compiler language-design research ... on 12 September 2017

The T3X Language and Compiler - T3X.ORG edit / delete

"T3X9 is a tiny, yet comprehensible, procedural language, much like Pascal or BCPL, but even more minimal. Its compiler is small and fast." There's a book about how the compiler works too.

to cmp409 compiler language-design ... on 13 May 2017

Snowman edit / delete

"Snowman is a native code to C/C++ decompiler".

to c c++ compiler decompiler reverse-engineering ... on 26 February 2017

Kednos PL/I edit / delete

Commercial PL/I compiler for VMS, but with a very comprehensive reference manual; this was useful in understanding the Multics PL/I code.

to compiler language-design pli vms ... on 10 February 2017

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to compiler

- compiler
 
1 + 1802
3 + 6502
2 + 6809
1 + 8bit
1 + abi
1 + ag0700
3 + ag0803
1 + ai
1 + algol
3 + amiga
1 + amusements
1 + apple2
1 + assembler
1 + atari
1 + atomic
1 + autocode
1 + backend
1 + bbc
1 + bcpl
3 + benchmarking
1 + bindings
1 + binutils
1 + build
1 + bytecode
23 + c
11 + c++
1 + c++11
2 + c64
2 + c99
1 + cas
1 + clang
1 + cmp201
4 + cmp409
1 + coco
1 + commodore
4 + concurrency
1 + confidence
1 + continuations
1 + coroutines
1 + correctness
3 + cpm
1 + cpp
1 + cross
1 + cross-compile
2 + cross-compiler
2 + cute-code
1 + debian
1 + debugging
1 + decompiler
2 + design
1 + dice
1 + dragon
1 + e
1 + editor
1 + effect-size
2 + electronics
1 + embedded
1 + emscripten
1 + emulation
1 + error
2 + etext
2 + floating-point
1 + formal-methods
1 + fortran
1 + fp
3 + fpga
3 + functional
1 + fuzzing
1 + games
9 + gcc
1 + generics
1 + gnu
1 + gpgpu
2 + gpu
1 + grammar
1 + gtk
1 + hardening
12 + haskell
3 + history
1 + ice
1 + indentation
1 + independence
3 + interpreter
1 + iso
2 + java
5 + javascript
3 + jit
3 + language
14 + language-design
1 + lexer
1 + library
1 + linker
2 + lisp
10 + llvm
1 + loop
1 + low-level
1 + lto
1 + macro
1 + make
1 + mali
3 + maths
1 + metaprogramming
1 + mingw
1 + minimal
1 + ml
1 + mud
2 + numeric
1 + numpy
1 + ocaml
5 + occam
1 + oo
1 + ooc
1 + opencl
10 + optimisation
2 + papers
1 + parallel
9 + parsing
2 + pascal
1 + pcc
3 + performance
3 + perl
1 + pli
1 + pocl
2 + porting
4 + programming
20 + python
1 + quake
2 + reproducibility
64 + research
16 + retrocomputing
2 + reverse-engineering
2 + security
34 + software
2 + static-checking
3 + statistics
1 + swig
1 + syntax
1 + tcl
3 + teaching
1 + templates
2 + testing
1 + timing
1 + to-package
4 + tock
1 + toolchain
1 + transactional-memory
2 + translation
1 + type-checking
1 + type-inference
2 + types
1 + unix
1 + varan
1 + verilog
1 + vhdl
7 + vm
1 + vms
1 + web
1 + win32
2 + z80