; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl --show-mc-encoding | FileCheck %s --check-prefix AVX512 --check-prefix AVX512-KNL
; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=skx --show-mc-encoding | FileCheck %s --check-prefix AVX512 --check-prefix AVX512-SKX
; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=corei7-avx --show-mc-encoding | FileCheck %s --check-prefix AVX

; AVX512-LABEL: @test_fdiv
; AVX512: vdivss %xmm{{.*}} ## EVEX TO VEX Compression encoding: [0xc5
; AVX-LABEL: @test_fdiv
; AVX:    vdivss %xmm{{.*}} ## encoding: [0xc5

define float @test_fdiv(float %a, float %b) {
  %c = fdiv float %a, %b
  ret float %c
}

; AVX512-LABEL: @test_fsub
; AVX512: vsubss %xmm{{.*}} ## EVEX TO VEX Compression encoding: [0xc5
; AVX-LABEL: @test_fsub
; AVX:    vsubss %xmm{{.*}} ## encoding: [0xc5

define float @test_fsub(float %a, float %b) {
  %c = fsub float %a, %b
  ret float %c
}

; AVX512-LABEL: @test_fadd
; AVX512: vaddsd %xmm{{.*}} ## EVEX TO VEX Compression encoding: [0xc5 
; AVX-LABEL: @test_fadd
; AVX:    vaddsd %xmm{{.*}} ## encoding: [0xc5

define double @test_fadd(double %a, double %b) {
  %c = fadd double %a, %b
  ret double %c
}

declare float     @llvm.trunc.f32(float  %Val)
declare double    @llvm.trunc.f64(double %Val)
declare float     @llvm.rint.f32(float  %Val)
declare double    @llvm.rint.f64(double %Val)
declare double    @llvm.sqrt.f64(double %Val)
declare float     @llvm.sqrt.f32(float  %Val)

; AVX512-LABEL: @test_trunc
; AVX512: vrndscaless
; AVX-LABEL: @test_trunc
; AVX:    vroundss

define float @test_trunc(float %a) {
  %c = call float @llvm.trunc.f32(float %a)
  ret float %c
}

; AVX512-LABEL: @test_sqrt
; AVX512: vsqrtsd %xmm{{.*}} ## EVEX TO VEX Compression encoding: [0xc5
; AVX-LABEL: @test_sqrt
; AVX:    vsqrtsd %xmm{{.*}} ## encoding: [0xc5

define double @test_sqrt(double %a) {
  %c = call double @llvm.sqrt.f64(double %a)
  ret double %c
}

; AVX512-LABEL: @test_rint
; AVX512: vrndscaless
; AVX-LABEL: @test_rint
; AVX:    vroundss

define float @test_rint(float %a) {
  %c = call float @llvm.rint.f32(float %a)
  ret float %c
}

; AVX512-LABEL: @test_vmax
; AVX512: vmaxss %xmm{{.*}} ## EVEX TO VEX Compression encoding: [0xc5
; AVX-LABEL: @test_vmax
; AVX:    vmaxss %xmm{{.*}} ## encoding: [0xc5

define float @test_vmax(float %i, float %j) {
  %cmp_res = fcmp ogt float %i, %j
  %max = select i1 %cmp_res, float %i, float %j
  ret float %max
}

; AVX512-LABEL: @test_mov
; AVX512: vcmpltss %xmm{{.*}} ## encoding: [0x62
; AVX-LABEL: @test_mov
; AVX:    vcmpltss %xmm{{.*}} ## encoding: [0xc5

define float @test_mov(float %a, float %b, float %i, float %j) {
  %cmp_res = fcmp ogt float %i, %j
  %max = select i1 %cmp_res, float %b, float %a
  ret float %max
}

; AVX512-SKX-LABEL: @zero_float
; AVX512-SKX: vxorps %xmm{{.*}}, %xmm{{.*}}, %xmm{{.*}} ## EVEX TO VEX Compression encoding: [0xc5
; AVX512-KNL-LABEL: @zero_float
; AVX512-KNL: vxorps %xmm{{.*}}, %xmm{{.*}}, %xmm{{.*}} ## encoding: [0xc5,
; AVX-LABEL: @zero_float
; AVX: vxorps %xmm{{.*}}, %xmm{{.*}}, %xmm{{.*}} ## encoding: [0xc5,

define float @zero_float(float %a) {
  %b = fadd float %a, 0.0
  ret float %b
}

; AVX512-SKX-LABEL: @zero_double
; AVX512-SKX: vxorpd %xmm{{.*}}, %xmm{{.*}}, %xmm{{.*}} ## EVEX TO VEX Compression encoding: [0xc5 
; AVX512-KNL-LABEL: @zero_double
; AVX512-KNL: vxorpd %xmm{{.*}}, %xmm{{.*}}, %xmm{{.*}} ## encoding: [0xc5,
; AVX-LABEL: @zero_double
; AVX: vxorpd %xmm{{.*}}, %xmm{{.*}}, %xmm{{.*}} ## encoding: [0xc5,

define double @zero_double(double %a) {
  %b = fadd double %a, 0.0
  ret double %b
}