[PATCH] D156397: [FunctionAttrs] Unconditionally perform argument attribute inference in the first function-attrs pass

[Arthur Eubanks via Phabricator via llvm-commits]

aeubanks added a comment.

here's a test case that this patch fixes

  ; RUN: opt -S -O3 -memssa-check-limit=1 -memdep-block-scan-limit=1 < %s | FileCheck %s
  declare void @g()
  
  define i32 @f(ptr noalias %p, i32 %c) {
    %i = load i32, ptr %p
    call void @g()
    call void @g()
    call void @g()
    call void @g()
    call void @g()
    call void @g()
    call void @g()
    call void @g()
    call void @g()
    call void @g()
    call void @g()
    %i2 = load i32, ptr %p
    %r = sub i32 %i, %i2
    ret i32 %r
  }


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D156397/new/

https://reviews.llvm.org/D156397