| // RUN: %clang_cc1 %s -O0 -emit-llvm -triple x86_64-unknown-unknown \ |
| // RUN: -o - | FileCheck %s --check-prefix=FULL |
| |
| // RUN: %clang_cc1 %s -O0 -emit-llvm -triple x86_64-unknown-unknown \ |
| // RUN: -complex-range=basic -o - | FileCheck --check-prefix=BASIC %s |
| |
| // RUN: %clang_cc1 %s -O0 -emit-llvm -triple x86_64-unknown-unknown \ |
| // RUN: -fno-cx-limited-range -o - | FileCheck %s --check-prefix=FULL |
| |
| // RUN: %clang_cc1 %s -O0 -emit-llvm -triple x86_64-unknown-unknown \ |
| // RUN: -complex-range=improved -o - | FileCheck --check-prefix=IMPRVD %s |
| |
| // RUN: %clang_cc1 %s -O0 -emit-llvm -triple x86_64-unknown-unknown \ |
| // RUN: -complex-range=promoted -o - | FileCheck --check-prefix=PRMTD %s |
| |
| // RUN: %clang_cc1 %s -O0 -emit-llvm -triple x86_64-unknown-unknown \ |
| // RUN: -complex-range=full -o - | FileCheck --check-prefix=FULL %s |
| |
| _Complex float pragma_on_mul(_Complex float a, _Complex float b) { |
| #pragma STDC CX_LIMITED_RANGE ON |
| // LABEL: define {{.*}} @pragma_on_mul( |
| |
| // FULL: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fsub float |
| // FULL-NEXT: fadd float |
| |
| // BASIC: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fsub float |
| // BASIC-NEXT: fadd float |
| |
| // IMPRVD: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fsub float |
| // IMPRVD-NEXT: fadd float |
| |
| // PRMTD: fmul float |
| // PRMTD-NEXT: fmul float |
| // PRMTD-NEXT: fmul float |
| // PRMTD-NEXT: fmul float |
| // PRMTD-NEXT: fsub float |
| // PRMTD-NEXT: fadd float |
| |
| return a * b; |
| } |
| |
| _Complex float pragma_off_mul(_Complex float a, _Complex float b) { |
| #pragma STDC CX_LIMITED_RANGE OFF |
| // LABEL: define {{.*}} @pragma_off_mul( |
| |
| // FULL: call {{.*}} @__mulsc3 |
| |
| // BASIC: call {{.*}} @__mulsc3 |
| |
| // IMPRVD: call {{.*}} @__mulsc3 |
| |
| // PRMTD: call {{.*}} @__mulsc3 |
| |
| return a * b; |
| } |
| |
| _Complex float pragma_on_div(_Complex float a, _Complex float b) { |
| #pragma STDC CX_LIMITED_RANGE ON |
| // LABEL: define {{.*}} @pragma_on_div( |
| |
| // FULL: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fadd float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fadd float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fsub float |
| // FULL-NEXT: fdiv float |
| // FULL: fdiv float |
| |
| // BASIC: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fadd float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fadd float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fsub float |
| // BASIC-NEXT: fdiv float |
| // BASIC-NEXT: fdiv float |
| |
| // IMPRVD: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fadd float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fadd float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fsub float |
| // IMPRVD-NEXT: fdiv float |
| // IMPRVD-NEXT: fdiv float |
| |
| // PRMTD: fpext float {{.*}} to double |
| // PRMTD: fpext float {{.*}} to double |
| // PRMTD: fmul double |
| // PRMTD: fmul double |
| // PRMTD: fadd double |
| // PRMTD: fmul double |
| // PRMTD: fmul double |
| // PRMTD: fadd double |
| // PRMTD: fmul double |
| // PRMTD: fmul double |
| // PRMTD: fsub double |
| // PRMTD: fdiv double |
| // PRMTD: fdiv double |
| // PRMTD: fptrunc double |
| // PRMTD: fptrunc double |
| |
| return a / b; |
| } |
| |
| _Complex float pragma_off_div(_Complex float a, _Complex float b) { |
| #pragma STDC CX_LIMITED_RANGE OFF |
| // LABEL: define {{.*}} @pragma_off_div( |
| |
| // FULL: call {{.*}} @__divsc3 |
| |
| // BASIC: call {{.*}} @__divsc3 |
| |
| // IMPRVD: call {{.*}} @__divsc3 |
| |
| // PRMTD: call {{.*}} @__divdc3 |
| |
| return a / b; |
| } |
| |
| _Complex float pragma_default_mul(_Complex float a, _Complex float b) { |
| #pragma STDC CX_LIMITED_RANGE DEFAULT |
| // LABEL: define {{.*}} @pragma_on_mul( |
| |
| // FULL: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fmul float |
| // FULL-NEXT: fsub float |
| // FULL-NEXT: fadd float |
| |
| // BASIC: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fsub float |
| // BASIC-NEXT: fadd float |
| |
| // IMPRVD: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fsub float |
| // IMPRVD-NEXT: fadd float |
| |
| // PRMTD: fmul float |
| // PRMTD-NEXT: fmul float |
| // PRMTD-NEXT: fmul float |
| // PRMTD-NEXT: fmul float |
| // PRMTD-NEXT: fsub float |
| // PRMTD-NEXT: fadd float |
| |
| return a * b; |
| } |
| _Complex float pragma_default_div(_Complex float a, _Complex float b) { |
| #pragma STDC CX_LIMITED_RANGE DEFAULT |
| // LABEL: define {{.*}} @pragma_on_divx( |
| |
| // FULL: call {{.*}} @__divsc3 |
| |
| // BASIC: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fadd float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fadd float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fmul float |
| // BASIC-NEXT: fsub float |
| // BASIC-NEXT: fdiv float |
| // BASIC-NEXT: fdiv float |
| |
| // IMPRVD: call{{.*}}float @llvm.fabs.f32(float {{.*}}) |
| // IMPRVD-NEXT: call{{.*}}float @llvm.fabs.f32(float {{.*}}) |
| // IMPRVD-NEXT: fcmp{{.*}}ugt float {{.*}}, {{.*}} |
| // IMPRVD-NEXT: br i1 {{.*}}, label |
| // IMPRVD: abs_rhsr_greater_or_equal_abs_rhsi: |
| // IMPRVD-NEXT: fdiv float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fadd float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fadd float |
| // IMPRVD-NEXT: fdiv float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fsub float |
| // IMPRVD-NEXT: fdiv float |
| // IMPRVD-NEXT: br label |
| // IMPRVD: abs_rhsr_less_than_abs_rhsi: |
| // IMPRVD-NEXT: fdiv float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fadd float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fadd float |
| // IMPRVD-NEXT: fdiv float |
| // IMPRVD-NEXT: fmul float |
| // IMPRVD-NEXT: fsub float |
| // IMPRVD-NEXT: fdiv float |
| |
| // PRMTD: load float, ptr {{.*}} |
| // PRMTD: fpext float {{.*}} to double |
| // PRMTD-NEXT: fpext float {{.*}} to double |
| // PRMTD-NEXT: getelementptr inbounds { float, float }, ptr {{.*}}, i32 0, i32 0 |
| // PRMTD-NEXT: load float, ptr {{.*}} |
| // PRMTD-NEXT: getelementptr inbounds { float, float }, ptr {{.*}}, i32 0, i32 1 |
| // PRMTD-NEXT: load float, ptr {{.*}} |
| // PRMTD-NEXT: fpext float {{.*}} to double |
| // PRMTD-NEXT: fpext float {{.*}} to double |
| // PRMTD-NEXT: fmul double |
| // PRMTD-NEXT: fmul double |
| // PRMTD-NEXT: fadd double |
| // PRMTD-NEXT: fmul double |
| // PRMTD-NEXT: fmul double |
| // PRMTD-NEXT: fadd double |
| // PRMTD-NEXT: fmul double |
| // PRMTD-NEXT: fmul double |
| // PRMTD-NEXT: fsub double |
| // PRMTD-NEXT: fdiv double |
| // PRMTD-NEXT: fdiv double |
| // PRMTD-NEXT: fptrunc double {{.*}} to float |
| // PRMTD-NEXT: fptrunc double {{.*}} to float |
| |
| return a / b; |
| } |