; RUN: llc -O2 -march=hexagon -hexagon-expand-condsets=0 < %s
; REQUIRES: asserts
; Disable expand-condsets because it will assert on undefined registers.

target triple = "hexagon-unknown--elf"

%s.0 = type { %s.0*, %s.0* }
%s.1 = type { %s.1*, %s.1** }

@g0 = external global %s.0, align 4

; Function Attrs: nounwind
define void @f0() #0 {
b0:
  br i1 undef, label %b2, label %b1

b1:                                               ; preds = %b0
  unreachable

b2:                                               ; preds = %b0
  br i1 undef, label %b26, label %b3

b3:                                               ; preds = %b2
  br i1 undef, label %b6, label %b4

b4:                                               ; preds = %b3
  br i1 undef, label %b5, label %b26

b5:                                               ; preds = %b4
  br i1 undef, label %b7, label %b26

b6:                                               ; preds = %b3
  br label %b7

b7:                                               ; preds = %b6, %b5
  br i1 undef, label %b11, label %b8

b8:                                               ; preds = %b7
  br i1 undef, label %b10, label %b9

b9:                                               ; preds = %b8
  unreachable

b10:                                              ; preds = %b8
  unreachable

b11:                                              ; preds = %b7
  br i1 undef, label %b25, label %b12

b12:                                              ; preds = %b11
  br i1 undef, label %b14, label %b13

b13:                                              ; preds = %b12
  br label %b14

b14:                                              ; preds = %b13, %b12
  br i1 undef, label %b15, label %b16

b15:                                              ; preds = %b14
  br label %b16

b16:                                              ; preds = %b15, %b14
  br i1 undef, label %b18, label %b17

b17:                                              ; preds = %b16
  unreachable

b18:                                              ; preds = %b16
  %v0 = load %s.0*, %s.0** getelementptr inbounds (%s.0, %s.0* @g0, i32 0, i32 1), align 4
  %v1 = load %s.0*, %s.0** getelementptr inbounds (%s.0, %s.0* @g0, i32 0, i32 0), align 4
  %v2 = select i1 undef, %s.0* %v0, %s.0* %v1
  br i1 undef, label %b22, label %b19

b19:                                              ; preds = %b18
  %v3 = load %s.1*, %s.1** undef, align 4
  %v4 = icmp eq %s.1* %v3, null
  br i1 %v4, label %b21, label %b20

b20:                                              ; preds = %b19
  store %s.1** undef, %s.1*** undef, align 4
  br label %b21

b21:                                              ; preds = %b20, %b19
  br label %b22

b22:                                              ; preds = %b21, %b18
  br i1 undef, label %b24, label %b23

b23:                                              ; preds = %b22
  store %s.0* %v2, %s.0** undef, align 4
  br label %b24

b24:                                              ; preds = %b23, %b22
  unreachable

b25:                                              ; preds = %b11
  unreachable

b26:                                              ; preds = %b5, %b4, %b2
  ret void
}

attributes #0 = { nounwind "target-cpu"="hexagonv55" }