On Thu, Aug 10, 2017 at 6:50 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > One thing I want to have for testing linearized code is a simulator > for sparse's IR. It's even something quite easy (or at least straightforward) > to do. At least once you can associate to each phi-node's 'argument' the > parent BB they come from. This is something I'm planning to do for several > reasons. BTW, I have some python script that parse the show_entry() output. It is not complete but it is easy enough to extend. I use the script to capture some part of the IR for prototyping compiler related algorithms. e.g. simple fast way to find dominators. Python has very nice pretty printer and very easy to write verification test. e.g. the dominator I found really is a dominator. For complex algorithms, I like to verify it works correctly in scripts before coding in C. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
