58 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=avx512f | FileCheck %s3 4define i64 @split_assertzext(ptr %x) nounwind {5; CHECK-LABEL: split_assertzext:6; CHECK: # %bb.0:7; CHECK-NEXT: pushq %rax8; CHECK-NEXT: callq test@PLT9; CHECK-NEXT: vextracti32x4 $3, %zmm1, %xmm010; CHECK-NEXT: vpextrq $1, %xmm0, %rax11; CHECK-NEXT: popq %rcx12; CHECK-NEXT: vzeroupper13; CHECK-NEXT: retq14 %e = call <16 x i64> @test(), !range !0, !noundef !{}15 %d = extractelement <16 x i64> %e, i32 1516 ret i64 %d17}18 19define i64 @widen_assertzext(ptr %x) nounwind {20; CHECK-LABEL: widen_assertzext:21; CHECK: # %bb.0:22; CHECK-NEXT: pushq %rax23; CHECK-NEXT: callq test2@PLT24; CHECK-NEXT: movb $127, %al25; CHECK-NEXT: kmovw %eax, %k126; CHECK-NEXT: vpexpandq %zmm0, %zmm0 {%k1} {z}27; CHECK-NEXT: vextracti32x4 $3, %zmm0, %xmm028; CHECK-NEXT: vmovq %xmm0, %rax29; CHECK-NEXT: popq %rcx30; CHECK-NEXT: vzeroupper31; CHECK-NEXT: retq32 %e = call <7 x i64> @test2(), !range !0, !noundef !{}33 %d = extractelement <7 x i64> %e, i32 634 ret i64 %d35}36 37define i64 @widen_assertzext_range_attr(ptr %x) nounwind {38; CHECK-LABEL: widen_assertzext_range_attr:39; CHECK: # %bb.0:40; CHECK-NEXT: pushq %rax41; CHECK-NEXT: callq test2@PLT42; CHECK-NEXT: movb $127, %al43; CHECK-NEXT: kmovw %eax, %k144; CHECK-NEXT: vpexpandq %zmm0, %zmm0 {%k1} {z}45; CHECK-NEXT: vextracti32x4 $3, %zmm0, %xmm046; CHECK-NEXT: vmovq %xmm0, %rax47; CHECK-NEXT: popq %rcx48; CHECK-NEXT: vzeroupper49; CHECK-NEXT: retq50 %e = call noundef range(i64 0, 2) <7 x i64> @test2()51 %d = extractelement <7 x i64> %e, i32 652 ret i64 %d53}54 55declare <16 x i64> @test()56declare <7 x i64> @test2()57!0 = !{ i64 0, i64 2 }58