[all-commits] [llvm/llvm-project] a9772a: [BasicAA] Add test showing incorrect noalias resul...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a9772a71488d3fbcab046cca41205cb02d0b65a9
      https://github.com/llvm/llvm-project/commit/a9772a71488d3fbcab046cca41205cb02d0b65a9
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-03-15 (Tue, 15 Mar 2022)

  Changed paths:
    M llvm/test/Analysis/BasicAA/gep-modulo.ll

  Log Message:
  -----------
  [BasicAA] Add test showing incorrect noalias result with wrapping.

@mul_may_overflow_var_nonzero_minabsvarindex_one_index shows BasicAA
incorrectly determining noalias for (%gep.917, i8* %gep.idx).
If %v == 10581764700698480926, %idx == 917 and the GEPs alias.
https://alive2.llvm.org/ce/z/yzDgnn