commit | ccd6c0102d1f898aaea1c94761167fdd083b5275 | [log] [tgz] |
---|---|---|
author | Ben Cheng <bccheng@google.com> | Thu Oct 15 14:52:45 2009 -0700 |
committer | Ben Cheng <bccheng@google.com> | Thu Oct 15 14:52:45 2009 -0700 |
tree | 1a41260525f80fc699c1d4083f6d6bf0153dc82f | |
parent | 808049474c23a2e8c3849ff7700d118bc406784d [diff] |
Make the traige process for self-verification found divergence easier. 1. Automatically replay the code compilation with verbose mode turned on for the offending compilation. 3. Mark the registers with divergence explicitly. 2. Print accurate operand names using the dataflow attributes. Constant values are still printed for reference only. 3. Fixed a few correctness/style issues in self-verification code.