| ; 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 } |