; RUN: llc -march=hexagon -hexagon-initial-cfg-cleanup=0 < %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, ptr %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, ptr %ret, align 4
%inc = add nsw i32 %ret.0.load18, 1
store volatile i32 %inc, ptr %ret, align 4
br label %while.body
label1:
%ret.0.load19 = load volatile i32, ptr %ret, align 4
%inc2 = add nsw i32 %ret.0.load19, 1
store volatile i32 %inc2, ptr %ret, align 4
br label %while.body
label2:
%ret.0.load20 = load volatile i32, ptr %ret, align 4
%inc4 = add nsw i32 %ret.0.load20, 1
store volatile i32 %inc4, ptr %ret, align 4
br label %while.body
label3:
%ret.0.load21 = load volatile i32, ptr %ret, align 4
%inc6 = add nsw i32 %ret.0.load21, 1
store volatile i32 %inc6, ptr %ret, align 4
br label %while.body
label4:
%ret.0.load22 = load volatile i32, ptr %ret, align 4
%inc8 = add nsw i32 %ret.0.load22, 1
store volatile i32 %inc8, ptr %ret, align 4
br label %while.body
label5:
%ret.0.load23 = load volatile i32, ptr %ret, align 4
%inc10 = add nsw i32 %ret.0.load23, 1
store volatile i32 %inc10, ptr %ret, align 4
br label %while.body
label6:
store volatile i32 0, ptr %ret, align 4
br label %while.body
}
attributes #0 = { noreturn nounwind }