https://llvm.org/bugs/show_bug.cgi?id=27109
Bug ID: 27109
Summary: LVI only understands one range check idiom
Product: new-bugs
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: new bugs
Assignee: unassignedb...@nondot.org
Reporter: chandl...@gmail.com
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
Created attachment 16115
--> https://llvm.org/bugs/attachment.cgi?id=16115&action=edit
Test case from John Regehr
There are numerous other range check idioms. We either need much more powerful
canonicalization or more patterns. I suspect a bit of both.
Attached is a test case from John Regehr as one motivating example.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
