On Wed, 30 Nov 2016, Andrew Senkevich wrote: > 2016-11-30 11:52 GMT+03:00 Richard Biener <rguent...@suse.de>: > > On Tue, 29 Nov 2016, Jeff Law wrote: > > > >> On 11/29/2016 12:47 AM, Richard Biener wrote: > >> > > Balaji added this check explicitly. There should be tests in the > >> > > testsuite > >> > > (spawnee_inline, spawner_inline) which exercise that code. > >> > > >> > Yes he did, but no, nothing in the testsuite. > >> I believe the tests are: > >> > >> c-c++-common/cilk-plus/CK/spawnee_inline.c > >> c-c++-common/cilk-plus/CK/spawner_inline.c > >> > >> But as I mentioned, they don't check for proper behaviour > > > > Actually they do -- and both show what the issue might be, cilk+ > > uses setjmp but we already have code to disallow inlining of > > functions calling setjmp (but we happily inline into functions > > calling setjmp). When mangling the testcases to try forcing > > inlining I still (the patch was already applied) get > > > > /space/rguenther/src/gcc-git/gcc/testsuite/c-c++-common/cilk-plus/CK/spawnee_inline.c: > > In function ‘fib’: > > /space/rguenther/src/gcc-git/gcc/testsuite/c-c++-common/cilk-plus/CK/spawnee_inline.c:9:50: > > error: function ‘fib’ can never be copied because it receives a non-local > > goto > > > > so the intent was probably to disallow inlining of functions calling > > cilk_spawn, not to disable inlining into functions calling cilk_spawn. > > > > But as seen above this is already handled by generic code handling > > setjmp. > > > >> > >> > > >> > There is _nowhere_ documented _why_ the checks were added. Why is > >> > inlining a transform that can do anything bad to a function using > >> > cilk_spawn? > >> I know, it's disappointing. Even the tests mentioned above don't shed any > >> real light on the issue. > > > > One issue is obvious (but already handled). Why all inlining should > > be disabled is indeed still a mystery. > > I can suppose inline should be disabled for the next function after > cilk_spawn because spawn should be done for function. > If no way to disable the next call inlining it looks it was disabled > for all function to fix Cilk Plus Conformance Suite test fail.
I see. Even with GCC 6.2 the conformace test suite has a lot of FAILs (and compiler ICEs): In 734 tests: 229 (60 compilation, 169 execution) tests do not conform specification, 505 conform using the suite in version 1.2.1. For current trunk I get In 734 tests: 198 (43 compilation, 155 execution) tests do not conform specification, 536 conform where gcc 6.2 vs. gcc 7 diff is - PASS cn_cilk_for_label_in.c - PASS cn_cilk_for_label_out.c + FAIL cn_cilk_for_label_in.c (internal compiler error) + FAIL cn_cilk_for_label_out.c (internal compiler error) - PASS cn_cilk_for_return.c + FAIL cn_cilk_for_return.c (internal compiler error) - PASS ep_cilk_for_compare1.c + FAIL ep_cilk_for_compare1.c (internal compiler error) - PASS ep_cilk_for_increment1.c + FAIL ep_cilk_for_increment1.c (internal compiler error) - PASS ep_cilk_for_nest1.c - PASS ep_cilk_for_pragma2.c + FAIL ep_cilk_for_nest1.c (internal compiler error) + FAIL ep_cilk_for_pragma2.c (internal compiler error) - PASS cn_cilk_for_init1.cpp + FAIL cn_cilk_for_init1.cpp (internal compiler error) - FAIL cn_omp_simd_lastprivate2-1.c (internal compiler error) - FAIL cn_omp_simd_lastprivate2-2.c (internal compiler error) - FAIL cn_omp_simd_lastprivate3.c - FAIL cn_omp_simd_lastprivate4-1.c (internal compiler error) + PASS cn_omp_simd_lastprivate2-1.c + PASS cn_omp_simd_lastprivate2-2.c + PASS cn_omp_simd_lastprivate3.c + PASS cn_omp_simd_lastprivate4-1.c - FAIL cn_omp_simd_linear2.c - FAIL cn_omp_simd_linear3-1.c (internal compiler error) + PASS cn_omp_simd_linear2.c + PASS cn_omp_simd_linear3-1.c - FAIL cn_omp_simd_linear6-2.c + PASS cn_omp_simd_linear6-2.c - FAIL cn_omp_simd_private3.c - FAIL cn_omp_simd_private4-1.c (internal compiler error) + PASS cn_omp_simd_private3.c + PASS cn_omp_simd_private4-1.c - FAIL cn_omp_simd_reduction1.c (internal compiler error) - FAIL cn_omp_simd_reduction2.c (internal compiler error) - FAIL cn_omp_simd_reduction3.c - FAIL cn_omp_simd_reduction4-1.c - FAIL cn_omp_simd_reduction4-2.c (internal compiler error) - FAIL cn_omp_simd_reduction5.c (internal compiler error) + PASS cn_omp_simd_reduction1.c + PASS cn_omp_simd_reduction2.c + PASS cn_omp_simd_reduction3.c + PASS cn_omp_simd_reduction4-1.c + PASS cn_omp_simd_reduction4-2.c + FAIL cn_omp_simd_reduction5.c - FAIL cn_simd_linear1.c - FAIL cn_simd_linear2.c - FAIL cn_simd_linear3.c + PASS cn_simd_linear1.c + PASS cn_simd_linear2.c + PASS cn_simd_linear3.c - FAIL cn_omp_simd_lastprivate1.cpp - FAIL cn_omp_simd_lastprivate2.cpp + PASS cn_omp_simd_lastprivate1.cpp + PASS cn_omp_simd_lastprivate2.cpp - FAIL cn_omp_simd_linear2-1.cpp + PASS cn_omp_simd_linear2-1.cpp - FAIL cn_omp_simd_private1.cpp - FAIL cn_omp_simd_private2.cpp + PASS cn_omp_simd_private1.cpp + PASS cn_omp_simd_private2.cpp - FAIL ep_omp_simd_reduction_bool_10.cpp (internal compiler error) + PASS ep_omp_simd_reduction_bool_10.cpp - FAIL ep_omp_simd_reduction_bool_9.cpp (internal compiler error) + PASS ep_omp_simd_reduction_bool_9.cpp - FAIL ep_omp_simd_reduction_char_10.cpp (internal compiler error) + PASS ep_omp_simd_reduction_char_10.cpp ... - PASS cp_an_section_triplet.c + FAIL cp_an_section_triplet.c (internal compiler error) - FAIL ep_an_op_reduce_fn4.cpp - FAIL ep_an_op_reduce_fn5.cpp + FAIL ep_an_op_reduce_fn4.cpp (internal compiler error) + FAIL ep_an_op_reduce_fn5.cpp (internal compiler error) - FAIL ep_an_op_reduce_fn7.cpp + FAIL ep_an_op_reduce_fn7.cpp (internal compiler error) - FAIL ep_an_hyperobject_reducer_list.cpp (internal compiler error) + PASS ep_an_hyperobject_reducer_list.cpp ... so progess on the OMP front hides regressions elsewhere. The patch that started this thread does not have any effect on the conformance testsuite result. That makes it even more obvious that it is a) unmaintained, b) probably not used widely as those ICEs have not been reported as bugs Let's deprecate Cilk+ if no maintainer steps up until 7.1 is released. Gerald, can you relay that to the SC? Richard.
