Construct CallCompiledFunctionPosArgsMutable

Kay Hayen

2023-06-04 11:50

Performance Diagrams

Source Code with Constructfrom __future__ import print_function

import itertools

def compiled_func(some_list):
    return some_list

def calledRepeatedly():

    compiled_f = compiled_func
    # This is supposed to make a call to a compiled function, which is
    # being optimized separately.
    # construct_begin
    compiled_f(["some", "random", "values", "to", "check", "call"])
    compiled_f([["some", "other", "values"], ["to", "check", "call"]])
    # construct_alternative

    return compiled_f

for x in itertools.repeat(None, 50000):
    calledRepeatedly()

print("OK.")

Source Code without Constructfrom __future__ import print_function

import itertools

def compiled_func(some_list):
    return some_list

def calledRepeatedly():

    compiled_f = compiled_func
    # This is supposed to make a call to a compiled function, which is
    # being optimized separately.
    # construct_begin

    # construct_alternative
    pass
    # construct_end

    return compiled_f

for x in itertools.repeat(None, 50000):
    calledRepeatedly()

print("OK.")

Context Diff of Source Code

	Construct			Baseline
	30			30
	31	compiled_f = compiled_func		31	compiled_f = compiled_func
	32	# This is supposed to make a call to a compiled function, which is		32	# This is supposed to make a call to a compiled function, which is
	33	# being optimized separately.		33	# being optimized separately.
	34	# construct_begin		34	# construct_begin
n	35	compiled_f(["some", "random", "values", "to", "check", "call"])	n
	36	compiled_f([["some", "other", "values"], ["to", "check", "call"]])
	37	# construct_alternative
	38			35
	39			36
t			t	37	# construct_alternative
				38	pass
				39	# construct_end
	40			40
	41	return compiled_f		41	return compiled_f
	42			42
	43			43
	44	for x in itertools.repeat(None, 50000):		44	for x in itertools.repeat(None, 50000):

Context Diff of Generated Code

	Construct			Baseline
	31			31
	32	PyObject *module___main__;		32	PyObject *module___main__;
	33	PyDictObject *moduledict___main__;		33	PyDictObject *moduledict___main__;
	34			34
	35	/* The declarations of module constants used, if any. */		35	/* The declarations of module constants used, if any. */
n	36	static PyObject *mod_consts[17];	n	36	static PyObject *mod_consts[15];
	37	#ifndef __NUITKA_NO_ASSERT__		37	#ifndef __NUITKA_NO_ASSERT__
n	38	static Py_hash_t mod_consts_hash[17];	n	38	static Py_hash_t mod_consts_hash[15];
	39	#endif		39	#endif
	40			40
	41	static PyObject *module_filename_obj = NULL;		41	static PyObject *module_filename_obj = NULL;
	42			42
	43	/* Indicator if this modules private constants were created yet. */		43	/* Indicator if this modules private constants were created yet. */
	48	if (constants_created == false) {		48	if (constants_created == false) {
	49	loadConstantsBlob(&mod_consts[0], UNTRANSLATE("__main__"));		49	loadConstantsBlob(&mod_consts[0], UNTRANSLATE("__main__"));
	50	constants_created = true;		50	constants_created = true;
	51			51
	52	#ifndef __NUITKA_NO_ASSERT__		52	#ifndef __NUITKA_NO_ASSERT__
n	53	for (int i = 0; i < 17; i++) {	n	53	for (int i = 0; i < 15; i++) {
	54	mod_consts_hash[i] = DEEP_HASH(mod_consts[i]);		54	mod_consts_hash[i] = DEEP_HASH(mod_consts[i]);
	55	}		55	}
	56	#endif		56	#endif
	57	}		57	}
	58	}		58	}
	68	#ifndef __NUITKA_NO_ASSERT__		68	#ifndef __NUITKA_NO_ASSERT__
	69	void checkModuleConstants___main__(void) {		69	void checkModuleConstants___main__(void) {
	70	// The module may not have been used at all, then ignore this.		70	// The module may not have been used at all, then ignore this.
	71	if (constants_created == false) return;		71	if (constants_created == false) return;
	72			72
n	73	for (int i = 0; i < 17; i++) {	n	73	for (int i = 0; i < 15; i++) {
	74	assert(mod_consts_hash[i] == DEEP_HASH(mod_consts[i]));		74	assert(mod_consts_hash[i] == DEEP_HASH(mod_consts[i]));
	75	CHECK_OBJECT_DEEP(mod_consts[i]);		75	CHECK_OBJECT_DEEP(mod_consts[i]);
	76	}		76	}
	77	}		77	}
	78	#endif		78	#endif
	83	static PyCodeObject *codeobj_6c336d92e826b947c5756da7320161d8;		83	static PyCodeObject *codeobj_6c336d92e826b947c5756da7320161d8;
	84	/* For use in "MainProgram.c". */		84	/* For use in "MainProgram.c". */
	85	PyCodeObject *codeobj_main = NULL;		85	PyCodeObject *codeobj_main = NULL;
	86			86
	87	static void createModuleCodeObjects(void) {		87	static void createModuleCodeObjects(void) {
n	88	module_filename_obj = mod_consts[4]; CHECK_OBJECT(module_filename_obj);	n	88	module_filename_obj = mod_consts[2]; CHECK_OBJECT(module_filename_obj);
	89	codeobj_311700db778220b5ac19f93ac5028549 = MAKE_CODE_OBJECT(module_filename_obj, 1, CO_NOFREE \| CO_FUTURE_PRINT_FUNCTION, mod_consts[14], mod_consts[14], NULL, NULL, 0, 0, 0);		89	codeobj_311700db778220b5ac19f93ac5028549 = MAKE_CODE_OBJECT(module_filename_obj, 1, CO_NOFREE \| CO_FUTURE_PRINT_FUNCTION, mod_consts[12], mod_consts[12], NULL, NULL, 0, 0, 0);
	90	codeobj_main = codeobj_311700db778220b5ac19f93ac5028549;		90	codeobj_main = codeobj_311700db778220b5ac19f93ac5028549;
n	91	codeobj_303a6a21374fb03f1c2fee0eead40f3b = MAKE_CODE_OBJECT(module_filename_obj, 29, CO_OPTIMIZED \| CO_NEWLOCALS \| CO_NOFREE \| CO_FUTURE_PRINT_FUNCTION, mod_consts[8], mod_consts[8], mod_consts[15], NULL, 0, 0, 0);	n	91	codeobj_303a6a21374fb03f1c2fee0eead40f3b = MAKE_CODE_OBJECT(module_filename_obj, 29, CO_OPTIMIZED \| CO_NEWLOCALS \| CO_NOFREE \| CO_FUTURE_PRINT_FUNCTION, mod_consts[6], mod_consts[6], mod_consts[13], NULL, 0, 0, 0);
	92	codeobj_6c336d92e826b947c5756da7320161d8 = MAKE_CODE_OBJECT(module_filename_obj, 25, CO_OPTIMIZED \| CO_NEWLOCALS \| CO_NOFREE \| CO_FUTURE_PRINT_FUNCTION, mod_consts[0], mod_consts[0], mod_consts[16], NULL, 1, 0, 0);		92	codeobj_6c336d92e826b947c5756da7320161d8 = MAKE_CODE_OBJECT(module_filename_obj, 25, CO_OPTIMIZED \| CO_NEWLOCALS \| CO_NOFREE \| CO_FUTURE_PRINT_FUNCTION, mod_consts[0], mod_consts[0], mod_consts[14], NULL, 1, 0, 0);
	93	}		93	}
	94			94
	95	// The module function declarations.		95	// The module function declarations.
	96	static PyObject *MAKE_FUNCTION___main__$$$function__1_compiled_func();		96	static PyObject *MAKE_FUNCTION___main__$$$function__1_compiled_func();
	97			97
	145	NUITKA_MAY_BE_UNUSED char const *type_description_1 = NULL;		145	NUITKA_MAY_BE_UNUSED char const *type_description_1 = NULL;
	146	PyObject *exception_type = NULL;		146	PyObject *exception_type = NULL;
	147	PyObject *exception_value = NULL;		147	PyObject *exception_value = NULL;
	148	PyTracebackObject *exception_tb = NULL;		148	PyTracebackObject *exception_tb = NULL;
	149	NUITKA_MAY_BE_UNUSED int exception_lineno = 0;		149	NUITKA_MAY_BE_UNUSED int exception_lineno = 0;
n	150	NUITKA_MAY_BE_UNUSED nuitka_void tmp_unused;	n
	151	static struct Nuitka_FrameObject *cache_frame_303a6a21374fb03f1c2fee0eead40f3b = NULL;		150	static struct Nuitka_FrameObject *cache_frame_303a6a21374fb03f1c2fee0eead40f3b = NULL;
	152	PyObject *tmp_return_value = NULL;		151	PyObject *tmp_return_value = NULL;
	153	PyObject *exception_keeper_type_1;		152	PyObject *exception_keeper_type_1;
	154	PyObject *exception_keeper_value_1;		153	PyObject *exception_keeper_value_1;
	155	PyTracebackObject *exception_keeper_tb_1;		154	PyTracebackObject *exception_keeper_tb_1;
	203	goto frame_exception_exit_1;		202	goto frame_exception_exit_1;
	204	}		203	}
	205	assert(var_compiled_f == NULL);		204	assert(var_compiled_f == NULL);
	206	Py_INCREF(tmp_assign_source_1);		205	Py_INCREF(tmp_assign_source_1);
	207	var_compiled_f = tmp_assign_source_1;		206	var_compiled_f = tmp_assign_source_1;
n	208	}	n
	209	{
	210	PyObject *tmp_called_value_1;
	211	PyObject *tmp_call_result_1;
	212	PyObject *tmp_call_arg_element_1;
	213	CHECK_OBJECT(var_compiled_f);
	214	tmp_called_value_1 = var_compiled_f;
	215	tmp_call_arg_element_1 = MAKE_LIST6(mod_consts[1]);
	216	frame_303a6a21374fb03f1c2fee0eead40f3b->m_frame.f_lineno = 35;
	217	tmp_call_result_1 = CALL_FUNCTION_WITH_SINGLE_ARG(tmp_called_value_1, tmp_call_arg_element_1);
	218	Py_DECREF(tmp_call_arg_element_1);
	219	if (tmp_call_result_1 == NULL) {
	220	assert(ERROR_OCCURRED());
	221
	222	FETCH_ERROR_OCCURRED(&exception_type, &exception_value, &exception_tb);
	223
	224
	225	exception_lineno = 35;
	226	type_description_1 = "o";
	227	goto frame_exception_exit_1;
	228	}
	229	Py_DECREF(tmp_call_result_1);
	230	}
	231	{
	232	PyObject *tmp_called_value_2;
	233	PyObject *tmp_call_result_2;
	234	PyObject *tmp_call_arg_element_2;
	235	CHECK_OBJECT(var_compiled_f);
	236	tmp_called_value_2 = var_compiled_f;
	237	tmp_call_arg_element_2 = DEEP_COPY_LIST_GUIDED(mod_consts[2], "ll");
	238	frame_303a6a21374fb03f1c2fee0eead40f3b->m_frame.f_lineno = 36;
	239	tmp_call_result_2 = CALL_FUNCTION_WITH_SINGLE_ARG(tmp_called_value_2, tmp_call_arg_element_2);
	240	Py_DECREF(tmp_call_arg_element_2);
	241	if (tmp_call_result_2 == NULL) {
	242	assert(ERROR_OCCURRED());
	243
	244	FETCH_ERROR_OCCURRED(&exception_type, &exception_value, &exception_tb);
	245
	246
	247	exception_lineno = 36;
	248	type_description_1 = "o";
	249	goto frame_exception_exit_1;
	250	}
	251	Py_DECREF(tmp_call_result_2);
	252	}		207	}
	253			208
	254			209
	255	// Put the previous frame back on top.		210	// Put the previous frame back on top.
	256	popFrameStack();		211	popFrameStack();
	312	exception_type = NULL;		267	exception_type = NULL;
	313	exception_value = NULL;		268	exception_value = NULL;
	314	exception_tb = NULL;		269	exception_tb = NULL;
	315	exception_lineno = 0;		270	exception_lineno = 0;
	316			271
n	317	Py_XDECREF(var_compiled_f);	n
	318	var_compiled_f = NULL;
	319	// Re-raise.		272	// Re-raise.
	320	exception_type = exception_keeper_type_1;		273	exception_type = exception_keeper_type_1;
	321	exception_value = exception_keeper_value_1;		274	exception_value = exception_keeper_value_1;
	322	exception_tb = exception_keeper_tb_1;		275	exception_tb = exception_keeper_tb_1;
	323	exception_lineno = exception_keeper_lineno_1;		276	exception_lineno = exception_keeper_lineno_1;
	374			327
	375			328
	376	static PyObject *MAKE_FUNCTION___main__$$$function__2_calledRepeatedly() {		329	static PyObject *MAKE_FUNCTION___main__$$$function__2_calledRepeatedly() {
	377	struct Nuitka_FunctionObject *result = Nuitka_Function_New(		330	struct Nuitka_FunctionObject *result = Nuitka_Function_New(
	378	impl___main__$$$function__2_calledRepeatedly,		331	impl___main__$$$function__2_calledRepeatedly,
n	379	mod_consts[8],	n	332	mod_consts[6],
	380	#if PYTHON_VERSION >= 0x300		333	#if PYTHON_VERSION >= 0x300
	381	NULL,		334	NULL,
	382	#endif		335	#endif
	383	codeobj_303a6a21374fb03f1c2fee0eead40f3b,		336	codeobj_303a6a21374fb03f1c2fee0eead40f3b,
	384	NULL,		337	NULL,
	758			711
	759	// Module code.		712	// Module code.
	760	{		713	{
	761	PyObject *tmp_assign_source_1;		714	PyObject *tmp_assign_source_1;
	762	tmp_assign_source_1 = Py_None;		715	tmp_assign_source_1 = Py_None;
n	763	UPDATE_STRING_DICT0(moduledict___main__, (Nuitka_StringObject *)mod_consts[3], tmp_assign_source_1);	n	716	UPDATE_STRING_DICT0(moduledict___main__, (Nuitka_StringObject *)mod_consts[1], tmp_assign_source_1);
	764	}		717	}
	765	{		718	{
	766	PyObject *tmp_assign_source_2;		719	PyObject *tmp_assign_source_2;
n	767	tmp_assign_source_2 = mod_consts[4];	n	720	tmp_assign_source_2 = mod_consts[2];
	768	UPDATE_STRING_DICT0(moduledict___main__, (Nuitka_StringObject *)mod_consts[5], tmp_assign_source_2);		721	UPDATE_STRING_DICT0(moduledict___main__, (Nuitka_StringObject *)mod_consts[3], tmp_assign_source_2);
	769	}		722	}
	770	{		723	{
	771	PyObject *tmp_assign_source_3;		724	PyObject *tmp_assign_source_3;
	772	{		725	{
	773	PyObject *hard_module = IMPORT_HARD___FUTURE__();		726	PyObject *hard_module = IMPORT_HARD___FUTURE__();
n	774	tmp_assign_source_3 = LOOKUP_ATTRIBUTE(hard_module, mod_consts[6]);	n	727	tmp_assign_source_3 = LOOKUP_ATTRIBUTE(hard_module, mod_consts[4]);
	775	}		728	}
	776	assert(!(tmp_assign_source_3 == NULL));		729	assert(!(tmp_assign_source_3 == NULL));
n	777	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[6], tmp_assign_source_3);	n	730	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[4], tmp_assign_source_3);
	778	}		731	}
	779	{		732	{
	780	PyObject *tmp_assign_source_4;		733	PyObject *tmp_assign_source_4;
	781	PyObject *tmp_name_value_1;		734	PyObject *tmp_name_value_1;
	782	PyObject *tmp_globals_arg_value_1;		735	PyObject *tmp_globals_arg_value_1;
	783	PyObject *tmp_locals_arg_value_1;		736	PyObject *tmp_locals_arg_value_1;
	784	PyObject *tmp_fromlist_value_1;		737	PyObject *tmp_fromlist_value_1;
n	785	tmp_name_value_1 = mod_consts[7];	n	738	tmp_name_value_1 = mod_consts[5];
	786	tmp_globals_arg_value_1 = (PyObject *)moduledict___main__;		739	tmp_globals_arg_value_1 = (PyObject *)moduledict___main__;
	787	tmp_locals_arg_value_1 = Py_None;		740	tmp_locals_arg_value_1 = Py_None;
	788	tmp_fromlist_value_1 = Py_None;		741	tmp_fromlist_value_1 = Py_None;
	789	tmp_assign_source_4 = IMPORT_MODULE4(tmp_name_value_1, tmp_globals_arg_value_1, tmp_locals_arg_value_1, tmp_fromlist_value_1);		742	tmp_assign_source_4 = IMPORT_MODULE4(tmp_name_value_1, tmp_globals_arg_value_1, tmp_locals_arg_value_1, tmp_fromlist_value_1);
	790	assert(!(tmp_assign_source_4 == NULL));		743	assert(!(tmp_assign_source_4 == NULL));
n	791	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[7], tmp_assign_source_4);	n	744	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[5], tmp_assign_source_4);
	792	}		745	}
	793	{		746	{
	794	PyObject *tmp_assign_source_5;		747	PyObject *tmp_assign_source_5;
	795			748
	796			749
	802	PyObject *tmp_assign_source_6;		755	PyObject *tmp_assign_source_6;
	803			756
	804			757
	805	tmp_assign_source_6 = MAKE_FUNCTION___main__$$$function__2_calledRepeatedly();		758	tmp_assign_source_6 = MAKE_FUNCTION___main__$$$function__2_calledRepeatedly();
	806			759
n	807	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[8], tmp_assign_source_6);	n	760	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[6], tmp_assign_source_6);
	808	}		761	}
	809	frame_311700db778220b5ac19f93ac5028549 = MAKE_MODULE_FRAME(codeobj_311700db778220b5ac19f93ac5028549, module___main__);		762	frame_311700db778220b5ac19f93ac5028549 = MAKE_MODULE_FRAME(codeobj_311700db778220b5ac19f93ac5028549, module___main__);
	810			763
	811	// Push the new frame as the currently active one, and we should be exclusively		764	// Push the new frame as the currently active one, and we should be exclusively
	812	// owning it.		765	// owning it.
	816	// Framed code:		769	// Framed code:
	817	{		770	{
	818	PyObject *tmp_assign_source_7;		771	PyObject *tmp_assign_source_7;
	819	PyObject *tmp_iter_arg_1;		772	PyObject *tmp_iter_arg_1;
	820	PyObject *tmp_called_instance_1;		773	PyObject *tmp_called_instance_1;
n	821	tmp_called_instance_1 = GET_STRING_DICT_VALUE(moduledict___main__, (Nuitka_StringObject *)mod_consts[7]);	n	774	tmp_called_instance_1 = GET_STRING_DICT_VALUE(moduledict___main__, (Nuitka_StringObject *)mod_consts[5]);
	822			775
	823	if (unlikely(tmp_called_instance_1 == NULL)) {		776	if (unlikely(tmp_called_instance_1 == NULL)) {
n	824	tmp_called_instance_1 = GET_MODULE_VARIABLE_VALUE_FALLBACK(mod_consts[7]);	n	777	tmp_called_instance_1 = GET_MODULE_VARIABLE_VALUE_FALLBACK(mod_consts[5]);
	825	}		778	}
	826			779
	827	assert(!(tmp_called_instance_1 == NULL));		780	assert(!(tmp_called_instance_1 == NULL));
	828	frame_311700db778220b5ac19f93ac5028549->m_frame.f_lineno = 44;		781	frame_311700db778220b5ac19f93ac5028549->m_frame.f_lineno = 44;
	829	tmp_iter_arg_1 = CALL_METHOD_WITH_ARGS2(		782	tmp_iter_arg_1 = CALL_METHOD_WITH_ARGS2(
	830	tmp_called_instance_1,		783	tmp_called_instance_1,
n	831	mod_consts[9],	n	784	mod_consts[7],
	832	&PyTuple_GET_ITEM(mod_consts[10], 0)		785	&PyTuple_GET_ITEM(mod_consts[8], 0)
	833	);		786	);
	834			787
	835	if (tmp_iter_arg_1 == NULL) {		788	if (tmp_iter_arg_1 == NULL) {
	836	assert(ERROR_OCCURRED());		789	assert(ERROR_OCCURRED());
	837			790
	887	}		840	}
	888	{		841	{
	889	PyObject *tmp_assign_source_9;		842	PyObject *tmp_assign_source_9;
	890	CHECK_OBJECT(tmp_for_loop_1__iter_value);		843	CHECK_OBJECT(tmp_for_loop_1__iter_value);
	891	tmp_assign_source_9 = tmp_for_loop_1__iter_value;		844	tmp_assign_source_9 = tmp_for_loop_1__iter_value;
n	892	UPDATE_STRING_DICT0(moduledict___main__, (Nuitka_StringObject *)mod_consts[11], tmp_assign_source_9);	n	845	UPDATE_STRING_DICT0(moduledict___main__, (Nuitka_StringObject *)mod_consts[9], tmp_assign_source_9);
	893	}		846	}
	894	{		847	{
	895	PyObject *tmp_called_value_1;		848	PyObject *tmp_called_value_1;
	896	PyObject *tmp_call_result_1;		849	PyObject *tmp_call_result_1;
n	897	tmp_called_value_1 = GET_STRING_DICT_VALUE(moduledict___main__, (Nuitka_StringObject *)mod_consts[8]);	n	850	tmp_called_value_1 = GET_STRING_DICT_VALUE(moduledict___main__, (Nuitka_StringObject *)mod_consts[6]);
	898			851
	899	if (unlikely(tmp_called_value_1 == NULL)) {		852	if (unlikely(tmp_called_value_1 == NULL)) {
n	900	tmp_called_value_1 = GET_MODULE_VARIABLE_VALUE_FALLBACK(mod_consts[8]);	n	853	tmp_called_value_1 = GET_MODULE_VARIABLE_VALUE_FALLBACK(mod_consts[6]);
	901	}		854	}
	902			855
	903	if (tmp_called_value_1 == NULL) {		856	if (tmp_called_value_1 == NULL) {
	904	assert(ERROR_OCCURRED());		857	assert(ERROR_OCCURRED());
	905			858
	968	Py_DECREF(tmp_for_loop_1__for_iterator);		921	Py_DECREF(tmp_for_loop_1__for_iterator);
	969	tmp_for_loop_1__for_iterator = NULL;		922	tmp_for_loop_1__for_iterator = NULL;
	970	{		923	{
	971	PyObject *tmp_called_value_2;		924	PyObject *tmp_called_value_2;
	972	PyObject *tmp_call_result_2;		925	PyObject *tmp_call_result_2;
n	973	tmp_called_value_2 = LOOKUP_BUILTIN(mod_consts[12]);	n	926	tmp_called_value_2 = LOOKUP_BUILTIN(mod_consts[10]);
	974	assert(tmp_called_value_2 != NULL);		927	assert(tmp_called_value_2 != NULL);
	975	frame_311700db778220b5ac19f93ac5028549->m_frame.f_lineno = 47;		928	frame_311700db778220b5ac19f93ac5028549->m_frame.f_lineno = 47;
t	976	tmp_call_result_2 = CALL_FUNCTION_WITH_POSARGS1(tmp_called_value_2, mod_consts[13]);	t	929	tmp_call_result_2 = CALL_FUNCTION_WITH_POSARGS1(tmp_called_value_2, mod_consts[11]);
	977			930
	978	if (tmp_call_result_2 == NULL) {		931	if (tmp_call_result_2 == NULL) {
	979	assert(ERROR_OCCURRED());		932	assert(ERROR_OCCURRED());
	980			933
	981	FETCH_ERROR_OCCURRED(&exception_type, &exception_value, &exception_tb);		934	FETCH_ERROR_OCCURRED(&exception_type, &exception_value, &exception_tb);