[PATCH] D113442: [InstCombine] Enable fold select into operand for FAdd, FMul, FSub and FDiv.

[Huihui Zhang via Phabricator via llvm-commits]

huihuiz added a comment.

Update on overnight run for fdiv

My run below did not return anything or capture any failure after 12 hours. 1000000000 is probably the maximum time out we can set to alive.
But I do agree that for two instructions, alive is taking too long to converge.

Definitely point us out if there is anything wrong ?

  ./alive-tv src.ll -smt-to 1000000000
  
  ----------------------------------------
  define half @select_fdiv(i1 %cond, half %A, half %B) {
  %0:
    %C = fdiv half %A, %B
    %D = select i1 %cond, half %C, half %A
    ret half %D
  }
  =>
  define half @select_fdiv(i1 %cond, half %A, half %B) {
  %0:
    %C = select i1 %cond, half %B, half 15360
    %D = fdiv half %A, %C
    ret half %D
  }




Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D113442