<div dir="ltr">Should this be merged to 3.5? 3.4 had this warning too, right?</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Jul 25, 2014 at 3:19 AM, James Molloy <span dir="ltr"><<a href="mailto:james.molloy@arm.com" target="_blank">james.molloy@arm.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: jamesm<br>
Date: Fri Jul 25 05:19:47 2014<br>
New Revision: 213935<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=213935&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=213935&view=rev</a><br>
Log:<br>
Revert part of r206963<br>
<br>
Specifically the part where we removed a warning to be compatible with GCC, which has been widely regarded as a bad idea.<br>
<br>
I'm not quite happy with how obtuse this warning is, especially in the fairly common case of a 32-bit integer literal, so I've got another patch awaiting review that adds a fixit to reduce confusion.<br>
<br>
<br>
Modified:<br>
    cfe/trunk/lib/Basic/Targets.cpp<br>
    cfe/trunk/test/Sema/arm64-inline-asm.c<br>
    cfe/trunk/test/Sema/inline-asm-validate.c<br>
<br>
Modified: cfe/trunk/lib/Basic/Targets.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Basic/Targets.cpp?rev=213935&r1=213934&r2=213935&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Basic/Targets.cpp?rev=213935&r1=213934&r2=213935&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/Basic/Targets.cpp (original)<br>
+++ cfe/trunk/lib/Basic/Targets.cpp Fri Jul 25 05:19:47 2014<br>
@@ -4503,6 +4503,33 @@ public:<br>
     return false;<br>
   }<br>
<br>
+  virtual bool validateConstraintModifier(StringRef Constraint,<br>
+                                          const char Modifier,<br>
+                                          unsigned Size) const {<br>
+    // Strip off constraint modifiers.<br>
+    while (Constraint[0] == '=' || Constraint[0] == '+' || Constraint[0] == '&')<br>
+      Constraint = Constraint.substr(1);<br>
+<br>
+    switch (Constraint[0]) {<br>
+    default:<br>
+      return true;<br>
+    case 'z':<br>
+    case 'r': {<br>
+      switch (Modifier) {<br>
+      case 'x':<br>
+      case 'w':<br>
+        // For now assume that the person knows what they're<br>
+        // doing with the modifier.<br>
+        return true;<br>
+      default:<br>
+        // By default an 'r' constraint will be in the 'x'<br>
+        // registers.<br>
+        return Size == 64;<br>
+      }<br>
+    }<br>
+    }<br>
+  }<br>
+<br>
   virtual const char *getClobbers() const { return ""; }<br>
<br>
   int getEHDataRegisterNumber(unsigned RegNo) const {<br>
<br>
Modified: cfe/trunk/test/Sema/arm64-inline-asm.c<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/arm64-inline-asm.c?rev=213935&r1=213934&r2=213935&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/arm64-inline-asm.c?rev=213935&r1=213934&r2=213935&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/test/Sema/arm64-inline-asm.c (original)<br>
+++ cfe/trunk/test/Sema/arm64-inline-asm.c Fri Jul 25 05:19:47 2014<br>
@@ -1,9 +1,9 @@<br>
 // RUN: %clang_cc1 -triple arm64-apple-ios7.1 -fsyntax-only -verify %s<br>
-// expected-no-diagnostics<br>
<br>
 void foo() {<br>
   asm volatile("USE(%0)" :: "z"(0LL));<br>
   asm volatile("USE(%x0)" :: "z"(0LL));<br>
   asm volatile("USE(%w0)" :: "z"(0));<br>
<br>
+  asm volatile("USE(%0)" :: "z"(0)); // expected-warning {{value size does not match register size specified by the constraint and modifier}}<br>
 }<br>
<br>
Modified: cfe/trunk/test/Sema/inline-asm-validate.c<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/inline-asm-validate.c?rev=213935&r1=213934&r2=213935&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/inline-asm-validate.c?rev=213935&r1=213934&r2=213935&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/test/Sema/inline-asm-validate.c (original)<br>
+++ cfe/trunk/test/Sema/inline-asm-validate.c Fri Jul 25 05:19:47 2014<br>
@@ -1,9 +1,8 @@<br>
 // RUN: %clang_cc1 -triple arm64-apple-macosx10.8.0 -fsyntax-only -verify %s<br>
-// expected-no-diagnostics<br>
<br>
 unsigned t, r, *p;<br>
<br>
 int foo (void) {<br>
-  __asm__ __volatile__( "stxr   %w[_t], %[_r], [%[_p]]" : [_t] "=&r" (t) : [_p] "p" (p), [_r] "r" (r) : "memory");<br>
+  __asm__ __volatile__( "stxr   %w[_t], %[_r], [%[_p]]" : [_t] "=&r" (t) : [_p] "p" (p), [_r] "r" (r) : "memory"); // expected-warning{{value size does not match register size specified by the constraint and modifier}}<br>

   return 1;<br>
 }<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</blockquote></div><br></div>