reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55
   56
   57
   58
   59
   60
   61
   62
   63
   64
   65
   66
   67
   68
   69
   70
   71
   72
   73
   74
   75
   76
   77
   78
   79
   80
   81
   82
   83
   84
   85
   86
   87
   88
   89
   90
   91
   92

; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -fp-contract=fast -mattr=-vsx -disable-ppc-vsx-fma-mutation=false | FileCheck %s
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -fp-contract=fast -mattr=+vsx -mcpu=pwr7 -disable-ppc-vsx-fma-mutation=false | FileCheck -check-prefix=CHECK-VSX %s

define double @test_FMADD_EXT1(float %A, float %B, double %C) {
    %D = fmul float %A, %B          ; <float> [#uses=1]
    %E = fpext float %D to double   ; <double> [#uses=1]
    %F = fadd double %E, %C         ; <double> [#uses=1]
    ret double %F
; CHECK-LABEL: test_FMADD_EXT1:
; CHECK: fmadd
; CHECK-NEXT: blr
                                
; CHECK-VSX-LABEL: test_FMADD_EXT1:
; CHECK-VSX: xsmaddmdp
; CHECK-VSX-NEXT: blr
}

define double @test_FMADD_EXT2(float %A, float %B, double %C) {
    %D = fmul float %A, %B          ; <float> [#uses=1]
    %E = fpext float %D to double   ; <double> [#uses=1]
    %F = fadd double %C, %E         ; <double> [#uses=1]
    ret double %F
; CHECK-LABEL: test_FMADD_EXT2:
; CHECK: fmadd
; CHECK-NEXT: blr
                                
; CHECK-VSX-LABEL: test_FMADD_EXT2:
; CHECK-VSX: xsmaddmdp
; CHECK-VSX-NEXT: blr
}

define double @test_FMSUB_EXT1(float %A, float %B, double %C) {
    %D = fmul float %A, %B          ; <float> [#uses=1]
    %E = fpext float %D to double   ; <double> [#uses=1]
    %F = fsub double %E, %C         ; <double> [#uses=1]
    ret double %F
; CHECK-LABEL: test_FMSUB_EXT1:
; CHECK: fmsub
; CHECK-NEXT: blr
                                
; CHECK-VSX-LABEL: test_FMSUB_EXT1:
; CHECK-VSX: xsmsubmdp
; CHECK-VSX-NEXT: blr
}

define double @test_FMSUB_EXT2(float %A, float %B, double %C) {
    %D = fmul float %A, %B          ; <float> [#uses=1]
    %E = fpext float %D to double   ; <double> [#uses=1]
    %F = fsub double %C, %E         ; <double> [#uses=1]
    ret double %F
; CHECK-LABEL: test_FMSUB_EXT2:
; CHECK: fnmsub
; CHECK-NEXT: blr
                                
; CHECK-VSX-LABEL: test_FMSUB_EXT2:
; CHECK-VSX: xsnmsubmdp
; CHECK-VSX-NEXT: blr
}

define double @test_FMSUB_EXT3(float %A, float %B, double %C) {
    %D = fmul float %A, %B          ; <float> [#uses=1]
    %E = fsub float -0.000000e+00, %D ;    <float> [#uses=1]
    %F = fpext float %E to double   ; <double> [#uses=1]
    %G = fsub double %F, %C         ; <double> [#uses=1]
    ret double %G
; CHECK-LABEL: test_FMSUB_EXT3:
; CHECK: fnmadd

; CHECK-NEXT: blr
                                
; CHECK-VSX-LABEL: test_FMSUB_EXT3:
; CHECK-VSX: xsnmaddmdp

; CHECK-VSX-NEXT: blr
}
    
define double @test_FMSUB_EXT4(float %A, float %B, double %C) {
    %D = fmul float %A, %B          ; <float> [#uses=1]
    %E = fpext float %D to double   ; <double> [#uses=1]
    %F = fsub double -0.000000e+00, %E ;    <double> [#uses=1]
    %G = fsub double %F, %C         ; <double> [#uses=1]
    ret double %G
; CHECK-LABEL: test_FMSUB_EXT4:
; CHECK: fnmadd

; CHECK-NEXT: blr
                                
; CHECK-VSX-LABEL: test_FMSUB_EXT4:
; CHECK-VSX: xsnmaddmdp

; CHECK-VSX-NEXT: blr
}