334 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse4.1 | FileCheck %s --check-prefixes=CHECK,SSE3; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s --check-prefixes=CHECK,AVX,AVX14; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2 | FileCheck %s --check-prefixes=CHECK,AVX,AVX25 6declare <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16>, <8 x i16>) nounwind readnone7declare <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8>, <16 x i8>) nounwind readnone8 9define <4 x i32> @combine_pmaddwd_zero(<8 x i16> %a0, <8 x i16> %a1) {10; SSE-LABEL: combine_pmaddwd_zero:11; SSE: # %bb.0:12; SSE-NEXT: xorps %xmm0, %xmm013; SSE-NEXT: retq14;15; AVX-LABEL: combine_pmaddwd_zero:16; AVX: # %bb.0:17; AVX-NEXT: vxorps %xmm0, %xmm0, %xmm018; AVX-NEXT: retq19 %1 = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> %a0, <8 x i16> zeroinitializer)20 ret <4 x i32> %121}22 23define <4 x i32> @combine_pmaddwd_zero_commute(<8 x i16> %a0, <8 x i16> %a1) {24; SSE-LABEL: combine_pmaddwd_zero_commute:25; SSE: # %bb.0:26; SSE-NEXT: xorps %xmm0, %xmm027; SSE-NEXT: retq28;29; AVX-LABEL: combine_pmaddwd_zero_commute:30; AVX: # %bb.0:31; AVX-NEXT: vxorps %xmm0, %xmm0, %xmm032; AVX-NEXT: retq33 %1 = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> zeroinitializer, <8 x i16> %a0)34 ret <4 x i32> %135}36 37define <8 x i32> @combine_pmaddwd_concat(<8 x i16> %a0, <8 x i16> %a1, <8 x i16> %a2, <8 x i16> %a3) {38; SSE-LABEL: combine_pmaddwd_concat:39; SSE: # %bb.0:40; SSE-NEXT: pmaddwd %xmm1, %xmm041; SSE-NEXT: pmaddwd %xmm3, %xmm242; SSE-NEXT: movdqa %xmm2, %xmm143; SSE-NEXT: retq44;45; AVX1-LABEL: combine_pmaddwd_concat:46; AVX1: # %bb.0:47; AVX1-NEXT: vpmaddwd %xmm1, %xmm0, %xmm048; AVX1-NEXT: vpmaddwd %xmm3, %xmm2, %xmm149; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm050; AVX1-NEXT: retq51;52; AVX2-LABEL: combine_pmaddwd_concat:53; AVX2: # %bb.0:54; AVX2-NEXT: vpmaddwd %xmm1, %xmm0, %xmm055; AVX2-NEXT: vpmaddwd %xmm3, %xmm2, %xmm156; AVX2-NEXT: vinserti128 $1, %xmm1, %ymm0, %ymm057; AVX2-NEXT: retq58 %1 = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> %a0, <8 x i16> %a1)59 %2 = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> %a2, <8 x i16> %a3)60 %3 = shufflevector <4 x i32> %1, <4 x i32> %2, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>61 ret <8 x i32> %362}63 64define <8 x i32> @combine_pmaddwd_concat_freeze(<8 x i16> %a0, <8 x i16> %a1) {65; SSE-LABEL: combine_pmaddwd_concat_freeze:66; SSE: # %bb.0:67; SSE-NEXT: pmovsxbw {{.*#+}} xmm2 = [1,1,1,1,1,1,1,1]68; SSE-NEXT: pmaddwd %xmm2, %xmm069; SSE-NEXT: pmaddwd %xmm2, %xmm170; SSE-NEXT: retq71;72; AVX1-LABEL: combine_pmaddwd_concat_freeze:73; AVX1: # %bb.0:74; AVX1-NEXT: vbroadcastss {{.*#+}} xmm2 = [1,1,1,1,1,1,1,1]75; AVX1-NEXT: vpmaddwd %xmm2, %xmm0, %xmm076; AVX1-NEXT: vpmaddwd %xmm2, %xmm1, %xmm177; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm078; AVX1-NEXT: retq79;80; AVX2-LABEL: combine_pmaddwd_concat_freeze:81; AVX2: # %bb.0:82; AVX2-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm083; AVX2-NEXT: vinserti128 $1, %xmm1, %ymm0, %ymm084; AVX2-NEXT: vpmaddwd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0 # [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]85; AVX2-NEXT: retq86 %lo = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> %a0, <8 x i16> <i16 1, i16 1, i16 1, i16 1, i16 1, i16 1, i16 1, i16 1>)87 %hi = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> %a1, <8 x i16> <i16 1, i16 1, i16 1, i16 1, i16 1, i16 1, i16 1, i16 1>)88 %flo = freeze <4 x i32> %lo89 %fhi = freeze <4 x i32> %hi90 %res = shufflevector <4 x i32> %flo, <4 x i32> %fhi, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>91 ret <8 x i32> %res92}93 94define <4 x i32> @combine_pmaddwd_demandedelts(<8 x i16> %a0, <8 x i16> %a1) {95; SSE-LABEL: combine_pmaddwd_demandedelts:96; SSE: # %bb.0:97; SSE-NEXT: pmaddwd %xmm1, %xmm098; SSE-NEXT: pshufd {{.*#+}} xmm0 = xmm0[0,0,0,0]99; SSE-NEXT: retq100;101; AVX1-LABEL: combine_pmaddwd_demandedelts:102; AVX1: # %bb.0:103; AVX1-NEXT: vpmaddwd %xmm1, %xmm0, %xmm0104; AVX1-NEXT: vpshufd {{.*#+}} xmm0 = xmm0[0,0,0,0]105; AVX1-NEXT: retq106;107; AVX2-LABEL: combine_pmaddwd_demandedelts:108; AVX2: # %bb.0:109; AVX2-NEXT: vpmaddwd %xmm1, %xmm0, %xmm0110; AVX2-NEXT: vpbroadcastd %xmm0, %xmm0111; AVX2-NEXT: retq112 %1 = shufflevector <8 x i16> %a0, <8 x i16> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 4, i32 4, i32 4>113 %2 = shufflevector <8 x i16> %a1, <8 x i16> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 7, i32 7, i32 7, i32 7>114 %3 = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> %1, <8 x i16> %2)115 %4 = shufflevector <4 x i32> %3, <4 x i32> poison, <4 x i32> zeroinitializer116 ret <4 x i32> %4117}118 119; [2]: (-5*13)+(6*-15) = -155 = 4294967141120define <4 x i32> @combine_pmaddwd_constant() {121; SSE-LABEL: combine_pmaddwd_constant:122; SSE: # %bb.0:123; SSE-NEXT: movaps {{.*#+}} xmm0 = [19,17,4294967141,271]124; SSE-NEXT: retq125;126; AVX-LABEL: combine_pmaddwd_constant:127; AVX: # %bb.0:128; AVX-NEXT: vmovaps {{.*#+}} xmm0 = [19,17,4294967141,271]129; AVX-NEXT: retq130 %1 = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> <i16 -1, i16 2, i16 3, i16 -4, i16 -5, i16 6, i16 7, i16 -8>, <8 x i16> <i16 -5, i16 7, i16 -9, i16 -11, i16 13, i16 -15, i16 17, i16 -19>)131 ret <4 x i32> %1132}133 134; ensure we don't assume pmaddwd performs add nsw135; [0]: (-32768*-32768)+(-32768*-32768) = 0x80000000 = 2147483648136define <4 x i32> @combine_pmaddwd_constant_nsw() {137; SSE-LABEL: combine_pmaddwd_constant_nsw:138; SSE: # %bb.0:139; SSE-NEXT: movaps {{.*#+}} xmm0 = [2147483648,2147483648,2147483648,2147483648]140; SSE-NEXT: retq141;142; AVX-LABEL: combine_pmaddwd_constant_nsw:143; AVX: # %bb.0:144; AVX-NEXT: vbroadcastss {{.*#+}} xmm0 = [2147483648,2147483648,2147483648,2147483648]145; AVX-NEXT: retq146 %1 = insertelement <8 x i16> undef, i16 32768, i32 0147 %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> zeroinitializer148 %3 = call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> %2, <8 x i16> %2)149 ret <4 x i32> %3150}151 152define <8 x i16> @combine_pmaddubsw_zero(<16 x i8> %a0, <16 x i8> %a1) {153; SSE-LABEL: combine_pmaddubsw_zero:154; SSE: # %bb.0:155; SSE-NEXT: xorps %xmm0, %xmm0156; SSE-NEXT: retq157;158; AVX-LABEL: combine_pmaddubsw_zero:159; AVX: # %bb.0:160; AVX-NEXT: vxorps %xmm0, %xmm0, %xmm0161; AVX-NEXT: retq162 %1 = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> %a0, <16 x i8> zeroinitializer)163 ret <8 x i16> %1164}165 166define <8 x i16> @combine_pmaddubsw_zero_commute(<16 x i8> %a0, <16 x i8> %a1) {167; SSE-LABEL: combine_pmaddubsw_zero_commute:168; SSE: # %bb.0:169; SSE-NEXT: xorps %xmm0, %xmm0170; SSE-NEXT: retq171;172; AVX-LABEL: combine_pmaddubsw_zero_commute:173; AVX: # %bb.0:174; AVX-NEXT: vxorps %xmm0, %xmm0, %xmm0175; AVX-NEXT: retq176 %1 = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> zeroinitializer, <16 x i8> %a0)177 ret <8 x i16> %1178}179 180define <16 x i16> @combine_pmaddubsw_concat(<32 x i8> %a0, <32 x i8> %a1) {181; SSE-LABEL: combine_pmaddubsw_concat:182; SSE: # %bb.0:183; SSE-NEXT: pmaddubsw %xmm2, %xmm0184; SSE-NEXT: pmaddubsw %xmm3, %xmm1185; SSE-NEXT: retq186;187; AVX1-LABEL: combine_pmaddubsw_concat:188; AVX1: # %bb.0:189; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm2190; AVX1-NEXT: vextractf128 $1, %ymm1, %xmm3191; AVX1-NEXT: vpmaddubsw %xmm3, %xmm2, %xmm2192; AVX1-NEXT: vpmaddubsw %xmm1, %xmm0, %xmm0193; AVX1-NEXT: vinsertf128 $1, %xmm2, %ymm0, %ymm0194; AVX1-NEXT: retq195;196; AVX2-LABEL: combine_pmaddubsw_concat:197; AVX2: # %bb.0:198; AVX2-NEXT: vpmaddubsw %ymm1, %ymm0, %ymm0199; AVX2-NEXT: retq200 %lo0 = shufflevector <32 x i8> %a0, <32 x i8> undef, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>201 %lo1 = shufflevector <32 x i8> %a1, <32 x i8> undef, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>202 %hi0 = shufflevector <32 x i8> %a0, <32 x i8> undef, <16 x i32> <i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31>203 %hi1 = shufflevector <32 x i8> %a1, <32 x i8> undef, <16 x i32> <i32 16, i32 17, i32 18, i32 19, i32 20, i32 21, i32 22, i32 23, i32 24, i32 25, i32 26, i32 27, i32 28, i32 29, i32 30, i32 31>204 %lo = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> %lo0, <16 x i8> %lo1)205 %hi = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> %hi0, <16 x i8> %hi1)206 %res = shufflevector <8 x i16> %lo, <8 x i16> %hi, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>207 ret <16 x i16> %res208}209 210; Not beneficial to concatenate both inputs just to create a 256-bit pmaddubsw211define <16 x i16> @combine_pmaddubsw_concat_unecessary(<16 x i8> %a0, <16 x i8> %a1, <16 x i8> %a2, <16 x i8> %a3) {212; SSE-LABEL: combine_pmaddubsw_concat_unecessary:213; SSE: # %bb.0:214; SSE-NEXT: pmaddubsw %xmm1, %xmm0215; SSE-NEXT: pmaddubsw %xmm3, %xmm2216; SSE-NEXT: movdqa %xmm2, %xmm1217; SSE-NEXT: retq218;219; AVX1-LABEL: combine_pmaddubsw_concat_unecessary:220; AVX1: # %bb.0:221; AVX1-NEXT: vpmaddubsw %xmm1, %xmm0, %xmm0222; AVX1-NEXT: vpmaddubsw %xmm3, %xmm2, %xmm1223; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0224; AVX1-NEXT: retq225;226; AVX2-LABEL: combine_pmaddubsw_concat_unecessary:227; AVX2: # %bb.0:228; AVX2-NEXT: vpmaddubsw %xmm1, %xmm0, %xmm0229; AVX2-NEXT: vpmaddubsw %xmm3, %xmm2, %xmm1230; AVX2-NEXT: vinserti128 $1, %xmm1, %ymm0, %ymm0231; AVX2-NEXT: retq232 %1 = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> %a0, <16 x i8> %a1)233 %2 = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> %a2, <16 x i8> %a3)234 %3 = shufflevector <8 x i16> %1, <8 x i16> %2, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>235 ret <16 x i16> %3236}237 238define <16 x i16> @combine_pmaddubsw_concat_freeze(<16 x i8> %a0, <16 x i8> %a1) {239; SSE-LABEL: combine_pmaddubsw_concat_freeze:240; SSE: # %bb.0:241; SSE-NEXT: movdqa {{.*#+}} xmm2 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]242; SSE-NEXT: pmaddubsw %xmm2, %xmm0243; SSE-NEXT: pmaddubsw %xmm2, %xmm1244; SSE-NEXT: retq245;246; AVX1-LABEL: combine_pmaddubsw_concat_freeze:247; AVX1: # %bb.0:248; AVX1-NEXT: vbroadcastss {{.*#+}} xmm2 = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]249; AVX1-NEXT: vpmaddubsw %xmm2, %xmm0, %xmm0250; AVX1-NEXT: vpmaddubsw %xmm2, %xmm1, %xmm1251; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0252; AVX1-NEXT: retq253;254; AVX2-LABEL: combine_pmaddubsw_concat_freeze:255; AVX2: # %bb.0:256; AVX2-NEXT: # kill: def $xmm0 killed $xmm0 def $ymm0257; AVX2-NEXT: vinserti128 $1, %xmm1, %ymm0, %ymm0258; AVX2-NEXT: vpmaddubsw {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %ymm0, %ymm0 # [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]259; AVX2-NEXT: retq260 %lo = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> %a0, <16 x i8> <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>)261 %hi = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> %a1, <16 x i8> <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>)262 %flo = freeze <8 x i16> %lo263 %fhi = freeze <8 x i16> %hi264 %res = shufflevector <8 x i16> %flo, <8 x i16> %fhi, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>265 ret <16 x i16> %res266}267 268define <8 x i16> @combine_pmaddubsw_demandedelts(<16 x i8> %a0, <16 x i8> %a1) {269; SSE-LABEL: combine_pmaddubsw_demandedelts:270; SSE: # %bb.0:271; SSE-NEXT: pmaddubsw %xmm1, %xmm0272; SSE-NEXT: pshufd {{.*#+}} xmm0 = xmm0[0,0,0,0]273; SSE-NEXT: retq274;275; AVX1-LABEL: combine_pmaddubsw_demandedelts:276; AVX1: # %bb.0:277; AVX1-NEXT: vpmaddubsw %xmm1, %xmm0, %xmm0278; AVX1-NEXT: vpshufd {{.*#+}} xmm0 = xmm0[0,0,0,0]279; AVX1-NEXT: retq280;281; AVX2-LABEL: combine_pmaddubsw_demandedelts:282; AVX2: # %bb.0:283; AVX2-NEXT: vpmaddubsw %xmm1, %xmm0, %xmm0284; AVX2-NEXT: vpbroadcastd %xmm0, %xmm0285; AVX2-NEXT: retq286 %1 = shufflevector <16 x i8> %a0, <16 x i8> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 8, i32 8, i32 8, i32 8, i32 8, i32 8, i32 8>287 %2 = shufflevector <16 x i8> %a1, <16 x i8> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 15, i32 15, i32 15, i32 15, i32 15, i32 15, i32 15, i32 15>288 %3 = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> %1, <16 x i8> %2)289 %4 = shufflevector <8 x i16> %3, <8 x i16> poison, <8 x i32> <i32 0, i32 1, i32 0, i32 1, i32 0, i32 1, i32 0, i32 1>290 ret <8 x i16> %4291}292 293; [3]: ((uint16_t)-6*7)+(7*-8) = (250*7)+(7*-8) = 1694294define i32 @combine_pmaddubsw_constant() {295; CHECK-LABEL: combine_pmaddubsw_constant:296; CHECK: # %bb.0:297; CHECK-NEXT: movl $1694, %eax # imm = 0x69E298; CHECK-NEXT: retq299 %1 = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> <i8 0, i8 1, i8 2, i8 3, i8 4, i8 5, i8 -6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, <16 x i8> <i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 -8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15, i8 16>)300 %2 = extractelement <8 x i16> %1, i32 3301 %3 = sext i16 %2 to i32302 ret i32 %3303}304 305; [0]: add_sat_i16(((uint16_t)-1*-128),((uint16_t)-1*-128)_ = add_sat_i16(255*-128),(255*-128)) = sat_i16(-65280) = -32768306define i32 @combine_pmaddubsw_constant_sat() {307; CHECK-LABEL: combine_pmaddubsw_constant_sat:308; CHECK: # %bb.0:309; CHECK-NEXT: movl $-32768, %eax # imm = 0x8000310; CHECK-NEXT: retq311 %1 = call <8 x i16> @llvm.x86.ssse3.pmadd.ub.sw.128(<16 x i8> <i8 -1, i8 -1, i8 2, i8 3, i8 4, i8 5, i8 -6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, <16 x i8> <i8 -128, i8 -128, i8 3, i8 4, i8 5, i8 6, i8 7, i8 -8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15, i8 16>)312 %2 = extractelement <8 x i16> %1, i32 0313 %3 = sext i16 %2 to i32314 ret i32 %3315}316 317; Constant folding PMADDWD was causing an infinite loop in the PCMPGT commuting between 2 constant values.318define i1 @pmaddwd_pcmpgt_infinite_loop() {319; CHECK-LABEL: pmaddwd_pcmpgt_infinite_loop:320; CHECK: # %bb.0:321; CHECK-NEXT: movb $1, %al322; CHECK-NEXT: retq323 %1 = tail call <4 x i32> @llvm.x86.sse2.pmadd.wd(<8 x i16> <i16 -32768, i16 -32768, i16 -32768, i16 -32768, i16 -32768, i16 -32768, i16 -32768, i16 -32768>, <8 x i16> <i16 -32768, i16 -32768, i16 -32768, i16 -32768, i16 -32768, i16 -32768, i16 -32768, i16 -32768>)324 %2 = icmp eq <4 x i32> %1, <i32 -2147483648, i32 -2147483648, i32 -2147483648, i32 -2147483648>325 %3 = select <4 x i1> %2, <4 x i32> <i32 2147483647, i32 2147483647, i32 2147483647, i32 2147483647>, <4 x i32> zeroinitializer326 %4 = add <4 x i32> %3, <i32 -8, i32 -9, i32 -10, i32 -11>327 %.not = trunc <4 x i32> %3 to <4 x i1>328 %5 = icmp sgt <4 x i32> %4, <i32 2147483640, i32 2147483639, i32 2147483638, i32 2147483637>329 %6 = select <4 x i1> %.not, <4 x i1> %5, <4 x i1> zeroinitializer330 %7 = bitcast <4 x i1> %6 to i4331 %8 = icmp eq i4 %7, 0332 ret i1 %8333}334