1; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl --show-mc-encoding | FileCheck %s --check-prefix AVX512 2; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=corei7-avx --show-mc-encoding | FileCheck %s --check-prefix AVX 3 4; AVX512-LABEL: @test_fdiv 5; AVX512: vdivss %xmm{{.*}} ## encoding: [0x62 6; AVX-LABEL: @test_fdiv 7; AVX: vdivss %xmm{{.*}} ## encoding: [0xc5 8 9define float @test_fdiv(float %a, float %b) { 10 %c = fdiv float %a, %b 11 ret float %c 12} 13 14; AVX512-LABEL: @test_fsub 15; AVX512: vsubss %xmm{{.*}} ## encoding: [0x62 16; AVX-LABEL: @test_fsub 17; AVX: vsubss %xmm{{.*}} ## encoding: [0xc5 18 19define float @test_fsub(float %a, float %b) { 20 %c = fsub float %a, %b 21 ret float %c 22} 23 24; AVX512-LABEL: @test_fadd 25; AVX512: vaddsd %xmm{{.*}} ## encoding: [0x62 26; AVX-LABEL: @test_fadd 27; AVX: vaddsd %xmm{{.*}} ## encoding: [0xc5 28 29define double @test_fadd(double %a, double %b) { 30 %c = fadd double %a, %b 31 ret double %c 32} 33 34declare float @llvm.trunc.f32(float %Val) 35declare double @llvm.trunc.f64(double %Val) 36declare float @llvm.rint.f32(float %Val) 37declare double @llvm.rint.f64(double %Val) 38declare double @llvm.sqrt.f64(double %Val) 39declare float @llvm.sqrt.f32(float %Val) 40 41; AVX512-LABEL: @test_trunc 42; AVX512: vrndscaless 43; AVX-LABEL: @test_trunc 44; AVX: vroundss 45 46define float @test_trunc(float %a) { 47 %c = call float @llvm.trunc.f32(float %a) 48 ret float %c 49} 50 51; AVX512-LABEL: @test_sqrt 52; AVX512: vsqrtsd %xmm{{.*}} ## encoding: [0x62 53; AVX-LABEL: @test_sqrt 54; AVX: vsqrtsd %xmm{{.*}} ## encoding: [0xc5 55 56define double @test_sqrt(double %a) { 57 %c = call double @llvm.sqrt.f64(double %a) 58 ret double %c 59} 60 61; AVX512-LABEL: @test_rint 62; AVX512: vrndscaless 63; AVX-LABEL: @test_rint 64; AVX: vroundss 65 66define float @test_rint(float %a) { 67 %c = call float @llvm.rint.f32(float %a) 68 ret float %c 69} 70 71; AVX512-LABEL: @test_vmax 72; AVX512: vmaxss %xmm{{.*}} ## encoding: [0x62 73; AVX-LABEL: @test_vmax 74; AVX: vmaxss %xmm{{.*}} ## encoding: [0xc5 75 76define float @test_vmax(float %i, float %j) { 77 %cmp_res = fcmp ogt float %i, %j 78 %max = select i1 %cmp_res, float %i, float %j 79 ret float %max 80} 81 82; AVX512-LABEL: @test_mov 83; AVX512: vcmpltss %xmm{{.*}} ## encoding: [0x62 84; AVX-LABEL: @test_mov 85; AVX: vcmpltss %xmm{{.*}} ## encoding: [0xc5 86 87define float @test_mov(float %a, float %b, float %i, float %j) { 88 %cmp_res = fcmp ogt float %i, %j 89 %max = select i1 %cmp_res, float %b, float %a 90 ret float %max 91} 92 93