1 // REQUIRES: powerpc-registered-target 2 // RUN: %clang_cc1 -triple powerpc64le-gnu-linux -target-feature +vsx \ 3 // RUN: -emit-llvm %s -o - | FileCheck --check-prefix=CHECK-UNCONSTRAINED %s 4 // RUN: %clang_cc1 -triple powerpc64le-gnu-linux -target-feature +vsx \ 5 // RUN: -ffp-exception-behavior=strict -emit-llvm %s -o - | FileCheck \ 6 // RUN: --check-prefix=CHECK-CONSTRAINED -vv %s 7 // RUN: %clang_cc1 -triple powerpc64le-gnu-linux -target-feature +vsx \ 8 // RUN: -fallow-half-arguments-and-returns -S -o - %s | \ 9 // RUN: FileCheck --check-prefix=CHECK-ASM --check-prefix=NOT-FIXME-CHECK %s 10 // RUN: %clang_cc1 -triple powerpc64le-gnu-linux -target-feature +vsx \ 11 // RUN: -fallow-half-arguments-and-returns -S -ffp-exception-behavior=strict \ 12 // RUN: -o - %s | FileCheck --check-prefix=CHECK-ASM \ 13 // RUN: --check-prefix=FIXME-CHECK %s 14 // RUN: %clang_cc1 -triple powerpcspe -S -ffp-exception-behavior=strict \ 15 // RUN: -target-feature +spe -fexperimental-strict-floating-point -emit-llvm \ 16 // RUN: %s -o - | FileCheck --check-prefix=CHECK-CONSTRAINED %s 17 18 typedef __attribute__((vector_size(4 * sizeof(float)))) float vec_float; 19 typedef __attribute__((vector_size(2 * sizeof(double)))) double vec_double; 20 21 volatile vec_double vd; 22 volatile vec_float vf; 23 24 void test_float(void) { 25 vf = __builtin_vsx_xvsqrtsp(vf); 26 // CHECK-LABEL: try-xvsqrtsp 27 // CHECK-UNCONSTRAINED: @llvm.sqrt.v4f32(<4 x float> %{{.*}}) 28 // CHECK-CONSTRAINED: @llvm.experimental.constrained.sqrt.v4f32(<4 x float> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") 29 // CHECK-ASM: xvsqrtsp 30 31 vd = __builtin_vsx_xvsqrtdp(vd); 32 // CHECK-LABEL: try-xvsqrtdp 33 // CHECK-UNCONSTRAINED: @llvm.sqrt.v2f64(<2 x double> %{{.*}}) 34 // CHECK-CONSTRAINED: @llvm.experimental.constrained.sqrt.v2f64(<2 x double> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") 35 // CHECK-ASM: xvsqrtdp 36 37 vf = __builtin_vsx_xvrspim(vf); 38 // CHECK-LABEL: try-xvrspim 39 // CHECK-UNCONSTRAINED: @llvm.floor.v4f32(<4 x float> %{{.*}}) 40 // CHECK-CONSTRAINED: @llvm.experimental.constrained.floor.v4f32(<4 x float> %{{.*}}, metadata !"fpexcept.strict") 41 // CHECK-ASM: xvrspim 42 43 vd = __builtin_vsx_xvrdpim(vd); 44 // CHECK-LABEL: try-xvrdpim 45 // CHECK-UNCONSTRAINED: @llvm.floor.v2f64(<2 x double> %{{.*}}) 46 // CHECK-CONSTRAINED: @llvm.experimental.constrained.floor.v2f64(<2 x double> %{{.*}}, metadata !"fpexcept.strict") 47 // CHECK-ASM: xvrdpim 48 49 vf = __builtin_vsx_xvrspi(vf); 50 // CHECK-LABEL: try-xvrspi 51 // CHECK-UNCONSTRAINED: @llvm.round.v4f32(<4 x float> %{{.*}}) 52 // CHECK-CONSTRAINED: @llvm.experimental.constrained.round.v4f32(<4 x float> %{{.*}}, metadata !"fpexcept.strict") 53 // CHECK-ASM: xvrspi 54 55 vd = __builtin_vsx_xvrdpi(vd); 56 // CHECK-LABEL: try-xvrdpi 57 // CHECK-UNCONSTRAINED: @llvm.round.v2f64(<2 x double> %{{.*}}) 58 // CHECK-CONSTRAINED: @llvm.experimental.constrained.round.v2f64(<2 x double> %{{.*}}, metadata !"fpexcept.strict") 59 // CHECK-ASM: xvrdpi 60 61 vf = __builtin_vsx_xvrspic(vf); 62 // CHECK-LABEL: try-xvrspic 63 // CHECK-UNCONSTRAINED: @llvm.rint.v4f32(<4 x float> %{{.*}}) 64 // CHECK-CONSTRAINED: @llvm.experimental.constrained.rint.v4f32(<4 x float> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") 65 // CHECK-ASM: xvrspic 66 67 vd = __builtin_vsx_xvrdpic(vd); 68 // CHECK-LABEL: try-xvrdpic 69 // CHECK-UNCONSTRAINED: @llvm.rint.v2f64(<2 x double> %{{.*}}) 70 // CHECK-CONSTRAINED: @llvm.experimental.constrained.rint.v2f64(<2 x double> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") 71 // CHECK-ASM: xvrdpic 72 73 vf = __builtin_vsx_xvrspip(vf); 74 // CHECK-LABEL: try-xvrspip 75 // CHECK-UNCONSTRAINED: @llvm.ceil.v4f32(<4 x float> %{{.*}}) 76 // CHECK-CONSTRAINED: @llvm.experimental.constrained.ceil.v4f32(<4 x float> %{{.*}}, metadata !"fpexcept.strict") 77 // CHECK-ASM: xvrspip 78 79 vd = __builtin_vsx_xvrdpip(vd); 80 // CHECK-LABEL: try-xvrdpip 81 // CHECK-UNCONSTRAINED: @llvm.ceil.v2f64(<2 x double> %{{.*}}) 82 // CHECK-CONSTRAINED: @llvm.experimental.constrained.ceil.v2f64(<2 x double> %{{.*}}, metadata !"fpexcept.strict") 83 // CHECK-ASM: xvrdpip 84 85 vf = __builtin_vsx_xvrspiz(vf); 86 // CHECK-LABEL: try-xvrspiz 87 // CHECK-UNCONSTRAINED: @llvm.trunc.v4f32(<4 x float> %{{.*}}) 88 // CHECK-CONSTRAINED: @llvm.experimental.constrained.trunc.v4f32(<4 x float> %{{.*}}, metadata !"fpexcept.strict") 89 // CHECK-ASM: xvrspiz 90 91 vd = __builtin_vsx_xvrdpiz(vd); 92 // CHECK-LABEL: try-xvrdpiz 93 // CHECK-UNCONSTRAINED: @llvm.trunc.v2f64(<2 x double> %{{.*}}) 94 // CHECK-CONSTRAINED: @llvm.experimental.constrained.trunc.v2f64(<2 x double> %{{.*}}, metadata !"fpexcept.strict") 95 // CHECK-ASM: xvrdpiz 96 97 vf = __builtin_vsx_xvmaddasp(vf, vf, vf); 98 // CHECK-LABEL: try-xvmaddasp 99 // CHECK-UNCONSTRAINED: @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}) 100 // CHECK-CONSTRAINED: @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") 101 // CHECK-ASM: xvmaddasp 102 103 vd = __builtin_vsx_xvmaddadp(vd, vd, vd); 104 // CHECK-LABEL: try-xvmaddadp 105 // CHECK-UNCONSTRAINED: @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}) 106 // CHECK-CONSTRAINED: @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") 107 // CHECK-ASM: xvmaddadp 108 109 vf = __builtin_vsx_xvnmaddasp(vf, vf, vf); 110 // CHECK-LABEL: try-xvnmaddasp 111 // CHECK-UNCONSTRAINED: [[RESULT:%[^ ]+]] = call <4 x float> @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}) 112 // CHECK-UNCONSTRAINED: fneg <4 x float> [[RESULT]] 113 // CHECK-CONSTRAINED: [[RESULT:%[^ ]+]] = call <4 x float> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") 114 // CHECK-CONSTRAINED: fneg <4 x float> [[RESULT]] 115 // NOT-FIXME-CHECK: xvnmaddasp 116 // FIXME-CHECK: xvmaddasp 117 // FIXME-CHECK: xvnegsp 118 119 vd = __builtin_vsx_xvnmaddadp(vd, vd, vd); 120 // CHECK-LABEL: try-xvnmaddadp 121 // CHECK-UNCONSTRAINED: [[RESULT:%[^ ]+]] = call <2 x double> @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}) 122 // CHECK-UNCONSTRAINED: fneg <2 x double> [[RESULT]] 123 // CHECK-CONSTRAINED: [[RESULT:%[^ ]+]] = call <2 x double> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") 124 // CHECK-CONSTRAINED: fneg <2 x double> [[RESULT]] 125 // CHECK-ASM: xvnmaddadp 126 127 vf = __builtin_vsx_xvmsubasp(vf, vf, vf); 128 // CHECK-LABEL: try-xvmsubasp 129 // CHECK-UNCONSTRAINED: [[RESULT:%[^ ]+]] = fneg <4 x float> %{{.*}} 130 // CHECK-UNCONSTRAINED: @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> [[RESULT]]) 131 // CHECK-CONSTRAINED: [[RESULT:%[^ ]+]] = fneg <4 x float> %{{.*}} 132 // CHECK-CONSTRAINED: @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> [[RESULT]], metadata !"round.tonearest", metadata !"fpexcept.strict") 133 // CHECK-ASM: xvmsubasp 134 135 vd = __builtin_vsx_xvmsubadp(vd, vd, vd); 136 // CHECK-LABEL: try-xvmsubadp 137 // CHECK-UNCONSTRAINED: [[RESULT:%[^ ]+]] = fneg <2 x double> %{{.*}} 138 // CHECK-UNCONSTRAINED: @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> [[RESULT]]) 139 // CHECK-CONSTRAINED: [[RESULT:%[^ ]+]] = fneg <2 x double> %{{.*}} 140 // CHECK-CONSTRAINED: @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> [[RESULT]], metadata !"round.tonearest", metadata !"fpexcept.strict") 141 // CHECK-ASM: xvmsubadp 142 143 vf = __builtin_vsx_xvnmsubasp(vf, vf, vf); 144 // CHECK-LABEL: try-xvnmsubasp 145 // CHECK-UNCONSTRAINED: call <4 x float> @llvm.ppc.fnmsub.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}) 146 // CHECK-CONSTRAINED: [[RESULT0:%[^ ]+]] = fneg <4 x float> %{{.*}} 147 // CHECK-CONSTRAINED: [[RESULT1:%[^ ]+]] = call <4 x float> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> [[RESULT0]], metadata !"round.tonearest", metadata !"fpexcept.strict") 148 // CHECK-CONSTRAINED: fneg <4 x float> [[RESULT1]] 149 // CHECK-ASM: xvnmsubasp 150 151 vd = __builtin_vsx_xvnmsubadp(vd, vd, vd); 152 // CHECK-LABEL: try-xvnmsubadp 153 // CHECK-UNCONSTRAINED: call <2 x double> @llvm.ppc.fnmsub.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}) 154 // CHECK-CONSTRAINED: [[RESULT0:%[^ ]+]] = fneg <2 x double> %{{.*}} 155 // CHECK-CONSTRAINED: [[RESULT1:%[^ ]+]] = call <2 x double> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> [[RESULT0]], metadata !"round.tonearest", metadata !"fpexcept.strict") 156 // CHECK-CONSTRAINED: fneg <2 x double> [[RESULT1]] 157 // CHECK-ASM: xvnmsubadp 158 } 159