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