{"action":"created","issue":{"url":"https://api.github.com/repos/matsc-at-sics-se/unison/issues/1","repository_url":"https://api.github.com/repos/matsc-at-sics-se/unison","labels_url":"https://api.github.com/repos/matsc-at-sics-se/unison/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/matsc-at-sics-se/unison/issues/1/comments","events_url":"https://api.github.com/repos/matsc-at-sics-se/unison/issues/1/events","html_url":"https://github.com/matsc-at-sics-se/unison/issues/1","id":300311395,"number":1,"title":"Target API SubRegIndexType not general enough for X86","user":{"login":"matsc-at-sics-se","id":10919290,"avatar_url":"https://avatars0.githubusercontent.com/u/10919290?v=4","gravatar_id":"","url":"https://api.github.com/users/matsc-at-sics-se","html_url":"https://github.com/matsc-at-sics-se","followers_url":"https://api.github.com/users/matsc-at-sics-se/followers","following_url":"https://api.github.com/users/matsc-at-sics-se/following{/other_user}","gists_url":"https://api.github.com/users/matsc-at-sics-se/gists{/gist_id}","starred_url":"https://api.github.com/users/matsc-at-sics-se/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/matsc-at-sics-se/subscriptions","organizations_url":"https://api.github.com/users/matsc-at-sics-se/orgs","repos_url":"https://api.github.com/users/matsc-at-sics-se/repos","events_url":"https://api.github.com/users/matsc-at-sics-se/events{/privacy}","received_events_url":"https://api.github.com/users/matsc-at-sics-se/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-02-26T16:44:15Z","updated_at":"2018-02-27T08:30:05Z","closed_at":null,"author_association":"OWNER","body":"uni import may encounter subreg specifiers that are more general than a single (low) or (hi).\r\nConsequently chains of (low)/(hi) may be required in some cases:\r\n\r\n    COPY %13:sub_16bit: low 16 bits out of 32/64: either (low) or (low) + (low)\r\n\r\n    COPY %13:sub_8bit: low 8 bits out of 16/32/64: either (low) or (low) + (low) or (low) + (low) + (low)\r\n\r\n    COPY %13:sub_8bit_hi: 2nd lowest 8 bits out of 16/32/64: either (high) or (low) + (high) or (low) + (low) + (high)\r\n\r\nSo, generalize the target API, or intercept these things upstream somehow?\r\n"},"comment":{"url":"https://api.github.com/repos/matsc-at-sics-se/unison/issues/comments/368785652","html_url":"https://github.com/matsc-at-sics-se/unison/issues/1#issuecomment-368785652","issue_url":"https://api.github.com/repos/matsc-at-sics-se/unison/issues/1","id":368785652,"user":{"login":"matsc-at-sics-se","id":10919290,"avatar_url":"https://avatars0.githubusercontent.com/u/10919290?v=4","gravatar_id":"","url":"https://api.github.com/users/matsc-at-sics-se","html_url":"https://github.com/matsc-at-sics-se","followers_url":"https://api.github.com/users/matsc-at-sics-se/followers","following_url":"https://api.github.com/users/matsc-at-sics-se/following{/other_user}","gists_url":"https://api.github.com/users/matsc-at-sics-se/gists{/gist_id}","starred_url":"https://api.github.com/users/matsc-at-sics-se/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/matsc-at-sics-se/subscriptions","organizations_url":"https://api.github.com/users/matsc-at-sics-se/orgs","repos_url":"https://api.github.com/users/matsc-at-sics-se/repos","events_url":"https://api.github.com/users/matsc-at-sics-se/events{/privacy}","received_events_url":"https://api.github.com/users/matsc-at-sics-se/received_events","type":"User","site_admin":false},"created_at":"2018-02-27T08:30:05Z","updated_at":"2018-02-27T08:30:05Z","author_association":"OWNER","body":"I only encountered one of the cases, see attached, but I would expect the other ones too.\n\n\n*.mir:\n\n    %58 = COPY %57:sub_8bit\n\n*.uni:\n\n    o23: [t25] <- (low) [t24] // WRONG: t24 is 32 bits, t25 is 8 bits\n\nDo you think that it could/should be fixed as a peephole transformation in Unison.Target.X86.Transforms?\n\n\nMats Carlsson\n\nRISE SICS\n\nhttps://www.sics.se/people/mats-carlsson\n\n________________________________\nFrom: Roberto Castañeda Lozano <notifications@github.com>\nSent: Monday, February 26, 2018 11:14:02 PM\nTo: matsc-at-sics-se/unison\nCc: Mats Carlsson; Author\nSubject: Re: [matsc-at-sics-se/unison] Target API SubRegIndexType not general enough for X86 (#1)\n\n\nCould you attach a MIR function where you encounter these cases?\n\n—\nYou are receiving this because you authored the thread.\nReply to this email directly, view it on GitHub<https://github.com/matsc-at-sics-se/unison/issues/1#issuecomment-368669892>, or mute the thread<https://github.com/notifications/unsubscribe-auth/AKadetMpb-Bd-yyFqHoUxcK1DvP0-nwqks5tYyyogaJpZM4STjSz>.\n"}}
{"actor":{"display_login":"matsc-at-sics-se"}}