[llvm] 5001c7c - [Hexagon] MC testcases for verifying packetization rules

Krzysztof Parzyszek via llvm-commits llvm-commits at lists.llvm.org
Fri Jan 7 08:27:58 PST 2022


Author: colinl
Date: 2022-01-07T08:27:33-08:00
New Revision: 5001c7cc9dad748f9859f59881cc1956be78ebf3

URL: https://github.com/llvm/llvm-project/commit/5001c7cc9dad748f9859f59881cc1956be78ebf3
DIFF: https://github.com/llvm/llvm-project/commit/5001c7cc9dad748f9859f59881cc1956be78ebf3.diff

LOG: [Hexagon] MC testcases for verifying packetization rules

Added: 
    llvm/test/MC/Hexagon/PacketRules/bundle_option.s
    llvm/test/MC/Hexagon/PacketRules/cof_max1.s
    llvm/test/MC/Hexagon/PacketRules/newvalue_producers.s
    llvm/test/MC/Hexagon/PacketRules/newvalue_producers_pass.s
    llvm/test/MC/Hexagon/PacketRules/restrict_no_slot1_store_pass.s
    llvm/test/MC/Hexagon/PacketRules/restrict_slot1_aok_pass.s

Modified: 
    llvm/test/MC/Hexagon/PacketRules/restrict_ax.s

Removed: 
    


################################################################################
diff  --git a/llvm/test/MC/Hexagon/PacketRules/bundle_option.s b/llvm/test/MC/Hexagon/PacketRules/bundle_option.s
new file mode 100644
index 000000000000..29f5a24fbda7
--- /dev/null
+++ b/llvm/test/MC/Hexagon/PacketRules/bundle_option.s
@@ -0,0 +1,4 @@
+# RUN: not llvm-mc -arch=hexagon -filetype=asm %s 2>%t; FileCheck %s <%t
+
+{ nop }:junk
+# CHECK: 3:9: error: 'junk' is not a valid bundle option

diff  --git a/llvm/test/MC/Hexagon/PacketRules/cof_max1.s b/llvm/test/MC/Hexagon/PacketRules/cof_max1.s
new file mode 100644
index 000000000000..9240a5c29113
--- /dev/null
+++ b/llvm/test/MC/Hexagon/PacketRules/cof_max1.s
@@ -0,0 +1,10 @@
+# RUN: not llvm-mc -triple=hexagon -filetype=asm %s 2>&1 | FileCheck %s
+
+{ jumpr r0
+  jumpr r0 }
+# CHECK: 3:3: error: Instruction may not be in a packet with other branches
+
+{ jump unknown
+  if (p0) jump unknown }
+# CHECK: 7:3: error: Instruction may not be the first branch in packet
+

diff  --git a/llvm/test/MC/Hexagon/PacketRules/newvalue_producers.s b/llvm/test/MC/Hexagon/PacketRules/newvalue_producers.s
new file mode 100644
index 000000000000..e419d81a6368
--- /dev/null
+++ b/llvm/test/MC/Hexagon/PacketRules/newvalue_producers.s
@@ -0,0 +1,46 @@
+# RUN: not llvm-mc -arch=hexagon -mhvx -filetype=asm %s 2>%t; FileCheck %s <%t
+
+{ r0=memw(r1=##0)
+  memw(r0)=r1.new }
+# CHECK: 3:3: note: Absolute-set registers cannot be a new-value producer
+# CHECK: 4:3: error: Instruction does not have a valid new register producer
+
+{ r1:0=r1:0
+  memw(r0)=r0.new }
+# CHECK: 8:3: note: Double registers cannot be new-value producers
+# CHECK: 9:3: error: Instruction does not have a valid new register producer
+
+{ r1=memw(r0++m0)
+  memw(r0)=r0.new }
+# CHECK: 13:3: note: Auto-increment registers cannot be a new-value producer
+# CHECK: 14:3: error: Instruction does not have a valid new register producer
+
+{ r0=sfadd(r0,r0)
+  if (cmp.eq(r0.new,r0)) jump:t 0x0 }
+# CHECK: 18:3: note: FPU instructions cannot be new-value producers for jumps
+# CHECK: 19:3: error: Instruction does not have a valid new register producer
+
+{ v0=vmem(r0++m0)
+  memw(r0)=r0.new }
+# CHECK: 23:3: note: Auto-increment registers cannot be a new-value producer
+# CHECK: 24:3: error: Instruction does not have a valid new register producer
+
+{ if (p0) r0=r0
+  if (!p0) memw(r0)=r0.new }
+# CHECK: 28:3: note: Register producer has the opposite predicate sense as consumer
+# CHECK: 29:3: error: Instruction does not have a valid new register producer
+
+{ if (p0) r0=r0
+  memw(r0)=r0.new }
+# CHECK: 33:3: note: Register producer is predicated and consumer is unconditional
+# CHECK: 34:3: error: Instruction does not have a valid new register producer
+
+{ if (p0) r0=r0
+  if (cmp.eq(r0.new,r0)) jump:t 0x0 }
+# CHECK: 38:3: note: Register producer is predicated and consumer is unconditional
+# CHECK: 39:3: error: Instruction does not have a valid new register producer
+
+{ r0=memw(r1=##0)
+  if (p0) memw(r0)=r1.new }
+# CHECK: 43:3: note: Absolute-set registers cannot be a new-value producer
+# CHECK: 44:3: error: Instruction does not have a valid new register producer

diff  --git a/llvm/test/MC/Hexagon/PacketRules/newvalue_producers_pass.s b/llvm/test/MC/Hexagon/PacketRules/newvalue_producers_pass.s
new file mode 100644
index 000000000000..7737be033546
--- /dev/null
+++ b/llvm/test/MC/Hexagon/PacketRules/newvalue_producers_pass.s
@@ -0,0 +1,41 @@
+# RUN: llvm-mc -arch=hexagon -mhvx -mcpu=hexagonv65 -filetype=obj %s | llvm-objdump --mattr=+hvxv65 -d - | FileCheck %s
+
+{ r0=r0
+  memw(r0)=r0.new }
+# CHECK: { r0 = r0
+# CHECK:   memw(r0+#0) = r0.new }
+
+{ v0=v0
+  vmem(r0)=v0.new }
+# CHECK: { v0 = v0
+# CHECK:   vmem(r0+#0) = v0.new }
+
+{ v1:0=v1:0
+  vmem(r0)=v0.new }
+# CHECK: { v1:0 = vcombine(v1,v0)
+# CHECK:   vmem(r0+#0) = v0.new }
+
+{ r0=r0
+  if (cmp.eq(r0.new,r0)) jump:t 0x0 }
+# CHECK: { r0 = r0
+# CHECK:   if (cmp.eq(r0.new,r0)) jump:t 0x18
+
+{ vtmp.h=vgather(r0,m0,v0.h).h
+  vmem(r0)=vtmp.new }
+# CHECK: { vtmp.h = vgather(r0,m0,v0.h).h
+# CHECK:   vmem(r0+#0) = vtmp.new }
+
+{ if (p0) r0=r0
+  if (p0) memw(r0)=r0.new }
+# CHECK: { if (p0) r0 = add(r0,#0)
+# CHECK:   if (p0) memw(r0+#0) = r0.new }
+
+{ r0=r0
+  if (p0) memw(r0)=r0.new }
+# CHECK: { r0 = r0
+# CHECK:   if (p0) memw(r0+#0) = r0.new }
+
+{ r0=r0
+  if (!p0) memw(r0)=r0.new }
+# CHECK: { r0 = r0
+# CHECK:   if (!p0) memw(r0+#0) = r0.new }

diff  --git a/llvm/test/MC/Hexagon/PacketRules/restrict_ax.s b/llvm/test/MC/Hexagon/PacketRules/restrict_ax.s
index b8f7a1f782c3..58c86b28e754 100644
--- a/llvm/test/MC/Hexagon/PacketRules/restrict_ax.s
+++ b/llvm/test/MC/Hexagon/PacketRules/restrict_ax.s
@@ -1,4 +1,5 @@
+# RUN: not llvm-mc -arch=hexagon -filetype=asm %s 2>%t; FileCheck %s <%t
+
 { r0=memw_locked(r0)
-  r1=-mpyi(r0,#0) }
-# RUN: not llvm-mc -arch=hexagon -filetype=asm %s 2>%t; FileCheck %s --check-prefix=CHECK00 <%t
-# CHECK00: 1:3: error: Instruction can only be in a packet with ALU or non-FPU XTYPE instructions
+  r1=sfadd(r0,r0) }
+# CHECK: 3:3: error: Instruction can only be in a packet with ALU or non-FPU XTYPE instructions

diff  --git a/llvm/test/MC/Hexagon/PacketRules/restrict_no_slot1_store_pass.s b/llvm/test/MC/Hexagon/PacketRules/restrict_no_slot1_store_pass.s
new file mode 100644
index 000000000000..5a002d622b8d
--- /dev/null
+++ b/llvm/test/MC/Hexagon/PacketRules/restrict_no_slot1_store_pass.s
@@ -0,0 +1,11 @@
+# RUN: llvm-mc -arch=hexagon -filetype=obj %s | llvm-objdump -d - | FileCheck %s
+
+{ r0=sub(#1,r0)
+  r1=sub(#1, r0)
+  r2=sub(#1, r0)
+  if (p3) dealloc_return }
+
+# CHECK: { r0 = sub(#1,r0)
+# CHECK:   r1 = sub(#1,r0)
+# CHECK:   r2 = sub(#1,r0)
+# CHECK:   if (p3) dealloc_return }

diff  --git a/llvm/test/MC/Hexagon/PacketRules/restrict_slot1_aok_pass.s b/llvm/test/MC/Hexagon/PacketRules/restrict_slot1_aok_pass.s
new file mode 100644
index 000000000000..ae17a10d715a
--- /dev/null
+++ b/llvm/test/MC/Hexagon/PacketRules/restrict_slot1_aok_pass.s
@@ -0,0 +1,11 @@
+# RUN: llvm-mc -arch=hexagon -filetype=obj %s | llvm-objdump -d - | FileCheck %s
+
+{ r0=sub(#1,r0)
+  r1=sub(#1, r0)
+  r2=sub(#1, r0)
+  dczeroa(r0) }
+
+# CHECK: { r0 = sub(#1,r0)
+# CHECK:   r1 = sub(#1,r0)
+# CHECK:   r2 = sub(#1,r0)
+# CHECK:   dczeroa(r0) }


        


More information about the llvm-commits mailing list