title: Arithmetic identities and EFLAGS
body: <p>Since −x = not(x)+1 which then implies a-b = a+not(b)+1, would then</p>
  
  <pre><code>sub rax, rcx
  </code></pre>
  
  <p>be equivalent to</p>
  
  <pre><code>mov temp, rcx
  not temp
  add rax, temp
  add rax, 1
  </code></pre>
  
  <p>where temp is some register considered to be volatile?</p>
  
  <p>In other words, does the latter affect EFLAGS in the exact same way? If not, how can it be forced to?</p>