diff --git a/src/main/doc/asm-fragments.puml b/src/main/doc/asm-fragments.puml
new file mode 100644
index 000000000..271a5e7ec
--- /dev/null
+++ b/src/main/doc/asm-fragments.puml
@@ -0,0 +1,67 @@
+@startuml
+!theme sketchy-outline
+
+MasterSynthesizer : getSynthesizer(TargetCpu) : Synthesizer
+MasterSynthesizer ... Synthesizer : "produces"
+
+Synthesizer -- "1" TargetCpu
+Synthesizer -- "1" TemplateCache
+Synthesizer -- "*" Synthesis : "uses"
+Synthesizer : getFragmentInstance(InstanceSpec) : Instance
+Synthesizer : Map<Signature, Synthesis> graph
+Synthesizer ... Instance : "produces"
+Synthesizer ... InstanceSpec : "consumes"
+
+Synthesis -- "1" Signature
+Synthesis -- "*" SynthesisResult
+Synthesis -- "*" SynthesisOption
+
+SynthesisOption -- "1" Signature
+SynthesisOption -- "*" Signature : "subs"
+SynthesisOption -- "1" SynthesisRule
+
+interface SynthesisRule
+SynthesisRule : matches(AsmFragmentSignature): boolean
+SynthesisRule : synthesize(AsmFragmentSignature, List<Template>): Template
+
+SynthesisResult -- "1" Template
+SynthesisResult -- "1" SynthesisRule
+SynthesisResult -- "*" SynthesisResult : "subs"
+
+TemplateCache -- "1" TargetCpu
+TemplateCache -- "*" Template
+TemplateCache -- "*" Signature
+TemplateCache : Map<Signature, Template> cache
+
+InstanceSpec -- "1" Signature
+InstanceSpec -- "1" Bindings
+InstanceSpec : hasNextVariation()
+InstanceSpec : nextVariation()
+
+Instance -- "1" Signature
+Instance -- "1" Template
+Instance -- "1" Bindings
+Instance : generate(AsmProg)
+
+Bindings : Map<String, Value> variables
+
+Template -- "1" TargetCpu
+Template -- "1" Signature
+Template : body
+Template : clobber
+Template : cycles
+
+interface Signature
+Signature <|-- Assignment
+Signature <|-- Call
+Signature <|-- CondJump
+Signature <|-- ExprSideEffect
+
+Assignment -- "2" SignatureExpr
+Call -- SignatureExpr
+CondJump -- "2" SignatureExpr
+ExprSideEffect -- SignatureExpr
+
+interface SignatureExpr
+
+@enduml
\ No newline at end of file