forked from M-Labs/artiq
1
0
Fork 0

compiler: validate local accesses after interleaving.

This commit is contained in:
whitequark 2015-12-30 15:26:30 +08:00
parent df91500f68
commit 78fb3e1b7b
2 changed files with 7 additions and 2 deletions

View File

@ -72,9 +72,9 @@ class Module:
self.artiq_ir = artiq_ir_generator.visit(src.typedtree) self.artiq_ir = artiq_ir_generator.visit(src.typedtree)
artiq_ir_generator.annotate_calls(devirtualization) artiq_ir_generator.annotate_calls(devirtualization)
cfg_simplifier.process(self.artiq_ir) cfg_simplifier.process(self.artiq_ir)
local_access_validator.process(self.artiq_ir)
dead_code_eliminator.process(self.artiq_ir) dead_code_eliminator.process(self.artiq_ir)
interleaver.process(self.artiq_ir) interleaver.process(self.artiq_ir)
local_access_validator.process(self.artiq_ir)
def build_llvm_ir(self, target): def build_llvm_ir(self, target):
"""Compile the module to LLVM IR for the specified target.""" """Compile the module to LLVM IR for the specified target."""

View File

@ -27,7 +27,12 @@ class DeadCodeEliminator:
while modified: while modified:
modified = False modified = False
for insn in func.instructions(): for insn in func.instructions():
if isinstance(insn, (ir.Phi, ir.Alloc, ir.GetLocal, ir.GetConstructor, # Note that GetLocal is treated as an impure operation:
# the local access validator has to observe it to emit
# a diagnostic for reads of uninitialized locals, and
# it also has to run after the interleaver, but interleaver
# doesn't like to work with IR before DCE.
if isinstance(insn, (ir.Phi, ir.Alloc, ir.GetConstructor,
ir.GetAttr, ir.GetElem, ir.Coerce, ir.Arith, ir.GetAttr, ir.GetElem, ir.Coerce, ir.Arith,
ir.Compare, ir.Closure, ir.Select, ir.Quote)) \ ir.Compare, ir.Closure, ir.Select, ir.Quote)) \
and not any(insn.uses): and not any(insn.uses):