{"action":"created","issue":{"url":"https://api.github.com/repos/riscv/riscv-isa-manual/issues/299","repository_url":"https://api.github.com/repos/riscv/riscv-isa-manual","labels_url":"https://api.github.com/repos/riscv/riscv-isa-manual/issues/299/labels{/name}","comments_url":"https://api.github.com/repos/riscv/riscv-isa-manual/issues/299/comments","events_url":"https://api.github.com/repos/riscv/riscv-isa-manual/issues/299/events","html_url":"https://github.com/riscv/riscv-isa-manual/issues/299","id":388214982,"node_id":"MDU6SXNzdWUzODgyMTQ5ODI=","number":299,"title":"Clarification for exception flags for int to float conversions","user":{"login":"kempfstefan","id":45661220,"node_id":"MDQ6VXNlcjQ1NjYxMjIw","avatar_url":"https://avatars0.githubusercontent.com/u/45661220?v=4","gravatar_id":"","url":"https://api.github.com/users/kempfstefan","html_url":"https://github.com/kempfstefan","followers_url":"https://api.github.com/users/kempfstefan/followers","following_url":"https://api.github.com/users/kempfstefan/following{/other_user}","gists_url":"https://api.github.com/users/kempfstefan/gists{/gist_id}","starred_url":"https://api.github.com/users/kempfstefan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kempfstefan/subscriptions","organizations_url":"https://api.github.com/users/kempfstefan/orgs","repos_url":"https://api.github.com/users/kempfstefan/repos","events_url":"https://api.github.com/users/kempfstefan/events{/privacy}","received_events_url":"https://api.github.com/users/kempfstefan/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-12-06T13:31:05Z","updated_at":"2018-12-06T18:15:07Z","closed_at":null,"author_association":"NONE","body":"Section 8.7 of the manual states that: \"If the rounded result is not representable in the destination format, it is clipped to the nearest value and the invalid flag is set.\" Does this sentence refer to float-to-int conversions only, or does it cover int-to-float conversions as well?\r\n\r\nMy tests on x86 and with the Berkeley SoftFloat library raise an inexact flag when converting an int to a float if the int cannot be represented in the float exactly. The IEEE standard also states that an inexact flag is raised for the convertFromInt operation (section 5.4.1 of the standard).\r\n\r\nCould you please clarify whether raising the invalid flag is expected for int-to-float conversion?"},"comment":{"url":"https://api.github.com/repos/riscv/riscv-isa-manual/issues/comments/444973845","html_url":"https://github.com/riscv/riscv-isa-manual/issues/299#issuecomment-444973845","issue_url":"https://api.github.com/repos/riscv/riscv-isa-manual/issues/299","id":444973845,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0NDk3Mzg0NQ==","user":{"login":"aswaterman","id":1031106,"node_id":"MDQ6VXNlcjEwMzExMDY=","avatar_url":"https://avatars0.githubusercontent.com/u/1031106?v=4","gravatar_id":"","url":"https://api.github.com/users/aswaterman","html_url":"https://github.com/aswaterman","followers_url":"https://api.github.com/users/aswaterman/followers","following_url":"https://api.github.com/users/aswaterman/following{/other_user}","gists_url":"https://api.github.com/users/aswaterman/gists{/gist_id}","starred_url":"https://api.github.com/users/aswaterman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aswaterman/subscriptions","organizations_url":"https://api.github.com/users/aswaterman/orgs","repos_url":"https://api.github.com/users/aswaterman/repos","events_url":"https://api.github.com/users/aswaterman/events{/privacy}","received_events_url":"https://api.github.com/users/aswaterman/received_events","type":"User","site_admin":false},"created_at":"2018-12-06T18:15:07Z","updated_at":"2018-12-06T18:15:07Z","author_association":"MEMBER","body":"It’s not about precision, it’s about range. Invalid is only raised if the number, after rounding, is too great in magnitude to be represented. If the result is merely imprecise, the inexact flag is raised."}}
{"actor":{"display_login":"aswaterman"}}