1# RUN: llc -run-pass block-placement -march=amdgcn -verify-machineinstrs -o - %s | FileCheck %s
2--- |
3
4  define void @invert_br_undef_vcc(float %cond, i32 addrspace(1)* %out) #0 {
5  entry:
6    br i1 undef, label %if, label %else, !structurizecfg.uniform !0, !amdgpu.uniform !0
7
8  else:                                             ; preds = %entry
9    store volatile i32 100, i32 addrspace(1)* undef
10    br label %done, !structurizecfg.uniform !0
11
12  if:                                               ; preds = %entry
13    store volatile i32 9, i32 addrspace(1)* undef
14    br label %done, !structurizecfg.uniform !0
15
16  done:                                             ; preds = %if, %else
17    %value = phi i32 [ 0, %if ], [ 1, %else ]
18    store i32 %value, i32 addrspace(1)* %out
19    ret void
20  }
21
22  attributes #0 = { nounwind }
23
24  !0 = !{}
25
26...
27---
28# CHECK-LABEL: name: invert_br_undef_vcc
29# CHECK: S_CBRANCH_VCCZ %bb.1.else, implicit undef %vcc
30
31name:            invert_br_undef_vcc
32alignment:       0
33exposesReturnsTwice: false
34legalized:       false
35regBankSelected: false
36selected:        false
37tracksRegLiveness: true
38liveins:
39  - { reg: '%sgpr0_sgpr1' }
40frameInfo:
41  isFrameAddressTaken: false
42  isReturnAddressTaken: false
43  hasStackMap:     false
44  hasPatchPoint:   false
45  stackSize:       0
46  offsetAdjustment: 0
47  maxAlignment:    0
48  adjustsStack:    false
49  hasCalls:        false
50  maxCallFrameSize: 0
51  hasOpaqueSPAdjustment: false
52  hasVAStart:      false
53  hasMustTailInVarArgFunc: false
54body:             |
55  bb.0.entry:
56    successors: %bb.2.if, %bb.1.else
57    liveins: %sgpr0_sgpr1
58
59    %sgpr0_sgpr1 = S_LOAD_DWORDX2_IMM killed %sgpr0_sgpr1, 11, 0 :: (non-temporal dereferenceable invariant load 8 from `i64 addrspace(2)* undef`)
60    %sgpr7 = S_MOV_B32 61440
61    %sgpr6 = S_MOV_B32 -1
62    S_CBRANCH_VCCNZ %bb.2.if, implicit undef %vcc
63
64  bb.1.else:
65    successors: %bb.3.done
66    liveins: %sgpr6, %sgpr7, %sgpr0_sgpr1_sgpr2_sgpr3:0x00000003
67
68    %vgpr0 = V_MOV_B32_e32 100, implicit %exec
69    BUFFER_STORE_DWORD_OFFSET killed %vgpr0, killed %sgpr4_sgpr5_sgpr6_sgpr7, 0, 0, 0, 0, 0, implicit %exec :: (volatile store 4 into `i32 addrspace(1)* undef`)
70    %vgpr0 = V_MOV_B32_e32 1, implicit %exec
71    S_BRANCH %bb.3.done
72
73  bb.2.if:
74    successors: %bb.3.done
75    liveins: %sgpr6, %sgpr7, %sgpr0_sgpr1_sgpr2_sgpr3:0x00000003
76
77    %vgpr0 = V_MOV_B32_e32 9, implicit %exec
78    BUFFER_STORE_DWORD_OFFSET killed %vgpr0, killed %sgpr4_sgpr5_sgpr6_sgpr7, 0, 0, 0, 0, 0, implicit %exec :: (volatile store 4 into `i32 addrspace(1)* undef`)
79    %vgpr0 = V_MOV_B32_e32 0, implicit %exec
80
81  bb.3.done:
82    liveins: %vgpr0, %sgpr0_sgpr1_sgpr2_sgpr3:0x00000003
83
84    %sgpr3 = S_MOV_B32 61440
85    %sgpr2 = S_MOV_B32 -1
86    BUFFER_STORE_DWORD_OFFSET killed %vgpr0, killed %sgpr0_sgpr1_sgpr2_sgpr3, 0, 0, 0, 0, 0, implicit %exec :: (store 4 into %ir.out)
87    S_ENDPGM
88
89...
90