[cc] type interning

Author: jgarzik

cc/README.md

@@ -94,6 +94,7 @@ Supported:
 - Bitfields (named, unnamed, zero-width for alignment)
 
 Not yet implemented:
+- goto, longjmp, setjmp
 - `inline` and inlining support
 - -fverbose-asm
 - Complex initializers
@@ -130,4 +131,8 @@ Please run `cargo fmt` before committing code, and `cargo clippy` regularly whil
 cargo fmt && cargo clippy -p posixutils-cc
 ```
 
+DO NOT `allow(dead_code)` to fix warnings. Instead, remove dead code; do
+not leave it around as a maintenance burden (and LLM token
+tax).
+
 Read CONTRIBUTING.md in the root of the repository for more details.

cc/arch/aarch64/codegen.rs

@@ -11,6 +11,7 @@
 
 use crate::ir::Module;
 use crate::target::Target;
+use crate::types::TypeTable;
 
 /// pcc version string for assembly header
 pub const PCC_VERSION: &str = env!("CARGO_PKG_VERSION");
@@ -49,7 +50,7 @@ pub fn generate_header_comments(target: &Target) -> Vec<String> {
 /// Trait for architecture-specific code generators
 pub trait CodeGenerator {
     /// Generate assembly code for the given IR module
-    fn generate(&mut self, module: &Module) -> String;
+    fn generate(&mut self, module: &Module, types: &TypeTable) -> String;
 
     /// Set whether to emit basic unwind tables (cfi_startproc/cfi_endproc)
     fn set_emit_unwind_tables(&mut self, emit: bool);