blob: dc64123b33c0e2f3c0ced2014b08987df91bae17 [file] [log] [blame]
; RUN: llc -O0 -fast-isel -fast-isel-abort=1 -verify-machineinstrs -mtriple=arm64-apple-darwin < %s | FileCheck %s
define i32 @icmp_eq_imm(i32 %a) nounwind ssp {
entry:
; CHECK-LABEL: icmp_eq_imm
; CHECK: cmp w0, #31
; CHECK-NEXT: cset [[REG:w[0-9]+]], eq
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp eq i32 %a, 31
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_eq_neg_imm(i32 %a) nounwind ssp {
entry:
; CHECK-LABEL: icmp_eq_neg_imm
; CHECK: cmn w0, #7
; CHECK-NEXT: cset [[REG:w[0-9]+]], eq
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp eq i32 %a, -7
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_eq_i32(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_eq_i32
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], eq
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp eq i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_ne(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_ne
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], ne
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp ne i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_eq_ptr(i8* %a) {
entry:
; CHECK-LABEL: icmp_eq_ptr
; CHECK: cmp x0, #0
; CHECK-NEXT: cset {{.+}}, eq
%cmp = icmp eq i8* %a, null
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_ne_ptr(i8* %a) {
entry:
; CHECK-LABEL: icmp_ne_ptr
; CHECK: cmp x0, #0
; CHECK-NEXT: cset {{.+}}, ne
%cmp = icmp ne i8* %a, null
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_ugt(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_ugt
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], hi
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp ugt i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_uge(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_uge
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], hs
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp uge i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_ult(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_ult
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], lo
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp ult i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_ule(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_ule
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], ls
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp ule i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_sgt(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_sgt
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], gt
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp sgt i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_sge(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_sge
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], ge
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp sge i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_slt(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_slt
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], lt
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp slt i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_sle(i32 %a, i32 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_sle
; CHECK: cmp w0, w1
; CHECK-NEXT: cset [[REG:w[0-9]+]], le
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp sle i32 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define i32 @icmp_i64(i64 %a, i64 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_i64
; CHECK: cmp x0, x1
; CHECK-NEXT: cset [[REG:w[0-9]+]], le
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp sle i64 %a, %b
%conv = zext i1 %cmp to i32
ret i32 %conv
}
define zeroext i1 @icmp_eq_i16(i16 %a, i16 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_eq_i16
; CHECK: sxth [[REG0:w[0-9]+]], w0
; CHECK: cmp [[REG0]], w1, sxth
; CHECK-NEXT: cset [[REG:w[0-9]+]], eq
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp eq i16 %a, %b
ret i1 %cmp
}
define zeroext i1 @icmp_eq_i8(i8 %a, i8 %b) nounwind ssp {
entry:
; CHECK-LABEL: icmp_eq_i8
; CHECK: sxtb [[REG0:w[0-9]+]], w0
; CHECK-NEXT: cmp [[REG0]], w1, sxtb
; CHECK-NEXT: cset [[REG:w[0-9]+]], eq
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp eq i8 %a, %b
ret i1 %cmp
}
define i32 @icmp_i16_unsigned(i16 %a, i16 %b) nounwind {
entry:
; CHECK-LABEL: icmp_i16_unsigned
; CHECK: uxth [[REG0:w[0-9]+]], w0
; CHECK-NEXT: cmp [[REG0]], w1, uxth
; CHECK-NEXT: cset [[REG:w[0-9]+]], lo
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp ult i16 %a, %b
%conv2 = zext i1 %cmp to i32
ret i32 %conv2
}
define i32 @icmp_i8_signed(i8 %a, i8 %b) nounwind {
entry:
; CHECK-LABEL: icmp_i8_signed
; CHECK: sxtb [[REG0:w[0-9]+]], w0
; CHECK-NEXT: cmp [[REG0]], w1, sxtb
; CHECK-NEXT: cset [[REG:w[0-9]+]], gt
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp sgt i8 %a, %b
%conv2 = zext i1 %cmp to i32
ret i32 %conv2
}
define i32 @icmp_i1_signed(i1 %a, i1 %b) nounwind {
entry:
; CHECK-LABEL: icmp_i1_signed
; CHECK: sbfx [[REG1:w[0-9]+]], w0, #0, #1
; CHECK-NEXT: sbfx [[REG2:w[0-9]+]], w1, #0, #1
; CHECK-NEXT: cmp [[REG1]], [[REG2]]
; CHECK-NEXT: cset [[REG:w[0-9]+]], gt
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp sgt i1 %a, %b
%conv2 = zext i1 %cmp to i32
ret i32 %conv2
}
define i32 @icmp_i16_signed_const(i16 %a) nounwind {
entry:
; CHECK-LABEL: icmp_i16_signed_const
; CHECK: sxth [[REG0:w[0-9]+]], w0
; CHECK-NEXT: cmn [[REG0]], #233
; CHECK-NEXT: cset [[REG:w[0-9]+]], lt
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp slt i16 %a, -233
%conv2 = zext i1 %cmp to i32
ret i32 %conv2
}
define i32 @icmp_i8_signed_const(i8 %a) nounwind {
entry:
; CHECK-LABEL: icmp_i8_signed_const
; CHECK: sxtb [[REG0:w[0-9]+]], w0
; CHECK-NEXT: cmp [[REG0]], #124
; CHECK-NEXT: cset [[REG:w[0-9]+]], gt
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp sgt i8 %a, 124
%conv2 = zext i1 %cmp to i32
ret i32 %conv2
}
define i32 @icmp_i1_unsigned_const(i1 %a) nounwind {
entry:
; CHECK-LABEL: icmp_i1_unsigned_const
; CHECK: and [[REG0:w[0-9]+]], w0, #0x1
; CHECK-NEXT: cmp [[REG0]], #0
; CHECK-NEXT: cset [[REG:w[0-9]+]], lo
; CHECK-NEXT: and w0, [[REG]], #0x1
%cmp = icmp ult i1 %a, 0
%conv2 = zext i1 %cmp to i32
ret i32 %conv2
}