diff --git a/lib/Target/PowerPC/PPCInstrAltivec.td b/lib/Target/PowerPC/PPCInstrAltivec.td index 1548c82a4eb..f6acd6e485e 100644 --- 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 b4fa06df3c0..f7d5a51c11d 100644 --- 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, - %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, + %tmp2 = or <4 x i32> %x, %tmp1 +; CHECK: vorc 3, 2, 3 + %tmp3 = xor <4 x i32> %tmp2, + %tmp4 = or <4 x i32> %tmp3, %x +; CHECK: vorc 2, 2, 3 + ret <4 x i32> %tmp4 }