Question about match.pd

2021-11-24 Thread Navid Rahimi via Gcc
Hi GCC community, I have a question about pattern matching in match.pd. So I have a pattern like this [1]: #define CMP != bool f(bool c, int i) { return (c << i) CMP 0; } bool g(bool c, int i) { return c CMP 0;} It is verifiably correct to transfer f to g [2]. Although this pattern looks simple

Re: [EXTERNAL] Re: Question about match.pd

2021-11-25 Thread Navid Rahimi via Gcc
y, November 24, 2021 15:11 To: Navid Rahimi; gcc@gcc.gnu.org Subject: [EXTERNAL] Re: Question about match.pd On 11/24/2021 2:19 PM, Navid Rahimi via Gcc wrote: > Hi GCC community, > > I have a question about pattern matching in match.pd. > > So I have a pattern like this [1]

LTO lto_priv duplicate symbol and the reason for it

2022-03-08 Thread Navid Rahimi via Gcc
Hi GCC community, I have a few questions that I am struggling to find an answer for: a. Why does LTO generates a new symbol? b. Why it does not replace the existing symbol, instead of creating a new one with "lto_priv.%d" at the end of it [1]? c. Can we assume the original symbol always will be