{"id":2227791,"url":"http://patchwork.ozlabs.org/api/1.1/patches/2227791/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/20260424091639.2CB38593A4@imap1.dmz-prg2.suse.org/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/1.1/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null},"msgid":"<20260424091639.2CB38593A4@imap1.dmz-prg2.suse.org>","date":"2026-04-24T09:16:34","name":"Improve points-to after vectorization","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"d6006575e8479c7d72be9aa4de1444a42d037b89","submitter":{"id":4338,"url":"http://patchwork.ozlabs.org/api/1.1/people/4338/?format=json","name":"Richard Biener","email":"rguenther@suse.de"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/20260424091639.2CB38593A4@imap1.dmz-prg2.suse.org/mbox/","series":[{"id":501325,"url":"http://patchwork.ozlabs.org/api/1.1/series/501325/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=501325","date":"2026-04-24T09:16:34","name":"Improve points-to after vectorization","version":1,"mbox":"http://patchwork.ozlabs.org/series/501325/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2227791/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2227791/checks/","tags":{},"headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (1024-bit key;\n unprotected) header.d=suse.de header.i=@suse.de header.a=rsa-sha256\n header.s=susede2_rsa header.b=EVUNkYlR;\n\tdkim=pass header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=O27572ln;\n\tdkim=pass (1024-bit key) header.d=suse.de header.i=@suse.de\n header.a=rsa-sha256 header.s=susede2_rsa header.b=lX2ALZrc;\n\tdkim=neutral header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=eom7aeLi;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (1024-bit key,\n unprotected) header.d=suse.de header.i=@suse.de header.a=rsa-sha256\n header.s=susede2_rsa header.b=EVUNkYlR;\n\tdkim=pass header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=O27572ln;\n\tdkim=pass (1024-bit key) header.d=suse.de header.i=@suse.de\n header.a=rsa-sha256 header.s=susede2_rsa header.b=lX2ALZrc;\n\tdkim=neutral header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=eom7aeLi","sourceware.org;\n dmarc=pass (p=none dis=none) header.from=suse.de","sourceware.org; spf=pass smtp.mailfrom=suse.de","server2.sourceware.org;\n arc=none smtp.remote-ip=195.135.223.130","smtp-out1.suse.de;\n dkim=pass header.d=suse.de header.s=susede2_rsa header.b=lX2ALZrc;\n dkim=pass header.d=suse.de header.s=susede2_ed25519 header.b=eom7aeLi"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g26p06ZWMz1yDD\n\tfor ; Fri, 24 Apr 2026 19:18:32 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id E35094BABF0F\n\tfor ; Fri, 24 Apr 2026 09:18:30 +0000 (GMT)","from smtp-out1.suse.de (smtp-out1.suse.de [195.135.223.130])\n by sourceware.org (Postfix) with ESMTPS id 539504BB3B93\n for ; Fri, 24 Apr 2026 09:16:43 +0000 (GMT)","from imap1.dmz-prg2.suse.org (imap1.dmz-prg2.suse.org\n [IPv6:2a07:de40:b281:104:10:150:64:97])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest\n SHA256)\n (No client certificate requested)\n by smtp-out1.suse.de (Postfix) with ESMTPS id 444226A7FB\n for ; Fri, 24 Apr 2026 09:16:39 +0000 (UTC)","from imap1.dmz-prg2.suse.org (localhost [127.0.0.1])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest\n SHA256)\n (No client certificate requested)\n by imap1.dmz-prg2.suse.org (Postfix) with ESMTPS id 2CB38593A4\n for ; Fri, 24 Apr 2026 09:16:39 +0000 (UTC)","from dovecot-director2.suse.de ([2a07:de40:b281:106:10:150:64:167])\n by imap1.dmz-prg2.suse.org with ESMTPSA id X/prCfc062nVNgAAD6G6ig\n (envelope-from )\n for ; Fri, 24 Apr 2026 09:16:39 +0000"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org E35094BABF0F","OpenDKIM Filter v2.11.0 sourceware.org 539504BB3B93"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 539504BB3B93","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 539504BB3B93","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1777022203; cv=none;\n b=PFU+dO8lFfzytfFr0OXsyC8/d6V5mHJDW9MbzC1pkuwUIX9OcPp41o9ackU4io7opBO6FInG0mpILyt4w4EAyhE/gjKGJDUfRcFQz+aNKvR2wH2EZOXtmqFUPYRYD4rVWN9PIc//fW1ncBCzCJhn1uA5oj9iw7VokqRVi+VVhs4=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777022203; c=relaxed/simple;\n bh=Pn1SKgr2GxOKTkp0HqC886ZGA8bcwA07A6ECT7umtj4=;\n h=DKIM-Signature:DKIM-Signature:DKIM-Signature:DKIM-Signature:Date:\n From:To:Subject:MIME-Version:Message-Id;\n b=db1JUAQ5wGujGfkDZeso84nVSMR+CnGl6BXnPCZaLJb7UuiVR+iWKu7lZNeB8J+d2jrpz2NEKwEs8JULGuV+FCN4In5zGpAEFDPV4jui/MGarwq3rHjAJUdBlFrBdjZI4IIWezgvqyb0cE/fnwIt8mwqe0kA+kVGSHXu7ospAuE=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":["v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_rsa;\n t=1777022200; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:\n mime-version:mime-version:content-type:content-type;\n bh=+8KIZ/uxWgG0y9LKrR2+tBmp0RPTiYJaugYqMNPX1vU=;\n b=EVUNkYlR4eYl729z5mBGhFw7Xn0s0zvN1TbnTzmaB/chcZKkyAn04+Vt1ieXBp4/HtPdnn\n CiIoSKDVk/ZBdtSNucFnaD1nTCnAV61TS6ppUNQcKPDCjgLfDaa6YliQkkvJl3XmBQ9prY\n 5iBGGqCDPzFzb02u/62R6vTXtim2G98=","v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_ed25519; t=1777022200;\n h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:\n mime-version:mime-version:content-type:content-type;\n bh=+8KIZ/uxWgG0y9LKrR2+tBmp0RPTiYJaugYqMNPX1vU=;\n b=O27572lnZt8pDqSAJH0R2BLupCZUZLogA9aiBwWVpGerWVGTRzF06XoFyg6Dax7sLbrfzF\n HoEQ5HLFT6mBbmBw==","v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_rsa;\n t=1777022199; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:\n mime-version:mime-version:content-type:content-type;\n bh=+8KIZ/uxWgG0y9LKrR2+tBmp0RPTiYJaugYqMNPX1vU=;\n b=lX2ALZrcFPFOzjXwzfQ/F5ZnJ/NWby9O/DVxcwumkQe88RisU2Rtts0rOxZC7n32jtSzWJ\n bfDvl1tbWkJDA/qgPJKM0VKjDbfrxd+IHzak9iDlc+e/GudJyqemEbGTrK2mTCH3cyEE0b\n oSSS7zatsM/7CPQx6czz5WdGA8havr0=","v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_ed25519; t=1777022199;\n h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:\n mime-version:mime-version:content-type:content-type;\n bh=+8KIZ/uxWgG0y9LKrR2+tBmp0RPTiYJaugYqMNPX1vU=;\n b=eom7aeLiz8UKUhdK+vhkI/oC3t9Dn7kOrf6GCwp/u+YJ3OBPpWPdAn+iq19N6wNzOBhqKs\n uDijyXVodBFpgSBQ=="],"Date":"Fri, 24 Apr 2026 11:16:34 +0200 (CEST)","From":"Richard Biener ","To":"gcc-patches@gcc.gnu.org","Subject":"[PATCH] Improve points-to after vectorization","MIME-Version":"1.0","Content-Type":"text/plain; charset=US-ASCII","Message-Id":"<20260424091639.2CB38593A4@imap1.dmz-prg2.suse.org>","X-Rspamd-Action":"no action","X-Rspamd-Server":"rspamd2.dmz-prg2.suse.org","X-Spamd-Result":"default: False [-4.51 / 50.00]; BAYES_HAM(-3.00)[100.00%];\n NEURAL_HAM_LONG(-1.00)[-1.000];\n R_DKIM_ALLOW(-0.20)[suse.de:s=susede2_rsa,suse.de:s=susede2_ed25519];\n NEURAL_HAM_SHORT(-0.20)[-1.000]; MIME_GOOD(-0.10)[text/plain];\n MX_GOOD(-0.01)[]; MISSING_XM_UA(0.00)[];\n SPAMHAUS_XBL(0.00)[2a07:de40:b281:104:10:150:64:97:from];\n RCPT_COUNT_ONE(0.00)[1]; FUZZY_RATELIMITED(0.00)[rspamd.com];\n RCVD_VIA_SMTP_AUTH(0.00)[]; MIME_TRACE(0.00)[0:+];\n ARC_NA(0.00)[]; RCVD_TLS_ALL(0.00)[];\n DKIM_SIGNED(0.00)[suse.de:s=susede2_rsa,suse.de:s=susede2_ed25519];\n FROM_EQ_ENVFROM(0.00)[]; FROM_HAS_DN(0.00)[];\n DBL_BLOCKED_OPENRESOLVER(0.00)[imap1.dmz-prg2.suse.org:mid,imap1.dmz-prg2.suse.org:rdns,imap1.dmz-prg2.suse.org:helo,suse.de:dkim,tree-vect-data-refs.cc:url];\n RCVD_COUNT_TWO(0.00)[2]; TO_MATCH_ENVRCPT_ALL(0.00)[];\n TO_DN_NONE(0.00)[];\n PREVIOUSLY_DELIVERED(0.00)[gcc-patches@gcc.gnu.org];\n DKIM_TRACE(0.00)[suse.de:+]","X-Rspamd-Queue-Id":"444226A7FB","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"The following teaches the vectorizer to create points-to info from\nnon-pointer accesses like copy_ref_info does.\n\nBootstrapped and tested on x86_64-unknown-linux-gnu, pushed.\n\n\t* tree-vect-data-refs.cc (vect_duplicate_ssa_name_ptr_info):\n\tCreate points-to info from decl-based accesses.\n\t(vect_create_addr_base_for_vector_ref): Adjust.\n\t(vect_create_data_ref_ptr): Likewise.\n\t(bump_vector_ptr): Likewise.\n---\n gcc/tree-vect-data-refs.cc | 45 ++++++++++++++++++++------------------\n 1 file changed, 24 insertions(+), 21 deletions(-)","diff":"diff --git a/gcc/tree-vect-data-refs.cc b/gcc/tree-vect-data-refs.cc\nindex ae556d85c7f..48181a4e7f0 100644\n--- a/gcc/tree-vect-data-refs.cc\n+++ b/gcc/tree-vect-data-refs.cc\n@@ -5658,10 +5658,24 @@ vect_get_new_ssa_name (tree type, enum vect_var_kind var_kind, const char *name)\n static void\n vect_duplicate_ssa_name_ptr_info (tree name, dr_vec_info *dr_info)\n {\n- duplicate_ssa_name_ptr_info (name, DR_PTR_INFO (dr_info->dr));\n- /* DR_PTR_INFO is for a base SSA name, not including constant or\n- variable offsets in the ref so its alignment info does not apply. */\n- mark_ptr_info_alignment_unknown (SSA_NAME_PTR_INFO (name));\n+ if (DR_PTR_INFO (dr_info->dr))\n+ {\n+ duplicate_ssa_name_ptr_info (name, DR_PTR_INFO (dr_info->dr));\n+ /* DR_PTR_INFO is for a base SSA name, not including constant or\n+\t variable offsets in the ref so its alignment info does not apply. */\n+ mark_ptr_info_alignment_unknown (SSA_NAME_PTR_INFO (name));\n+ }\n+ else if (!SSA_NAME_PTR_INFO (name))\n+ {\n+ tree base = get_base_address (dr_info->dr->ref);\n+ if (VAR_P (base)\n+\t || TREE_CODE (base) == PARM_DECL\n+\t || TREE_CODE (base) == RESULT_DECL)\n+\t{\n+\t struct ptr_info_def *pi = get_ptr_info (name);\n+\t pt_solution_set_var (&pi->pt, base);\n+\t}\n+ }\n }\n \n /* Function vect_create_addr_base_for_vector_ref.\n@@ -5752,8 +5766,7 @@ vect_create_addr_base_for_vector_ref (vec_info *vinfo, stmt_vec_info stmt_info,\n addr_base = force_gimple_operand (addr_base, &seq, true, dest);\n gimple_seq_add_seq (new_stmt_list, seq);\n \n- if (DR_PTR_INFO (dr)\n- && TREE_CODE (addr_base) == SSA_NAME\n+ if (TREE_CODE (addr_base) == SSA_NAME\n /* We should only duplicate pointer info to newly created SSA names. */\n && SSA_NAME_VAR (addr_base) == dest)\n {\n@@ -6001,11 +6014,8 @@ vect_create_data_ref_ptr (vec_info *vinfo, stmt_vec_info stmt_info,\n incr = gsi_stmt (incr_gsi);\n \n /* Copy the points-to information if it exists. */\n- if (DR_PTR_INFO (dr))\n-\t{\n-\t vect_duplicate_ssa_name_ptr_info (indx_before_incr, dr_info);\n-\t vect_duplicate_ssa_name_ptr_info (indx_after_incr, dr_info);\n-\t}\n+ vect_duplicate_ssa_name_ptr_info (indx_before_incr, dr_info);\n+ vect_duplicate_ssa_name_ptr_info (indx_after_incr, dr_info);\n if (ptr_incr)\n \t*ptr_incr = incr;\n \n@@ -6030,11 +6040,8 @@ vect_create_data_ref_ptr (vec_info *vinfo, stmt_vec_info stmt_info,\n incr = gsi_stmt (incr_gsi);\n \n /* Copy the points-to information if it exists. */\n- if (DR_PTR_INFO (dr))\n-\t{\n-\t vect_duplicate_ssa_name_ptr_info (indx_before_incr, dr_info);\n-\t vect_duplicate_ssa_name_ptr_info (indx_after_incr, dr_info);\n-\t}\n+ vect_duplicate_ssa_name_ptr_info (indx_before_incr, dr_info);\n+ vect_duplicate_ssa_name_ptr_info (indx_after_incr, dr_info);\n if (ptr_incr)\n \t*ptr_incr = incr;\n \n@@ -6115,11 +6122,7 @@ bump_vector_ptr (vec_info *vinfo,\n }\n \n /* Copy the points-to information if it exists. */\n- if (DR_PTR_INFO (dr))\n- {\n- duplicate_ssa_name_ptr_info (new_dataref_ptr, DR_PTR_INFO (dr));\n- mark_ptr_info_alignment_unknown (SSA_NAME_PTR_INFO (new_dataref_ptr));\n- }\n+ duplicate_ssa_name_ptr_info (new_dataref_ptr, DR_PTR_INFO (dr));\n \n if (!ptr_incr)\n return new_dataref_ptr;\n","prefixes":[]}