commit | 7dc96932491dde6b5b58998254d5837dbcbbde03 | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Wed Oct 12 10:01:05 2016 -0700 |
committer | Aart Bik <ajcbik@google.com> | Wed Oct 12 14:10:11 2016 -0700 |
tree | b2b0c7a133738823eb61871e5482aa657f2f8a2a | |
parent | f0ab2ec6008bbd495e59bb9bf81ac399d864f38b [diff] |
Recognize XOR-based periodic induction. Rationale: This is a commonly used construct (e.g. x = !x for booleans and x ^= 1 for integers). This CL prepares some upcoming optimizations that exploit such inductions. Change-Id: I46edffb9de1075a836995daf5c2dfff7891f3034 Test: 530-checker-loops2 and induction_var_analysis_test