Re: State of AutoFDO in GCC

2022-07-26 Thread Xionghu Luo via Gcc
On 2022/7/27 09:31, Xionghu Luo wrote: On 2022/7/27 04:12, Eugene Rozenfeld via Gcc wrote: Hello GCC community. I started this thread on the state of AutoFDO in GCC more than a year ago. Here is the first message in the thread: https://gcc.gnu.org/pipermail/gcc/2021-April/235860.html S

Re: State of AutoFDO in GCC

2022-07-26 Thread Xionghu Luo via Gcc
On 2022/7/27 04:12, Eugene Rozenfeld via Gcc wrote: Hello GCC community. I started this thread on the state of AutoFDO in GCC more than a year ago. Here is the first message in the thread: https://gcc.gnu.org/pipermail/gcc/2021-April/235860.html Since then I committed a number of patches t

Re: git gcc-commit-mklog doesn't extract PR number to ChangeLog

2021-06-09 Thread Xionghu Luo via Gcc
On 2021/6/10 14:17, Martin Liška wrote: > On 6/10/21 7:22 AM, Xionghu Luo wrote: >> Sorry, should be sent to this mail-list. >> >> >> On 2021/6/10 11:31, Xionghu Luo via Gcc-patches wrote: >>> Hi, >>> I noticed that the "git gcc-commit-mklog&qu

Re: git gcc-commit-mklog doesn't extract PR number to ChangeLog

2021-06-09 Thread Xionghu Luo via Gcc
Sorry, should be sent to this mail-list. On 2021/6/10 11:31, Xionghu Luo via Gcc-patches wrote: Hi, I noticed that the "git gcc-commit-mklog" command doesn't extract PR number from title to ChangeLog automatically, then the committed patch doesn't update the related bugzi

Re: The conditions when convert from double to float is permitted?

2020-12-11 Thread Xionghu Luo via Gcc
On 2020/12/11 15:47, Richard Biener wrote: >> Note that the add/sub sequence is different for (3) and (4) since >> -funsafe-math-optimizations is implicitly true. "fp-contract=fast" in >> (1) and (2) could avoid Inf as fmads could handle float overflow (verified >> it on Power, not sure other t

Re: The conditions when convert from double to float is permitted?

2020-12-11 Thread Xionghu Luo via Gcc
On 2020/12/11 15:47, Richard Biener wrote: >> Note that the add/sub sequence is different for (3) and (4) since >> -funsafe-math-optimizations is implicitly true. "fp-contract=fast" in >> (1) and (2) could avoid Inf as fmads could handle float overflow (verified >> it on Power, not sure other ta

Re: The conditions when convert from double to float is permitted?

2020-12-10 Thread Xionghu Luo via Gcc
+cc. On 2020/12/11 14:25, Xionghu Luo via Gcc wrote: Thanks, On 2020/12/10 17:12, Richard Biener wrote: 2) From PR90070: double temp1 = (double)r->red; double temp2 = (double)aggregate.red; double temp3 = temp2 + (temp1 * 5.0); temp1 * 5 could be not representable in float

Re: The conditions when convert from double to float is permitted?

2020-12-10 Thread Xionghu Luo via Gcc
Thanks, On 2020/12/10 17:12, Richard Biener wrote: >> 2) From PR90070: >> >>double temp1 = (double)r->red; >>double temp2 = (double)aggregate.red; >>double temp3 = temp2 + (temp1 * 5.0); > temp1 * 5 could be not representable in float but the > result of the add could so the transform

The conditions when convert from double to float is permitted?

2020-12-10 Thread Xionghu Luo via Gcc
Hi, I have a maybe silly question about whether there is any *standard* or *options* (like -ffast-math) for GCC that allow double to float demotion optimization? For example, 1) from PR22326: #include float foo(float f, float x, float y) { return (fabs(f)*x+y); } The fabs will return double

CSE deletes valid REG_EQUAL?

2020-11-12 Thread Xionghu Luo via Gcc
Hi all, In PR51505(https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51505), Paolo Bonzini added the code to delete REG_EQUAL notes in df_remove_dead_eq_notes: gcc/df-problems.c: df_remove_dead_eq_notes (rtx_insn *insn, bitmap live) { ... case REG_EQUAL: case REG_EQUIV: {