/c_build_experiments

Primary LanguageMakefile

C Compiler Playground

This repo includes a number of Makefiles to demonstrate various build techniques targeting native ELF binaries/libraries and WebAssembly modules.

If you are unfamiliar with the traditional C build pipeline or how preprocessors, compilers, and assemblers differ, please see the concepts page.

The assets in greet represent a library with two translation units. This library is used by the application represented by hello.c. Different build scenarios demonstrate different techniques for linking into ELF and WebAssembly executables.

All rules should be run with -r to ignore the Make's built-in rules and force use of the additional intermediate rules defined here

make -r

Also be sure to run make clean between jobs to purge all intermediate output.

The default Makefile uses gcc.mk.

gcc.mk uses gcc and is configured to use separate preprocess, compile, assemble, and link steps, keeping all intermediate assets to allow for inspection using various tools. It also includes rules to demonstrate the creation and use of static libraries (*.a archives) and dynamic libraries (*.so). This is a good baseline for understanding the traditional UNIX compiler toolchain.

clang.mk adds LLVM-specific build steps that generate LLVM's intermediate representation in text *.ll and binary *.bc forms. It also provides rules to show how to build static LLVM bitcode libraries using two alternate techniques. The first combines all translation units into a single *.bc file. The second creates an LLVM bitcode archive that can be linked directly or indirectly just as with archives containing native ELF object files.

wasm.mk uses LLVM to generate WebAssembly modules using WASI. The install_wasi_sdk.sh script should be executed before running these rules. The rules demonstrates use of LLVM library using *.bc files and LLVM Bitcode Archives.

The resulting WebAsssembly module was run against wasmtime

Example:

make clean && make -r -f wasm.mk link && wasmtime hello.wasm -- Sean

Tools to inspect various intermediate files

  • ldd can look at shared libraries needed at runtime
  • nm lists the symbols in an object file
  • readelf dumps detailed information about native ELF object files, libraries, and executables

TODO

  • Consider compiling the greet library as a WebAssembly module to show dynamic linking
  • Add a list of suggested tools for inspection the various intermediate output files produced by these makefiles
  • Tools to inspect LLVM bitcode?
  • Add instructions/script or Dockerfile to help install expected tools.

Resources Consulted