Handle UINT64_MAX edge case in switch lowering.

tests_lit/llvm2ice_tests/adv-switch-opt.ll

 ; This tests the advanced lowering of switch statements. The advanced lowering
 ; uses jump tables, range tests and binary search.
 
 ; RUN: %if --need=allow_dump --command %p2i -i %s --filetype=asm --assemble \
 ; RUN: --disassemble --args --adv-switch -O2 | FileCheck %s
 
 ; Dense but non-continuous ranges should be converted into a jump table.
 define internal i32 @testJumpTable(i32 %a) {
 entry:
   switch i32 %a, label %sw.default [
@@ skipping 170 matching lines @@
 ; CHECK-NEXT: cmp {{.*}},0x0
 ; CHECK-NEXT: je
 ; CHECK: cmp {{.*}},0x159
 ; CHECK-NEXT: jne
 ; CHECK-NEXT: cmp {{.*}},0x0
 ; CHECK-NEXT: je
 ; CHECK: cmp {{.*}},0x34567890
 ; CHECK-NEXT: jne
 ; CHECK-NEXT: cmp {{.*}},0x12
 ; CHECK-NEXT: je
+
+; Test for correct 64-bit jump table with UINT64_MAX as one of the values.
+; TODO(ascull): this should generate a jump table
+define internal i32 @testJumpTable64(i64 %a) {
+entry:
+  switch i64 %a, label %sw.default [
+    i64 18446744073709551610, label %return
+    i64 18446744073709551612, label %sw.bb1
+    i64 18446744073709551613, label %sw.bb2
+    i64 18446744073709551615, label %sw.bb3

[jvoung (off chromium), 2015/07/23 21:26:34]

I think technically you could say "-1" also, if that seems more "realistic", but
this is probably okay too

+  ]
+
+sw.bb1:
+  br label %return
+
+sw.bb2:
+  br label %return
+
+sw.bb3:
+  br label %return
+
+sw.default:
+  br label %return
+
+return:
+  %retval.0 = phi i32 [ 5, %sw.default ], [ 4, %sw.bb3 ], [ 3, %sw.bb2 ], [ 2, %sw.bb1 ], [ 1, %entry ]
+  ret i32 %retval.0
+}

[jvoung (off chromium), 2015/07/23 21:26:34]

Maybe move the "TODO" to the bottom here, add the

; CHECK-LABEL: testJumpTable64
; TODO(ascull): this should generate a jump table. For now, just make
; sure it doesn't crash the compiler.

??