diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-06 06:44:06 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-16 11:59:02 +0200 |
| commit | c6b637e5660c9830b387f86d526d97f4f261b191 (patch) | |
| tree | 91f72cbfa5df46c6e2c9dfcd00760e087c157026 /Makefile | |
| parent | 11fa45bd6113249befff66ced06d8c8ff451efc9 (diff) | |
| download | sparse-dev-c6b637e5660c9830b387f86d526d97f4f261b191.tar.gz | |
ir-validate: add framework for IR validation
To be meaningful, the IR instructions and their relationships
must obey some constraints. This patch add the framework for
doing this kind of validation.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -42,6 +42,7 @@ LIB_OBJS += expand.o LIB_OBJS += expression.o LIB_OBJS += flow.o LIB_OBJS += inline.o +LIB_OBJS += ir.o LIB_OBJS += lib.o LIB_OBJS += linearize.o LIB_OBJS += liveness.o |