[LLVMdev] Canonical rules

[Hranáč Jan]

LLVM version: 2.6
Query context: Automatic generator of LLVM backends.

Query:
What are canonical rules for initial DAG (generated by LLVM)?
Are there any at all?
Example:
Commutative operations. Are operations like
X = 1 + REG
automatically transformed into
X = REG + 1
?

Because of the nature of our project, we need exact information.
Thank you very much.
JH