| ; RUN: llvm-dis < %s.bc| FileCheck %s | |
| ; RUN: verify-uselistorder < %s.bc | |
| ; case-ranges.ll.bc was generated by passing this file to llvm-as from the 3.3 | |
| ; release of LLVM. This tests that the bitcode for switches from that release | |
| ; can still be read. | |
| define i32 @foo(i32 %x) nounwind ssp uwtable { | |
| ; CHECK: define i32 @foo | |
| %1 = alloca i32, align 4 | |
| %2 = alloca i32, align 4 | |
| store i32 %x, i32* %2, align 4 | |
| %3 = load i32, i32* %2, align 4 | |
| switch i32 %3, label %9 [ | |
| ; CHECK: switch i32 %3, label %9 | |
| i32 -3, label %4 | |
| ; CHECK-NEXT: i32 -3, label %4 | |
| i32 -2, label %4 | |
| ; CHECK-NEXT: i32 -2, label %4 | |
| i32 -1, label %4 | |
| ; CHECK-NEXT: i32 -1, label %4 | |
| i32 0, label %4 | |
| ; CHECK-NEXT: i32 0, label %4 | |
| i32 1, label %4 | |
| ; CHECK-NEXT: i32 1, label %4 | |
| i32 2, label %4 | |
| ; CHECK-NEXT: i32 2, label %4 | |
| i32 4, label %5 | |
| ; CHECK-NEXT: i32 4, label %5 | |
| i32 5, label %6 | |
| ; CHECK-NEXT: i32 5, label %6 | |
| i32 6, label %7 | |
| ; CHECK-NEXT: i32 6, label %7 | |
| i32 7, label %8 | |
| ; CHECK-NEXT: i32 7, label %8 | |
| ] | |
| ; <label>:4 | |
| store i32 -1, i32* %1 | |
| br label %11 | |
| ; <label>:5 | |
| store i32 2, i32* %1 | |
| br label %11 | |
| ; <label>:6 | |
| store i32 1, i32* %1 | |
| br label %11 | |
| ; <label>:7 | |
| store i32 4, i32* %1 | |
| br label %11 | |
| ; <label>:8 | |
| store i32 3, i32* %1 | |
| br label %11 | |
| ; <label>:9 | |
| br label %10 | |
| ; <label>:10 | |
| store i32 0, i32* %1 | |
| br label %11 | |
| ; <label>:11 | |
| %12 = load i32, i32* %1 | |
| ret i32 %12 | |
| } |