Optimize 64-bit compares with zero

tests_lit/assembler/x86/jump_encodings.ll

 ; Tests various aspects of x86 branch encodings (near vs far,
 ; forward vs backward, using CFG labels, or local labels).
 
 ; Use -ffunction-sections so that the offsets reset for each function.
 ; RUN: %p2i --filetype=obj --disassemble -i %s --args -O2 \
 ; RUN:   -ffunction-sections | FileCheck %s
 
 ; Use atomic ops as filler, which shouldn't get optimized out.
 declare void @llvm.nacl.atomic.store.i32(i32, i32*, i32)
 declare i32 @llvm.nacl.atomic.load.i32(i32*, i32)
@@ skipping 148 matching lines @@
 ; A 64-bit compare happens to use local forward branches.
 define internal void @test_local_forward_then_back(i64 %val64, i32 %iptr,
                                                    i32 %val) {
 entry:
   br label %next
 next:
   %ptr = inttoptr i32 %iptr to i32*
   call void @llvm.nacl.atomic.store.i32(i32 %val, i32* %ptr, i32 6)
   br label %next2
 next2:
-  %cmp = icmp ult i64 %val64, 0
+  %cmp = icmp ult i64 %val64, 1
   br i1 %cmp, label %next, label %next2
 }
 ; CHECK-LABEL: test_local_forward_then_back
 ; CHECK:      {{.*}} mov DWORD PTR
 ; CHECK-NEXT: {{.*}} mfence
 ; CHECK-NEXT: [[LABEL:[0-9a-f]+]]: {{.*}} mov {{.*}},0x1
 ; CHECK-NEXT: {{.*}} cmp
 ; CHECK-NEXT: {{.*}} jb
 ; CHECK:      {{.*}} jne
 ; CHECK:      {{.*}} jmp [[LABEL]]
@@ skipping 12 matching lines @@
   %success = icmp eq i32 1, %a
   br i1 %success, label %next, label %next2
 }
 ; CHECK-LABEL: test_local_backward
 ; CHECK:       9: {{.*}} mov {{.*}},DWORD
 ; CHECK:       b: {{.*}} mov
 ; CHECK-NEXT:  d: {{.*}} xor
 ; CHECK-NEXT:  f: {{.*}} lock cmpxchg
 ; CHECK-NEXT: 13: 75 f6 jne b
 ; CHECK:      1c: 74 eb je 9