test/CodeGen/AArch64/analyzecmp.ll

   1 ; RUN: llc -O3 -mcpu=cortex-a57 < %s | FileCheck %s
   2
   3 ; CHECK-LABLE: @test
   4 ; CHECK: tst [[CMP:x[0-9]+]], #0x8000000000000000
   5 ; CHECK: csel [[R0:x[0-9]+]], [[S0:x[0-9]+]], [[S1:x[0-9]+]], eq
   6 ; CHECK: csel [[R1:x[0-9]+]], [[S2:x[0-9]+]], [[S3:x[0-9]+]], eq
   7 target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
   8 target triple = "arm64--linux-gnueabi"
   9
  10 define void @test(i64 %a, i64* %ptr1, i64* %ptr2) #0 align 2 {
  11 entry:
  12   %conv = and i64 %a, 4294967295
  13   %add = add nsw i64 %conv, -1
  14   %div = sdiv i64 %add, 64
  15   %rem = srem i64 %add, 64
  16   %cmp = icmp slt i64 %rem, 0
  17   br i1 %cmp, label %if.then, label %exit
  18
  19 if.then:
  20   %add2 = add nsw i64 %rem, 64
  21   %add3 = add i64 %div, -1
  22   br label %exit
  23
  24 exit:
  25   %__n = phi i64 [ %add3, %if.then ], [ %div, %entry ]
  26   %__n.0 = phi i64 [ %add2, %if.then ], [ %rem, %entry ]
  27   store i64 %__n, i64* %ptr1
  28   store i64 %__n.0, i64* %ptr2
  29   ret void
  30 }
  31
  32