intel/compiler/vec4: Add live interval validation pass
authorFrancisco Jerez <currojerez@riseup.net>
Thu, 10 Mar 2016 06:41:49 +0000 (22:41 -0800)
committerMatt Turner <mattst88@gmail.com>
Fri, 6 Mar 2020 18:20:55 +0000 (10:20 -0800)
commitbb8cfa6837fe7967cb9b02e32bd2d1aa37631c45
treeafbc6568de9c521dbf27c0cd5a6c9777ab2f39da
parent24535604aa645651987e41a3bce8eee9e0b871bd
intel/compiler/vec4: Add live interval validation pass

This could be improved somewhat with additional validation of the
calculated live in/out sets and by checking that the calculated live
intervals are minimal (which isn't strictly necessary to guarantee the
correctness of the program).  This should be good enough though to
catch accidental use of stale liveness results due to missing or
incorrect analysis invalidation.

Reviewed-by: Matt Turner <mattst88@gmail.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4012>
src/intel/compiler/brw_vec4_live_variables.cpp
src/intel/compiler/brw_vec4_live_variables.h