Construct CallCompiledFunctionPosArgsMutable

Kay Hayen

2023-09-28 11:23

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
	29	def calledRepeatedly():		29	def calledRepeatedly():
	30	compiled_f = compiled_func		30	compiled_f = compiled_func
	31	# This is supposed to make a call to a compiled function, which is		31	# This is supposed to make a call to a compiled function, which is
	32	# being optimized separately.		32	# being optimized separately.
	33	# construct_begin		33	# construct_begin
n	34	compiled_f(["some", "random", "values", "to", "check", "call"])	n
	35	compiled_f([["some", "other", "values"], ["to", "check", "call"]])
	36	# construct_alternative
	37			34
	38			35
t			t	36	# construct_alternative
				37	pass
				38	# construct_end
	39			39
	40	return compiled_f		40	return compiled_f
	41			41
	42			42
	43	for x in itertools.repeat(None, 50000):		43	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(tstate, &mod_consts[0], UNTRANSLATE("__main__"));		49	loadConstantsBlob(tstate, &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(tstate, mod_consts[i]);		54	mod_consts_hash[i] = DEEP_HASH(tstate, 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__(PyThreadState *tstate) {		69	void checkModuleConstants___main__(PyThreadState *tstate) {
	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(tstate, mod_consts[i]));		74	assert(mod_consts_hash[i] == DEEP_HASH(tstate, 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_c442309b90bd103b05fbc43d173a69bf;		83	static PyCodeObject *codeobj_c442309b90bd103b05fbc43d173a69bf;
	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_87bf8eee343160cf271460f37cfa7870 = 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_87bf8eee343160cf271460f37cfa7870 = 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_87bf8eee343160cf271460f37cfa7870;		90	codeobj_main = codeobj_87bf8eee343160cf271460f37cfa7870;
n	91	codeobj_fb995c436ea414309089298c286c0420 = 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_fb995c436ea414309089298c286c0420 = 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_c442309b90bd103b05fbc43d173a69bf = 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_c442309b90bd103b05fbc43d173a69bf = 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_fb995c436ea414309089298c286c0420 = NULL;		150	static struct Nuitka_FrameObject *cache_frame_fb995c436ea414309089298c286c0420 = 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_fb995c436ea414309089298c286c0420->m_frame.f_lineno = 34;
	217	tmp_call_result_1 = CALL_FUNCTION_WITH_SINGLE_ARG(tstate, 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(HAS_ERROR_OCCURRED(tstate));
	221
	222	FETCH_ERROR_OCCURRED(tstate, &exception_type, &exception_value, &exception_tb);
	223
	224
	225	exception_lineno = 34;
	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(tstate, mod_consts[2], "ll");
	238	frame_fb995c436ea414309089298c286c0420->m_frame.f_lineno = 35;
	239	tmp_call_result_2 = CALL_FUNCTION_WITH_SINGLE_ARG(tstate, 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(HAS_ERROR_OCCURRED(tstate));
	243
	244	FETCH_ERROR_OCCURRED(tstate, &exception_type, &exception_value, &exception_tb);
	245
	246
	247	exception_lineno = 35;
	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(tstate);		211	popFrameStack(tstate);
	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_fb995c436ea414309089298c286c0420,		336	codeobj_fb995c436ea414309089298c286c0420,
	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(tstate, hard_module, mod_consts[6]);	n	727	tmp_assign_source_3 = LOOKUP_ATTRIBUTE(tstate, 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	frame_87bf8eee343160cf271460f37cfa7870 = MAKE_MODULE_FRAME(codeobj_87bf8eee343160cf271460f37cfa7870, module___main__);		732	frame_87bf8eee343160cf271460f37cfa7870 = MAKE_MODULE_FRAME(codeobj_87bf8eee343160cf271460f37cfa7870, module___main__);
	780			733
	781	// Push the new frame as the currently active one, and we should be exclusively		734	// Push the new frame as the currently active one, and we should be exclusively
	782	// owning it.		735	// owning it.
	785			738
	786	// Framed code:		739	// Framed code:
	787	{		740	{
	788	PyObject *tmp_assign_source_4;		741	PyObject *tmp_assign_source_4;
	789	frame_87bf8eee343160cf271460f37cfa7870->m_frame.f_lineno = 22;		742	frame_87bf8eee343160cf271460f37cfa7870->m_frame.f_lineno = 22;
n	790	tmp_assign_source_4 = IMPORT_MODULE_FIXED(tstate, mod_consts[7], mod_consts[7]);	n	743	tmp_assign_source_4 = IMPORT_MODULE_FIXED(tstate, mod_consts[5], mod_consts[5]);
	791	if (tmp_assign_source_4 == NULL) {		744	if (tmp_assign_source_4 == NULL) {
	792	assert(HAS_ERROR_OCCURRED(tstate));		745	assert(HAS_ERROR_OCCURRED(tstate));
	793			746
	794	FETCH_ERROR_OCCURRED(tstate, &exception_type, &exception_value, &exception_tb);		747	FETCH_ERROR_OCCURRED(tstate, &exception_type, &exception_value, &exception_tb);
	795			748
	796			749
	797	exception_lineno = 22;		750	exception_lineno = 22;
	798			751
	799	goto frame_exception_exit_1;		752	goto frame_exception_exit_1;
	800	}		753	}
n	801	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[7], tmp_assign_source_4);	n	754	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[5], tmp_assign_source_4);
	802	}		755	}
	803	{		756	{
	804	PyObject *tmp_assign_source_5;		757	PyObject *tmp_assign_source_5;
	805			758
	806			759
	812	PyObject *tmp_assign_source_6;		765	PyObject *tmp_assign_source_6;
	813			766
	814			767
	815	tmp_assign_source_6 = MAKE_FUNCTION___main__$$$function__2_calledRepeatedly();		768	tmp_assign_source_6 = MAKE_FUNCTION___main__$$$function__2_calledRepeatedly();
	816			769
n	817	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[8], tmp_assign_source_6);	n	770	UPDATE_STRING_DICT1(moduledict___main__, (Nuitka_StringObject *)mod_consts[6], tmp_assign_source_6);
	818	}		771	}
	819	{		772	{
	820	PyObject *tmp_assign_source_7;		773	PyObject *tmp_assign_source_7;
	821	PyObject *tmp_iter_arg_1;		774	PyObject *tmp_iter_arg_1;
	822	PyObject *tmp_called_instance_1;		775	PyObject *tmp_called_instance_1;
n	823	tmp_called_instance_1 = GET_STRING_DICT_VALUE(moduledict___main__, (Nuitka_StringObject *)mod_consts[7]);	n	776	tmp_called_instance_1 = GET_STRING_DICT_VALUE(moduledict___main__, (Nuitka_StringObject *)mod_consts[5]);
	824			777
	825	if (unlikely(tmp_called_instance_1 == NULL)) {		778	if (unlikely(tmp_called_instance_1 == NULL)) {
n	826	tmp_called_instance_1 = GET_MODULE_VARIABLE_VALUE_FALLBACK(tstate, mod_consts[7]);	n	779	tmp_called_instance_1 = GET_MODULE_VARIABLE_VALUE_FALLBACK(tstate, mod_consts[5]);
	827	}		780	}
	828			781
	829	assert(!(tmp_called_instance_1 == NULL));		782	assert(!(tmp_called_instance_1 == NULL));
	830	frame_87bf8eee343160cf271460f37cfa7870->m_frame.f_lineno = 43;		783	frame_87bf8eee343160cf271460f37cfa7870->m_frame.f_lineno = 43;
	831	tmp_iter_arg_1 = CALL_METHOD_WITH_ARGS2(		784	tmp_iter_arg_1 = CALL_METHOD_WITH_ARGS2(
	832	tstate,		785	tstate,
	833	tmp_called_instance_1,		786	tmp_called_instance_1,
n	834	mod_consts[9],	n	787	mod_consts[7],
	835	&PyTuple_GET_ITEM(mod_consts[10], 0)		788	&PyTuple_GET_ITEM(mod_consts[8], 0)
	836	);		789	);
	837			790
	838	if (tmp_iter_arg_1 == NULL) {		791	if (tmp_iter_arg_1 == NULL) {
	839	assert(HAS_ERROR_OCCURRED(tstate));		792	assert(HAS_ERROR_OCCURRED(tstate));
	840			793
	890	}		843	}
	891	{		844	{
	892	PyObject *tmp_assign_source_9;		845	PyObject *tmp_assign_source_9;
	893	CHECK_OBJECT(tmp_for_loop_1__iter_value);		846	CHECK_OBJECT(tmp_for_loop_1__iter_value);
	894	tmp_assign_source_9 = tmp_for_loop_1__iter_value;		847	tmp_assign_source_9 = tmp_for_loop_1__iter_value;
n	895	UPDATE_STRING_DICT0(moduledict___main__, (Nuitka_StringObject *)mod_consts[11], tmp_assign_source_9);	n	848	UPDATE_STRING_DICT0(moduledict___main__, (Nuitka_StringObject *)mod_consts[9], tmp_assign_source_9);
	896	}		849	}
	897	{		850	{
	898	PyObject *tmp_called_value_1;		851	PyObject *tmp_called_value_1;
	899	PyObject *tmp_call_result_1;		852	PyObject *tmp_call_result_1;
n	900	tmp_called_value_1 = GET_STRING_DICT_VALUE(moduledict___main__, (Nuitka_StringObject *)mod_consts[8]);	n	853	tmp_called_value_1 = GET_STRING_DICT_VALUE(moduledict___main__, (Nuitka_StringObject *)mod_consts[6]);
	901			854
	902	if (unlikely(tmp_called_value_1 == NULL)) {		855	if (unlikely(tmp_called_value_1 == NULL)) {
n	903	tmp_called_value_1 = GET_MODULE_VARIABLE_VALUE_FALLBACK(tstate, mod_consts[8]);	n	856	tmp_called_value_1 = GET_MODULE_VARIABLE_VALUE_FALLBACK(tstate, mod_consts[6]);
	904	}		857	}
	905			858
	906	if (tmp_called_value_1 == NULL) {		859	if (tmp_called_value_1 == NULL) {
	907	assert(HAS_ERROR_OCCURRED(tstate));		860	assert(HAS_ERROR_OCCURRED(tstate));
	908			861
	971	Py_DECREF(tmp_for_loop_1__for_iterator);		924	Py_DECREF(tmp_for_loop_1__for_iterator);
	972	tmp_for_loop_1__for_iterator = NULL;		925	tmp_for_loop_1__for_iterator = NULL;
	973	{		926	{
	974	PyObject *tmp_called_value_2;		927	PyObject *tmp_called_value_2;
	975	PyObject *tmp_call_result_2;		928	PyObject *tmp_call_result_2;
n	976	tmp_called_value_2 = LOOKUP_BUILTIN(mod_consts[12]);	n	929	tmp_called_value_2 = LOOKUP_BUILTIN(mod_consts[10]);
	977	assert(tmp_called_value_2 != NULL);		930	assert(tmp_called_value_2 != NULL);
	978	frame_87bf8eee343160cf271460f37cfa7870->m_frame.f_lineno = 46;		931	frame_87bf8eee343160cf271460f37cfa7870->m_frame.f_lineno = 46;
t	979	tmp_call_result_2 = CALL_FUNCTION_WITH_POSARGS1(tstate, tmp_called_value_2, mod_consts[13]);	t	932	tmp_call_result_2 = CALL_FUNCTION_WITH_POSARGS1(tstate, tmp_called_value_2, mod_consts[11]);
	980			933
	981	if (tmp_call_result_2 == NULL) {		934	if (tmp_call_result_2 == NULL) {
	982	assert(HAS_ERROR_OCCURRED(tstate));		935	assert(HAS_ERROR_OCCURRED(tstate));
	983			936
	984	FETCH_ERROR_OCCURRED(tstate, &exception_type, &exception_value, &exception_tb);		937	FETCH_ERROR_OCCURRED(tstate, &exception_type, &exception_value, &exception_tb);