1 ; RUN: llc < %s -march=x86-64 | FileCheck %s
5 define double @clampTo3k_a(double %x) nounwind readnone {
7 %0 = fcmp ogt double %x, 3.000000e+03 ; <i1> [#uses=1]
8 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1]
14 define double @clampTo3k_b(double %x) nounwind readnone {
16 %0 = fcmp uge double %x, 3.000000e+03 ; <i1> [#uses=1]
17 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1]
23 define double @clampTo3k_c(double %x) nounwind readnone {
25 %0 = fcmp olt double %x, 3.000000e+03 ; <i1> [#uses=1]
26 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1]
32 define double @clampTo3k_d(double %x) nounwind readnone {
34 %0 = fcmp ule double %x, 3.000000e+03 ; <i1> [#uses=1]
35 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1]
41 define double @clampTo3k_e(double %x) nounwind readnone {
43 %0 = fcmp olt double %x, 3.000000e+03 ; <i1> [#uses=1]
44 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1]
50 define double @clampTo3k_f(double %x) nounwind readnone {
52 %0 = fcmp ule double %x, 3.000000e+03 ; <i1> [#uses=1]
53 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1]
59 define double @clampTo3k_g(double %x) nounwind readnone {
61 %0 = fcmp ogt double %x, 3.000000e+03 ; <i1> [#uses=1]
62 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1]
68 define double @clampTo3k_h(double %x) nounwind readnone {
70 %0 = fcmp uge double %x, 3.000000e+03 ; <i1> [#uses=1]
71 %x_addr.0 = select i1 %0, double 3.000000e+03, double %x ; <double> [#uses=1]