llvm/test/Bitcode/upgrade-var-annotation.ll

   1 ; Test upgrade of var.annotation intrinsics.
   2 ;
   3 ; RUN: llvm-dis < %s.bc | FileCheck %s
   4
   5
   6 define void @f(i8* %arg0, i8* %arg1, i8* %arg2, i32 %arg3) {
   7 ;CHECK: @f(i8* [[ARG0:%.*]], i8* [[ARG1:%.*]], i8* [[ARG2:%.*]], i32 [[ARG3:%.*]])
   8   call void @llvm.var.annotation(i8* %arg0, i8* %arg1, i8* %arg2, i32 %arg3)
   9 ;CHECK:  call void @llvm.var.annotation(i8* [[ARG0]], i8* [[ARG1]], i8* [[ARG2]], i32 [[ARG3]], i8* null)
  10   ret void
  11 }
  12
  13 ; Function Attrs: nofree nosync nounwind willreturn
  14 declare void @llvm.var.annotation(i8*, i8*, i8*, i32)
  15 ; CHECK: declare void @llvm.var.annotation(i8*, i8*, i8*, i32, i8*)