public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "steven at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/19791] [tcb] A constant not fully propagated Date: Fri, 06 May 2005 08:39:00 -0000 [thread overview] Message-ID: <20050506083906.19056.qmail@sourceware.org> (raw) In-Reply-To: <20050206134041.19791.kazu@cs.umass.edu> ------- Additional Comments From steven at gcc dot gnu dot org 2005-05-06 08:39 ------- Looks fixed to me. The only problem now is that there is an extra load of 128 as an immediate, I haven't looked at why uncprop doesn't fix this. --------------------------- extern void abort (void) __attribute__ ((__noreturn__)); extern int bar (int, int); int PR19791_test (int mode, int size, unsigned int align) { int align0; int iftmp1; if (mode == 0) { if (align != 128) abort (); } align0 = (int) align; if (mode == 0) { int D1131 = align0 / 8; int D1132 = D1131 + size; int D1133 = D1132 - 1; int D1134 = D1131 - 1; int D1135 = ~D1134; iftmp1 = D1133 & D1135; } else { iftmp1 = size; } return bar (iftmp1, align0); } int PR19791_result (int mode, int size, unsigned int align) { int align0; int iftmp1; if (mode == 0) { if (align != 128) abort (); } align0 = (int) align; if (mode == 0) { int D1131 = ((int) 128) / 8; int D1132 = D1131 + size; int D1133 = D1132 - 1; int D1134 = D1131 - 1; int D1135 = ~D1134; iftmp1 = D1133 & D1135; } else { iftmp1 = size; } return bar (iftmp1, align0); } --------------------------- --------------------------- PR19791_test (mode, size, align) { int D1135; int D1134; int D1133; int D1132; int D1131; int iftmp1; int align0; int D.1579; int D.1578; <bb 0>: if (mode == 0) goto <L0>; else goto <L2>; <L0>:; if (align != 128) goto <L1>; else goto <L4>; <L1>:; abort (); <L2>:; align0 = (int) align; iftmp1 = size; goto <bb 5> (<L6>); <L4>:; iftmp1 = size + 15 & -16; align0 = 128; <L6>:; D.1578 = bar (iftmp1, align0) [tail call]; return D.1578; } PR19791_result (mode, size, align) { int D1135; int D1134; int D1133; int D1132; int D1131; int iftmp1; int align0; int D.1593; int D.1592; <bb 0>: if (mode == 0) goto <L0>; else goto <L2>; <L0>:; if (align != 128) goto <L1>; else goto <L4>; <L1>:; abort (); <L2>:; align0 = (int) align; iftmp1 = size; goto <bb 5> (<L6>); <L4>:; iftmp1 = size + 15 & -16; align0 = 128; <L6>:; D.1592 = bar (iftmp1, align0) [tail call]; return D.1592; } --------------------------- -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19791
next prev parent reply other threads:[~2005-05-06 8:39 UTC|newest] Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top 2005-02-06 13:21 [Bug tree-optimization/19791] New: " kazu@cs.umass.edu 2005-02-06 15:34 ` [Bug tree-optimization/19791] " kazu@cs.umass.edu 2005-02-06 16:17 ` pinskia@gcc.gnu.org 2005-05-06 8:39 ` steven at gcc dot gnu dot org [this message] 2005-05-06 14:02 ` pinskia at gcc dot gnu dot org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20050506083906.19056.qmail@sourceware.org \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).