1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -march=amdgcn -verify-machineinstrs -run-pass=si-optimize-exec-masking-pre-ra %s -o - | FileCheck -check-prefix=GXN %s
3
4# FIXME: This is a miscompile, and the s_or_b64s need to be preserved.
5
6---
7name: invalid_end_cf_fold_0
8tracksRegLiveness: true
9liveins:
10  - { reg: '$vgpr0', virtual-reg: '%0' }
11  - { reg: '$sgpr0_sgpr1', virtual-reg: '%1' }
12machineFunctionInfo:
13  isEntryFunction: true
14body:             |
15  ; GXN-LABEL: name: invalid_end_cf_fold_0
16  ; GXN: bb.0:
17  ; GXN:   successors: %bb.1(0x80000000)
18  ; GXN:   liveins: $vgpr0, $sgpr0_sgpr1
19  ; GXN:   [[COPY:%[0-9]+]]:sgpr_64 = COPY $sgpr0_sgpr1
20  ; GXN:   $exec = S_OR_B64 $exec, [[COPY]], implicit-def $scc
21  ; GXN:   [[COPY1:%[0-9]+]]:sgpr_64 = COPY $exec
22  ; GXN: bb.1:
23  ; GXN:   successors: %bb.2(0x80000000)
24  ; GXN: bb.2:
25  ; GXN:   $exec = S_OR_B64 $exec, [[COPY1]], implicit-def $scc
26  ; GXN:   [[DEF:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
27  ; GXN:   [[DEF1:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
28  ; GXN:   DS_WRITE_B32 [[DEF]], [[DEF1]], 0, 0, implicit $m0, implicit $exec :: (store 4, addrspace 3)
29  ; GXN:   S_ENDPGM 0
30  bb.0:
31    liveins: $vgpr0, $sgpr0_sgpr1
32
33    %0:sgpr_64 = COPY $sgpr0_sgpr1
34    %1:sgpr_64 = COPY $exec
35    $exec = S_OR_B64 $exec, %0, implicit-def $scc
36    %2:sgpr_64 = COPY $exec
37
38  bb.1:
39    $exec = S_OR_B64 $exec, %1, implicit-def $scc
40
41  bb.2:
42    $exec = S_OR_B64 $exec, %2, implicit-def $scc
43
44    %5:vgpr_32 = IMPLICIT_DEF
45    %6:vgpr_32 = IMPLICIT_DEF
46    DS_WRITE_B32 %5, %6, 0, 0, implicit $m0, implicit $exec :: (store 4, addrspace 3)
47    S_ENDPGM 0
48
49...
50