[llvm] r363991 - [ARM GlobalISel] Tests for s64 G_ADD and G_SUB.

[Eli Friedman via llvm-commits]

Author: efriedma
Date: Thu Jun 20 15:00:07 2019
New Revision: 363991

URL: http://llvm.org/viewvc/llvm-project?rev=363991&view=rev
Log:
[ARM GlobalISel] Tests for s64 G_ADD and G_SUB.

Forgot to commit these in r363989 (https://reviews.llvm.org/D63585)


Added:
    llvm/trunk/test/CodeGen/ARM/GlobalISel/arm-legalize-binops-neon.mir
    llvm/trunk/test/CodeGen/ARM/GlobalISel/select-neon.mir

Added: llvm/trunk/test/CodeGen/ARM/GlobalISel/arm-legalize-binops-neon.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/ARM/GlobalISel/arm-legalize-binops-neon.mir?rev=363991&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/ARM/GlobalISel/arm-legalize-binops-neon.mir (added)
+++ llvm/trunk/test/CodeGen/ARM/GlobalISel/arm-legalize-binops-neon.mir Thu Jun 20 15:00:07 2019
@@ -0,0 +1,55 @@
+# RUN: llc -mtriple arm-- -mattr=+neon -run-pass=legalizer %s -o - | FileCheck %s
+# RUN: llc -mtriple thumb-- -mattr=+v6t2,+neon -run-pass=legalizer %s -o - | FileCheck %s
+--- |
+  define void @test_add_s64() { ret void }
+
+  define void @test_sub_s64() { ret void }
+...
+---
+name:            test_add_s64
+# CHECK-LABEL: name: test_add_s64
+legalized:       false
+# CHECK: legalized: true
+regBankSelected: false
+selected:        false
+tracksRegLiveness: true
+registers:
+  - { id: 0, class: _ }
+  - { id: 1, class: _ }
+  - { id: 2, class: _ }
+body:             |
+  bb.0:
+    liveins: $d0, $d1
+
+    %0(s64) = COPY $d0
+    %1(s64) = COPY $d1
+    %2(s64) = G_ADD %0, %1
+    ; G_ADD with s64 is legal, so we should find it unchanged in the output
+    ; CHECK: {{%[0-9]+}}:_(s64) = G_ADD {{%[0-9]+, %[0-9]+}}
+    $d0 = COPY %2(s64)
+    BX_RET 14, $noreg, implicit $d0
+...
+---
+name:            test_sub_s64
+# CHECK-LABEL: name: test_sub_s64
+legalized:       false
+# CHECK: legalized: true
+regBankSelected: false
+selected:        false
+tracksRegLiveness: true
+registers:
+  - { id: 0, class: _ }
+  - { id: 1, class: _ }
+  - { id: 2, class: _ }
+body:             |
+  bb.0:
+    liveins: $d0, $d1
+
+    %0(s64) = COPY $d0
+    %1(s64) = COPY $d1
+    %2(s64) = G_SUB %0, %1
+    ; G_SUB with s64 is legal, so we should find it unchanged in the output
+    ; CHECK: {{%[0-9]+}}:_(s64) = G_SUB {{%[0-9]+, %[0-9]+}}
+    $d0 = COPY %2(s64)
+    BX_RET 14, $noreg, implicit $d0
+...

Added: llvm/trunk/test/CodeGen/ARM/GlobalISel/select-neon.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/ARM/GlobalISel/select-neon.mir?rev=363991&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/ARM/GlobalISel/select-neon.mir (added)
+++ llvm/trunk/test/CodeGen/ARM/GlobalISel/select-neon.mir Thu Jun 20 15:00:07 2019
@@ -0,0 +1,66 @@
+# RUN: llc -O0 -mtriple arm-- -mattr=+neon -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
+
+--- |
+  define void @test_add_s64() { ret void }
+  define void @test_sub_s64() { ret void }
+...
+---
+name:            test_add_s64
+# CHECK-LABEL: name: test_add_s64
+legalized:       true
+regBankSelected: true
+selected:        false
+# CHECK: selected: true
+registers:
+  - { id: 0, class: fprb }
+  - { id: 1, class: fprb }
+  - { id: 2, class: fprb }
+body:             |
+  bb.0:
+    liveins: $d0, $d1
+
+    %0(s64) = COPY $d0
+    ; CHECK: [[VREGX:%[0-9]+]]:dpr = COPY $d0
+
+    %1(s64) = COPY $d1
+    ; CHECK: [[VREGY:%[0-9]+]]:dpr = COPY $d1
+
+    %2(s64) = G_ADD %0, %1
+    ; CHECK: [[VREGSUM:%[0-9]+]]:dpr = VADDv1i64 [[VREGX]], [[VREGY]], 14, $noreg
+
+    $d0 = COPY %2(s64)
+    ; CHECK: $d0 = COPY [[VREGSUM]]
+
+    BX_RET 14, $noreg, implicit $d0
+    ; CHECK: BX_RET 14, $noreg, implicit $d0
+...
+---
+name:            test_sub_s64
+# CHECK-LABEL: name: test_sub_s64
+legalized:       true
+regBankSelected: true
+selected:        false
+# CHECK: selected: true
+registers:
+  - { id: 0, class: fprb }
+  - { id: 1, class: fprb }
+  - { id: 2, class: fprb }
+body:             |
+  bb.0:
+    liveins: $d0, $d1
+
+    %0(s64) = COPY $d0
+    ; CHECK: [[VREGX:%[0-9]+]]:dpr = COPY $d0
+
+    %1(s64) = COPY $d1
+    ; CHECK: [[VREGY:%[0-9]+]]:dpr = COPY $d1
+
+    %2(s64) = G_SUB %0, %1
+    ; CHECK: [[VREGSUM:%[0-9]+]]:dpr = VSUBv1i64 [[VREGX]], [[VREGY]], 14, $noreg
+
+    $d0 = COPY %2(s64)
+    ; CHECK: $d0 = COPY [[VREGSUM]]
+
+    BX_RET 14, $noreg, implicit $d0
+    ; CHECK: BX_RET 14, $noreg, implicit $d0
+