How to represent complex types in Mir?
- struct + traits
- What is the use case?
- TBAA?
- Focussed on let statements?

TII->getName(MI->getOpcode());

MOV32ri64
CMP32ri8
https://matklad.github.io/2023/01/25/next-rust-compiler.html
Scopes for CanonicalPath

flang/Optimizer/Builder/FIRBuilder.h

https://discourse.llvm.org/t/rfc-interfaces-and-dialects-for-precise-ir-transformation-control/60927

https://developers.redhat.com/articles/2023/02/02/support-c23-assume-feature-gcc

https://www.lei.chat/posts/compilers-and-irs-llvm-ir-spirv-and-mlir/

https://github.com/powerboat9/gccrs/tree/master/gcc/testsuite/rust/execute/torture

https://discourse.llvm.org/t/playing-around-with-a-c-dialect-and-wondering-about-how-high-level-it-should-be/1103

https://llvm.org/docs/LoopTerminology.html