test/CodeGen/R600/fneg-fabs.f64.ll

   1 ; RUN: llc -march=r600 -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
   2
   3 ; FIXME: Check something here. Currently it seems fabs + fneg aren't
   4 ; into 2 modifiers, although theoretically that should work.
   5
   6 ; FUNC-LABEL: {{^}}fneg_fabs_fadd_f64:
   7 ; SI: V_MOV_B32_e32 [[IMMREG:v[0-9]+]], 0x7fffffff
   8 ; SI: V_AND_B32_e32 v[[FABS:[0-9]+]], {{s[0-9]+}}, [[IMMREG]]
   9 ; SI: V_ADD_F64 {{v\[[0-9]+:[0-9]+\]}}, {{v\[[0-9]+:[0-9]+\]}}, -v{{\[[0-9]+}}:[[FABS]]{{\]}}
  10 define void @fneg_fabs_fadd_f64(double addrspace(1)* %out, double %x, double %y) {
  11   %fabs = call double @llvm.fabs.f64(double %x)
  12   %fsub = fsub double -0.000000e+00, %fabs
  13   %fadd = fadd double %y, %fsub
  14   store double %fadd, double addrspace(1)* %out, align 8
  15   ret void
  16 }
  17
  18 define void @v_fneg_fabs_fadd_f64(double addrspace(1)* %out, double addrspace(1)* %xptr, double addrspace(1)* %yptr) {
  19   %x = load double addrspace(1)* %xptr, align 8
  20   %y = load double addrspace(1)* %xptr, align 8
  21   %fabs = call double @llvm.fabs.f64(double %x)
  22   %fsub = fsub double -0.000000e+00, %fabs
  23   %fadd = fadd double %y, %fsub
  24   store double %fadd, double addrspace(1)* %out, align 8
  25   ret void
  26 }
  27
  28 ; FUNC-LABEL: {{^}}fneg_fabs_fmul_f64:
  29 ; SI: V_MUL_F64 {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, -|{{v\[[0-9]+:[0-9]+\]}}|
  30 define void @fneg_fabs_fmul_f64(double addrspace(1)* %out, double %x, double %y) {
  31   %fabs = call double @llvm.fabs.f64(double %x)
  32   %fsub = fsub double -0.000000e+00, %fabs
  33   %fmul = fmul double %y, %fsub
  34   store double %fmul, double addrspace(1)* %out, align 8
  35   ret void
  36 }
  37
  38 ; FUNC-LABEL: {{^}}fneg_fabs_free_f64:
  39 define void @fneg_fabs_free_f64(double addrspace(1)* %out, i64 %in) {
  40   %bc = bitcast i64 %in to double
  41   %fabs = call double @llvm.fabs.f64(double %bc)
  42   %fsub = fsub double -0.000000e+00, %fabs
  43   store double %fsub, double addrspace(1)* %out
  44   ret void
  45 }
  46
  47 ; FUNC-LABEL: {{^}}fneg_fabs_fn_free_f64:
  48 ; SI: V_MOV_B32_e32 [[IMMREG:v[0-9]+]], 0x80000000
  49 ; SI: V_OR_B32_e32 v{{[0-9]+}}, s{{[0-9]+}}, [[IMMREG]]
  50 define void @fneg_fabs_fn_free_f64(double addrspace(1)* %out, i64 %in) {
  51   %bc = bitcast i64 %in to double
  52   %fabs = call double @fabs(double %bc)
  53   %fsub = fsub double -0.000000e+00, %fabs
  54   store double %fsub, double addrspace(1)* %out
  55   ret void
  56 }
  57
  58 ; FUNC-LABEL: {{^}}fneg_fabs_f64:
  59 ; SI: S_LOAD_DWORDX2
  60 ; SI: S_LOAD_DWORDX2 s{{\[}}[[LO_X:[0-9]+]]:[[HI_X:[0-9]+]]{{\]}}
  61 ; SI: V_MOV_B32_e32 [[IMMREG:v[0-9]+]], 0x80000000
  62 ; SI-DAG: V_OR_B32_e32 v[[HI_V:[0-9]+]], s[[HI_X]], [[IMMREG]]
  63 ; SI-DAG: V_MOV_B32_e32 v[[LO_V:[0-9]+]], s[[LO_X]]
  64 ; SI: BUFFER_STORE_DWORDX2 v{{\[}}[[LO_V]]:[[HI_V]]{{\]}}
  65 define void @fneg_fabs_f64(double addrspace(1)* %out, double %in) {
  66   %fabs = call double @llvm.fabs.f64(double %in)
  67   %fsub = fsub double -0.000000e+00, %fabs
  68   store double %fsub, double addrspace(1)* %out, align 8
  69   ret void
  70 }
  71
  72 ; FUNC-LABEL: {{^}}fneg_fabs_v2f64:
  73 ; SI: V_MOV_B32_e32 [[IMMREG:v[0-9]+]], 0x80000000
  74 ; SI-NOT: 0x80000000
  75 ; SI: V_OR_B32_e32 v{{[0-9]+}}, s{{[0-9]+}}, [[IMMREG]]
  76 ; SI: V_OR_B32_e32 v{{[0-9]+}}, s{{[0-9]+}}, [[IMMREG]]
  77 define void @fneg_fabs_v2f64(<2 x double> addrspace(1)* %out, <2 x double> %in) {
  78   %fabs = call <2 x double> @llvm.fabs.v2f64(<2 x double> %in)
  79   %fsub = fsub <2 x double> <double -0.000000e+00, double -0.000000e+00>, %fabs
  80   store <2 x double> %fsub, <2 x double> addrspace(1)* %out
  81   ret void
  82 }
  83
  84 ; FUNC-LABEL: {{^}}fneg_fabs_v4f64:
  85 ; SI: V_MOV_B32_e32 [[IMMREG:v[0-9]+]], 0x80000000
  86 ; SI-NOT: 0x80000000
  87 ; SI: V_OR_B32_e32 v{{[0-9]+}}, s{{[0-9]+}}, [[IMMREG]]
  88 ; SI: V_OR_B32_e32 v{{[0-9]+}}, s{{[0-9]+}}, [[IMMREG]]
  89 ; SI: V_OR_B32_e32 v{{[0-9]+}}, s{{[0-9]+}}, [[IMMREG]]
  90 ; SI: V_OR_B32_e32 v{{[0-9]+}}, s{{[0-9]+}}, [[IMMREG]]
  91 define void @fneg_fabs_v4f64(<4 x double> addrspace(1)* %out, <4 x double> %in) {
  92   %fabs = call <4 x double> @llvm.fabs.v4f64(<4 x double> %in)
  93   %fsub = fsub <4 x double> <double -0.000000e+00, double -0.000000e+00, double -0.000000e+00, double -0.000000e+00>, %fabs
  94   store <4 x double> %fsub, <4 x double> addrspace(1)* %out
  95   ret void
  96 }
  97
  98 declare double @fabs(double) readnone
  99 declare double @llvm.fabs.f64(double) readnone
 100 declare <2 x double> @llvm.fabs.v2f64(<2 x double>) readnone
 101 declare <4 x double> @llvm.fabs.v4f64(<4 x double>) readnone