[PATCH] D152456: SeparateConstOffsetFromGEP: Preserve SCEV

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/test/Transforms/SeparateConstOffsetFromGEP/AArch64/split-gep.ll:1
-; RUN: llc < %s -O3 -mtriple=aarch64-linux-gnu -aarch64-enable-gep-opt | FileCheck %s
+; RUN: llc < %s -O3 -mtriple=aarch64-linux-gnu -aarch64-enable-gep-opt -verify-scev -verify-scev-strict -verify-scev-maps | FileCheck %s
 
----------------
arsenm wrote:
> aeubanks wrote:
> > `-verify-scev` is on in expensive builds so I don't think it's necessary to add it to many tests. maybe we should turn on the other two as well in expensive builds?
> Currently can't turn them on because there are a lot of failures: https://github.com/llvm/llvm-project/issues/63195
Please do not use any SCEV verification flags other than `-verify-scev`.


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

https://reviews.llvm.org/D152456