[PATCH] Teach ScalarEvolution to use !range metadata.

Sanjoy Das sanjoy at playingwithpointers.com
Mon Oct 6 19:05:06 PDT 2014


Hi atrick,

This patch teaches ScalarEvolution to pick and use !range metadata.  It also makes it more aggressive in querying range information by adding a call to isKnownPredicateWithRanges to isLoopBackedgeGuardedByCond and isLoopEntryGuardedByCond.

http://reviews.llvm.org/D5638

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Transforms/IndVarSimplify/use-range-metadata.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5638.14485.patch
Type: text/x-patch
Size: 4321 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141007/3e01ddc5/attachment.bin>


More information about the llvm-commits mailing list