![[SCEV] question about inferring nsw flags](https://us1.discourse-cdn.com/flex021/uploads/llvm/original/1X/6ac54669f4b30cb07094375cbd65d24163b5b6e0.jpeg)
[SCEV] question about inferring nsw flags
• SCEV struggles to infer nsw flags for AddRec subscripts in conditional stores. • Example loop uses i to index array with conditions. • Current SCEV cannot deduce overflow behavio
Gep
• SCEV struggles to infer nsw flags for AddRec subscripts in conditional stores. • Example loop uses i to index array with conditions. • Current SCEV cannot deduce overflow behavio