[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / analyzecmp.ll
blob0b3bcd887b5b6ec52628e29fa570fab20c80f918
1 ; RUN: llc -O3 -mcpu=cortex-a57 < %s | FileCheck %s 
3 ; CHECK-LABEL: @test
4 ; CHECK: and 
5 ; CHECK: csel
6 ; CHECK: csel
7 target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
8 target triple = "arm64--linux-gnueabi"
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
19 if.then:                                
20   %add2 = add nsw i64 %rem, 64
21   %add3 = add i64 %div, -1
22   br label %exit
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