1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl --show-mc-encoding | FileCheck %s --check-prefix=CHECK --check-prefix=AVX512 --check-prefix=AVX512-KNL 3 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=skx --show-mc-encoding | FileCheck %s --check-prefix=CHECK --check-prefix=AVX512 --check-prefix=AVX512-SKX 4 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=corei7-avx --show-mc-encoding | FileCheck %s --check-prefix=CHECK --check-prefix=AVX 5 6 define float @test_fdiv(float %a, float %b) { 7 ; AVX512-LABEL: test_fdiv: 8 ; AVX512: ## %bb.0: 9 ; AVX512-NEXT: vdivss %xmm1, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfa,0x5e,0xc1] 10 ; AVX512-NEXT: retq ## encoding: [0xc3] 11 ; 12 ; AVX-LABEL: test_fdiv: 13 ; AVX: ## %bb.0: 14 ; AVX-NEXT: vdivss %xmm1, %xmm0, %xmm0 ## encoding: [0xc5,0xfa,0x5e,0xc1] 15 ; AVX-NEXT: retq ## encoding: [0xc3] 16 %c = fdiv float %a, %b 17 ret float %c 18 } 19 20 define float @test_fsub(float %a, float %b) { 21 ; AVX512-LABEL: test_fsub: 22 ; AVX512: ## %bb.0: 23 ; AVX512-NEXT: vsubss %xmm1, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfa,0x5c,0xc1] 24 ; AVX512-NEXT: retq ## encoding: [0xc3] 25 ; 26 ; AVX-LABEL: test_fsub: 27 ; AVX: ## %bb.0: 28 ; AVX-NEXT: vsubss %xmm1, %xmm0, %xmm0 ## encoding: [0xc5,0xfa,0x5c,0xc1] 29 ; AVX-NEXT: retq ## encoding: [0xc3] 30 %c = fsub float %a, %b 31 ret float %c 32 } 33 34 define double @test_fadd(double %a, double %b) { 35 ; AVX512-LABEL: test_fadd: 36 ; AVX512: ## %bb.0: 37 ; AVX512-NEXT: vaddsd %xmm1, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfb,0x58,0xc1] 38 ; AVX512-NEXT: retq ## encoding: [0xc3] 39 ; 40 ; AVX-LABEL: test_fadd: 41 ; AVX: ## %bb.0: 42 ; AVX-NEXT: vaddsd %xmm1, %xmm0, %xmm0 ## encoding: [0xc5,0xfb,0x58,0xc1] 43 ; AVX-NEXT: retq ## encoding: [0xc3] 44 %c = fadd double %a, %b 45 ret double %c 46 } 47 48 declare float @llvm.trunc.f32(float %Val) 49 declare double @llvm.trunc.f64(double %Val) 50 declare float @llvm.rint.f32(float %Val) 51 declare double @llvm.rint.f64(double %Val) 52 declare double @llvm.sqrt.f64(double %Val) 53 declare float @llvm.sqrt.f32(float %Val) 54 55 define float @test_trunc(float %a) { 56 ; AVX512-LABEL: test_trunc: 57 ; AVX512: ## %bb.0: 58 ; AVX512-NEXT: vroundss $11, %xmm0, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc4,0xe3,0x79,0x0a,0xc0,0x0b] 59 ; AVX512-NEXT: retq ## encoding: [0xc3] 60 ; 61 ; AVX-LABEL: test_trunc: 62 ; AVX: ## %bb.0: 63 ; AVX-NEXT: vroundss $11, %xmm0, %xmm0, %xmm0 ## encoding: [0xc4,0xe3,0x79,0x0a,0xc0,0x0b] 64 ; AVX-NEXT: retq ## encoding: [0xc3] 65 %c = call float @llvm.trunc.f32(float %a) 66 ret float %c 67 } 68 69 define double @test_sqrt(double %a) { 70 ; AVX512-LABEL: test_sqrt: 71 ; AVX512: ## %bb.0: 72 ; AVX512-NEXT: vsqrtsd %xmm0, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfb,0x51,0xc0] 73 ; AVX512-NEXT: retq ## encoding: [0xc3] 74 ; 75 ; AVX-LABEL: test_sqrt: 76 ; AVX: ## %bb.0: 77 ; AVX-NEXT: vsqrtsd %xmm0, %xmm0, %xmm0 ## encoding: [0xc5,0xfb,0x51,0xc0] 78 ; AVX-NEXT: retq ## encoding: [0xc3] 79 %c = call double @llvm.sqrt.f64(double %a) 80 ret double %c 81 } 82 83 define float @test_rint(float %a) { 84 ; AVX512-LABEL: test_rint: 85 ; AVX512: ## %bb.0: 86 ; AVX512-NEXT: vroundss $4, %xmm0, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc4,0xe3,0x79,0x0a,0xc0,0x04] 87 ; AVX512-NEXT: retq ## encoding: [0xc3] 88 ; 89 ; AVX-LABEL: test_rint: 90 ; AVX: ## %bb.0: 91 ; AVX-NEXT: vroundss $4, %xmm0, %xmm0, %xmm0 ## encoding: [0xc4,0xe3,0x79,0x0a,0xc0,0x04] 92 ; AVX-NEXT: retq ## encoding: [0xc3] 93 %c = call float @llvm.rint.f32(float %a) 94 ret float %c 95 } 96 97 define float @test_vmax(float %i, float %j) { 98 ; AVX512-LABEL: test_vmax: 99 ; AVX512: ## %bb.0: 100 ; AVX512-NEXT: vmaxss %xmm1, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfa,0x5f,0xc1] 101 ; AVX512-NEXT: retq ## encoding: [0xc3] 102 ; 103 ; AVX-LABEL: test_vmax: 104 ; AVX: ## %bb.0: 105 ; AVX-NEXT: vmaxss %xmm1, %xmm0, %xmm0 ## encoding: [0xc5,0xfa,0x5f,0xc1] 106 ; AVX-NEXT: retq ## encoding: [0xc3] 107 %cmp_res = fcmp ogt float %i, %j 108 %max = select i1 %cmp_res, float %i, float %j 109 ret float %max 110 } 111 112 define float @test_mov(float %a, float %b, float %i, float %j) { 113 ; AVX512-LABEL: test_mov: 114 ; AVX512: ## %bb.0: 115 ; AVX512-NEXT: vcmpltss %xmm2, %xmm3, %k1 ## encoding: [0x62,0xf1,0x66,0x08,0xc2,0xca,0x01] 116 ; AVX512-NEXT: vmovss %xmm1, %xmm0, %xmm0 {%k1} ## encoding: [0x62,0xf1,0x7e,0x09,0x10,0xc1] 117 ; AVX512-NEXT: retq ## encoding: [0xc3] 118 ; 119 ; AVX-LABEL: test_mov: 120 ; AVX: ## %bb.0: 121 ; AVX-NEXT: vcmpltss %xmm2, %xmm3, %xmm2 ## encoding: [0xc5,0xe2,0xc2,0xd2,0x01] 122 ; AVX-NEXT: vblendvps %xmm2, %xmm1, %xmm0, %xmm0 ## encoding: [0xc4,0xe3,0x79,0x4a,0xc1,0x20] 123 ; AVX-NEXT: retq ## encoding: [0xc3] 124 %cmp_res = fcmp ogt float %i, %j 125 %max = select i1 %cmp_res, float %b, float %a 126 ret float %max 127 } 128 129 define float @zero_float(float %a) { 130 ; AVX512-KNL-LABEL: zero_float: 131 ; AVX512-KNL: ## %bb.0: 132 ; AVX512-KNL-NEXT: vxorps %xmm1, %xmm1, %xmm1 ## encoding: [0xc5,0xf0,0x57,0xc9] 133 ; AVX512-KNL-NEXT: vaddss %xmm1, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfa,0x58,0xc1] 134 ; AVX512-KNL-NEXT: retq ## encoding: [0xc3] 135 ; 136 ; AVX512-SKX-LABEL: zero_float: 137 ; AVX512-SKX: ## %bb.0: 138 ; AVX512-SKX-NEXT: vxorps %xmm1, %xmm1, %xmm1 ## EVEX TO VEX Compression encoding: [0xc5,0xf0,0x57,0xc9] 139 ; AVX512-SKX-NEXT: vaddss %xmm1, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfa,0x58,0xc1] 140 ; AVX512-SKX-NEXT: retq ## encoding: [0xc3] 141 ; 142 ; AVX-LABEL: zero_float: 143 ; AVX: ## %bb.0: 144 ; AVX-NEXT: vxorps %xmm1, %xmm1, %xmm1 ## encoding: [0xc5,0xf0,0x57,0xc9] 145 ; AVX-NEXT: vaddss %xmm1, %xmm0, %xmm0 ## encoding: [0xc5,0xfa,0x58,0xc1] 146 ; AVX-NEXT: retq ## encoding: [0xc3] 147 %b = fadd float %a, 0.0 148 ret float %b 149 } 150 151 define double @zero_double(double %a) { 152 ; AVX512-KNL-LABEL: zero_double: 153 ; AVX512-KNL: ## %bb.0: 154 ; AVX512-KNL-NEXT: vxorpd %xmm1, %xmm1, %xmm1 ## encoding: [0xc5,0xf1,0x57,0xc9] 155 ; AVX512-KNL-NEXT: vaddsd %xmm1, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfb,0x58,0xc1] 156 ; AVX512-KNL-NEXT: retq ## encoding: [0xc3] 157 ; 158 ; AVX512-SKX-LABEL: zero_double: 159 ; AVX512-SKX: ## %bb.0: 160 ; AVX512-SKX-NEXT: vxorpd %xmm1, %xmm1, %xmm1 ## EVEX TO VEX Compression encoding: [0xc5,0xf1,0x57,0xc9] 161 ; AVX512-SKX-NEXT: vaddsd %xmm1, %xmm0, %xmm0 ## EVEX TO VEX Compression encoding: [0xc5,0xfb,0x58,0xc1] 162 ; AVX512-SKX-NEXT: retq ## encoding: [0xc3] 163 ; 164 ; AVX-LABEL: zero_double: 165 ; AVX: ## %bb.0: 166 ; AVX-NEXT: vxorpd %xmm1, %xmm1, %xmm1 ## encoding: [0xc5,0xf1,0x57,0xc9] 167 ; AVX-NEXT: vaddsd %xmm1, %xmm0, %xmm0 ## encoding: [0xc5,0xfb,0x58,0xc1] 168 ; AVX-NEXT: retq ## encoding: [0xc3] 169 %b = fadd double %a, 0.0 170 ret double %b 171 } 172
