{"action":"created","issue":{"url":"https://api.github.com/repos/uwplse/herbgrind/issues/26","repository_url":"https://api.github.com/repos/uwplse/herbgrind","labels_url":"https://api.github.com/repos/uwplse/herbgrind/issues/26/labels{/name}","comments_url":"https://api.github.com/repos/uwplse/herbgrind/issues/26/comments","events_url":"https://api.github.com/repos/uwplse/herbgrind/issues/26/events","html_url":"https://github.com/uwplse/herbgrind/issues/26","id":335217730,"node_id":"MDU6SXNzdWUzMzUyMTc3MzA=","number":26,"title":"not able to run spec2006 fp benchmark - 470.lbm with herbgrind ","user":{"login":"sangeeta0201","id":33879368,"node_id":"MDQ6VXNlcjMzODc5MzY4","avatar_url":"https://avatars2.githubusercontent.com/u/33879368?v=4","gravatar_id":"","url":"https://api.github.com/users/sangeeta0201","html_url":"https://github.com/sangeeta0201","followers_url":"https://api.github.com/users/sangeeta0201/followers","following_url":"https://api.github.com/users/sangeeta0201/following{/other_user}","gists_url":"https://api.github.com/users/sangeeta0201/gists{/gist_id}","starred_url":"https://api.github.com/users/sangeeta0201/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sangeeta0201/subscriptions","organizations_url":"https://api.github.com/users/sangeeta0201/orgs","repos_url":"https://api.github.com/users/sangeeta0201/repos","events_url":"https://api.github.com/users/sangeeta0201/events{/privacy}","received_events_url":"https://api.github.com/users/sangeeta0201/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-06-24T22:27:44Z","updated_at":"2018-06-26T18:52:01Z","closed_at":null,"author_association":"NONE","body":"Hi,\r\n\r\nI am trying to run spec2006 fp benchmark - 470.lbm with herbgrind but its crashing.\r\nIt is compiled with gcc (Ubuntu/Linaro 6.3.0-18ubuntu2~16.04) 6.3.0 20170519\r\n```\r\n/usr/bin/gcc -c -o lbm.o -DSPEC_CPU -DNDEBUG    -O2       -DSPEC_CPU_LP64         lbm.c\r\n/usr/bin/gcc -c -o main.o -DSPEC_CPU -DNDEBUG    -O2       -DSPEC_CPU_LP64         main.c\r\n/usr/bin/gcc   -O2  -DSPEC_CPU_LP64        lbm.o main.o             -lm        -o lbm\r\n```\r\nWithout herbgrind \r\n```\r\n./lbm 130 reference.dat 0 1 100_100_130_cf_a.of\r\nMAIN_printInfo:\r\n\tgrid size      : 100 x 100 x 130 = 1.30 * 10^6 Cells\r\n\tnTimeSteps     : 130\r\n\tresult file    : reference.dat\r\n\taction         : nothing\r\n\tsimulation type: channel flow\r\n\tobstacle file  : 100_100_130_cf_a.of\r\n\r\nLBM_showGridStatistics:\r\n\tnObstacleCells:  498440 nAccelCells:       0 nFluidCells:  801560\r\n\tminRho:   1.0000 maxRho:   1.0000 mass: 1.300000e+06\r\n\tminU: 0.000000e+00 maxU: 0.000000e+00\r\n\r\ntimestep: 64\r\nLBM_showGridStatistics:\r\n\tnObstacleCells:  498440 nAccelCells:       0 nFluidCells:  801560\r\n\tminRho:   0.9948 maxRho:   1.0459 mass: 1.302956e+06\r\n\tminU: 0.000000e+00 maxU: 3.212546e-02\r\n\r\ntimestep: 128\r\nLBM_showGridStatistics:\r\n\tnObstacleCells:  498440 nAccelCells:       0 nFluidCells:  801560\r\n\tminRho:   0.9967 maxRho:   1.0360 mass: 1.305827e+06\r\n\tminU: 0.000000e+00 maxU: 4.946202e-02\r\n\r\nLBM_showGridStatistics:\r\n\tnObstacleCells:  498440 nAccelCells:       0 nFluidCells:  801560\r\n\tminRho:   0.9966 maxRho:   1.0362 mass: 1.305915e+06\r\n\tminU: 0.000000e+00 maxU: 4.949656e-02\r\n\r\n```\r\n\r\nwith herbgrind -\r\n\r\n```\r\n./herbgrind.sh ./lbm 130 reference.dat 0 1 100_100_130_cf_a.of\r\n==2452== Herbgrind, a valgrind tool for Herbie\r\n==2452== Copyright (C) 2016-2017, and GNU GPL'd, by Alex Sanchez-Stern\r\n==2452== Using Valgrind-3.12.0.SVN and LibVEX; rerun with -h for copyright info\r\n==2452== Command: ./lbm 130 reference.dat 0 1 100_100_130_cf_a.of\r\n==2452== \r\nMAIN_printInfo:\r\n\tgrid size      : 100 x 100 x 130 = 1.30 * 10^6 Cells\r\n\tnTimeSteps     : 130\r\n\tresult file    : reference.dat\r\n\taction         : nothing\r\n\tsimulation type: channel flow\r\n\tobstacle file  : 100_100_130_cf_a.of\r\n\r\n\r\nHerbgrind: runtime/value-shadowstate/exprs.c:75 (recursivelyDisownConcExpr): Assertion 'expr->ref_count > 0' failed.\r\nHerbgrind: The ref count of 0x868B24E20 is already zero, and we're trying to decrease it!\r\n\r\n\r\nhost stacktrace:\r\n==2452==    at 0x3806F198: show_sched_status_wrk (m_libcassert.c:343)\r\n==2452==    by 0x3806F2B4: report_and_quit (m_libcassert.c:415)\r\n==2452==    by 0x3806F441: vgPlain_assert_fail (m_libcassert.c:481)\r\n==2452==    by 0x38053170: recursivelyDisownConcExpr (exprs.c:73)\r\n==2452==    by 0x3804F11D: freeShadowValue (value-shadowstate.c:238)\r\n==2452==    by 0x80356BF69: ???\r\n==2452==    by 0x803078F2F: ???\r\n\r\nsched status:\r\n  running_tid=1\r\n\r\nThread 1: status = VgTs_Runnable (lwpid 2452)\r\n==2452==    at 0x5213783: strchrnul (strchr.S:32)\r\n==2452==    by 0x51CA207: vfprintf (printf-parse.h:108)\r\n==2452==    by 0x52939EE: __printf_chk (printf_chk.c:35)\r\n==2452==    by 0x4009D1: main (in /home/sangeeta/project/float_p/herbgrind/spec2006_github/spec2006/benchspec/CPU2006/470.lbm/run/build_base_elider-amd64-m64-gcc42-nn.0000/lbm)\r\n\r\n\r\nNote: see also the FAQ in the source distribution.\r\nIt contains workarounds to several common problems.\r\nIn particular, if Valgrind aborted or crashed after\r\nidentifying problems in your program, there's a good chance\r\nthat fixing those problems will prevent Valgrind aborting or\r\ncrashing, especially if it happened in m_mallocfree.c.\r\n\r\nIf that doesn't help, please report this bug to: www.valgrind.org\r\n\r\nIn the bug report, send all the above text, the valgrind\r\nversion, and what OS and version you are using.  Thanks.\r\n```"},"comment":{"url":"https://api.github.com/repos/uwplse/herbgrind/issues/comments/400423857","html_url":"https://github.com/uwplse/herbgrind/issues/26#issuecomment-400423857","issue_url":"https://api.github.com/repos/uwplse/herbgrind/issues/26","id":400423857,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMDQyMzg1Nw==","user":{"login":"sangeeta0201","id":33879368,"node_id":"MDQ6VXNlcjMzODc5MzY4","avatar_url":"https://avatars2.githubusercontent.com/u/33879368?v=4","gravatar_id":"","url":"https://api.github.com/users/sangeeta0201","html_url":"https://github.com/sangeeta0201","followers_url":"https://api.github.com/users/sangeeta0201/followers","following_url":"https://api.github.com/users/sangeeta0201/following{/other_user}","gists_url":"https://api.github.com/users/sangeeta0201/gists{/gist_id}","starred_url":"https://api.github.com/users/sangeeta0201/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sangeeta0201/subscriptions","organizations_url":"https://api.github.com/users/sangeeta0201/orgs","repos_url":"https://api.github.com/users/sangeeta0201/repos","events_url":"https://api.github.com/users/sangeeta0201/events{/privacy}","received_events_url":"https://api.github.com/users/sangeeta0201/received_events","type":"User","site_admin":false},"created_at":"2018-06-26T18:52:00Z","updated_at":"2018-06-26T18:52:00Z","author_association":"NONE","body":"Hello,\r\n\r\nThis is another issue I faced while running spec benchmark -sphinx3 with O3 optimizations \r\n\r\n```\r\n==31029== Herbgrind, a valgrind tool for Herbie\r\n==31029== Copyright (C) 2016-2017, and GNU GPL'd, by Alex Sanchez-Stern\r\n==31029== Using Valgrind-3.12.0.SVN and LibVEX; rerun with -h for copyright info\r\n==31029== Command: ./sphinx_livepretend_base.gcc43-64bit ctlfile . args.an4\r\n==31029== \r\nINFO: spec_main_live_pretend.c(120): Processing 1 beamsets\r\nINFO: cmd_ln.c(276): Parsing command line:                                                          \r\nINFO: kbcore.c(95): Initializing core models:\r\nINFO: logs3.c(99): Initializing logbase: 1.000300e+00 (add table: 1)\r\nINFO: logs3.c(161): Log-Add table size = 29350\r\nINFO: feat.c(642): Initializing feature stream to type: '1s_c_d_dd', CMN='current', VARNORM='no', AGC='none'\r\nINFO: mdef.c(594): Reading model definition: model/hmm/hub4/hub4opensrc.6000.mdef\r\nINFO: mdef.c(771): 48 CI-phone, 133500 CD-phone, 3 emitstate/phone, 144 CI-sen, 6144 Sen, 32639 Sen-Seq\r\nINFO: dict.c(358): Reading main dictionary: model/lm/an4/an4.dict\r\nINFO: dict.c(361): 130 words read\r\nINFO: dict.c(366): Reading filler dictionary: model/lm/an4/filler.dict\r\nINFO: dict.c(369): 3 words read\r\nINFO: lm.c(739): LM read('model/lm/an4/an4.ug.lm.DMP', lw= 9.50, wip= -1188, uw= 0.70)\r\nINFO: lm.c(553):      107 ug\r\nINFO: lm.c(583):        1 bigrams [on disk]\r\nINFO: lm.c(613):        2 bigram prob entries\r\nINFO: lm.c(696):      107 word strings\r\nINFO: wid.c(178): 6 LM words not in dictionary; ignored\r\nINFO: cont_mgau.c(96): Reading mixture gaussian file 'model/hmm/hub4/means'\r\nINFO: cont_mgau.c(248): 6144 mixture Gaussians, 8 components, 1 streams, veclen 39\r\nINFO: cont_mgau.c(96): Reading mixture gaussian file 'model/hmm/hub4/variances'\r\nINFO: cont_mgau.c(248): 6144 mixture Gaussians, 8 components, 1 streams, veclen 39\r\nINFO: cont_mgau.c(269): Reading mixture weights file 'model/hmm/hub4/mixture_weights'\r\n\r\nHerbgrind: instrument/floattypes.c:1264 (typeMeet): Assertion 'type2 == Vt_Unknown || type2 == Vt_NonFloat || type2 == Vt_SingleOrNonFloat' failed.\r\nHerbgrind: Cannot meet types Vt_NonFloat and Vt_Double!\r\n\r\nhost stacktrace:\r\n==31029==    at 0x380715B8: show_sched_status_wrk (m_libcassert.c:343)\r\n==31029==    by 0x380716D4: report_and_quit (m_libcassert.c:415)\r\n==31029==    by 0x38071861: vgPlain_assert_fail (m_libcassert.c:481)\r\n==31029==    by 0x3806C2A3: typeMeet (floattypes.c:1262)\r\n==31029==    by 0x3806C519: refineTempBlockType (floattypes.c:111)\r\n==31029==    by 0x3806D821: inferTypes (floattypes.c:126)\r\n==31029==    by 0x38063AFC: hg_instrument (instrument.c:63)\r\n==31029==    by 0x3808C8CF: tool_instrument_then_gdbserver_if_needed (m_translate.c:238)\r\n==31029==    by 0x38137C4C: LibVEX_Translate (main_main.c:934)\r\n==31029==    by 0x3808F1A5: vgPlain_translate (m_translate.c:1765)\r\n==31029==    by 0x380BFF5B: handle_chain_me (scheduler.c:1076)\r\n==31029==    by 0x380C1C74: vgPlain_scheduler (scheduler.c:1414)\r\n==31029==    by 0x380D0EC6: run_a_thread_NORETURN (syswrap-linux.c:102)\r\n\r\nsched status:\r\n  running_tid=1\r\n\r\nThread 1: status = VgTs_Runnable (lwpid 31029)\r\n==31029==    at 0x42AB60: vector_sum_norm (vector.c:92)\r\n==31029==    by 0x407B68: mgau_init (cont_mgau.c:344)\r\n==31029==    by 0x41996F: kbcore_init (kbcore.c:195)\r\n==31029==    by 0x417CFF: kb_init (kb.c:87)\r\n==31029==    by 0x401FB9: live_initialize_decoder (live.c:89)\r\n==31029==    by 0x401841: main (spec_main_live_pretend.c:133)\r\n\r\n\r\nNote: see also the FAQ in the source distribution.\r\nIt contains workarounds to several common problems.\r\nIn particular, if Valgrind aborted or crashed after\r\nidentifying problems in your program, there's a good chance\r\nthat fixing those problems will prevent Valgrind aborting or\r\ncrashing, especially if it happened in m_mallocfree.c.\r\n\r\nIf that doesn't help, please report this bug to: www.valgrind.org\r\n\r\nIn the bug report, send all the above text, the valgrind  \r\n```"}}
{"actor":{"display_login":"sangeeta0201"}}