test/CodeGen/pragma-cx-limited-range.c

// 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;
}