Parse Tag_compatibility correctly.
authorCharlie Turner <charlie.turner@arm.com>
Mon, 5 Jan 2015 13:26:37 +0000 (13:26 +0000)
committerCharlie Turner <charlie.turner@arm.com>
Mon, 5 Jan 2015 13:26:37 +0000 (13:26 +0000)
Tag_compatibility takes two arguments, but before this patch it would
erroneously accept just one, it now produces an error in that case.

Change-Id: I530f918587620d0d5dfebf639944d6083871ef7d
llvm-svn: 225167

llvm/lib/Target/ARM/AsmParser/ARMAsmParser.cpp
llvm/test/MC/ARM/directive-eabi_attribute-diagnostics.s
llvm/test/MC/ARM/directive-eabi_attribute-overwrite.s
llvm/test/MC/ARM/directive-eabi_attribute.s

index 93af30c..dd63d61 100644 (file)
@@ -9130,8 +9130,13 @@ bool ARMAsmParser::parseDirectiveEabiAttr(SMLoc L) {
   if (Tag == ARMBuildAttrs::compatibility) {
     if (Parser.getTok().isNot(AsmToken::Comma))
       IsStringValue = false;
-    else
-      Parser.Lex();
+    if (Parser.getTok().isNot(AsmToken::Comma)) {
+      Error(Parser.getTok().getLoc(), "comma expected");
+      Parser.eatToEndOfStatement();
+      return false;
+    } else {
+       Parser.Lex();
+    }
   }
 
   if (IsStringValue) {
index d1ae352..2b0375e 100644 (file)
 @ CHECK:       .eabi_attribute 0
 @ CHECK:                         ^
 
+        .eabi_attribute Tag_compatibility, 1
+@ CHECK: error: comma expected
+@ CHECK: .eabi_attribute Tag_compatibility, 1
+@ CHECK:                                     ^
+
        .eabi_attribute Tag_MPextension_use_old, 0
 @ CHECK: error: attribute name not recognised: Tag_MPextension_use_old
 @ CHECK:       .eabi_attribute Tag_MPextension_use_old, 0
index 69342b2..e2c5099 100644 (file)
@@ -3,8 +3,6 @@
 
        .syntax unified
        .thumb
-@ FIXME: The next directive is not correct, Tag_compatibility isn't getting parsed correctly.
-       .eabi_attribute Tag_compatibility, 1
        .eabi_attribute Tag_compatibility, 1, "aeabi"
 
 @ CHECK-ATTR: FileAttributes {
index ac7358f..74a51ab 100644 (file)
 @ CHECK-OBJ-NEXT:   Value: 1
 @ CHECK-OBJ-NEXT:   TagName: ABI_FP_optimization_goals
 @ CHECK-OBJ-NEXT:   Description: Speed
-       .eabi_attribute Tag_compatibility, 1
-@ CHECK: .eabi_attribute 32, 1
        .eabi_attribute Tag_compatibility, 1, "aeabi"
 @ CHECK: .eabi_attribute 32, 1, "aeabi"
 @ CHECK-OBJ:        Tag: 32