Require intervals in the range metadata to be in a canonical form: They must
authorRafael Espindola <rafael.espindola@gmail.com>
Thu, 31 May 2012 13:45:46 +0000 (13:45 +0000)
committerRafael Espindola <rafael.espindola@gmail.com>
Thu, 31 May 2012 13:45:46 +0000 (13:45 +0000)
commitc49b29ef5d4071cc4679d5560855f446f95919fc
tree05467ba198eafc2c05ec42aefee52b4fbeb769db
parent177cf1e1a3685209ab805f82897902a8d2b61661
Require intervals in the range metadata to be in a canonical form: They must
be non contiguous, non overlapping and sorted by the lower end.

While this is technically a backward incompatibility, every frontent currently
produces range metadata with a single interval and we don't have any pass
that merges intervals yet, so no existing bitcode files should be rejected by
this.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157741 91177308-0d34-0410-b5e6-96231b3b80d8
docs/LangRef.html
lib/VMCore/Verifier.cpp
test/Verifier/range-1.ll
test/Verifier/range-2.ll