because they may contain shared subterms (also known as "common subexpressions").[1]

Abstract semantic graphs are often used as an intermediate representation by compilers to store the results of performing common subexpression elimination upon abstract syntax trees."

Related (Transpiler IR Related):

Intermediate Representations:

https://cs.lmu.edu/~ray/notes/ir/

https://en.wikipedia.org/wiki/Intermediate_representation

QBE Intermediate Language:

https://c9x.me/compile/

https://c9x.me/compile/doc/il.html

Can Large Language Models Understand Intermediate Representations in Compilers?:

https://arxiv.org/abs/2502.06854