| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s |
| ; RUN: llc < %s -mtriple=ve-unknown-unknown -enable-no-signed-zeros-fp-math \ |
| ; RUN: -enable-no-nans-fp-math | FileCheck %s -check-prefix=OPT |
| |
| define double @maxf64(double, double) { |
| ; CHECK-LABEL: maxf64: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: fcmp.d %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.d.gt %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxf64: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: fmax.d %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = fcmp ogt double %0, %1 |
| %4 = select i1 %3, double %0, double %1 |
| ret double %4 |
| } |
| |
| define double @max2f64(double, double) { |
| ; CHECK-LABEL: max2f64: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: fcmp.d %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.d.ge %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: max2f64: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: fmax.d %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = fcmp oge double %0, %1 |
| %4 = select i1 %3, double %0, double %1 |
| ret double %4 |
| } |
| |
| ; VE has no max for unordered comparison |
| define double @maxuf64(double, double) { |
| ; CHECK-LABEL: maxuf64: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: fcmp.d %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.d.gtnan %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxuf64: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: fmax.d %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = fcmp ugt double %0, %1 |
| %4 = select i1 %3, double %0, double %1 |
| ret double %4 |
| } |
| |
| ; VE has no max for unordered comparison |
| define double @max2uf64(double, double) { |
| ; CHECK-LABEL: max2uf64: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: fcmp.d %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.d.genan %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: max2uf64: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: fmax.d %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = fcmp uge double %0, %1 |
| %4 = select i1 %3, double %0, double %1 |
| ret double %4 |
| } |
| |
| define float @maxf32(float, float) { |
| ; CHECK-LABEL: maxf32: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: fcmp.s %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.s.gt %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxf32: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: fmax.s %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = fcmp ogt float %0, %1 |
| %4 = select i1 %3, float %0, float %1 |
| ret float %4 |
| } |
| |
| define float @max2f32(float, float) { |
| ; CHECK-LABEL: max2f32: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: fcmp.s %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.s.ge %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: max2f32: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: fmax.s %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = fcmp oge float %0, %1 |
| %4 = select i1 %3, float %0, float %1 |
| ret float %4 |
| } |
| |
| define float @maxuf32(float, float) { |
| ; CHECK-LABEL: maxuf32: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: fcmp.s %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.s.gtnan %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxuf32: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: fmax.s %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = fcmp ugt float %0, %1 |
| %4 = select i1 %3, float %0, float %1 |
| ret float %4 |
| } |
| |
| define float @max2uf32(float, float) { |
| ; CHECK-LABEL: max2uf32: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: fcmp.s %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.s.genan %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: max2uf32: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: fmax.s %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = fcmp uge float %0, %1 |
| %4 = select i1 %3, float %0, float %1 |
| ret float %4 |
| } |
| |
| define i64 @maxi64(i64, i64) { |
| ; CHECK-LABEL: maxi64: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: maxs.l %s0, %s0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxi64: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: maxs.l %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = icmp sgt i64 %0, %1 |
| %4 = select i1 %3, i64 %0, i64 %1 |
| ret i64 %4 |
| } |
| |
| define i64 @max2i64(i64, i64) { |
| ; CHECK-LABEL: max2i64: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: maxs.l %s0, %s0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: max2i64: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: maxs.l %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = icmp sge i64 %0, %1 |
| %4 = select i1 %3, i64 %0, i64 %1 |
| ret i64 %4 |
| } |
| |
| define i64 @maxu64(i64, i64) { |
| ; CHECK-LABEL: maxu64: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: cmpu.l %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.l.gt %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxu64: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: cmpu.l %s2, %s0, %s1 |
| ; OPT-NEXT: cmov.l.gt %s1, %s0, %s2 |
| ; OPT-NEXT: or %s0, 0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = icmp ugt i64 %0, %1 |
| %4 = select i1 %3, i64 %0, i64 %1 |
| ret i64 %4 |
| } |
| |
| define i64 @max2u64(i64, i64) { |
| ; CHECK-LABEL: max2u64: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: cmpu.l %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.l.ge %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: max2u64: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: cmpu.l %s2, %s0, %s1 |
| ; OPT-NEXT: cmov.l.ge %s1, %s0, %s2 |
| ; OPT-NEXT: or %s0, 0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = icmp uge i64 %0, %1 |
| %4 = select i1 %3, i64 %0, i64 %1 |
| ret i64 %4 |
| } |
| |
| define i32 @maxi32(i32, i32) { |
| ; CHECK-LABEL: maxi32: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: maxs.w.sx %s0, %s0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxi32: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: maxs.w.sx %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = icmp sgt i32 %0, %1 |
| %4 = select i1 %3, i32 %0, i32 %1 |
| ret i32 %4 |
| } |
| |
| define i32 @max2i32(i32, i32) { |
| ; CHECK-LABEL: max2i32: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: maxs.w.sx %s0, %s0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: max2i32: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: maxs.w.sx %s0, %s0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = icmp sge i32 %0, %1 |
| %4 = select i1 %3, i32 %0, i32 %1 |
| ret i32 %4 |
| } |
| |
| define i32 @maxu32(i32, i32) { |
| ; CHECK-LABEL: maxu32: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: cmpu.w %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.w.gt %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxu32: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: cmpu.w %s2, %s0, %s1 |
| ; OPT-NEXT: cmov.w.gt %s1, %s0, %s2 |
| ; OPT-NEXT: or %s0, 0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = icmp ugt i32 %0, %1 |
| %4 = select i1 %3, i32 %0, i32 %1 |
| ret i32 %4 |
| } |
| |
| define i32 @max2u32(i32, i32) { |
| ; CHECK-LABEL: max2u32: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: cmpu.w %s2, %s0, %s1 |
| ; CHECK-NEXT: cmov.w.ge %s1, %s0, %s2 |
| ; CHECK-NEXT: or %s0, 0, %s1 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: max2u32: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: cmpu.w %s2, %s0, %s1 |
| ; OPT-NEXT: cmov.w.ge %s1, %s0, %s2 |
| ; OPT-NEXT: or %s0, 0, %s1 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = icmp uge i32 %0, %1 |
| %4 = select i1 %3, i32 %0, i32 %1 |
| ret i32 %4 |
| } |
| |
| define zeroext i1 @maxi1(i1 zeroext, i1 zeroext) { |
| ; CHECK-LABEL: maxi1: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: or %s0, %s0, %s1 |
| ; CHECK-NEXT: and %s0, 1, %s0 |
| ; CHECK-NEXT: b.l.t (, %s10) |
| ; |
| ; OPT-LABEL: maxi1: |
| ; OPT: # %bb.0: |
| ; OPT-NEXT: or %s0, %s0, %s1 |
| ; OPT-NEXT: and %s0, 1, %s0 |
| ; OPT-NEXT: b.l.t (, %s10) |
| %3 = xor i1 %1, true |
| %4 = and i1 %3, %0 |
| %5 = select i1 %4, i1 %0, i1 %1 |
| ret i1 %5 |
| } |