{"action":"closed","issue":{"url":"https://api.github.com/repos/WebAssembly/spec/issues/302","repository_url":"https://api.github.com/repos/WebAssembly/spec","labels_url":"https://api.github.com/repos/WebAssembly/spec/issues/302/labels{/name}","comments_url":"https://api.github.com/repos/WebAssembly/spec/issues/302/comments","events_url":"https://api.github.com/repos/WebAssembly/spec/issues/302/events","html_url":"https://github.com/WebAssembly/spec/issues/302","id":163214745,"number":302,"title":"Bigger than natural alignment must throw a validation error","user":{"login":"bnjbvr","id":1180019,"avatar_url":"https://avatars.githubusercontent.com/u/1180019?v=3","gravatar_id":"","url":"https://api.github.com/users/bnjbvr","html_url":"https://github.com/bnjbvr","followers_url":"https://api.github.com/users/bnjbvr/followers","following_url":"https://api.github.com/users/bnjbvr/following{/other_user}","gists_url":"https://api.github.com/users/bnjbvr/gists{/gist_id}","starred_url":"https://api.github.com/users/bnjbvr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bnjbvr/subscriptions","organizations_url":"https://api.github.com/users/bnjbvr/orgs","repos_url":"https://api.github.com/users/bnjbvr/repos","events_url":"https://api.github.com/users/bnjbvr/events{/privacy}","received_events_url":"https://api.github.com/users/bnjbvr/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/WebAssembly/spec/milestones/2","html_url":"https://github.com/WebAssembly/spec/milestones/MVP","labels_url":"https://api.github.com/repos/WebAssembly/spec/milestones/2/labels","id":1373085,"number":2,"title":"MVP","description":"","creator":{"login":"sunfishcode","id":4503403,"avatar_url":"https://avatars.githubusercontent.com/u/4503403?v=3","gravatar_id":"","url":"https://api.github.com/users/sunfishcode","html_url":"https://github.com/sunfishcode","followers_url":"https://api.github.com/users/sunfishcode/followers","following_url":"https://api.github.com/users/sunfishcode/following{/other_user}","gists_url":"https://api.github.com/users/sunfishcode/gists{/gist_id}","starred_url":"https://api.github.com/users/sunfishcode/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sunfishcode/subscriptions","organizations_url":"https://api.github.com/users/sunfishcode/orgs","repos_url":"https://api.github.com/users/sunfishcode/repos","events_url":"https://api.github.com/users/sunfishcode/events{/privacy}","received_events_url":"https://api.github.com/users/sunfishcode/received_events","type":"User","site_admin":false},"open_issues":4,"closed_issues":20,"state":"open","created_at":"2015-10-23T18:36:04Z","updated_at":"2016-08-12T15:18:49Z","due_on":null,"closed_at":null},"comments":1,"created_at":"2016-06-30T17:00:05Z","updated_at":"2016-08-12T15:18:49Z","closed_at":"2016-08-12T15:18:49Z","body":"These tests from https://github.com/WebAssembly/spec/blob/master/ml-proto/test/memory.wast#L49-L52 seem to contradict the rule from https://github.com/WebAssembly/design/blob/master/BinaryEncoding.md#memory-related-operators-described-here, especially:\r\n\r\n```\r\nAs an additional validation criteria, the alignment must be less or equal to natural alignment.\r\n```\r\n\r\n```\r\n;; Test alignment annotation rules\r\n(module (memory 0) (func (i32.load8_u align=2 (i32.const 0))))\r\n(module (memory 0) (func (i32.load16_u align=4 (i32.const 0))))\r\n(module (memory 0) (func (i32.load align=8 (i32.const 0))))\r\n(module (memory 0) (func (f32.load align=8 (i32.const 0))))\r\n```\r\n\r\nIs my understanding correct that these should throw at validation?"}}
{"actor":{"display_login":"rossberg-chromium"}}