[PATCH] D21513: [CFLAA] Try to be less conservative on more functions

[George Burgess IV via llvm-commits]

george.burgess.iv added a comment.

It seems that applying this patch on top of http://reviews.llvm.org/D21475 causes test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll to fail.

The output I get from the test suite is:

  test/Analysis/CFLAliasAnalysis/basic-interproc-ret.ll:8:10: error: expected string not found in input
  ; CHECK: 3 no alias responses
           ^
  <stdin>:5:2: note: scanning from here
   4 no alias responses (100.0%)
   ^

And the output I get from running the test directly is

  Function: test2: 2 pointers, 0 call sites
  Function: test: 3 pointers, 1 call sites
  ===== Alias Analysis Evaluator Report =====
    4 Total Alias Queries Performed
    4 no alias responses (100.0%)
    0 may alias responses (0.0%)
    0 partial alias responses (0.0%)
    0 must alias responses (0.0%)
    Alias Analysis Evaluator Pointer Alias Summary: 100%/0%/0%/0%
    3 Total ModRef Queries Performed
    1 no mod/ref responses (33.3%)
    0 mod responses (0.0%)
    0 ref responses (0.0%)
    2 mod & ref responses (66.6%)
    Alias Analysis Evaluator Mod/Ref Summary: 33%/0%/0%/66%

Is this intentional? (If so, no need to re-upload the diff; I can just tweak the test to expect 4 NoAlias responses)


http://reviews.llvm.org/D21513