From 7d6d66975ff394a18e60db2e83aa872b65180248 Mon Sep 17 00:00:00 2001 From: Dmitry Sidorov Date: Fri, 7 Jun 2024 00:23:00 +0200 Subject: [PATCH] [NFC] Update complex-constexpr.ll (#2594) Signed-off-by: Sidorov, Dmitry --- test/complex-constexpr.ll | 63 +++++++-------------------------------- 1 file changed, 10 insertions(+), 53 deletions(-) diff --git a/test/complex-constexpr.ll b/test/complex-constexpr.ll index 6547c87d1b..41f268ed47 100644 --- a/test/complex-constexpr.ll +++ b/test/complex-constexpr.ll @@ -1,76 +1,33 @@ ; RUN: llvm-as %s -o %t.bc -; RUN: llvm-spirv %t.bc --spirv-max-version=1.3 -o %t.spv -; RUN: spirv-val %t.spv -; RUN: llvm-spirv %t.spv --spirv-max-version=1.3 -o %t.spt --to-text -; RUN: llvm-spirv -r %t.spv -o %t.rev.bc -; RUN: llvm-dis %t.rev.bc -; RUN: FileCheck %s --input-file %t.spt -check-prefix=CHECK-SPIRV -; RUN: FileCheck %s --input-file %t.rev.ll -check-prefix=CHECK-LLVM - ; RUN: llvm-spirv %t.bc -o %t.spv ; RUN: spirv-val %t.spv ; RUN: llvm-spirv %t.spv -o %t.spt --to-text ; RUN: llvm-spirv -r %t.spv -o %t.rev.bc ; RUN: llvm-dis %t.rev.bc -; RUN: FileCheck %s --input-file %t.spt -check-prefix=CHECK-SPIRV-14 -; RUN: FileCheck %s --input-file %t.rev.ll -check-prefix=CHECK-LLVM-14 - +; RUN: FileCheck %s --input-file %t.spt -check-prefix=CHECK-SPIRV +; RUN: FileCheck %s --input-file %t.rev.ll -check-prefix=CHECK-LLVM target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-n8:16:32:64" target triple = "spir64" -; CHECK-SPIRV: TypeInt [[Int_Ty:[0-9]+]] 8 0 -; CHECK-SPIRV: TypeVoid [[Void_Ty:[0-9]+]] -; CHECK-SPIRV: TypeFunction [[Func_Ty1:[0-9]+]] [[Void_Ty]] -; CHECK-SPIRV: TypePointer [[Ptr_Ty:[0-9]+]] 8 -; CHECK-SPIRV: TypeFunction [[Func_Ty2:[0-9]+]] [[Void_Ty]] [[Ptr_Ty]] [[Ptr_Ty]] - -; CHECK-SPIRV-14: TypeInt [[Int_Ty:[0-9]+]] 8 0 -; CHECK-SPIRV-14: TypeVoid [[Void_Ty:[0-9]+]] -; CHECK-SPIRV-14: TypeFunction [[Func_Ty1:[0-9]+]] [[Void_Ty]] -; CHECK-SPIRV-14: TypePointer [[Ptr_Ty:[0-9]+]] 8 -; CHECK-SPIRV-14: TypeFunction [[Func_Ty2:[0-9]+]] [[Void_Ty]] [[Ptr_Ty]] [[Ptr_Ty]] - @.str.1 = private unnamed_addr addrspace(1) constant [1 x i8] zeroinitializer, align 1 define linkonce_odr hidden spir_func void @foo() { entry: -; CHECK-SPIRV: PtrCastToGeneric {{[0-9]+}} [[Cast:[0-9]+]] -; CHECK-SPIRV: ConvertPtrToU {{[0-9]+}} [[PtrToU1:[0-9]+]] [[Cast]] -; CHECK-SPIRV: ConvertPtrToU {{[0-9]+}} [[PtrToU2:[0-9]+]] -; CHECK-SPIRV: IEqual {{[0-9]+}} [[IEq:[0-9]+]] [[PtrToU1]] [[PtrToU2]] -; CHECK-SPIRV: ConvertUToPtr {{[0-9]+}} [[UToPtr:[0-9]+]] -; CHECK-SPIRV: Select {{[0-9]+}} [[Sel:[0-9]+]] [[IEq]] [[UToPtr]] [[Cast]] -; CHECK-SPIRV: FunctionCall [[Void_Ty]] {{[0-9]+}} [[Func:[0-9]+]] [[Cast]] [[Sel]] +; CHECK-SPIRV: Constant [[#]] [[#MinusOne:]] 4294967295 4294967295 +; CHECK-SPIRV: ConvertUToPtr [[#]] [[#Ptr:]] [[#MinusOne:]] +; CHECK-SPIRV: Bitcast [[#]] [[#BitCast:]] [[#Ptr]] +; CHECK-SPIRV: FunctionCall [[#]] [[#]] [[#]] [[#]] [[#BitCast]] -; CHECK-SPIRV-14: PtrCastToGeneric {{[0-9]+}} [[Cast:[0-9]+]] -; CHECK-SPIRV-14: PtrEqual {{[0-9]+}} [[PtrEq:[0-9]+]] [[Cast]] [[#]] -; CHECK-SPIRV-14: ConvertUToPtr {{[0-9]+}} [[UToPtr:[0-9]+]] -; CHECK-SPIRV-14: Select {{[0-9]+}} [[Sel:[0-9]+]] [[PtrEq]] [[UToPtr]] [[Cast]] -; CHECK-SPIRV-14: FunctionCall [[Void_Ty]] {{[0-9]+}} [[Func:[0-9]+]] [[Cast]] [[Sel]] +; CHECK-LLVM: %[[#Ptr:]] = inttoptr i64 -1 to ptr addrspace(4) +; CHECK-LLVM: %[[#BitCast:]] = bitcast ptr addrspace(4) %[[#Ptr]] to ptr addrspace(4) +; CHECK-LLVM: call spir_func void @bar({{.*}}, ptr addrspace(4) %[[#BitCast]]) #0 -; CHECK-LLVM: %[[Cast:[0-9]+]] = addrspacecast ptr addrspace(1) @.str.1 to ptr addrspace(4) -; CHECK-LLVM: %[[PtrToU1:[0-9]+]] = ptrtoint ptr addrspace(4) %[[Cast]] to i64 -; CHECK-LLVM: %[[PtrToU2:[0-9]+]] = ptrtoint ptr addrspace(4) null to i64 -; CHECK-LLVM: %[[IEq:[0-9]+]] = icmp eq i64 %[[PtrToU1]], %[[PtrToU2]] -; CHECK-LLVM: %[[UToPtr:[0-9]+]] = inttoptr i64 -1 to ptr addrspace(4) -; CHECK-LLVM: %[[Sel:[0-9]+]] = select i1 %[[IEq]], ptr addrspace(4) %[[UToPtr]], ptr addrspace(4) %[[Cast]] -; CHECK-LLVM: call spir_func void @bar(ptr addrspace(4) %[[Cast]], ptr addrspace(4) %[[Sel]]) #0 - -; CHECK-LLVM-14: %[[Cast:[0-9]+]] = addrspacecast ptr addrspace(1) @.str.1 to ptr addrspace(4) -; CHECK-LLVM-14: %[[PtrToU1:[0-9]+]] = ptrtoint ptr addrspace(4) %[[Cast]] to i64 -; CHECK-LLVM-14: %[[IEq:[0-9]+]] = icmp eq i64 %[[PtrToU1]], 0 -; CHECK-LLVM-14: %[[UToPtr:[0-9]+]] = inttoptr i64 -1 to ptr addrspace(4) -; CHECK-LLVM-14: %[[Sel:[0-9]+]] = select i1 %[[IEq]], ptr addrspace(4) %[[UToPtr]], ptr addrspace(4) %[[Cast]] -; CHECK-LLVM-14: call spir_func void @bar(ptr addrspace(4) %[[Cast]], ptr addrspace(4) %[[Sel]]) #0 - - %0 = select i1 icmp eq (ptr addrspace(4) addrspacecast (ptr addrspace(1) @.str.1 to ptr addrspace(4)), ptr addrspace(4) null), ptr addrspace(4) inttoptr (i64 -1 to ptr addrspace(4)), ptr addrspace(4) addrspacecast (ptr addrspace(1) @.str.1 to ptr addrspace(4)) + %0 = bitcast ptr addrspace(4) inttoptr (i64 -1 to ptr addrspace(4)) to ptr addrspace(4) call spir_func void @bar(ptr addrspace(4) addrspacecast (ptr addrspace(1) @.str.1 to ptr addrspace(4)), ptr addrspace(4) %0) ret void } -; CHECK-SPIRV: Function [[Void_Ty]] [[Func]] 0 [[Func_Ty2]] - define linkonce_odr hidden spir_func void @bar(ptr addrspace(4) %__beg, ptr addrspace(4) %__end) { entry: ret void