[Pal, LibOS] Add missing clobbered "cc" to inline asm

Pal/lib/atomic.h

@@ -117,7 +117,7 @@ static inline int64_t _atomic_add (int64_t i, struct atomic_int * v)
     int64_t increment = i;
     __asm__ __volatile__(
         "lock ; xadd %0, %1"
-        : "=r"(i), "=m"(v->counter) : "0"(i) : "memory" );
+        : "=r"(i), "=m"(v->counter) : "0"(i) : "memory", "cc");
     return i + increment;
 }
 
@@ -138,7 +138,7 @@ static inline void atomic_inc (struct atomic_int * v)
 {
     __asm__ __volatile__(
         "lock ; incl %0"
-        : "=m"(v->counter) : "m"(v->counter) : "memory" );
+        : "=m"(v->counter) : "m"(v->counter) : "memory", "cc");
 }
 
 /* Atomically substracts 1 from v.  Does not return a value. */
@@ -146,7 +146,7 @@ static inline void atomic_dec (struct atomic_int * v)
 {
     __asm__ __volatile__(
         "lock ; decl %0"
-        : "=m"(v->counter) : "m"(v->counter) : "memory" );
+        : "=m"(v->counter) : "m"(v->counter) : "memory", "cc");
 }
 
 /* Atomically substracts 1 from v.  Returns 1 if this causes the 
@@ -164,7 +164,7 @@ static inline int64_t cmpxchg(volatile int64_t *p, int64_t t, int64_t s)
 {
     __asm__ __volatile__ (
         "lock ; cmpxchg %3, %1"
-        : "=a"(t), "=m"(*p) : "a"(t), "r"(s) : "memory" );
+        : "=a"(t), "=m"(*p) : "a"(t), "r"(s) : "memory", "cc");
     return t;
 }
 

Pal/src/host/Linux/db_misc.c

@@ -122,7 +122,7 @@ int _DkRandomBitsRead (void * buffer, int size)
     do {
         unsigned long rand;
         asm volatile (".Lretry: rdrand %%rax\r\n jnc .Lretry\r\n"
-                      : "=a"(rand) :: "memory");
+                      : "=a"(rand) :: "memory", "cc");
 
         if (total_bytes + sizeof(rand) <= size) {
             *(unsigned long *) (buffer + total_bytes) = rand;