Kit Barton | 0cfa7b7 | 2015-03-03 19:55:45 +0000 | [diff] [blame] | 1 | ; Test the vector rotate and shift doubleword instructions that were added in P8 |
Ehsan Amiri | a538b0f | 2016-08-03 18:17:35 +0000 | [diff] [blame] | 2 | ; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s |
| 3 | ; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 -mattr=-vsx < %s | FileCheck %s |
Kit Barton | 0cfa7b7 | 2015-03-03 19:55:45 +0000 | [diff] [blame] | 4 | |
| 5 | declare <2 x i64> @llvm.ppc.altivec.vrld(<2 x i64>, <2 x i64>) nounwind readnone |
| 6 | declare <2 x i64> @llvm.ppc.altivec.vsld(<2 x i64>, <2 x i64>) nounwind readnone |
| 7 | declare <2 x i64> @llvm.ppc.altivec.vsrd(<2 x i64>, <2 x i64>) nounwind readnone |
| 8 | declare <2 x i64> @llvm.ppc.altivec.vsrad(<2 x i64>, <2 x i64>) nounwind readnone |
| 9 | |
| 10 | define <2 x i64> @test_vrld(<2 x i64> %x, <2 x i64> %y) nounwind readnone { |
| 11 | %tmp = tail call <2 x i64> @llvm.ppc.altivec.vrld(<2 x i64> %x, <2 x i64> %y) |
| 12 | ret <2 x i64> %tmp |
| 13 | ; CHECK: vrld 2, 2, 3 |
| 14 | } |
| 15 | |
| 16 | define <2 x i64> @test_vsld(<2 x i64> %x, <2 x i64> %y) nounwind readnone { |
Kit Barton | e48b1e1 | 2015-03-05 16:24:38 +0000 | [diff] [blame] | 17 | %tmp = shl <2 x i64> %x, %y |
Kit Barton | 0cfa7b7 | 2015-03-03 19:55:45 +0000 | [diff] [blame] | 18 | ret <2 x i64> %tmp |
Kit Barton | e48b1e1 | 2015-03-05 16:24:38 +0000 | [diff] [blame] | 19 | ; CHECK-LABEL: @test_vsld |
Kit Barton | 0cfa7b7 | 2015-03-03 19:55:45 +0000 | [diff] [blame] | 20 | ; CHECK: vsld 2, 2, 3 |
| 21 | } |
| 22 | |
| 23 | define <2 x i64> @test_vsrd(<2 x i64> %x, <2 x i64> %y) nounwind readnone { |
Kit Barton | e48b1e1 | 2015-03-05 16:24:38 +0000 | [diff] [blame] | 24 | %tmp = lshr <2 x i64> %x, %y |
| 25 | ret <2 x i64> %tmp |
| 26 | ; CHECK-LABEL: @test_vsrd |
Kit Barton | 0cfa7b7 | 2015-03-03 19:55:45 +0000 | [diff] [blame] | 27 | ; CHECK: vsrd 2, 2, 3 |
| 28 | } |
| 29 | |
| 30 | define <2 x i64> @test_vsrad(<2 x i64> %x, <2 x i64> %y) nounwind readnone { |
Kit Barton | e48b1e1 | 2015-03-05 16:24:38 +0000 | [diff] [blame] | 31 | %tmp = ashr <2 x i64> %x, %y |
| 32 | ret <2 x i64> %tmp |
| 33 | ; CHECK-LABER: @test_vsrad |
Kit Barton | 0cfa7b7 | 2015-03-03 19:55:45 +0000 | [diff] [blame] | 34 | ; CHECK: vsrad 2, 2, 3 |
| 35 | } |
| 36 | |