Index: llvm/trunk/lib/Target/X86/X86FastISel.cpp =================================================================== --- llvm/trunk/lib/Target/X86/X86FastISel.cpp +++ llvm/trunk/lib/Target/X86/X86FastISel.cpp @@ -1731,15 +1731,17 @@ unsigned OpReg = getRegForValue(BI->getCondition()); if (OpReg == 0) return false; - // In case OpReg is a K register, kortest against itself. - if (MRI.getRegClass(OpReg) == &X86::VK1RegClass) - BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(X86::KORTESTWrr)) - .addReg(OpReg) - .addReg(OpReg); - else - BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(X86::TEST8ri)) - .addReg(OpReg) - .addImm(1); + // In case OpReg is a K register, COPY to a GPR + if (MRI.getRegClass(OpReg) == &X86::VK1RegClass) { + unsigned KOpReg = OpReg; + OpReg = createResultReg(&X86::GR8RegClass); + BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, + TII.get(TargetOpcode::COPY), OpReg) + .addReg(KOpReg); + } + BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(X86::TEST8ri)) + .addReg(OpReg) + .addImm(1); BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(X86::JNE_1)) .addMBB(TrueMBB); finishCondBranch(BI->getParent(), TrueMBB, FalseMBB); @@ -2073,16 +2075,17 @@ return false; bool CondIsKill = hasTrivialKill(Cond); - // In case OpReg is a K register, kortest against itself. - if (MRI.getRegClass(CondReg) == &X86::VK1RegClass) + // In case OpReg is a K register, COPY to a GPR + if (MRI.getRegClass(CondReg) == &X86::VK1RegClass) { + unsigned KCondReg = CondReg; + CondReg = createResultReg(&X86::GR8RegClass); BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, - TII.get(X86::KORTESTWrr)) - .addReg(CondReg, getKillRegState(CondIsKill)) - .addReg(CondReg); - else - BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(X86::TEST8ri)) - .addReg(CondReg, getKillRegState(CondIsKill)) - .addImm(1); + TII.get(TargetOpcode::COPY), CondReg) + .addReg(KCondReg, getKillRegState(CondIsKill)); + } + BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(X86::TEST8ri)) + .addReg(CondReg, getKillRegState(CondIsKill)) + .addImm(1); } const Value *LHS = I->getOperand(1); @@ -2254,16 +2257,17 @@ return false; bool CondIsKill = hasTrivialKill(Cond); - // In case OpReg is a K register, kortest against itself. - if (MRI.getRegClass(CondReg) == &X86::VK1RegClass) + // In case OpReg is a K register, COPY to a GPR + if (MRI.getRegClass(CondReg) == &X86::VK1RegClass) { + unsigned KCondReg = CondReg; + CondReg = createResultReg(&X86::GR8RegClass); BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, - TII.get(X86::KORTESTWrr)) - .addReg(CondReg, getKillRegState(CondIsKill)) - .addReg(CondReg); - else - BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(X86::TEST8ri)) - .addReg(CondReg, getKillRegState(CondIsKill)) - .addImm(1); + TII.get(TargetOpcode::COPY), CondReg) + .addReg(KCondReg, getKillRegState(CondIsKill)); + } + BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(X86::TEST8ri)) + .addReg(CondReg, getKillRegState(CondIsKill)) + .addImm(1); } const Value *LHS = I->getOperand(1); Index: llvm/trunk/test/CodeGen/X86/avx512-fsel.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/avx512-fsel.ll +++ llvm/trunk/test/CodeGen/X86/avx512-fsel.ll @@ -26,7 +26,8 @@ ; CHECK-NEXT: movb %dil, %r8b ; CHECK-NEXT: andl $1, %r8d ; CHECK-NEXT: kmovw %r8d, %k1 -; CHECK-NEXT: kortestw %k1, %k1 +; CHECK-NEXT: kmovw %k1, %ecx +; CHECK-NEXT: testb $1, %cl ; CHECK-NEXT: movb %al, {{[0-9]+}}(%rsp) ## 1-byte Spill ; CHECK-NEXT: kmovw %k0, {{[0-9]+}}(%rsp) ## 2-byte Spill ; CHECK-NEXT: jne LBB0_1 Index: llvm/trunk/test/CodeGen/X86/fast-isel-load-i1.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/fast-isel-load-i1.ll +++ llvm/trunk/test/CodeGen/X86/fast-isel-load-i1.ll @@ -0,0 +1,15 @@ +; RUN: llc < %s -fast-isel -mtriple=x86_64-unknown-linux-gnu -mattr=+avx512f | FileCheck %s + +define i1 @test_i1(i1* %b) { +; CHECK-LABEL: test_i1: +; CHECK: # BB#0: # %entry +; CHECK-NEXT: testb $1, (%rdi) +entry: + %0 = load i1, i1* %b, align 1 + br i1 %0, label %in, label %out +in: + ret i1 0 +out: + ret i1 1 +} + Index: llvm/trunk/test/CodeGen/X86/fast-isel-select-cmov.ll =================================================================== --- llvm/trunk/test/CodeGen/X86/fast-isel-select-cmov.ll +++ llvm/trunk/test/CodeGen/X86/fast-isel-select-cmov.ll @@ -16,7 +16,8 @@ ; AVX512-LABEL: select_cmov_i16: ; AVX512: ## BB#0: ; AVX512-NEXT: kmovw %edi, %k0 -; AVX512-NEXT: kortestw %k0, %k0 +; AVX512-NEXT: kmovw %k0, %eax +; AVX512-NEXT: testb $1, %al ; AVX512-NEXT: cmovew %dx, %si ; AVX512-NEXT: movzwl %si, %eax ; AVX512-NEXT: retq @@ -47,7 +48,8 @@ ; AVX512-LABEL: select_cmov_i32: ; AVX512: ## BB#0: ; AVX512-NEXT: kmovw %edi, %k0 -; AVX512-NEXT: kortestw %k0, %k0 +; AVX512-NEXT: kmovw %k0, %eax +; AVX512-NEXT: testb $1, %al ; AVX512-NEXT: cmovel %edx, %esi ; AVX512-NEXT: movl %esi, %eax ; AVX512-NEXT: retq @@ -78,7 +80,8 @@ ; AVX512-LABEL: select_cmov_i64: ; AVX512: ## BB#0: ; AVX512-NEXT: kmovw %edi, %k0 -; AVX512-NEXT: kortestw %k0, %k0 +; AVX512-NEXT: kmovw %k0, %eax +; AVX512-NEXT: testb $1, %al ; AVX512-NEXT: cmoveq %rdx, %rsi ; AVX512-NEXT: movq %rsi, %rax ; AVX512-NEXT: retq