I incorrectly marked the VORC instruction as isCommutable when I added it.

This fix removes the VORC instruction definition from the isCommutable block.

Phabricator review: http://reviews.llvm.org/D7772

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230020 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Target/PowerPC/PPCInstrAltivec.td b/lib/Target/PowerPC/PPCInstrAltivec.td
index 1548c82a4eb994b0d7489b5367b1ca1af75525dd..f6acd6e485e626edc72d08b18e50b0edb5f6fc99 100644 (file)
--- a/lib/Target/PowerPC/PPCInstrAltivec.td
+++ b/lib/Target/PowerPC/PPCInstrAltivec.td
@@ -986,9 +986,10 @@ def VEQV  : VXForm_1<1668, (outs vrrc:$vD), (ins vrrc:$vA, vrrc:$vB),
 def VNAND : VXForm_1<1412, (outs vrrc:$vD), (ins vrrc:$vA, vrrc:$vB),
                      "vnand $vD, $vA, $vB", IIC_VecGeneral,
                      [(set v4i32:$vD, (vnot_ppc (and v4i32:$vA, v4i32:$vB)))]>;
+} // isCommutable
+
 def VORC : VXForm_1<1348, (outs vrrc:$vD), (ins vrrc:$vA, vrrc:$vB),
                       "vorc $vD, $vA, $vB", IIC_VecGeneral,
                       [(set v4i32:$vD, (or v4i32:$vA,
                                            (vnot_ppc v4i32:$vB)))]>;
-} // isCommutable
 } // end HasP8Altivec

diff --git a/test/CodeGen/PowerPC/vec_veqv_vnand_vorc.ll b/test/CodeGen/PowerPC/vec_veqv_vnand_vorc.ll
index b4fa06df3c0e136ce28348d070982ef0db6eb486..f7d5a51c11d4b51a792b64dd1c92fe07e21c2b31 100644 (file)
--- a/test/CodeGen/PowerPC/vec_veqv_vnand_vorc.ll
+++ b/test/CodeGen/PowerPC/vec_veqv_vnand_vorc.ll
@@ -17,10 +17,13 @@ define <4 x i32> @test_vnand(<4 x i32> %x, <4 x i32> %y) nounwind {
 ; CHECK: vnand 2, 2, 3
 }
 
-; Test x vorc y
+; Test x vorc y and variants
 define <4 x i32> @test_vorc(<4 x i32> %x, <4 x i32> %y) nounwind {
-       %tmp = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
-       %ret_val = or <4 x i32> %x, %tmp
-       ret <4 x i32> %ret_val
-; CHECK: vorc 2, 2, 3      
+       %tmp1 = xor <4 x i32> %y, <i32 -1, i32 -1, i32 -1, i32 -1>
+       %tmp2 = or <4 x i32> %x, %tmp1
+; CHECK: vorc 3, 2, 3      
+       %tmp3 = xor <4 x i32> %tmp2, <i32 -1, i32 -1, i32 -1, i32 -1>
+       %tmp4 = or <4 x i32> %tmp3, %x
+; CHECK: vorc 2, 2, 3
+       ret <4 x i32> %tmp4
 }