llvm/test/Verifier/param-ret-align.ll

   1 ; RUN: not llvm-as < %s 2>&1 | FileCheck %s
   2
   3 ; Large vector for intrinsics is valid
   4 ; CHECK-NOT: llvm.fshr
   5 define dso_local <2147483648 x i32> @test_intrin(<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt) {
   6 entry:
   7   %b = call <2147483648 x i32> @llvm.fshr.v8192i32(<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt)
   8   ret <2147483648 x i32> %b
   9 }
  10 declare <2147483648 x i32> @llvm.fshr.v2147483648i32 (<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt)
  11
  12 ; CHECK: Incorrect alignment of return type to called function!
  13 ; CHECK: bar
  14 define dso_local void @foo() {
  15 entry:
  16   call <2147483648 x float> @bar()
  17   ret void
  18 }
  19
  20 declare dso_local <2147483648 x float> @bar()