[PATCH] D95690: [LoopVectorize] improve IR fast-math-flags propagation in reductions

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea added a comment.

Here's what the test reduced to. To reproduce run `opt -passes='loop-vectorize' test.ll` with the assert in place.

  target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
  target triple = "wasm32-unknown--wasm"
  
  define void @f9() local_unnamed_addr {
  entry:
    br label %"for f9.s0.v0"
  
  "for f9.s0.v0":                                   ; preds = %"for f9.s0.v0", %entry
    %f9.s0.v0 = phi i32 [ 0, %entry ], [ %tmp3, %"for f9.s0.v0" ]
    %t14 = icmp eq i32 %f9.s0.v0, 5
    %t15 = select reassoc nnan ninf nsz contract afn i1 %t14, float 0x36A0000000000000, float 0.000000e+00
    %tmp3 = add nuw nsw i32 %f9.s0.v0, 1
    br i1 false, label %"end for f9.s0.v0", label %"for f9.s0.v0"
  
  "end for f9.s0.v0":                               ; preds = %"for f9.s0.v0"
    ret void
  }


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D95690/new/

https://reviews.llvm.org/D95690