On Fri, Sep 2, 2022 at 2:03 AM Krister Walfridsson
wrote:
>
> On Thu, 1 Sep 2022, Richard Biener wrote:
>
> > It's generally poorly documented what is considered 'undefined behavior'.
> > We desparately need a section in the internals manual for this.
> > For the {L,R}SHIFT_EXPR case we assume the
On Thu, 1 Sep 2022, Richard Biener wrote:
It's generally poorly documented what is considered 'undefined behavior'.
We desparately need a section in the internals manual for this.
For the {L,R}SHIFT_EXPR case we assume the shift operand is
in range of [0, precision - 1], so in theory value-range
On Thu, Sep 1, 2022 at 1:57 AM Krister Walfridsson via Gcc
wrote:
>
> I'm implementing a tool for translation validation (similar to Alive2 for
> LLVM). The tool uses an SMT solver to verify for each GIMPLE pass that the
> output IR is a refinement of the input IR:
> * That each compiled functio
