Make one of the AttributeSet ctors maintain the invariant that the
[oota-llvm.git] / unittests / IR / AttributesTest.cpp
index 627e10f..ebcb772 100644 (file)
@@ -21,14 +21,27 @@ TEST(Attributes, Uniquing) {
   Attribute AttrB = Attribute::get(C, Attribute::AlwaysInline);
   EXPECT_EQ(AttrA, AttrB);
 
-  AttributeWithIndex AWIs[] = {
-    AttributeWithIndex::get(C, 1, Attribute::ZExt),
-    AttributeWithIndex::get(C, 2, Attribute::SExt)
+  AttributeSet ASs[] = {
+    AttributeSet::get(C, 1, Attribute::ZExt),
+    AttributeSet::get(C, 2, Attribute::SExt)
   };
 
-  AttributeSet SetA = AttributeSet::get(C, AWIs);
-  AttributeSet SetB = AttributeSet::get(C, AWIs);
+  AttributeSet SetA = AttributeSet::get(C, ASs);
+  AttributeSet SetB = AttributeSet::get(C, ASs);
   EXPECT_EQ(SetA, SetB);
 }
 
+TEST(Attributes, Ordering) {
+  LLVMContext C;
+
+  AttributeSet ASs[] = {
+    AttributeSet::get(C, 2, Attribute::ZExt),
+    AttributeSet::get(C, 1, Attribute::SExt)
+  };
+
+  AttributeSet SetA = AttributeSet::get(C, ASs);
+  AttributeSet SetB = SetA.removeAttributes(C, 1, ASs[1]);
+  EXPECT_NE(SetA, SetB);
+}
+
 } // end anonymous namespace