; RUN: llc -march=hexagon < %s | FileCheck %s

; CHECK-DAG: r[[REG:[0-9]+]] = memw(r{{[0-9]+<<#[0-9]+}}+##.LJTI{{.*}})
; CHECK-DAG: jumpr r[[REG]]

define void @main() #0 {
entry:
  %ret = alloca i32, align 4
  br label %while.body

while.body:
  %ret.0.load17 = load volatile i32, i32* %ret, align 4
  switch i32 %ret.0.load17, label %label6 [
    i32 0, label %label0
    i32 1, label %label1
    i32 2, label %label2
    i32 3, label %label3
    i32 4, label %label4
    i32 5, label %label5
  ]

label0:
  %ret.0.load18 = load volatile i32, i32* %ret, align 4
  %inc = add nsw i32 %ret.0.load18, 1
  store volatile i32 %inc, i32* %ret, align 4
  br label %while.body

label1:
  %ret.0.load19 = load volatile i32, i32* %ret, align 4
  %inc2 = add nsw i32 %ret.0.load19, 1
  store volatile i32 %inc2, i32* %ret, align 4
  br label %while.body

label2:
  %ret.0.load20 = load volatile i32, i32* %ret, align 4
  %inc4 = add nsw i32 %ret.0.load20, 1
  store volatile i32 %inc4, i32* %ret, align 4
  br label %while.body

label3:
  %ret.0.load21 = load volatile i32, i32* %ret, align 4
  %inc6 = add nsw i32 %ret.0.load21, 1
  store volatile i32 %inc6, i32* %ret, align 4
  br label %while.body

label4:
  %ret.0.load22 = load volatile i32, i32* %ret, align 4
  %inc8 = add nsw i32 %ret.0.load22, 1
  store volatile i32 %inc8, i32* %ret, align 4
  br label %while.body

label5:
  %ret.0.load23 = load volatile i32, i32* %ret, align 4
  %inc10 = add nsw i32 %ret.0.load23, 1
  store volatile i32 %inc10, i32* %ret, align 4
  br label %while.body

label6:
  store volatile i32 0, i32* %ret, align 4
  br label %while.body
}

attributes #0 = { noreturn nounwind }