llvm/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-NOT: movabsq $-9223372036854775808, %rax
   8 ; CHECK: negq  %r
   9 ; CHECK-NEXT: seto  %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 }
  28
  29 define void @func_37() noreturn nounwind readonly {
  30 entry:
  31   br label %for.body
  32
  33 for.body:                                         ; preds = %for.inc8, %entry
  34   %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %for.inc8 ]
  35   %sub.i = add i64 undef, %indvar
  36   %cmp.i = icmp eq i64 %sub.i, -9223372036854775808
  37   br i1 undef, label %for.inc8, label %for.cond4
  38
  39 for.cond4:                                        ; preds = %for.cond4, %for.body
  40   br label %for.cond4
  41
  42 for.inc8:                                         ; preds = %for.body
  43   %indvar.next = add i64 %indvar, 1
  44   br label %for.body
  45 }