1 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 | FileCheck %s
2 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -enable-no-infs-fp-math -enable-no-nans-fp-math | FileCheck -check-prefix=CHECK-FM %s
3 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
4 target triple = "powerpc64-unknown-linux-gnu"
6 define double @zerocmp1(double %a, double %y, double %z) #0 {
8 %cmp = fcmp ult double %a, 0.000000e+00
9 %z.y = select i1 %cmp, double %z, double %y
17 ; CHECK-FM: fsel 1, 1, 2, 3
21 define double @zerocmp2(double %a, double %y, double %z) #0 {
23 %cmp = fcmp ogt double %a, 0.000000e+00
24 %y.z = select i1 %cmp, double %y, double %z
32 ; CHECK-FM: fneg [[REG:[0-9]+]], 1
33 ; CHECK-FM: fsel 1, [[REG]], 3, 2
37 define double @zerocmp3(double %a, double %y, double %z) #0 {
39 %cmp = fcmp oeq double %a, 0.000000e+00
40 %y.z = select i1 %cmp, double %y, double %z
48 ; CHECK-FM: fsel [[REG:[0-9]+]], 1, 2, 3
49 ; CHECK-FM: fneg [[REG2:[0-9]+]], 1
50 ; CHECK-FM: fsel 1, [[REG2]], [[REG]], 3
54 define double @min1(double %a, double %b) #0 {
56 %cmp = fcmp ole double %a, %b
57 %cond = select i1 %cmp, double %a, double %b
65 ; CHECK-FM: fsub [[REG:[0-9]+]], 2, 1
66 ; CHECK-FM: fsel 1, [[REG]], 1, 2
70 define double @max1(double %a, double %b) #0 {
72 %cmp = fcmp oge double %a, %b
73 %cond = select i1 %cmp, double %a, double %b
81 ; CHECK-FM: fsub [[REG:[0-9]+]], 1, 2
82 ; CHECK-FM: fsel 1, [[REG]], 1, 2
86 define double @cmp1(double %a, double %b, double %y, double %z) #0 {
88 %cmp = fcmp ult double %a, %b
89 %z.y = select i1 %cmp, double %z, double %y
97 ; CHECK-FM: fsub [[REG:[0-9]+]], 1, 2
98 ; CHECK-FM: fsel 1, [[REG]], 3, 4
102 define double @cmp2(double %a, double %b, double %y, double %z) #0 {
104 %cmp = fcmp ogt double %a, %b
105 %y.z = select i1 %cmp, double %y, double %z
113 ; CHECK-FM: fsub [[REG:[0-9]+]], 2, 1
114 ; CHECK-FM: fsel 1, [[REG]], 4, 3
118 define double @cmp3(double %a, double %b, double %y, double %z) #0 {
120 %cmp = fcmp oeq double %a, %b
121 %y.z = select i1 %cmp, double %y, double %z
129 ; CHECK-FM: fsub [[REG:[0-9]+]], 1, 2
130 ; CHECK-FM: fsel [[REG2:[0-9]+]], [[REG]], 3, 4
131 ; CHECK-FM: fneg [[REG3:[0-9]+]], [[REG]]
132 ; CHECK-FM: fsel 1, [[REG3]], [[REG2]], 4
136 attributes #0 = { nounwind readnone }