[PATCH] D20775: [CFLAA] Remove redundant aliasing relation between GEP indices and GEP result

[George Burgess IV via llvm-commits]

george.burgess.iv added a comment.

I would think (read: haven't tried it yet :) ) that something like:

  define void @foo(i32 %n) {
    %a = alloca [2 x i32], align 4
    %b = alloca [2 x i32], align 4
    %c = getelementptr inbounds [2 x i32]* %a, i32 0, i32 %n
    %d = getelementptr inbounds [2 x i32]* %b, i32 0, i32 %n
    ret void
  }

Would work as a test case for this (used to alias before, doesn't alias now). Does it not?


http://reviews.llvm.org/D20775