1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 ; x != y ? x : y -> x if it's the right kind of != and at least 4 ; one of x and y is not negative zero. 5 6 ; CHECK: f0 7 ; CHECK: ret double %x 8 define double @f0(double %x) nounwind readnone { 9 entry: 10 %cmp = fcmp une double %x, -1.0 11 %cond = select i1 %cmp, double %x, double -1.0 12 ret double %cond 13 } 14 ; CHECK: f1 15 ; CHECK: ret double -1.000000e+00 16 define double @f1(double %x) nounwind readnone { 17 entry: 18 %cmp = fcmp une double %x, -1.0 19 %cond = select i1 %cmp, double -1.0, double %x 20 ret double %cond 21 } 22 ; CHECK: f2 23 ; CHECK: ret double %cond 24 define double @f2(double %x, double %y) nounwind readnone { 25 entry: 26 %cmp = fcmp une double %x, %y 27 %cond = select i1 %cmp, double %x, double %y 28 ret double %cond 29 } 30 ; CHECK: f3 31 ; CHECK: ret double %cond 32 define double @f3(double %x, double %y) nounwind readnone { 33 entry: 34 %cmp = fcmp une double %x, %y 35 %cond = select i1 %cmp, double %y, double %x 36 ret double %cond 37 } 38 ; CHECK: f4 39 ; CHECK: ret double %cond 40 define double @f4(double %x) nounwind readnone { 41 entry: 42 %cmp = fcmp one double %x, -1.0 43 %cond = select i1 %cmp, double %x, double -1.0 44 ret double %cond 45 } 46 ; CHECK: f5 47 ; CHECK: ret double %cond 48 define double @f5(double %x) nounwind readnone { 49 entry: 50 %cmp = fcmp one double %x, -1.0 51 %cond = select i1 %cmp, double -1.0, double %x 52 ret double %cond 53 } 54
