[NFC][PPC] Autogenerate vec_add_sub_doubleword.ll test
authorRoman Lebedev <lebedev.ri@gmail.com>
Thu, 23 May 2019 18:08:21 +0000 (18:08 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Thu, 23 May 2019 18:08:21 +0000 (18:08 +0000)
Being affected by (sub %x, C) -> add %X, (sub 0, C) 'for vectors' patch.

llvm-svn: 361524

llvm/test/CodeGen/PowerPC/vec_add_sub_doubleword.ll

index 2c3bee1..62f17ac 100644 (file)
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s --check-prefixes=ALL,VSX
+; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 -mattr=-vsx < %s | FileCheck %s --check-prefixes=ALL,NOVSX
+
 ; Check VMX 64-bit integer operations
-;
-; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s
-; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 -mattr=-vsx < %s | FileCheck %s
 
 define <2 x i64> @test_add(<2 x i64> %x, <2 x i64> %y) nounwind {
-       %result = add <2 x i64> %x, %y
-       ret <2 x i64> %result
-; CHECK: vaddudm 2, 2, 3
+; ALL-LABEL: test_add:
+; ALL:       # %bb.0:
+; ALL-NEXT:    vaddudm 2, 2, 3
+; ALL-NEXT:    blr
+  %result = add <2 x i64> %x, %y
+  ret <2 x i64> %result
 }
 
 define <2 x i64> @increment_by_one(<2 x i64> %x) nounwind {
-       %result = add <2 x i64> %x, <i64 1, i64 1>
-       ret <2 x i64> %result
-; CHECK: vaddudm 2, 2, 3
+; VSX-LABEL: increment_by_one:
+; VSX:       # %bb.0:
+; VSX-NEXT:    addis 3, 2, .LCPI1_0@toc@ha
+; VSX-NEXT:    addi 3, 3, .LCPI1_0@toc@l
+; VSX-NEXT:    lxvd2x 35, 0, 3
+; VSX-NEXT:    vaddudm 2, 2, 3
+; VSX-NEXT:    blr
+;
+; NOVSX-LABEL: increment_by_one:
+; NOVSX:       # %bb.0:
+; NOVSX-NEXT:    addis 3, 2, .LCPI1_0@toc@ha
+; NOVSX-NEXT:    addi 3, 3, .LCPI1_0@toc@l
+; NOVSX-NEXT:    lvx 3, 0, 3
+; NOVSX-NEXT:    vaddudm 2, 2, 3
+; NOVSX-NEXT:    blr
+  %result = add <2 x i64> %x, <i64 1, i64 1>
+  ret <2 x i64> %result
 }
 
 define <2 x i64> @increment_by_val(<2 x i64> %x, i64 %val) nounwind {
-       %tmpvec = insertelement <2 x i64> <i64 0, i64 0>, i64 %val, i32 0
-       %tmpvec2 = insertelement <2 x i64> %tmpvec, i64 %val, i32 1
-       %result = add <2 x i64> %x, %tmpvec2
-       ret <2 x i64> %result
-; CHECK: vaddudm 2, 2, 3
-; FIXME: This is currently generating the following instruction sequence
+; VSX-LABEL: increment_by_val:
+; VSX:       # %bb.0:
+; VSX-NEXT:    mtvsrd 0, 5
+; VSX-NEXT:    xxspltd 35, 0, 0
+; VSX-NEXT:    vaddudm 2, 2, 3
+; VSX-NEXT:    blr
 ;
-;        std 5, -8(1)
-;        std 5, -16(1)
-;        addi 3, 1, -16
-;        ori 2, 2, 0
-;        lxvd2x 35, 0, 3
-;        vaddudm 2, 2, 3
-;        blr
-;        
-;        This will almost certainly cause a load-hit-store hazard.
-;        Since val is a value parameter, it should not need to be
-;        saved onto the stack at all (unless we're using this to set
-;        up the vector register). Instead, it would be better to splat
-;        the value into a vector register.
+; NOVSX-LABEL: increment_by_val:
+; NOVSX:       # %bb.0:
+; NOVSX-NEXT:    addi 3, 1, -16
+; NOVSX-NEXT:    std 5, -8(1)
+; NOVSX-NEXT:    std 5, -16(1)
+; NOVSX-NEXT:    lvx 3, 0, 3
+; NOVSX-NEXT:    vaddudm 2, 2, 3
+; NOVSX-NEXT:    blr
+  %tmpvec = insertelement <2 x i64> <i64 0, i64 0>, i64 %val, i32 0
+  %tmpvec2 = insertelement <2 x i64> %tmpvec, i64 %val, i32 1
+  %result = add <2 x i64> %x, %tmpvec2
+  ret <2 x i64> %result
+; FIXME: This is currently generating the following instruction sequence
+;   std 5, -8(1)
+;   std 5, -16(1)
+;   addi 3, 1, -16
+;   ori 2, 2, 0
+;   lxvd2x 35, 0, 3
+;   vaddudm 2, 2, 3
+;   blr
+;   This will almost certainly cause a load-hit-store hazard.
+;   Since val is a value parameter, it should not need to be
+;   saved onto the stack at all (unless we're using this to set
+;   up the vector register). Instead, it would be better to splat
+;   the value into a vector register.
 }
 
 define <2 x i64> @test_sub(<2 x i64> %x, <2 x i64> %y) nounwind {
-       %result = sub <2 x i64> %x, %y
-       ret <2 x i64> %result
-; CHECK: vsubudm 2, 2, 3
+; ALL-LABEL: test_sub:
+; ALL:       # %bb.0:
+; ALL-NEXT:    vsubudm 2, 2, 3
+; ALL-NEXT:    blr
+  %result = sub <2 x i64> %x, %y
+  ret <2 x i64> %result
 }
 
 define <2 x i64> @decrement_by_one(<2 x i64> %x) nounwind {
-       %result = sub <2 x i64> %x, <i64 -1, i64 -1>
-       ret <2 x i64> %result
-; CHECK: vsubudm 2, 2, 3
+; VSX-LABEL: decrement_by_one:
+; VSX:       # %bb.0:
+; VSX-NEXT:    vspltisb 3, -1
+; VSX-NEXT:    vsubudm 2, 2, 3
+; VSX-NEXT:    blr
+;
+; NOVSX-LABEL: decrement_by_one:
+; NOVSX:       # %bb.0:
+; NOVSX-NEXT:    addis 3, 2, .LCPI4_0@toc@ha
+; NOVSX-NEXT:    addi 3, 3, .LCPI4_0@toc@l
+; NOVSX-NEXT:    lvx 3, 0, 3
+; NOVSX-NEXT:    vsubudm 2, 2, 3
+; NOVSX-NEXT:    blr
+  %result = sub <2 x i64> %x, <i64 -1, i64 -1>
+  ret <2 x i64> %result
 }
 
 define <2 x i64> @decrement_by_val(<2 x i64> %x, i64 %val) nounwind {
-       %tmpvec = insertelement <2 x i64> <i64 0, i64 0>, i64 %val, i32 0
-       %tmpvec2 = insertelement <2 x i64> %tmpvec, i64 %val, i32 1
-       %result = sub <2 x i64> %x, %tmpvec2
-       ret <2 x i64> %result
-; CHECK: vsubudm 2, 2, 3
+; VSX-LABEL: decrement_by_val:
+; VSX:       # %bb.0:
+; VSX-NEXT:    mtvsrd 0, 5
+; VSX-NEXT:    xxspltd 35, 0, 0
+; VSX-NEXT:    vsubudm 2, 2, 3
+; VSX-NEXT:    blr
+;
+; NOVSX-LABEL: decrement_by_val:
+; NOVSX:       # %bb.0:
+; NOVSX-NEXT:    addi 3, 1, -16
+; NOVSX-NEXT:    std 5, -8(1)
+; NOVSX-NEXT:    std 5, -16(1)
+; NOVSX-NEXT:    lvx 3, 0, 3
+; NOVSX-NEXT:    vsubudm 2, 2, 3
+; NOVSX-NEXT:    blr
+  %tmpvec = insertelement <2 x i64> <i64 0, i64 0>, i64 %val, i32 0
+  %tmpvec2 = insertelement <2 x i64> %tmpvec, i64 %val, i32 1
+  %result = sub <2 x i64> %x, %tmpvec2
+  ret <2 x i64> %result
 }
-
-
-