(x | y) - y pourquoi ne pas être simplement x ou même `x | 0` ?

Question

Je lisais le code d'un noyau, et à un endroit, j'ai vu une expression à l'intérieur de if comme

if (value == (SPINLOCK_SHARED | 1) - 1) {
         ............
}

où SPINLOCK_SHARED = 0x80000000 est une constante prédéfinie.

Je me demande pourquoi nous avons besoin (SPINLOCK_SHARED | 1) - 1 - Le résultat de l'expression serait 80000000 - la même chose que 0x80000000, n'est-ce pas ? Mais pourquoi ORing 1 et Subtracting 1 ont-ils de l'importance ?

J'ai l'impression qu'il me manque quelque chose

Answer 1

Il semblerait que ce soit pour traiter plusieurs cas supplémentaires. Par exemple, dans ce cas, nous disons que SPINLOCK_SHARED ne peut être égal à 1 :

int SPINLOCK_SHARED = 0x01

int res = (SPINLOCK_SHARED | 1) - 1 // 0