[CIR][ABI][NFC] Update ABI lowering design doc with implementation experience (#188617)
Three documentation improvements based on implementation experience:
- Improve Section 4.4 flow diagram: replace flat step-by-step diagram
with
layered version showing which architectural layer (MLIR adapter, LLVM
ABI
library, dialect-specific) owns each step.
- Note dialect-aware type mapping: dialects with custom types (e.g.
cir::IntType is not mlir::IntegerType) may need dialect-aware mapping
alongside the generic mapper to preserve signedness, pointer identity,
and
record field structure.
- Update ABIRewriteContext interface: describe the actual two-method
interface
(rewriteFunctionDefinition, rewriteCallSite) instead of the 15-20
fine-grained methods originally proposed.
Made with [Cursor](https://cursor.com)