Re: [PATCH] tree-optimization/121059 - record loop mask when required

2025-07-14 Thread Richard Sandiford
Richard Biener writes: > On Mon, 14 Jul 2025, Richard Sandiford wrote: > >> Richard Biener writes: >> > For loop masking we need to mask a mask AND operation with the loop >> > mask. The following makes sure we have a corresponding mask >> > available. There's no good way to distinguish loop ma

Re: [PATCH] tree-optimization/121059 - record loop mask when required

2025-07-14 Thread Richard Biener
On Mon, 14 Jul 2025, Richard Sandiford wrote: > Richard Biener writes: > > For loop masking we need to mask a mask AND operation with the loop > > mask. The following makes sure we have a corresponding mask > > available. There's no good way to distinguish loop masking from > > len masking here

Re: [PATCH] tree-optimization/121059 - record loop mask when required

2025-07-14 Thread Richard Sandiford
Richard Biener writes: > For loop masking we need to mask a mask AND operation with the loop > mask. The following makes sure we have a corresponding mask > available. There's no good way to distinguish loop masking from > len masking here, so assume we have recorded a mask for the operands > ma

[PATCH] tree-optimization/121059 - record loop mask when required

2025-07-14 Thread Richard Biener
For loop masking we need to mask a mask AND operation with the loop mask. The following makes sure we have a corresponding mask available. There's no good way to distinguish loop masking from len masking here, so assume we have recorded a mask for the operands mask producers. Bootstrap and regt