llvm/test/Assembler/vector-shift.ll

   1 ; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
   2 ; RUN: verify-uselistorder %s
   3
   4 ; CHECK: @foo
   5 ; CHECK: shl
   6 define <4 x i32> @foo(<4 x i32> %a, <4 x i32> %b) nounwind  {
   7 entry:
   8   %cmp = shl <4 x i32> %a, %b           ; <4 x i32> [#uses=1]
   9   ret <4 x i32> %cmp
  10 }
  11
  12 ; CHECK: @bar
  13 ; CHECK: lshr
  14 define <4 x i32> @bar(<4 x i32> %a, <4 x i32> %b) nounwind  {
  15 entry:
  16   %cmp = lshr <4 x i32> %a, %b          ; <4 x i32> [#uses=1]
  17   ret <4 x i32> %cmp
  18 }
  19
  20 ; CHECK: @baz
  21 ; CHECK: ashr
  22 define <4 x i32> @baz(<4 x i32> %a, <4 x i32> %b) nounwind  {
  23 entry:
  24   %cmp = ashr <4 x i32> %a, %b          ; <4 x i32> [#uses=1]
  25   ret <4 x i32> %cmp
  26 }
  27
  28 ; Constant expressions: these should be folded.
  29
  30 ; CHECK: @foo_ce
  31 ; CHECK: ret <2 x i64> <i64 40, i64 192>
  32 define <2 x i64> @foo_ce() nounwind {
  33   ret <2 x i64> shl (<2 x i64> <i64 5, i64 6>, <2 x i64> <i64 3, i64 5>)
  34 }
  35
  36 ; CHECK: @bar_ce
  37 ; CHECK: ret <2 x i64> <i64 42, i64 11>
  38 define <2 x i64> @bar_ce() nounwind {
  39   ret <2 x i64> lshr (<2 x i64> <i64 340, i64 380>, <2 x i64> <i64 3, i64 5>)
  40 }
  41
  42 ; CHECK: baz_ce
  43 ; CHECK: ret <2 x i64> <i64 71, i64 12>
  44 define <2 x i64> @baz_ce() nounwind {
  45   ret <2 x i64> ashr (<2 x i64> <i64 573, i64 411>, <2 x i64> <i64 3, i64 5>)
  46 }