Module RTL_ZIntervalAnalysis

Require Import Coqlib.
Require Import RTL AnalysisDomain RTL_AnalysisLib ZIntervalAnalysis ZIntervalDomain ZIntervalAOp Maps.
Require Import Op Registers Integers Values Memory IntPromotionCommon IntPromotion.
Require Liveness.

Module AAD := ZIntervalAADomain RTL_IRspec.
Module AA := RTL_AbstractAnalysis AAD.