1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py 2; RUN: llc < %s -mtriple=x86_64-unknown -stop-after=x86-domain-reassignment -mattr=+avx512f,+avx512bw,+avx512dq,+egpr | FileCheck %s 3 4define void @test_fcmp_storei1(i1 %cond, ptr %fptr, ptr %iptr, float %f1, float %f2, float %f3, float %f4) { 5 ; CHECK-LABEL: name: test_fcmp_storei1 6 ; CHECK: bb.0.entry: 7 ; CHECK-NEXT: successors: %bb.1(0x40000000), %bb.2(0x40000000) 8 ; CHECK-NEXT: liveins: $edi, $rdx, $xmm0, $xmm1, $xmm2, $xmm3 9 ; CHECK-NEXT: {{ $}} 10 ; CHECK-NEXT: [[COPY:%[0-9]+]]:fr32x = COPY $xmm3 11 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fr32x = COPY $xmm2 12 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:fr32x = COPY $xmm1 13 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:fr32x = COPY $xmm0 14 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:gr64 = COPY $rdx 15 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:gr32 = COPY $edi 16 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:gr8 = COPY [[COPY5]].sub_8bit 17 ; CHECK-NEXT: TEST8ri killed [[COPY6]], 1, implicit-def $eflags 18 ; CHECK-NEXT: JCC_1 %bb.2, 4, implicit $eflags 19 ; CHECK-NEXT: JMP_1 %bb.1 20 ; CHECK-NEXT: {{ $}} 21 ; CHECK-NEXT: bb.1.if: 22 ; CHECK-NEXT: successors: %bb.3(0x80000000) 23 ; CHECK-NEXT: {{ $}} 24 ; CHECK-NEXT: [[VCMPSSZrri:%[0-9]+]]:vk1 = nofpexcept VCMPSSZrri [[COPY3]], [[COPY2]], 0, implicit $mxcsr 25 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:vk16 = COPY [[VCMPSSZrri]] 26 ; CHECK-NEXT: [[COPY8:%[0-9]+]]:vk32 = COPY [[COPY7]] 27 ; CHECK-NEXT: [[COPY9:%[0-9]+]]:vk8 = COPY [[COPY8]] 28 ; CHECK-NEXT: JMP_1 %bb.3 29 ; CHECK-NEXT: {{ $}} 30 ; CHECK-NEXT: bb.2.else: 31 ; CHECK-NEXT: successors: %bb.3(0x80000000) 32 ; CHECK-NEXT: {{ $}} 33 ; CHECK-NEXT: [[VCMPSSZrri1:%[0-9]+]]:vk1 = nofpexcept VCMPSSZrri [[COPY1]], [[COPY]], 0, implicit $mxcsr 34 ; CHECK-NEXT: [[COPY10:%[0-9]+]]:vk16 = COPY [[VCMPSSZrri1]] 35 ; CHECK-NEXT: [[COPY11:%[0-9]+]]:vk32 = COPY [[COPY10]] 36 ; CHECK-NEXT: [[COPY12:%[0-9]+]]:vk8 = COPY [[COPY11]] 37 ; CHECK-NEXT: {{ $}} 38 ; CHECK-NEXT: bb.3.exit: 39 ; CHECK-NEXT: [[PHI:%[0-9]+]]:vk8 = PHI [[COPY12]], %bb.2, [[COPY9]], %bb.1 40 ; CHECK-NEXT: KMOVBmk_EVEX [[COPY4]], 1, $noreg, 0, $noreg, [[PHI]] 41 ; CHECK-NEXT: RET 0 42entry: 43 br i1 %cond, label %if, label %else 44 45if: 46 %cmp1 = fcmp oeq float %f1, %f2 47 br label %exit 48 49else: 50 %cmp2 = fcmp oeq float %f3, %f4 51 br label %exit 52 53exit: 54 %val = phi i1 [%cmp1, %if], [%cmp2, %else] 55 store i1 %val, ptr %iptr 56 ret void 57} 58 59