{"action":"opened","issue":{"url":"https://api.github.com/repos/eschkufz/x64asm/issues/159","labels_url":"https://api.github.com/repos/eschkufz/x64asm/issues/159/labels{/name}","comments_url":"https://api.github.com/repos/eschkufz/x64asm/issues/159/comments","events_url":"https://api.github.com/repos/eschkufz/x64asm/issues/159/events","html_url":"https://github.com/eschkufz/x64asm/issues/159","id":58627747,"number":159,"title":"Spreadsheet bug for movsd","user":{"login":"stefanheule","id":2499625,"avatar_url":"https://avatars.githubusercontent.com/u/2499625?v=3","gravatar_id":"","url":"https://api.github.com/users/stefanheule","html_url":"https://github.com/stefanheule","followers_url":"https://api.github.com/users/stefanheule/followers","following_url":"https://api.github.com/users/stefanheule/following{/other_user}","gists_url":"https://api.github.com/users/stefanheule/gists{/gist_id}","starred_url":"https://api.github.com/users/stefanheule/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefanheule/subscriptions","organizations_url":"https://api.github.com/users/stefanheule/orgs","repos_url":"https://api.github.com/users/stefanheule/repos","events_url":"https://api.github.com/users/stefanheule/events{/privacy}","received_events_url":"https://api.github.com/users/stefanheule/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/eschkufz/x64asm/labels/bug","name":"bug","color":"fc2929"},{"url":"https://api.github.com/repos/eschkufz/x64asm/labels/Medium!","name":"Medium!","color":"fbca04"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-02-23T18:32:43Z","updated_at":"2015-02-23T18:32:43Z","closed_at":null,"body":"The maybe_read_set of movsd is wrong.  For `movsd %xmm12, %xmm8`, it is reported as `{ %xmm12 }`, but it should be `{ %xmm8, %xmm12 }`.  This is because `movsd` leaves the upper 64 bits of `%xmm8` unchanged.\r\n\r\nI looked at the spreadsheet, and I think the Properties column reads \"W, R\", which looks right to me (but every time I look at the spreadsheet, I don't understand what most things mean.  If anybody explains this to me (again?), I will write it down in a README or something).  So, I don't know why this is happening.\r\n\r\nI also wonder if there are other opcodes with the same problem (like `movss`, etc.)?"}}