1 // REQUIRES: x86-registered-target
2 // RUN: %clang -Xclang -no-opaque-pointers -S -emit-llvm -ffp-model=fast -emit-llvm %s -o - \
3 // RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-FAST
4
5 // RUN: %clang -Xclang -no-opaque-pointers -S -emit-llvm -ffp-model=precise %s -o - \
6 // RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-PRECISE
7
8 // RUN: %clang -Xclang -no-opaque-pointers -S -emit-llvm -ffp-model=strict %s -o - \
9 // RUN: -target x86_64 | FileCheck %s --check-prefixes=CHECK,CHECK-STRICT
10
11 // RUN: %clang -Xclang -no-opaque-pointers -S -emit-llvm -ffp-model=strict -ffast-math \
12 // RUN: -target x86_64 %s -o - | FileCheck %s \
13 // RUN: --check-prefixes CHECK,CHECK-STRICT-FAST
14
15 // RUN: %clang -Xclang -no-opaque-pointers -S -emit-llvm -ffp-model=precise -ffast-math \
16 // RUN: %s -o - | FileCheck %s --check-prefixes CHECK,CHECK-FAST1
17
mymuladd(float x,float y,float z)18 float mymuladd(float x, float y, float z) {
19 // CHECK: define{{.*}} float @mymuladd
20 return x * y + z;
21
22 // CHECK-FAST: fmul fast float
23 // CHECK-FAST: load float, float*
24 // CHECK-FAST: fadd fast float
25
26 // CHECK-PRECISE: load float, float*
27 // CHECK-PRECISE: load float, float*
28 // CHECK-PRECISE: load float, float*
29 // CHECK-PRECISE: call float @llvm.fmuladd.f32(float {{.*}}, float {{.*}}, float {{.*}})
30
31 // CHECK-STRICT: load float, float*
32 // CHECK-STRICT: load float, float*
33 // CHECK-STRICT: call float @llvm.experimental.constrained.fmul.f32(float {{.*}}, float {{.*}}, {{.*}})
34 // CHECK-STRICT: load float, float*
35 // CHECK-STRICT: call float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, {{.*}})
36
37 // CHECK-STRICT-FAST: load float, float*
38 // CHECK-STRICT-FAST: load float, float*
39 // CHECK-STRICT-FAST: call fast float @llvm.experimental.constrained.fmul.f32(float {{.*}}, float {{.*}}, {{.*}})
40 // CHECK-STRICT-FAST: load float, float*
41 // CHECK-STRICT-FAST: call fast float @llvm.experimental.constrained.fadd.f32(float {{.*}}, float {{.*}}, {{.*}}
42
43 // CHECK-FAST1: load float, float*
44 // CHECK-FAST1: load float, float*
45 // CHECK-FAST1: fmul fast float {{.*}}, {{.*}}
46 // CHECK-FAST1: load float, float* {{.*}}
47 // CHECK-FAST1: fadd fast float {{.*}}, {{.*}}
48 }
49