test/CodeGen/AArch64/fp-const-fold.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=aarch64-- | FileCheck %s
   3
   4 ; https://bugs.llvm.org/show_bug.cgi?id=41668
   5
   6 define double @constant_fold_fdiv_by_zero(double* %p) {
   7 ; CHECK-LABEL: constant_fold_fdiv_by_zero:
   8 ; CHECK:       // %bb.0:
   9 ; CHECK-NEXT:    mov x8, #9218868437227405312
  10 ; CHECK-NEXT:    fmov d0, x8
  11 ; CHECK-NEXT:    ret
  12   %r = fdiv double 4.940660e-324, 0.0
  13   ret double %r
  14 }
  15
  16 ; frem by 0.0 --> NaN
  17
  18 define double @constant_fold_frem_by_zero(double* %p) {
  19 ; CHECK-LABEL: constant_fold_frem_by_zero:
  20 ; CHECK:       // %bb.0:
  21 ; CHECK-NEXT:    mov x8, #9221120237041090560
  22 ; CHECK-NEXT:    fmov d0, x8
  23 ; CHECK-NEXT:    ret
  24   %r = frem double 4.940660e-324, 0.0
  25   ret double %r
  26 }
  27
  28 ; Inf * 0.0 --> NaN
  29
  30 define double @constant_fold_fmul_nan(double* %p) {
  31 ; CHECK-LABEL: constant_fold_fmul_nan:
  32 ; CHECK:       // %bb.0:
  33 ; CHECK-NEXT:    mov x8, #9221120237041090560
  34 ; CHECK-NEXT:    fmov d0, x8
  35 ; CHECK-NEXT:    ret
  36   %r = fmul double 0x7ff0000000000000, 0.0
  37   ret double %r
  38 }
  39
  40 ; Inf + -Inf --> NaN
  41
  42 define double @constant_fold_fadd_nan(double* %p) {
  43 ; CHECK-LABEL: constant_fold_fadd_nan:
  44 ; CHECK:       // %bb.0:
  45 ; CHECK-NEXT:    mov x8, #9221120237041090560
  46 ; CHECK-NEXT:    fmov d0, x8
  47 ; CHECK-NEXT:    ret
  48   %r = fadd double 0x7ff0000000000000, 0xfff0000000000000
  49   ret double %r
  50 }
  51
  52 ; Inf - Inf --> NaN
  53
  54 define double @constant_fold_fsub_nan(double* %p) {
  55 ; CHECK-LABEL: constant_fold_fsub_nan:
  56 ; CHECK:       // %bb.0:
  57 ; CHECK-NEXT:    mov x8, #9221120237041090560
  58 ; CHECK-NEXT:    fmov d0, x8
  59 ; CHECK-NEXT:    ret
  60   %r = fsub double 0x7ff0000000000000, 0x7ff0000000000000
  61   ret double %r
  62 }
  63
  64 ; Inf * 0.0 + ? --> NaN
  65
  66 define double @constant_fold_fma_nan(double* %p) {
  67 ; CHECK-LABEL: constant_fold_fma_nan:
  68 ; CHECK:       // %bb.0:
  69 ; CHECK-NEXT:    mov x8, #9221120237041090560
  70 ; CHECK-NEXT:    fmov d0, x8
  71 ; CHECK-NEXT:    ret
  72   %r =  call double @llvm.fma.f64(double 0x7ff0000000000000, double 0.0, double 42.0)
  73   ret double %r
  74 }
  75
  76 declare double @llvm.fma.f64(double, double, double)