David Green | ec8af0d | 2019-07-13 14:29:02 +0000 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| 2 | ; RUN: llc -mtriple=thumbv8.1m.main-arm-none-eabi -mattr=+mve,+fullfp16 -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-MVE |
| 3 | ; RUN: llc -mtriple=thumbv8.1m.main-arm-none-eabi -mattr=+mve.fp -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-MVEFP |
| 4 | |
David Green | 701bf71 | 2019-07-13 14:48:54 +0000 | [diff] [blame^] | 5 | define arm_aapcs_vfpcc <16 x i8> @smin_v16i8(<16 x i8> %s1, <16 x i8> %s2) { |
| 6 | ; CHECK-LABEL: smin_v16i8: |
| 7 | ; CHECK: @ %bb.0: @ %entry |
| 8 | ; CHECK-NEXT: vmin.s8 q0, q0, q1 |
| 9 | ; CHECK-NEXT: bx lr |
| 10 | entry: |
| 11 | %0 = icmp slt <16 x i8> %s1, %s2 |
| 12 | %1 = select <16 x i1> %0, <16 x i8> %s1, <16 x i8> %s2 |
| 13 | ret <16 x i8> %1 |
| 14 | } |
| 15 | |
| 16 | define arm_aapcs_vfpcc <8 x i16> @smin_v8i16(<8 x i16> %s1, <8 x i16> %s2) { |
| 17 | ; CHECK-LABEL: smin_v8i16: |
| 18 | ; CHECK: @ %bb.0: @ %entry |
| 19 | ; CHECK-NEXT: vmin.s16 q0, q0, q1 |
| 20 | ; CHECK-NEXT: bx lr |
| 21 | entry: |
| 22 | %0 = icmp slt <8 x i16> %s1, %s2 |
| 23 | %1 = select <8 x i1> %0, <8 x i16> %s1, <8 x i16> %s2 |
| 24 | ret <8 x i16> %1 |
| 25 | } |
| 26 | |
| 27 | define arm_aapcs_vfpcc <4 x i32> @smin_v4i32(<4 x i32> %s1, <4 x i32> %s2) { |
| 28 | ; CHECK-LABEL: smin_v4i32: |
| 29 | ; CHECK: @ %bb.0: @ %entry |
| 30 | ; CHECK-NEXT: vmin.s32 q0, q0, q1 |
| 31 | ; CHECK-NEXT: bx lr |
| 32 | entry: |
| 33 | %0 = icmp slt <4 x i32> %s1, %s2 |
| 34 | %1 = select <4 x i1> %0, <4 x i32> %s1, <4 x i32> %s2 |
| 35 | ret <4 x i32> %1 |
| 36 | } |
| 37 | |
| 38 | define arm_aapcs_vfpcc <16 x i8> @umin_v16i8(<16 x i8> %s1, <16 x i8> %s2) { |
| 39 | ; CHECK-LABEL: umin_v16i8: |
| 40 | ; CHECK: @ %bb.0: @ %entry |
| 41 | ; CHECK-NEXT: vmin.u8 q0, q0, q1 |
| 42 | ; CHECK-NEXT: bx lr |
| 43 | entry: |
| 44 | %0 = icmp ult <16 x i8> %s1, %s2 |
| 45 | %1 = select <16 x i1> %0, <16 x i8> %s1, <16 x i8> %s2 |
| 46 | ret <16 x i8> %1 |
| 47 | } |
| 48 | |
| 49 | define arm_aapcs_vfpcc <8 x i16> @umin_v8i16(<8 x i16> %s1, <8 x i16> %s2) { |
| 50 | ; CHECK-LABEL: umin_v8i16: |
| 51 | ; CHECK: @ %bb.0: @ %entry |
| 52 | ; CHECK-NEXT: vmin.u16 q0, q0, q1 |
| 53 | ; CHECK-NEXT: bx lr |
| 54 | entry: |
| 55 | %0 = icmp ult <8 x i16> %s1, %s2 |
| 56 | %1 = select <8 x i1> %0, <8 x i16> %s1, <8 x i16> %s2 |
| 57 | ret <8 x i16> %1 |
| 58 | } |
| 59 | |
| 60 | define arm_aapcs_vfpcc <4 x i32> @umin_v4i32(<4 x i32> %s1, <4 x i32> %s2) { |
| 61 | ; CHECK-LABEL: umin_v4i32: |
| 62 | ; CHECK: @ %bb.0: @ %entry |
| 63 | ; CHECK-NEXT: vmin.u32 q0, q0, q1 |
| 64 | ; CHECK-NEXT: bx lr |
| 65 | entry: |
| 66 | %0 = icmp ult <4 x i32> %s1, %s2 |
| 67 | %1 = select <4 x i1> %0, <4 x i32> %s1, <4 x i32> %s2 |
| 68 | ret <4 x i32> %1 |
| 69 | } |
| 70 | |
| 71 | |
| 72 | define arm_aapcs_vfpcc <16 x i8> @smax_v16i8(<16 x i8> %s1, <16 x i8> %s2) { |
| 73 | ; CHECK-LABEL: smax_v16i8: |
| 74 | ; CHECK: @ %bb.0: @ %entry |
| 75 | ; CHECK-NEXT: vmax.s8 q0, q0, q1 |
| 76 | ; CHECK-NEXT: bx lr |
| 77 | entry: |
| 78 | %0 = icmp sgt <16 x i8> %s1, %s2 |
| 79 | %1 = select <16 x i1> %0, <16 x i8> %s1, <16 x i8> %s2 |
| 80 | ret <16 x i8> %1 |
| 81 | } |
| 82 | |
| 83 | define arm_aapcs_vfpcc <8 x i16> @smax_v8i16(<8 x i16> %s1, <8 x i16> %s2) { |
| 84 | ; CHECK-LABEL: smax_v8i16: |
| 85 | ; CHECK: @ %bb.0: @ %entry |
| 86 | ; CHECK-NEXT: vmax.s16 q0, q0, q1 |
| 87 | ; CHECK-NEXT: bx lr |
| 88 | entry: |
| 89 | %0 = icmp sgt <8 x i16> %s1, %s2 |
| 90 | %1 = select <8 x i1> %0, <8 x i16> %s1, <8 x i16> %s2 |
| 91 | ret <8 x i16> %1 |
| 92 | } |
| 93 | |
| 94 | define arm_aapcs_vfpcc <4 x i32> @smax_v4i32(<4 x i32> %s1, <4 x i32> %s2) { |
| 95 | ; CHECK-LABEL: smax_v4i32: |
| 96 | ; CHECK: @ %bb.0: @ %entry |
| 97 | ; CHECK-NEXT: vmax.s32 q0, q0, q1 |
| 98 | ; CHECK-NEXT: bx lr |
| 99 | entry: |
| 100 | %0 = icmp sgt <4 x i32> %s1, %s2 |
| 101 | %1 = select <4 x i1> %0, <4 x i32> %s1, <4 x i32> %s2 |
| 102 | ret <4 x i32> %1 |
| 103 | } |
| 104 | |
| 105 | define arm_aapcs_vfpcc <16 x i8> @umax_v16i8(<16 x i8> %s1, <16 x i8> %s2) { |
| 106 | ; CHECK-LABEL: umax_v16i8: |
| 107 | ; CHECK: @ %bb.0: @ %entry |
| 108 | ; CHECK-NEXT: vmax.u8 q0, q0, q1 |
| 109 | ; CHECK-NEXT: bx lr |
| 110 | entry: |
| 111 | %0 = icmp ugt <16 x i8> %s1, %s2 |
| 112 | %1 = select <16 x i1> %0, <16 x i8> %s1, <16 x i8> %s2 |
| 113 | ret <16 x i8> %1 |
| 114 | } |
| 115 | |
| 116 | define arm_aapcs_vfpcc <8 x i16> @umax_v8i16(<8 x i16> %s1, <8 x i16> %s2) { |
| 117 | ; CHECK-LABEL: umax_v8i16: |
| 118 | ; CHECK: @ %bb.0: @ %entry |
| 119 | ; CHECK-NEXT: vmax.u16 q0, q0, q1 |
| 120 | ; CHECK-NEXT: bx lr |
| 121 | entry: |
| 122 | %0 = icmp ugt <8 x i16> %s1, %s2 |
| 123 | %1 = select <8 x i1> %0, <8 x i16> %s1, <8 x i16> %s2 |
| 124 | ret <8 x i16> %1 |
| 125 | } |
| 126 | |
| 127 | define arm_aapcs_vfpcc <4 x i32> @umax_v4i32(<4 x i32> %s1, <4 x i32> %s2) { |
| 128 | ; CHECK-LABEL: umax_v4i32: |
| 129 | ; CHECK: @ %bb.0: @ %entry |
| 130 | ; CHECK-NEXT: vmax.u32 q0, q0, q1 |
| 131 | ; CHECK-NEXT: bx lr |
| 132 | entry: |
| 133 | %0 = icmp ugt <4 x i32> %s1, %s2 |
| 134 | %1 = select <4 x i1> %0, <4 x i32> %s1, <4 x i32> %s2 |
| 135 | ret <4 x i32> %1 |
| 136 | } |
| 137 | |
| 138 | |
David Green | ec8af0d | 2019-07-13 14:29:02 +0000 | [diff] [blame] | 139 | define arm_aapcs_vfpcc <4 x float> @maxnm_float32_t(<4 x float> %src1, <4 x float> %src2) { |
| 140 | ; CHECK-MVE-LABEL: maxnm_float32_t: |
| 141 | ; CHECK-MVE: @ %bb.0: @ %entry |
| 142 | ; CHECK-MVE-NEXT: vmaxnm.f32 s11, s7, s3 |
| 143 | ; CHECK-MVE-NEXT: vmaxnm.f32 s10, s6, s2 |
| 144 | ; CHECK-MVE-NEXT: vmaxnm.f32 s9, s5, s1 |
| 145 | ; CHECK-MVE-NEXT: vmaxnm.f32 s8, s4, s0 |
| 146 | ; CHECK-MVE-NEXT: vmov q0, q2 |
| 147 | ; CHECK-MVE-NEXT: bx lr |
| 148 | ; |
| 149 | ; CHECK-MVEFP-LABEL: maxnm_float32_t: |
| 150 | ; CHECK-MVEFP: @ %bb.0: @ %entry |
| 151 | ; CHECK-MVEFP-NEXT: vmaxnm.f32 q0, q1, q0 |
| 152 | ; CHECK-MVEFP-NEXT: bx lr |
| 153 | entry: |
| 154 | %cmp = fcmp fast ogt <4 x float> %src2, %src1 |
| 155 | %0 = select <4 x i1> %cmp, <4 x float> %src2, <4 x float> %src1 |
| 156 | ret <4 x float> %0 |
| 157 | } |
| 158 | |
| 159 | define arm_aapcs_vfpcc <8 x half> @minnm_float16_t(<8 x half> %src1, <8 x half> %src2) { |
| 160 | ; CHECK-MVE-LABEL: minnm_float16_t: |
| 161 | ; CHECK-MVE: @ %bb.0: @ %entry |
| 162 | ; CHECK-MVE-NEXT: vmov.u16 r0, q0[0] |
| 163 | ; CHECK-MVE-NEXT: vmov.u16 r1, q0[1] |
| 164 | ; CHECK-MVE-NEXT: vmov s8, r0 |
| 165 | ; CHECK-MVE-NEXT: vmov.u16 r0, q1[0] |
| 166 | ; CHECK-MVE-NEXT: vmov s10, r0 |
| 167 | ; CHECK-MVE-NEXT: vmov.u16 r2, q1[1] |
| 168 | ; CHECK-MVE-NEXT: vminnm.f16 s8, s10, s8 |
| 169 | ; CHECK-MVE-NEXT: vmov s10, r2 |
| 170 | ; CHECK-MVE-NEXT: vmov r0, s8 |
| 171 | ; CHECK-MVE-NEXT: vmov s8, r1 |
| 172 | ; CHECK-MVE-NEXT: vminnm.f16 s8, s10, s8 |
| 173 | ; CHECK-MVE-NEXT: vmov r1, s8 |
| 174 | ; CHECK-MVE-NEXT: vmov.16 q2[0], r0 |
| 175 | ; CHECK-MVE-NEXT: vmov.u16 r0, q0[2] |
| 176 | ; CHECK-MVE-NEXT: vmov.16 q2[1], r1 |
| 177 | ; CHECK-MVE-NEXT: vmov s12, r0 |
| 178 | ; CHECK-MVE-NEXT: vmov.u16 r0, q1[2] |
| 179 | ; CHECK-MVE-NEXT: vmov s14, r0 |
| 180 | ; CHECK-MVE-NEXT: vminnm.f16 s12, s14, s12 |
| 181 | ; CHECK-MVE-NEXT: vmov r0, s12 |
| 182 | ; CHECK-MVE-NEXT: vmov.16 q2[2], r0 |
| 183 | ; CHECK-MVE-NEXT: vmov.u16 r0, q0[3] |
| 184 | ; CHECK-MVE-NEXT: vmov s12, r0 |
| 185 | ; CHECK-MVE-NEXT: vmov.u16 r0, q1[3] |
| 186 | ; CHECK-MVE-NEXT: vmov s14, r0 |
| 187 | ; CHECK-MVE-NEXT: vminnm.f16 s12, s14, s12 |
| 188 | ; CHECK-MVE-NEXT: vmov r0, s12 |
| 189 | ; CHECK-MVE-NEXT: vmov.16 q2[3], r0 |
| 190 | ; CHECK-MVE-NEXT: vmov.u16 r0, q0[4] |
| 191 | ; CHECK-MVE-NEXT: vmov s12, r0 |
| 192 | ; CHECK-MVE-NEXT: vmov.u16 r0, q1[4] |
| 193 | ; CHECK-MVE-NEXT: vmov s14, r0 |
| 194 | ; CHECK-MVE-NEXT: vminnm.f16 s12, s14, s12 |
| 195 | ; CHECK-MVE-NEXT: vmov r0, s12 |
| 196 | ; CHECK-MVE-NEXT: vmov.16 q2[4], r0 |
| 197 | ; CHECK-MVE-NEXT: vmov.u16 r0, q0[5] |
| 198 | ; CHECK-MVE-NEXT: vmov s12, r0 |
| 199 | ; CHECK-MVE-NEXT: vmov.u16 r0, q1[5] |
| 200 | ; CHECK-MVE-NEXT: vmov s14, r0 |
| 201 | ; CHECK-MVE-NEXT: vminnm.f16 s12, s14, s12 |
| 202 | ; CHECK-MVE-NEXT: vmov r0, s12 |
| 203 | ; CHECK-MVE-NEXT: vmov.16 q2[5], r0 |
| 204 | ; CHECK-MVE-NEXT: vmov.u16 r0, q0[6] |
| 205 | ; CHECK-MVE-NEXT: vmov s12, r0 |
| 206 | ; CHECK-MVE-NEXT: vmov.u16 r0, q1[6] |
| 207 | ; CHECK-MVE-NEXT: vmov s14, r0 |
| 208 | ; CHECK-MVE-NEXT: vminnm.f16 s12, s14, s12 |
| 209 | ; CHECK-MVE-NEXT: vmov r0, s12 |
| 210 | ; CHECK-MVE-NEXT: vmov.16 q2[6], r0 |
| 211 | ; CHECK-MVE-NEXT: vmov.u16 r0, q0[7] |
| 212 | ; CHECK-MVE-NEXT: vmov s0, r0 |
| 213 | ; CHECK-MVE-NEXT: vmov.u16 r0, q1[7] |
| 214 | ; CHECK-MVE-NEXT: vmov s2, r0 |
| 215 | ; CHECK-MVE-NEXT: vminnm.f16 s0, s2, s0 |
| 216 | ; CHECK-MVE-NEXT: vmov r0, s0 |
| 217 | ; CHECK-MVE-NEXT: vmov.16 q2[7], r0 |
| 218 | ; CHECK-MVE-NEXT: vmov q0, q2 |
| 219 | ; CHECK-MVE-NEXT: bx lr |
| 220 | ; |
| 221 | ; CHECK-MVEFP-LABEL: minnm_float16_t: |
| 222 | ; CHECK-MVEFP: @ %bb.0: @ %entry |
| 223 | ; CHECK-MVEFP-NEXT: vminnm.f16 q0, q1, q0 |
| 224 | ; CHECK-MVEFP-NEXT: bx lr |
| 225 | entry: |
| 226 | %cmp = fcmp fast ogt <8 x half> %src2, %src1 |
| 227 | %0 = select <8 x i1> %cmp, <8 x half> %src1, <8 x half> %src2 |
| 228 | ret <8 x half> %0 |
| 229 | } |