[PATCH] D32674: [LoopIdiom] PR32811 check for safety while expanding

[Davide Italiano via Phabricator via llvm-commits]

davide added inline comments.


================
Comment at: test/Transforms/LoopIdiom/unsafe.ll:1-7
+; RUN: opt -S < %s -loop-idiom | FileCheck %s
+; CHECK-NOT: memset
+; check that memset is not generated (for assignment in for.body5) because that will result
+; in udiv hoisted out of the loop by the SCEV Expander
+; TODO: ideally we should be able to generate memset
+; if SCEV expander is taught to generate the dependencies
+; at the right point.
----------------
I'm under the impression this test can be greatly reduced.


https://reviews.llvm.org/D32674