test/CodeGen/X86/lsr-overflow.ll

   1 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s
   2 ; RUN: llc < %s -mtriple=x86_64-win32 | FileCheck %s
   3
   4 ; The comparison uses the pre-inc value, which could lead LSR to
   5 ; try to compute -INT64_MIN.
   6
   7 ; CHECK: movabsq $-9223372036854775808, %rax
   8 ; CHECK: cmpq  %rax,
   9 ; CHECK: sete  %al
  10
  11 declare i64 @bar()
  12
  13 define i1 @foo() nounwind {
  14 entry:
  15   br label %for.cond.i
  16
  17 for.cond.i:
  18   %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %for.cond.i ]
  19   %t = call i64 @bar()
  20   %indvar.next = add i64 %indvar, 1
  21   %s = icmp ne i64 %indvar.next, %t
  22   br i1 %s, label %for.cond.i, label %__ABContainsLabel.exit
  23
  24 __ABContainsLabel.exit:
  25   %cmp = icmp eq i64 %indvar, 9223372036854775807
  26   ret i1 %cmp
  27 }