1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc -mtriple=x86_64-unknown-unknown -mattr=+avx < %s | FileCheck %s --check-prefix=AVX 3; RUN: llc -mtriple=i386-unknown-linux-gnu -mcpu=knl < %s | FileCheck %s --check-prefix=KNL-32 4 5 6; Verify that we don't crash during codegen due to a wrong lowering 7; of a setcc node with illegal operand types and return type. 8 9define <8 x i16> @pr25080(<8 x i32> %a) { 10; AVX-LABEL: pr25080: 11; AVX: # %bb.0: # %entry 12; AVX-NEXT: vandps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0 13; AVX-NEXT: vextractf128 $1, %ymm0, %xmm1 14; AVX-NEXT: vpxor %xmm2, %xmm2, %xmm2 15; AVX-NEXT: vpcmpeqd %xmm2, %xmm1, %xmm1 16; AVX-NEXT: vpcmpeqd %xmm2, %xmm0, %xmm0 17; AVX-NEXT: vpackssdw %xmm1, %xmm0, %xmm0 18; AVX-NEXT: vpor {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0 19; AVX-NEXT: vzeroupper 20; AVX-NEXT: retq 21; 22; KNL-32-LABEL: pr25080: 23; KNL-32: # %bb.0: # %entry 24; KNL-32-NEXT: # kill: def $ymm0 killed $ymm0 def $zmm0 25; KNL-32-NEXT: vptestnmd {{\.?LCPI[0-9]+_[0-9]+}}{1to16}, %zmm0, %k0 26; KNL-32-NEXT: movb $15, %al 27; KNL-32-NEXT: kmovw %eax, %k1 28; KNL-32-NEXT: korw %k1, %k0, %k1 29; KNL-32-NEXT: vpternlogd $255, %zmm0, %zmm0, %zmm0 {%k1} {z} 30; KNL-32-NEXT: vpmovdw %zmm0, %ymm0 31; KNL-32-NEXT: # kill: def $xmm0 killed $xmm0 killed $ymm0 32; KNL-32-NEXT: retl 33entry: 34 %0 = trunc <8 x i32> %a to <8 x i23> 35 %1 = icmp eq <8 x i23> %0, zeroinitializer 36 %2 = or <8 x i1> %1, <i1 true, i1 true, i1 true, i1 true, i1 false, i1 false, i1 false, i1 false> 37 %3 = sext <8 x i1> %2 to <8 x i16> 38 ret <8 x i16> %3 39} 40 41define void @pr26232(i64 %a, <16 x i1> %b) { 42; AVX-LABEL: pr26232: 43; AVX: # %bb.0: # %allocas 44; AVX-NEXT: vpxor %xmm1, %xmm1, %xmm1 45; AVX-NEXT: .p2align 4, 0x90 46; AVX-NEXT: .LBB1_1: # %for_loop599 47; AVX-NEXT: # =>This Inner Loop Header: Depth=1 48; AVX-NEXT: xorl %eax, %eax 49; AVX-NEXT: cmpq $65536, %rdi # imm = 0x10000 50; AVX-NEXT: setl %al 51; AVX-NEXT: vmovd %eax, %xmm2 52; AVX-NEXT: vpshufb %xmm1, %xmm2, %xmm2 53; AVX-NEXT: vpand %xmm0, %xmm2, %xmm2 54; AVX-NEXT: vpsllw $7, %xmm2, %xmm2 55; AVX-NEXT: vpmovmskb %xmm2, %eax 56; AVX-NEXT: testl %eax, %eax 57; AVX-NEXT: jne .LBB1_1 58; AVX-NEXT: # %bb.2: # %for_exit600 59; AVX-NEXT: retq 60; 61; KNL-32-LABEL: pr26232: 62; KNL-32: # %bb.0: # %allocas 63; KNL-32-NEXT: pushl %esi 64; KNL-32-NEXT: .cfi_def_cfa_offset 8 65; KNL-32-NEXT: .cfi_offset %esi, -8 66; KNL-32-NEXT: vpmovsxbd %xmm0, %zmm0 67; KNL-32-NEXT: vpslld $31, %zmm0, %zmm0 68; KNL-32-NEXT: vptestmd %zmm0, %zmm0, %k0 69; KNL-32-NEXT: movl {{[0-9]+}}(%esp), %eax 70; KNL-32-NEXT: movl {{[0-9]+}}(%esp), %ecx 71; KNL-32-NEXT: movl $65535, %edx # imm = 0xFFFF 72; KNL-32-NEXT: .p2align 4, 0x90 73; KNL-32-NEXT: .LBB1_1: # %for_loop599 74; KNL-32-NEXT: # =>This Inner Loop Header: Depth=1 75; KNL-32-NEXT: cmpl $65536, %ecx # imm = 0x10000 76; KNL-32-NEXT: movl %eax, %esi 77; KNL-32-NEXT: sbbl $0, %esi 78; KNL-32-NEXT: movl $0, %esi 79; KNL-32-NEXT: cmovll %edx, %esi 80; KNL-32-NEXT: kmovw %esi, %k1 81; KNL-32-NEXT: kandw %k0, %k1, %k1 82; KNL-32-NEXT: kortestw %k1, %k1 83; KNL-32-NEXT: jne .LBB1_1 84; KNL-32-NEXT: # %bb.2: # %for_exit600 85; KNL-32-NEXT: popl %esi 86; KNL-32-NEXT: .cfi_def_cfa_offset 4 87; KNL-32-NEXT: retl 88allocas: 89 br label %for_test11.preheader 90 91for_test11.preheader: ; preds = %for_test11.preheader, %allocas 92 br i1 undef, label %for_loop599, label %for_test11.preheader 93 94for_loop599: ; preds = %for_loop599, %for_test11.preheader 95 %less_i_load605_ = icmp slt i64 %a, 65536 96 %less_i_load605__broadcast_init = insertelement <16 x i1> undef, i1 %less_i_load605_, i32 0 97 %less_i_load605__broadcast = shufflevector <16 x i1> %less_i_load605__broadcast_init, <16 x i1> undef, <16 x i32> zeroinitializer 98 %"oldMask&test607" = and <16 x i1> %less_i_load605__broadcast, %b 99 %intmask.i894 = bitcast <16 x i1> %"oldMask&test607" to i16 100 %res.i895 = icmp eq i16 %intmask.i894, 0 101 br i1 %res.i895, label %for_exit600, label %for_loop599 102 103for_exit600: ; preds = %for_loop599 104 ret void 105} 106 107define <4 x i32> @pcmpgt(<4 x i8> %x) { 108; AVX-LABEL: pcmpgt: 109; AVX: # %bb.0: 110; AVX-NEXT: vpmovzxbd {{.*#+}} xmm0 = xmm0[0],zero,zero,zero,xmm0[1],zero,zero,zero,xmm0[2],zero,zero,zero,xmm0[3],zero,zero,zero 111; AVX-NEXT: vpxor %xmm1, %xmm1, %xmm1 112; AVX-NEXT: vpcmpgtd %xmm1, %xmm0, %xmm0 113; AVX-NEXT: retq 114; 115; KNL-32-LABEL: pcmpgt: 116; KNL-32: # %bb.0: 117; KNL-32-NEXT: vpmovzxbd {{.*#+}} xmm0 = xmm0[0],zero,zero,zero,xmm0[1],zero,zero,zero,xmm0[2],zero,zero,zero,xmm0[3],zero,zero,zero 118; KNL-32-NEXT: vpxor %xmm1, %xmm1, %xmm1 119; KNL-32-NEXT: vpcmpgtd %xmm1, %xmm0, %xmm0 120; KNL-32-NEXT: retl 121 %zext = zext <4 x i8> %x to <4 x i32> 122 %icmp = icmp ne <4 x i32> %zext, zeroinitializer 123 %sext = sext <4 x i1> %icmp to <4 x i32> 124 ret <4 x i32> %sext 125} 126