|
| 1 | +// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5 |
| 2 | +// RUN: %clang_cc1 -x c++ -std=c++20 -disable-llvm-passes -O3 -triple x86_64 %s -emit-llvm -o - | FileCheck %s --check-prefix=CHECK |
| 3 | + |
| 4 | +typedef _Float16 half8 __attribute__((ext_vector_type(8))); |
| 5 | +typedef __bf16 bf16x8 __attribute__((ext_vector_type(8))); |
| 6 | +typedef float float4 __attribute__((ext_vector_type(4))); |
| 7 | +typedef double double2 __attribute__((ext_vector_type(2))); |
| 8 | +typedef long double ldouble2 __attribute__((ext_vector_type(2))); |
| 9 | + |
| 10 | +// CHECK-LABEL: define dso_local noundef <8 x half> @_Z7pfmin16Dv8_DF16_S_( |
| 11 | +// CHECK-SAME: <8 x half> noundef [[A:%.*]], <8 x half> noundef [[B:%.*]]) #[[ATTR0:[0-9]+]] { |
| 12 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 13 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <8 x half>, align 16 |
| 14 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <8 x half>, align 16 |
| 15 | +// CHECK-NEXT: store <8 x half> [[A]], ptr [[A_ADDR]], align 16, !tbaa [[TBAA2:![0-9]+]] |
| 16 | +// CHECK-NEXT: store <8 x half> [[B]], ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 17 | +// CHECK-NEXT: [[TMP0:%.*]] = load <8 x half>, ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 18 | +// CHECK-NEXT: [[TMP1:%.*]] = load <8 x half>, ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 19 | +// CHECK-NEXT: [[ELT_MINNUM:%.*]] = call <8 x half> @llvm.minnum.v8f16(<8 x half> [[TMP0]], <8 x half> [[TMP1]]) |
| 20 | +// CHECK-NEXT: ret <8 x half> [[ELT_MINNUM]] |
| 21 | +// |
| 22 | +half8 pfmin16(half8 a, half8 b) { |
| 23 | + return __builtin_elementwise_minnum(a, b); |
| 24 | +} |
| 25 | +// CHECK-LABEL: define dso_local noundef <8 x bfloat> @_Z8pfmin16bDv8_DF16bS_( |
| 26 | +// CHECK-SAME: <8 x bfloat> noundef [[A:%.*]], <8 x bfloat> noundef [[B:%.*]]) #[[ATTR0]] { |
| 27 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 28 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <8 x bfloat>, align 16 |
| 29 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <8 x bfloat>, align 16 |
| 30 | +// CHECK-NEXT: store <8 x bfloat> [[A]], ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 31 | +// CHECK-NEXT: store <8 x bfloat> [[B]], ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 32 | +// CHECK-NEXT: [[TMP0:%.*]] = load <8 x bfloat>, ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 33 | +// CHECK-NEXT: [[TMP1:%.*]] = load <8 x bfloat>, ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 34 | +// CHECK-NEXT: [[ELT_MINNUM:%.*]] = call <8 x bfloat> @llvm.minnum.v8bf16(<8 x bfloat> [[TMP0]], <8 x bfloat> [[TMP1]]) |
| 35 | +// CHECK-NEXT: ret <8 x bfloat> [[ELT_MINNUM]] |
| 36 | +// |
| 37 | +bf16x8 pfmin16b(bf16x8 a, bf16x8 b) { |
| 38 | + return __builtin_elementwise_minnum(a, b); |
| 39 | +} |
| 40 | +// CHECK-LABEL: define dso_local noundef <4 x float> @_Z7pfmin32Dv4_fS_( |
| 41 | +// CHECK-SAME: <4 x float> noundef [[A:%.*]], <4 x float> noundef [[B:%.*]]) #[[ATTR0]] { |
| 42 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 43 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <4 x float>, align 16 |
| 44 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <4 x float>, align 16 |
| 45 | +// CHECK-NEXT: store <4 x float> [[A]], ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 46 | +// CHECK-NEXT: store <4 x float> [[B]], ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 47 | +// CHECK-NEXT: [[TMP0:%.*]] = load <4 x float>, ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 48 | +// CHECK-NEXT: [[TMP1:%.*]] = load <4 x float>, ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 49 | +// CHECK-NEXT: [[ELT_MINNUM:%.*]] = call <4 x float> @llvm.minnum.v4f32(<4 x float> [[TMP0]], <4 x float> [[TMP1]]) |
| 50 | +// CHECK-NEXT: ret <4 x float> [[ELT_MINNUM]] |
| 51 | +// |
| 52 | +float4 pfmin32(float4 a, float4 b) { |
| 53 | + return __builtin_elementwise_minnum(a, b); |
| 54 | +} |
| 55 | +// CHECK-LABEL: define dso_local noundef <2 x double> @_Z7pfmin64Dv2_dS_( |
| 56 | +// CHECK-SAME: <2 x double> noundef [[A:%.*]], <2 x double> noundef [[B:%.*]]) #[[ATTR0]] { |
| 57 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 58 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <2 x double>, align 16 |
| 59 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <2 x double>, align 16 |
| 60 | +// CHECK-NEXT: store <2 x double> [[A]], ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 61 | +// CHECK-NEXT: store <2 x double> [[B]], ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 62 | +// CHECK-NEXT: [[TMP0:%.*]] = load <2 x double>, ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 63 | +// CHECK-NEXT: [[TMP1:%.*]] = load <2 x double>, ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 64 | +// CHECK-NEXT: [[ELT_MINNUM:%.*]] = call <2 x double> @llvm.minnum.v2f64(<2 x double> [[TMP0]], <2 x double> [[TMP1]]) |
| 65 | +// CHECK-NEXT: ret <2 x double> [[ELT_MINNUM]] |
| 66 | +// |
| 67 | +double2 pfmin64(double2 a, double2 b) { |
| 68 | + return __builtin_elementwise_minnum(a, b); |
| 69 | +} |
| 70 | +// CHECK-LABEL: define dso_local noundef <2 x x86_fp80> @_Z7pfmin80Dv2_eS_( |
| 71 | +// CHECK-SAME: ptr noundef byval(<2 x x86_fp80>) align 32 [[TMP0:%.*]], ptr noundef byval(<2 x x86_fp80>) align 32 [[TMP1:%.*]]) #[[ATTR2:[0-9]+]] { |
| 72 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 73 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <2 x x86_fp80>, align 32 |
| 74 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <2 x x86_fp80>, align 32 |
| 75 | +// CHECK-NEXT: [[A:%.*]] = load <2 x x86_fp80>, ptr [[TMP0]], align 32, !tbaa [[TBAA2]] |
| 76 | +// CHECK-NEXT: [[B:%.*]] = load <2 x x86_fp80>, ptr [[TMP1]], align 32, !tbaa [[TBAA2]] |
| 77 | +// CHECK-NEXT: store <2 x x86_fp80> [[A]], ptr [[A_ADDR]], align 32, !tbaa [[TBAA2]] |
| 78 | +// CHECK-NEXT: store <2 x x86_fp80> [[B]], ptr [[B_ADDR]], align 32, !tbaa [[TBAA2]] |
| 79 | +// CHECK-NEXT: [[TMP2:%.*]] = load <2 x x86_fp80>, ptr [[A_ADDR]], align 32, !tbaa [[TBAA2]] |
| 80 | +// CHECK-NEXT: [[TMP3:%.*]] = load <2 x x86_fp80>, ptr [[B_ADDR]], align 32, !tbaa [[TBAA2]] |
| 81 | +// CHECK-NEXT: [[ELT_MINNUM:%.*]] = call <2 x x86_fp80> @llvm.minnum.v2f80(<2 x x86_fp80> [[TMP2]], <2 x x86_fp80> [[TMP3]]) |
| 82 | +// CHECK-NEXT: ret <2 x x86_fp80> [[ELT_MINNUM]] |
| 83 | +// |
| 84 | +ldouble2 pfmin80(ldouble2 a, ldouble2 b) { |
| 85 | + return __builtin_elementwise_minnum(a, b); |
| 86 | +} |
| 87 | + |
| 88 | +// CHECK-LABEL: define dso_local noundef <8 x half> @_Z7pfmax16Dv8_DF16_S_( |
| 89 | +// CHECK-SAME: <8 x half> noundef [[A:%.*]], <8 x half> noundef [[B:%.*]]) #[[ATTR0]] { |
| 90 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 91 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <8 x half>, align 16 |
| 92 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <8 x half>, align 16 |
| 93 | +// CHECK-NEXT: store <8 x half> [[A]], ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 94 | +// CHECK-NEXT: store <8 x half> [[B]], ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 95 | +// CHECK-NEXT: [[TMP0:%.*]] = load <8 x half>, ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 96 | +// CHECK-NEXT: [[TMP1:%.*]] = load <8 x half>, ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 97 | +// CHECK-NEXT: [[ELT_MAXNUM:%.*]] = call <8 x half> @llvm.maxnum.v8f16(<8 x half> [[TMP0]], <8 x half> [[TMP1]]) |
| 98 | +// CHECK-NEXT: ret <8 x half> [[ELT_MAXNUM]] |
| 99 | +// |
| 100 | +half8 pfmax16(half8 a, half8 b) { |
| 101 | + return __builtin_elementwise_maxnum(a, b); |
| 102 | +} |
| 103 | +// CHECK-LABEL: define dso_local noundef <8 x bfloat> @_Z8pfmax16bDv8_DF16bS_( |
| 104 | +// CHECK-SAME: <8 x bfloat> noundef [[A:%.*]], <8 x bfloat> noundef [[B:%.*]]) #[[ATTR0]] { |
| 105 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 106 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <8 x bfloat>, align 16 |
| 107 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <8 x bfloat>, align 16 |
| 108 | +// CHECK-NEXT: store <8 x bfloat> [[A]], ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 109 | +// CHECK-NEXT: store <8 x bfloat> [[B]], ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 110 | +// CHECK-NEXT: [[TMP0:%.*]] = load <8 x bfloat>, ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 111 | +// CHECK-NEXT: [[TMP1:%.*]] = load <8 x bfloat>, ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 112 | +// CHECK-NEXT: [[ELT_MAXNUM:%.*]] = call <8 x bfloat> @llvm.maxnum.v8bf16(<8 x bfloat> [[TMP0]], <8 x bfloat> [[TMP1]]) |
| 113 | +// CHECK-NEXT: ret <8 x bfloat> [[ELT_MAXNUM]] |
| 114 | +// |
| 115 | +bf16x8 pfmax16b(bf16x8 a, bf16x8 b) { |
| 116 | + return __builtin_elementwise_maxnum(a, b); |
| 117 | +} |
| 118 | +// CHECK-LABEL: define dso_local noundef <4 x float> @_Z7pfmax32Dv4_fS_( |
| 119 | +// CHECK-SAME: <4 x float> noundef [[A:%.*]], <4 x float> noundef [[B:%.*]]) #[[ATTR0]] { |
| 120 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 121 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <4 x float>, align 16 |
| 122 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <4 x float>, align 16 |
| 123 | +// CHECK-NEXT: store <4 x float> [[A]], ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 124 | +// CHECK-NEXT: store <4 x float> [[B]], ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 125 | +// CHECK-NEXT: [[TMP0:%.*]] = load <4 x float>, ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 126 | +// CHECK-NEXT: [[TMP1:%.*]] = load <4 x float>, ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 127 | +// CHECK-NEXT: [[ELT_MAXNUM:%.*]] = call <4 x float> @llvm.maxnum.v4f32(<4 x float> [[TMP0]], <4 x float> [[TMP1]]) |
| 128 | +// CHECK-NEXT: ret <4 x float> [[ELT_MAXNUM]] |
| 129 | +// |
| 130 | +float4 pfmax32(float4 a, float4 b) { |
| 131 | + return __builtin_elementwise_maxnum(a, b); |
| 132 | +} |
| 133 | +// CHECK-LABEL: define dso_local noundef <2 x double> @_Z7pfmax64Dv2_dS_( |
| 134 | +// CHECK-SAME: <2 x double> noundef [[A:%.*]], <2 x double> noundef [[B:%.*]]) #[[ATTR0]] { |
| 135 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 136 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <2 x double>, align 16 |
| 137 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <2 x double>, align 16 |
| 138 | +// CHECK-NEXT: store <2 x double> [[A]], ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 139 | +// CHECK-NEXT: store <2 x double> [[B]], ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 140 | +// CHECK-NEXT: [[TMP0:%.*]] = load <2 x double>, ptr [[A_ADDR]], align 16, !tbaa [[TBAA2]] |
| 141 | +// CHECK-NEXT: [[TMP1:%.*]] = load <2 x double>, ptr [[B_ADDR]], align 16, !tbaa [[TBAA2]] |
| 142 | +// CHECK-NEXT: [[ELT_MAXNUM:%.*]] = call <2 x double> @llvm.maxnum.v2f64(<2 x double> [[TMP0]], <2 x double> [[TMP1]]) |
| 143 | +// CHECK-NEXT: ret <2 x double> [[ELT_MAXNUM]] |
| 144 | +// |
| 145 | +double2 pfmax64(double2 a, double2 b) { |
| 146 | + return __builtin_elementwise_maxnum(a, b); |
| 147 | +} |
| 148 | + |
| 149 | +// CHECK-LABEL: define dso_local noundef <2 x x86_fp80> @_Z7pfmax80Dv2_eS_( |
| 150 | +// CHECK-SAME: ptr noundef byval(<2 x x86_fp80>) align 32 [[TMP0:%.*]], ptr noundef byval(<2 x x86_fp80>) align 32 [[TMP1:%.*]]) #[[ATTR2]] { |
| 151 | +// CHECK-NEXT: [[ENTRY:.*:]] |
| 152 | +// CHECK-NEXT: [[A_ADDR:%.*]] = alloca <2 x x86_fp80>, align 32 |
| 153 | +// CHECK-NEXT: [[B_ADDR:%.*]] = alloca <2 x x86_fp80>, align 32 |
| 154 | +// CHECK-NEXT: [[A:%.*]] = load <2 x x86_fp80>, ptr [[TMP0]], align 32, !tbaa [[TBAA2]] |
| 155 | +// CHECK-NEXT: [[B:%.*]] = load <2 x x86_fp80>, ptr [[TMP1]], align 32, !tbaa [[TBAA2]] |
| 156 | +// CHECK-NEXT: store <2 x x86_fp80> [[A]], ptr [[A_ADDR]], align 32, !tbaa [[TBAA2]] |
| 157 | +// CHECK-NEXT: store <2 x x86_fp80> [[B]], ptr [[B_ADDR]], align 32, !tbaa [[TBAA2]] |
| 158 | +// CHECK-NEXT: [[TMP2:%.*]] = load <2 x x86_fp80>, ptr [[A_ADDR]], align 32, !tbaa [[TBAA2]] |
| 159 | +// CHECK-NEXT: [[TMP3:%.*]] = load <2 x x86_fp80>, ptr [[B_ADDR]], align 32, !tbaa [[TBAA2]] |
| 160 | +// CHECK-NEXT: [[ELT_MINNUM:%.*]] = call <2 x x86_fp80> @llvm.minnum.v2f80(<2 x x86_fp80> [[TMP2]], <2 x x86_fp80> [[TMP3]]) |
| 161 | +// CHECK-NEXT: ret <2 x x86_fp80> [[ELT_MINNUM]] |
| 162 | +// |
| 163 | +ldouble2 pfmax80(ldouble2 a, ldouble2 b) { |
| 164 | + return __builtin_elementwise_minnum(a, b); |
| 165 | +} |
| 166 | + |
| 167 | +//. |
| 168 | +// CHECK: [[TBAA2]] = !{[[META3:![0-9]+]], [[META3]], i64 0} |
| 169 | +// CHECK: [[META3]] = !{!"omnipotent char", [[META4:![0-9]+]], i64 0} |
| 170 | +// CHECK: [[META4]] = !{!"Simple C++ TBAA"} |
| 171 | +//. |
0 commit comments