1; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+avx512f -show-mc-encoding | FileCheck %s 2; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+avx512f,+egpr -show-mc-encoding | FileCheck --check-prefix=EGPR %s 3 4define void @kmov(i1 %cmp23.not) { 5; CHECK-LABEL: kmov: 6; CHECK: kmovw %edi, %k1 # encoding: [0xc5,0xf8,0x92,0xcf] 7; 8; EGPR-LABEL: kmov: 9; EGPR: kmovw %edi, %k1 # EVEX TO VEX Compression encoding: [0xc5,0xf8,0x92,0xcf] 10entry: 11 %0 = select i1 %cmp23.not, double 1.000000e+00, double 0.000000e+00 12 store double %0, ptr null, align 8 13 ret void 14} 15