aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/CellSPU/icmp16.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/CellSPU/icmp16.ll')
-rw-r--r--test/CodeGen/CellSPU/icmp16.ll574
1 files changed, 0 insertions, 574 deletions
diff --git a/test/CodeGen/CellSPU/icmp16.ll b/test/CodeGen/CellSPU/icmp16.ll
deleted file mode 100644
index 853ae1db16..0000000000
--- a/test/CodeGen/CellSPU/icmp16.ll
+++ /dev/null
@@ -1,574 +0,0 @@
-; RUN: llc < %s -march=cellspu | FileCheck %s
-
-target datalayout = "E-p:32:32:128-f64:64:128-f32:32:128-i64:32:128-i32:32:128-i16:16:128-i8:8:128-i1:8:128-a0:0:128-v128:128:128-s0:128:128"
-target triple = "spu"
-
-; $3 = %arg1, $4 = %arg2, $5 = %val1, $6 = %val2
-; $3 = %arg1, $4 = %val1, $5 = %val2
-;
-; For "positive" comparisons:
-; selb $3, $6, $5, <i1>
-; selb $3, $5, $4, <i1>
-;
-; For "negative" comparisons, i.e., those where the result of the comparison
-; must be inverted (setne, for example):
-; selb $3, $5, $6, <i1>
-; selb $3, $4, $5, <i1>
-
-; i16 integer comparisons:
-define i16 @icmp_eq_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_eq_select_i16:
-; CHECK: ceqh
-; CHECK: selb $3, $6, $5, $3
-
-entry:
- %A = icmp eq i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_eq_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_eq_setcc_i16:
-; CHECK: ilhu
-; CHECK: ceqh
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp eq i16 %arg1, %arg2
- ret i1 %A
-}
-
-define i16 @icmp_eq_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_eq_immed01_i16:
-; CHECK: ceqhi
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp eq i16 %arg1, 511
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_eq_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_eq_immed02_i16:
-; CHECK: ceqhi
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp eq i16 %arg1, -512
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_eq_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_eq_immed03_i16:
-; CHECK: ceqhi
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp eq i16 %arg1, -1
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_eq_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_eq_immed04_i16:
-; CHECK: ilh
-; CHECK: ceqh
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp eq i16 %arg1, 32768
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ne_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ne_select_i16:
-; CHECK: ceqh
-; CHECK: selb $3, $5, $6, $3
-
-entry:
- %A = icmp ne i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_ne_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ne_setcc_i16:
-; CHECK: ceqh
-; CHECK: ilhu
-; CHECK: xorhi
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp ne i16 %arg1, %arg2
- ret i1 %A
-}
-
-define i16 @icmp_ne_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ne_immed01_i16:
-; CHECK: ceqhi
-; CHECK: selb $3, $4, $5, $3
-
-entry:
- %A = icmp ne i16 %arg1, 511
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ne_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ne_immed02_i16:
-; CHECK: ceqhi
-; CHECK: selb $3, $4, $5, $3
-
-entry:
- %A = icmp ne i16 %arg1, -512
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ne_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ne_immed03_i16:
-; CHECK: ceqhi
-; CHECK: selb $3, $4, $5, $3
-
-entry:
- %A = icmp ne i16 %arg1, -1
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ne_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ne_immed04_i16:
-; CHECK: ilh
-; CHECK: ceqh
-; CHECK: selb $3, $4, $5, $3
-
-entry:
- %A = icmp ne i16 %arg1, 32768
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ugt_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ugt_select_i16:
-; CHECK: clgth
-; CHECK: selb $3, $6, $5, $3
-
-entry:
- %A = icmp ugt i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_ugt_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ugt_setcc_i16:
-; CHECK: ilhu
-; CHECK: clgth
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp ugt i16 %arg1, %arg2
- ret i1 %A
-}
-
-define i16 @icmp_ugt_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ugt_immed01_i16:
-; CHECK: clgthi
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp ugt i16 %arg1, 500
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ugt_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ugt_immed02_i16:
-; CHECK: ceqhi
-; CHECK: selb $3, $4, $5, $3
-
-entry:
- %A = icmp ugt i16 %arg1, 0
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ugt_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ugt_immed03_i16:
-; CHECK: clgthi
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp ugt i16 %arg1, 65024
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ugt_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ugt_immed04_i16:
-; CHECK: ilh
-; CHECK: clgth
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp ugt i16 %arg1, 32768
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_uge_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_uge_select_i16:
-; CHECK: ceqh
-; CHECK: clgth
-; CHECK: or
-; CHECK: selb $3, $6, $5, $3
-
-entry:
- %A = icmp uge i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_uge_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_uge_setcc_i16:
-; CHECK: ceqh
-; CHECK: clgth
-; CHECK: ilhu
-; CHECK: or
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp uge i16 %arg1, %arg2
- ret i1 %A
-}
-
-;; Note: icmp uge i16 %arg1, <immed> can always be transformed into
-;; icmp ugt i16 %arg1, <immed>-1
-;;
-;; Consequently, even though the patterns exist to match, it's unlikely
-;; they'll ever be generated.
-
-define i16 @icmp_ult_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ult_select_i16:
-; CHECK: ceqh
-; CHECK: clgth
-; CHECK: nor
-; CHECK: selb $3, $6, $5, $3
-
-entry:
- %A = icmp ult i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_ult_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ult_setcc_i16:
-; CHECK: ceqh
-; CHECK: clgth
-; CHECK: ilhu
-; CHECK: nor
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp ult i16 %arg1, %arg2
- ret i1 %A
-}
-
-define i16 @icmp_ult_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ult_immed01_i16:
-; CHECK: ceqhi
-; CHECK: clgthi
-; CHECK: nor
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp ult i16 %arg1, 511
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ult_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ult_immed02_i16:
-; CHECK: ceqhi
-; CHECK: clgthi
-; CHECK: nor
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp ult i16 %arg1, 65534
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ult_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ult_immed03_i16:
-; CHECK: ceqhi
-; CHECK: clgthi
-; CHECK: nor
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp ult i16 %arg1, 65024
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ult_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ult_immed04_i16:
-; CHECK: ilh
-; CHECK: ceqh
-; CHECK: clgth
-; CHECK: nor
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp ult i16 %arg1, 32769
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_ule_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ule_select_i16:
-; CHECK: clgth
-; CHECK: selb $3, $5, $6, $3
-
-entry:
- %A = icmp ule i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_ule_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_ule_setcc_i16:
-; CHECK: clgth
-; CHECK: ilhu
-; CHECK: xorhi
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp ule i16 %arg1, %arg2
- ret i1 %A
-}
-
-;; Note: icmp ule i16 %arg1, <immed> can always be transformed into
-;; icmp ult i16 %arg1, <immed>+1
-;;
-;; Consequently, even though the patterns exist to match, it's unlikely
-;; they'll ever be generated.
-
-define i16 @icmp_sgt_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sgt_select_i16:
-; CHECK: cgth
-; CHECK: selb $3, $6, $5, $3
-
-entry:
- %A = icmp sgt i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_sgt_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sgt_setcc_i16:
-; CHECK: ilhu
-; CHECK: cgth
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp sgt i16 %arg1, %arg2
- ret i1 %A
-}
-
-define i16 @icmp_sgt_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sgt_immed01_i16:
-; CHECK: cgthi
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp sgt i16 %arg1, 511
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_sgt_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sgt_immed02_i16:
-; CHECK: cgthi
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp sgt i16 %arg1, -1
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_sgt_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sgt_immed03_i16:
-; CHECK: cgthi
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp sgt i16 %arg1, -512
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_sgt_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sgt_immed04_i16:
-; CHECK: ilh
-; CHECK: ceqh
-; CHECK: selb $3, $4, $5, $3
-
-entry:
- %A = icmp sgt i16 %arg1, 32768
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_sge_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sge_select_i16:
-; CHECK: ceqh
-; CHECK: cgth
-; CHECK: or
-; CHECK: selb $3, $6, $5, $3
-
-entry:
- %A = icmp sge i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_sge_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sge_setcc_i16:
-; CHECK: ceqh
-; CHECK: cgth
-; CHECK: ilhu
-; CHECK: or
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp sge i16 %arg1, %arg2
- ret i1 %A
-}
-
-;; Note: icmp sge i16 %arg1, <immed> can always be transformed into
-;; icmp sgt i16 %arg1, <immed>-1
-;;
-;; Consequently, even though the patterns exist to match, it's unlikely
-;; they'll ever be generated.
-
-define i16 @icmp_slt_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_slt_select_i16:
-; CHECK: ceqh
-; CHECK: cgth
-; CHECK: nor
-; CHECK: selb $3, $6, $5, $3
-
-entry:
- %A = icmp slt i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_slt_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_slt_setcc_i16:
-; CHECK: ceqh
-; CHECK: cgth
-; CHECK: ilhu
-; CHECK: nor
-; CHECK: iohl
-; CHECK: shufb
-
-entry:
- %A = icmp slt i16 %arg1, %arg2
- ret i1 %A
-}
-
-define i16 @icmp_slt_immed01_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_slt_immed01_i16:
-; CHECK: ceqhi
-; CHECK: cgthi
-; CHECK: nor
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp slt i16 %arg1, 511
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_slt_immed02_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_slt_immed02_i16:
-; CHECK: ceqhi
-; CHECK: cgthi
-; CHECK: nor
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp slt i16 %arg1, -512
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_slt_immed03_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_slt_immed03_i16:
-; CHECK: ceqhi
-; CHECK: cgthi
-; CHECK: nor
-; CHECK: selb $3, $5, $4, $3
-
-entry:
- %A = icmp slt i16 %arg1, -1
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_slt_immed04_i16(i16 %arg1, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_slt_immed04_i16:
-; CHECK: lr
-; CHECK-NEXT: bi
-
-entry:
- %A = icmp slt i16 %arg1, 32768
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i16 @icmp_sle_select_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sle_select_i16:
-; CHECK: cgth
-; CHECK: selb $3, $5, $6, $3
-
-entry:
- %A = icmp sle i16 %arg1, %arg2
- %B = select i1 %A, i16 %val1, i16 %val2
- ret i16 %B
-}
-
-define i1 @icmp_sle_setcc_i16(i16 %arg1, i16 %arg2, i16 %val1, i16 %val2) nounwind {
-; CHECK: icmp_sle_setcc_i16:
-; CHECK: cgth
-; CHECK: ilhu
-; CHECK: xorhi
-; CHECK: iohl
-; CHECK: bi
-
-entry:
- %A = icmp sle i16 %arg1, %arg2
- ret i1 %A
-}
-
-;; Note: icmp sle i16 %arg1, <immed> can always be transformed into
-;; icmp slt i16 %arg1, <immed>+1
-;;
-;; Consequently, even though the patterns exist to match, it's unlikely
-;; they'll ever be generated.
-
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-11-24 13:08:11 +0000