{"action":"created","issue":{"url":"https://api.github.com/repos/AbsInt/CompCert/issues/154","repository_url":"https://api.github.com/repos/AbsInt/CompCert","labels_url":"https://api.github.com/repos/AbsInt/CompCert/issues/154/labels{/name}","comments_url":"https://api.github.com/repos/AbsInt/CompCert/issues/154/comments","events_url":"https://api.github.com/repos/AbsInt/CompCert/issues/154/events","html_url":"https://github.com/AbsInt/CompCert/issues/154","id":194805507,"number":154,"title":"spec cpu 2006 issues on ARM","user":{"login":"regehr","id":732536,"avatar_url":"https://avatars.githubusercontent.com/u/732536?v=3","gravatar_id":"","url":"https://api.github.com/users/regehr","html_url":"https://github.com/regehr","followers_url":"https://api.github.com/users/regehr/followers","following_url":"https://api.github.com/users/regehr/following{/other_user}","gists_url":"https://api.github.com/users/regehr/gists{/gist_id}","starred_url":"https://api.github.com/users/regehr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/regehr/subscriptions","organizations_url":"https://api.github.com/users/regehr/orgs","repos_url":"https://api.github.com/users/regehr/repos","events_url":"https://api.github.com/users/regehr/events{/privacy}","received_events_url":"https://api.github.com/users/regehr/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-12-11T01:22:17Z","updated_at":"2016-12-12T14:45:55Z","closed_at":null,"body":"Has anyone else tried running SPEC CPU 2006 on ARMv7 lately? I'm using the master branch of CompCert as of today on a Raspberry Pi 3 running a fully updated Raspbian Jessie.\r\n\r\nI'm getting compare failures from both 464.h264ref and 482.sphinx3, see output sample below. I see very similar mismatches when compiling the benchmarks with GCC 4.9.2 and GCC 6.2.1, so perhaps there's an issue in the C library on this platform. Anyway, just curious if anyone has looked into this.\r\n\r\n```\r\nRunning Benchmarks\r\n  Running (#1) 429.mcf ref base jdr default\r\n/home/pi/cpu2006-1.2/bin/specinvoke -d /home/pi/cpu2006-1.2/benchspec/CPU2006/429.mcf/run/run_base_ref_jdr.0001 -e speccmds.err -o speccmds.stdout -f speccmds.cmd -C -q\r\n/home/pi/cpu2006-1.2/bin/specinvoke -E -d /home/pi/cpu2006-1.2/benchspec/CPU2006/429.mcf/run/run_base_ref_jdr.0001 -c 1 -e compare.err -o compare.stdout -f compare.cmd\r\n  Running (#1) 456.hmmer ref base jdr default\r\n/home/pi/cpu2006-1.2/bin/specinvoke -d /home/pi/cpu2006-1.2/benchspec/CPU2006/456.hmmer/run/run_base_ref_jdr.0001 -e speccmds.err -o speccmds.stdout -f speccmds.cmd -C -q\r\n/home/pi/cpu2006-1.2/bin/specinvoke -E -d /home/pi/cpu2006-1.2/benchspec/CPU2006/456.hmmer/run/run_base_ref_jdr.0001 -c 1 -e compare.err -o compare.stdout -f compare.cmd\r\n  Running (#1) 458.sjeng ref base jdr default\r\n/home/pi/cpu2006-1.2/bin/specinvoke -d /home/pi/cpu2006-1.2/benchspec/CPU2006/458.sjeng/run/run_base_ref_jdr.0001 -e speccmds.err -o speccmds.stdout -f speccmds.cmd -C -q\r\n/home/pi/cpu2006-1.2/bin/specinvoke -E -d /home/pi/cpu2006-1.2/benchspec/CPU2006/458.sjeng/run/run_base_ref_jdr.0001 -c 1 -e compare.err -o compare.stdout -f compare.cmd\r\n  Running (#1) 464.h264ref ref base jdr default\r\n/home/pi/cpu2006-1.2/bin/specinvoke -d /home/pi/cpu2006-1.2/benchspec/CPU2006/464.h264ref/run/run_base_ref_jdr.0001 -e speccmds.err -o speccmds.stdout -f speccmds.cmd -C -q\r\n/home/pi/cpu2006-1.2/bin/specinvoke -E -d /home/pi/cpu2006-1.2/benchspec/CPU2006/464.h264ref/run/run_base_ref_jdr.0001 -c 1 -e compare.err -o compare.stdout -f compare.cmd\r\n\r\n*** Miscompare of foreman_ref_baseline_encodelog.out; for details see\r\n    /home/pi/cpu2006-1.2/benchspec/CPU2006/464.h264ref/run/run_base_ref_jdr.0001/foreman_ref_baseline_encodelog.out.mis\r\n  Running (#1) 433.milc ref base jdr default\r\n/home/pi/cpu2006-1.2/bin/specinvoke -d /home/pi/cpu2006-1.2/benchspec/CPU2006/433.milc/run/run_base_ref_jdr.0001 -e speccmds.err -o speccmds.stdout -f speccmds.cmd -C -q\r\n/home/pi/cpu2006-1.2/bin/specinvoke -E -d /home/pi/cpu2006-1.2/benchspec/CPU2006/433.milc/run/run_base_ref_jdr.0001 -c 1 -e compare.err -o compare.stdout -f compare.cmd\r\n  Running (#1) 470.lbm ref base jdr default\r\n/home/pi/cpu2006-1.2/bin/specinvoke -d /home/pi/cpu2006-1.2/benchspec/CPU2006/470.lbm/run/run_base_ref_jdr.0001 -e speccmds.err -o speccmds.stdout -f speccmds.cmd -C -q\r\n/home/pi/cpu2006-1.2/bin/specinvoke -E -d /home/pi/cpu2006-1.2/benchspec/CPU2006/470.lbm/run/run_base_ref_jdr.0001 -c 1 -e compare.err -o compare.stdout -f compare.cmd\r\n  Running (#1) 482.sphinx3 ref base jdr default\r\n/home/pi/cpu2006-1.2/bin/specinvoke -d /home/pi/cpu2006-1.2/benchspec/CPU2006/482.sphinx3/run/run_base_ref_jdr.0001 -e speccmds.err -o speccmds.stdout -f speccmds.cmd -C -q\r\n\r\n482.sphinx3: copy 0 non-zero return code (exit code=127, signal=0)\r\n\r\n\r\n****************************************\r\nContents of an4.err\r\n****************************************\r\nFATAL_ERROR: \"mdef.c\", line 427: Duplicate base phone: +BREATH+   -   - - filler    0      0      1      2 N\r\n\r\n\r\n****************************************\r\n```"},"comment":{"url":"https://api.github.com/repos/AbsInt/CompCert/issues/comments/266448501","html_url":"https://github.com/AbsInt/CompCert/issues/154#issuecomment-266448501","issue_url":"https://api.github.com/repos/AbsInt/CompCert/issues/154","id":266448501,"user":{"login":"m-schmidt","id":1093186,"avatar_url":"https://avatars.githubusercontent.com/u/1093186?v=3","gravatar_id":"","url":"https://api.github.com/users/m-schmidt","html_url":"https://github.com/m-schmidt","followers_url":"https://api.github.com/users/m-schmidt/followers","following_url":"https://api.github.com/users/m-schmidt/following{/other_user}","gists_url":"https://api.github.com/users/m-schmidt/gists{/gist_id}","starred_url":"https://api.github.com/users/m-schmidt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/m-schmidt/subscriptions","organizations_url":"https://api.github.com/users/m-schmidt/orgs","repos_url":"https://api.github.com/users/m-schmidt/repos","events_url":"https://api.github.com/users/m-schmidt/events{/privacy}","received_events_url":"https://api.github.com/users/m-schmidt/received_events","type":"User","site_admin":false},"created_at":"2016-12-12T14:45:55Z","updated_at":"2016-12-12T14:45:55Z","body":"Our University has access to the Spec sources. I will look into this sometime this week."}}
{"actor":{"display_login":"m-schmidt"}}