[PATCH] D108763: Use type sizes when determining dependence

[Jolanta Jensen via Phabricator via llvm-commits]

jolanta.jensen marked 2 inline comments as done.
jolanta.jensen added inline comments.


================
Comment at: llvm/test/Analysis/LoopAccessAnalysis/depend_diff_types.ll:2
+; RUN: opt -S -tbaa -loop-accesses -analyze -enable-new-pm=0 < %s | FileCheck %s --check-prefix=CHECK-SAFE
+; RUN: opt -S -disable-output -passes='require<scalar-evolution>,require<tbaa>,require<aa>,loop(print-access-info)' < %s 2>&1 | FileCheck %s --check-prefix=CHECK-SAFE
+; RUN: opt -S -disable-output -passes='require<scalar-evolution>,require<tbaa>,require<aa>,loop(print-access-info)' -store-to-load-forwarding-conflict-detection < %s 2>&1 | FileCheck %s --check-prefix=CHECK-UNSAFE
----------------
fhahn wrote:
> does the test need `require<tbaa>`? It looks like there's no `!tbaa` metadata in the test.
Removed.


================
Comment at: llvm/test/Analysis/LoopAccessAnalysis/depend_diff_types.ll:25
+; CHECK-SAFE-NEXT:        BackwardVectorizable:
+; CHECK-SAFE-NEXT:            store float %3, float* %6, align 8 ->
+; CHECK-SAFE-NEXT:            store i32 %7, i32* %0, align 8
----------------
fhahn wrote:
> Why are there no check lines for `CHECK-UNSAFE` for this function? Same for `CHECK-SAFE` for the function below/
Only using `CHECK `now as the `-store-to-load-forwarding-conflict-detection` flag is set by default.




Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D108763