[LoongArch] Move illegal ImmArg tests to llvm/test/Verifier

This patch also fixes incorrect function declarations in test cases
and remove -disable-verify from the test case.

Fix llvm#59839

Author: gonglingqin

llvm/test/CodeGen/LoongArch/frameaddr-returnaddr-error.ll

@@ -1,4 +1,4 @@
-; RUN: not llc --mtriple=loongarch32 --disable-verify < %s 2>&1 | FileCheck %s
+; RUN: not llc --mtriple=loongarch32 < %s 2>&1 | FileCheck %s
 
 declare void @llvm.loongarch.cacop.w(i32, i32, i32)
 declare i32 @llvm.loongarch.crc.w.b.w(i32, i32)
@@ -16,8 +16,8 @@ declare i64 @llvm.loongarch.iocsrrd.d(i32)
 declare void @llvm.loongarch.iocsrwr.d(i64, i32)
 declare void @llvm.loongarch.asrtle.d(i64, i64)
 declare void @llvm.loongarch.asrtgt.d(i64, i64)
-declare i64 @llvm.loongarch.lddir.d(i64, i32)
-declare void @llvm.loongarch.ldpte.d(i64, i32)
+declare i64 @llvm.loongarch.lddir.d(i64, i64 immarg)
+declare void @llvm.loongarch.ldpte.d(i64, i64 immarg)
 
 define void @cacop_arg0_out_of_hi_range(i32 %a) nounwind {
 ; CHECK: argument to 'llvm.loongarch.cacop.w' out of range
@@ -155,13 +155,13 @@ entry:
 define i64 @lddir_d(i64 %a) {
 ; CHECK: llvm.loongarch.lddir.d requires target: loongarch64
 entry:
-  %0 = tail call i64 @llvm.loongarch.lddir.d(i64 %a, i32 1)
+  %0 = tail call i64 @llvm.loongarch.lddir.d(i64 %a, i64 1)
   ret i64 %0
 }
 
 define void @ldpte_d(i64 %a) {
 ; CHECK: llvm.loongarch.ldpte.d requires target: loongarch64
 entry:
-  tail call void @llvm.loongarch.ldpte.d(i64 %a, i32 1)
+  tail call void @llvm.loongarch.ldpte.d(i64 %a, i64 1)
   ret void
 }

llvm/test/CodeGen/LoongArch/intrinsic-la32-error.ll

@@ -0,0 +1,9 @@
+; RUN: not llc --mtriple=loongarch64 < %s 2>&1 | FileCheck %s
+
+declare ptr @llvm.returnaddress(i32 immarg)
+
+define ptr @non_zero_returnaddress() nounwind {
+; CHECK: return address can only be determined for the current frame
+  %1 = call ptr @llvm.returnaddress(i32 1)
+  ret ptr %1
+}

llvm/test/CodeGen/LoongArch/returnaddr-error.ll

@@ -0,0 +1,20 @@
+; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
+
+declare ptr @llvm.frameaddress(i32 immarg)
+declare ptr @llvm.returnaddress(i32 immarg)
+
+define ptr @non_const_depth_frameaddress(i32 %x) nounwind {
+  ; CHECK: immarg operand has non-immediate parameter
+  ; CHECK-NEXT: i32 %x
+  ; CHECK-NEXT: %1 = call ptr @llvm.frameaddress.p0(i32 %x)
+  %1 = call ptr @llvm.frameaddress(i32 %x)
+  ret ptr %1
+}
+
+define ptr @non_const_depth_returnaddress(i32 %x) nounwind {
+  ; CHECK: immarg operand has non-immediate parameter
+  ; CHECK-NEXT: i32 %x
+  ; CHECK-NEXT: %1 = call ptr @llvm.returnaddress(i32 %x)
+  %1 = call ptr @llvm.returnaddress(i32 %x)
+  ret ptr %1
+}

llvm/test/Verifier/LoongArch/intrinsic-immarg.ll

@@ -0,0 +1,2 @@
+if not 'LoongArch' in config.root.targets:
+    config.unsupported = True