; RUN: llc -march=hexagon  < %s | FileCheck %s
; CHECK: callr {{r[0-9]+}}

%s.0 = type { [1 x %s.1], [4 x i8*] }
%s.1 = type { [1 x %s.2], i32, [4 x i8] }
%s.2 = type { [16 x i32] }

define hidden void @f0(void (%s.0*)* %a0) #0 {
b0:
  br i1 undef, label %b2, label %b1

b1:                                               ; preds = %b0
  ret void

b2:                                               ; preds = %b0
  call void %a0(%s.0* null) #1
  unreachable
}
 
attributes #0 = { noreturn nounwind }
attributes #1 = { noreturn }