On Apr 24, 2013, at 11:35 AM, Michael Liao <michael.liao at intel.com> wrote: > Is it valueable to mix CHECK-NOT and CHECK-DAG together? Hal, do you have any use cases where it would be useful to mix CHECK-DAG and CHECK-NOT? /jakob