xref: /llvm-project/llvm/test/CodeGen/X86/apx/kmov-domain-assignment.ll (revision 92d7aca441e09c85ab9355f99f93f3dbc35924a0)
1511ba45aSShengchen Kan; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2511ba45aSShengchen Kan; RUN: llc < %s -mtriple=x86_64-unknown -stop-after=x86-domain-reassignment -mattr=+avx512f,+avx512bw,+avx512dq,+egpr | FileCheck %s
3511ba45aSShengchen Kan
4511ba45aSShengchen Kandefine void @test_fcmp_storei1(i1 %cond, ptr %fptr, ptr %iptr, float %f1, float %f2, float %f3, float %f4) {
5511ba45aSShengchen Kan  ; CHECK-LABEL: name: test_fcmp_storei1
6511ba45aSShengchen Kan  ; CHECK: bb.0.entry:
7511ba45aSShengchen Kan  ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
8511ba45aSShengchen Kan  ; CHECK-NEXT:   liveins: $edi, $rdx, $xmm0, $xmm1, $xmm2, $xmm3
9511ba45aSShengchen Kan  ; CHECK-NEXT: {{  $}}
10511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY:%[0-9]+]]:fr32x = COPY $xmm3
11511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:fr32x = COPY $xmm2
12511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:fr32x = COPY $xmm1
13511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:fr32x = COPY $xmm0
14511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:gr64 = COPY $rdx
15511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:gr32 = COPY $edi
16511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY6:%[0-9]+]]:gr8 = COPY [[COPY5]].sub_8bit
17511ba45aSShengchen Kan  ; CHECK-NEXT:   TEST8ri killed [[COPY6]], 1, implicit-def $eflags
18511ba45aSShengchen Kan  ; CHECK-NEXT:   JCC_1 %bb.2, 4, implicit $eflags
19511ba45aSShengchen Kan  ; CHECK-NEXT:   JMP_1 %bb.1
20511ba45aSShengchen Kan  ; CHECK-NEXT: {{  $}}
21511ba45aSShengchen Kan  ; CHECK-NEXT: bb.1.if:
22511ba45aSShengchen Kan  ; CHECK-NEXT:   successors: %bb.3(0x80000000)
23511ba45aSShengchen Kan  ; CHECK-NEXT: {{  $}}
24*92d7aca4SSimon Pilgrim  ; CHECK-NEXT:   [[VCMPSSZrri:%[0-9]+]]:vk1 = nofpexcept VCMPSSZrri [[COPY3]], [[COPY2]], 0, implicit $mxcsr
25*92d7aca4SSimon Pilgrim  ; CHECK-NEXT:   [[COPY7:%[0-9]+]]:vk16 = COPY [[VCMPSSZrri]]
26511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY8:%[0-9]+]]:vk32 = COPY [[COPY7]]
27511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY9:%[0-9]+]]:vk8 = COPY [[COPY8]]
28511ba45aSShengchen Kan  ; CHECK-NEXT:   JMP_1 %bb.3
29511ba45aSShengchen Kan  ; CHECK-NEXT: {{  $}}
30511ba45aSShengchen Kan  ; CHECK-NEXT: bb.2.else:
31511ba45aSShengchen Kan  ; CHECK-NEXT:   successors: %bb.3(0x80000000)
32511ba45aSShengchen Kan  ; CHECK-NEXT: {{  $}}
33*92d7aca4SSimon Pilgrim  ; CHECK-NEXT:   [[VCMPSSZrri1:%[0-9]+]]:vk1 = nofpexcept VCMPSSZrri [[COPY1]], [[COPY]], 0, implicit $mxcsr
34*92d7aca4SSimon Pilgrim  ; CHECK-NEXT:   [[COPY10:%[0-9]+]]:vk16 = COPY [[VCMPSSZrri1]]
35511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY11:%[0-9]+]]:vk32 = COPY [[COPY10]]
36511ba45aSShengchen Kan  ; CHECK-NEXT:   [[COPY12:%[0-9]+]]:vk8 = COPY [[COPY11]]
37511ba45aSShengchen Kan  ; CHECK-NEXT: {{  $}}
38511ba45aSShengchen Kan  ; CHECK-NEXT: bb.3.exit:
39511ba45aSShengchen Kan  ; CHECK-NEXT:   [[PHI:%[0-9]+]]:vk8 = PHI [[COPY12]], %bb.2, [[COPY9]], %bb.1
40511ba45aSShengchen Kan  ; CHECK-NEXT:   KMOVBmk_EVEX [[COPY4]], 1, $noreg, 0, $noreg, [[PHI]]
41511ba45aSShengchen Kan  ; CHECK-NEXT:   RET 0
42511ba45aSShengchen Kanentry:
43511ba45aSShengchen Kan  br i1 %cond, label %if, label %else
44511ba45aSShengchen Kan
45511ba45aSShengchen Kanif:
46511ba45aSShengchen Kan  %cmp1 = fcmp oeq float %f1, %f2
47511ba45aSShengchen Kan  br label %exit
48511ba45aSShengchen Kan
49511ba45aSShengchen Kanelse:
50511ba45aSShengchen Kan  %cmp2 = fcmp oeq float %f3, %f4
51511ba45aSShengchen Kan  br label %exit
52511ba45aSShengchen Kan
53511ba45aSShengchen Kanexit:
54511ba45aSShengchen Kan  %val = phi i1 [%cmp1, %if], [%cmp2, %else]
55511ba45aSShengchen Kan  store i1 %val, ptr %iptr
56511ba45aSShengchen Kan  ret void
57511ba45aSShengchen Kan}
58511ba45aSShengchen Kan
59