Skip to content

Commit 7d6d669

Browse files
authored
[NFC] Update complex-constexpr.ll (#2594)
Signed-off-by: Sidorov, Dmitry <[email protected]>
1 parent a6398f4 commit 7d6d669

File tree

1 file changed

+10
-53
lines changed

1 file changed

+10
-53
lines changed

test/complex-constexpr.ll

Lines changed: 10 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -1,76 +1,33 @@
11
; RUN: llvm-as %s -o %t.bc
2-
; RUN: llvm-spirv %t.bc --spirv-max-version=1.3 -o %t.spv
3-
; RUN: spirv-val %t.spv
4-
; RUN: llvm-spirv %t.spv --spirv-max-version=1.3 -o %t.spt --to-text
5-
; RUN: llvm-spirv -r %t.spv -o %t.rev.bc
6-
; RUN: llvm-dis %t.rev.bc
7-
; RUN: FileCheck %s --input-file %t.spt -check-prefix=CHECK-SPIRV
8-
; RUN: FileCheck %s --input-file %t.rev.ll -check-prefix=CHECK-LLVM
9-
102
; RUN: llvm-spirv %t.bc -o %t.spv
113
; RUN: spirv-val %t.spv
124
; RUN: llvm-spirv %t.spv -o %t.spt --to-text
135
; RUN: llvm-spirv -r %t.spv -o %t.rev.bc
146
; RUN: llvm-dis %t.rev.bc
15-
; RUN: FileCheck %s --input-file %t.spt -check-prefix=CHECK-SPIRV-14
16-
; RUN: FileCheck %s --input-file %t.rev.ll -check-prefix=CHECK-LLVM-14
17-
7+
; RUN: FileCheck %s --input-file %t.spt -check-prefix=CHECK-SPIRV
8+
; RUN: FileCheck %s --input-file %t.rev.ll -check-prefix=CHECK-LLVM
189

1910
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"
2011
target triple = "spir64"
2112

22-
; CHECK-SPIRV: TypeInt [[Int_Ty:[0-9]+]] 8 0
23-
; CHECK-SPIRV: TypeVoid [[Void_Ty:[0-9]+]]
24-
; CHECK-SPIRV: TypeFunction [[Func_Ty1:[0-9]+]] [[Void_Ty]]
25-
; CHECK-SPIRV: TypePointer [[Ptr_Ty:[0-9]+]] 8
26-
; CHECK-SPIRV: TypeFunction [[Func_Ty2:[0-9]+]] [[Void_Ty]] [[Ptr_Ty]] [[Ptr_Ty]]
27-
28-
; CHECK-SPIRV-14: TypeInt [[Int_Ty:[0-9]+]] 8 0
29-
; CHECK-SPIRV-14: TypeVoid [[Void_Ty:[0-9]+]]
30-
; CHECK-SPIRV-14: TypeFunction [[Func_Ty1:[0-9]+]] [[Void_Ty]]
31-
; CHECK-SPIRV-14: TypePointer [[Ptr_Ty:[0-9]+]] 8
32-
; CHECK-SPIRV-14: TypeFunction [[Func_Ty2:[0-9]+]] [[Void_Ty]] [[Ptr_Ty]] [[Ptr_Ty]]
33-
3413
@.str.1 = private unnamed_addr addrspace(1) constant [1 x i8] zeroinitializer, align 1
3514

3615
define linkonce_odr hidden spir_func void @foo() {
3716
entry:
38-
; CHECK-SPIRV: PtrCastToGeneric {{[0-9]+}} [[Cast:[0-9]+]]
39-
; CHECK-SPIRV: ConvertPtrToU {{[0-9]+}} [[PtrToU1:[0-9]+]] [[Cast]]
40-
; CHECK-SPIRV: ConvertPtrToU {{[0-9]+}} [[PtrToU2:[0-9]+]]
41-
; CHECK-SPIRV: IEqual {{[0-9]+}} [[IEq:[0-9]+]] [[PtrToU1]] [[PtrToU2]]
42-
; CHECK-SPIRV: ConvertUToPtr {{[0-9]+}} [[UToPtr:[0-9]+]]
43-
; CHECK-SPIRV: Select {{[0-9]+}} [[Sel:[0-9]+]] [[IEq]] [[UToPtr]] [[Cast]]
44-
; CHECK-SPIRV: FunctionCall [[Void_Ty]] {{[0-9]+}} [[Func:[0-9]+]] [[Cast]] [[Sel]]
17+
; CHECK-SPIRV: Constant [[#]] [[#MinusOne:]] 4294967295 4294967295
18+
; CHECK-SPIRV: ConvertUToPtr [[#]] [[#Ptr:]] [[#MinusOne:]]
19+
; CHECK-SPIRV: Bitcast [[#]] [[#BitCast:]] [[#Ptr]]
20+
; CHECK-SPIRV: FunctionCall [[#]] [[#]] [[#]] [[#]] [[#BitCast]]
4521

46-
; CHECK-SPIRV-14: PtrCastToGeneric {{[0-9]+}} [[Cast:[0-9]+]]
47-
; CHECK-SPIRV-14: PtrEqual {{[0-9]+}} [[PtrEq:[0-9]+]] [[Cast]] [[#]]
48-
; CHECK-SPIRV-14: ConvertUToPtr {{[0-9]+}} [[UToPtr:[0-9]+]]
49-
; CHECK-SPIRV-14: Select {{[0-9]+}} [[Sel:[0-9]+]] [[PtrEq]] [[UToPtr]] [[Cast]]
50-
; CHECK-SPIRV-14: FunctionCall [[Void_Ty]] {{[0-9]+}} [[Func:[0-9]+]] [[Cast]] [[Sel]]
22+
; CHECK-LLVM: %[[#Ptr:]] = inttoptr i64 -1 to ptr addrspace(4)
23+
; CHECK-LLVM: %[[#BitCast:]] = bitcast ptr addrspace(4) %[[#Ptr]] to ptr addrspace(4)
24+
; CHECK-LLVM: call spir_func void @bar({{.*}}, ptr addrspace(4) %[[#BitCast]]) #0
5125

52-
; CHECK-LLVM: %[[Cast:[0-9]+]] = addrspacecast ptr addrspace(1) @.str.1 to ptr addrspace(4)
53-
; CHECK-LLVM: %[[PtrToU1:[0-9]+]] = ptrtoint ptr addrspace(4) %[[Cast]] to i64
54-
; CHECK-LLVM: %[[PtrToU2:[0-9]+]] = ptrtoint ptr addrspace(4) null to i64
55-
; CHECK-LLVM: %[[IEq:[0-9]+]] = icmp eq i64 %[[PtrToU1]], %[[PtrToU2]]
56-
; CHECK-LLVM: %[[UToPtr:[0-9]+]] = inttoptr i64 -1 to ptr addrspace(4)
57-
; CHECK-LLVM: %[[Sel:[0-9]+]] = select i1 %[[IEq]], ptr addrspace(4) %[[UToPtr]], ptr addrspace(4) %[[Cast]]
58-
; CHECK-LLVM: call spir_func void @bar(ptr addrspace(4) %[[Cast]], ptr addrspace(4) %[[Sel]]) #0
59-
60-
; CHECK-LLVM-14: %[[Cast:[0-9]+]] = addrspacecast ptr addrspace(1) @.str.1 to ptr addrspace(4)
61-
; CHECK-LLVM-14: %[[PtrToU1:[0-9]+]] = ptrtoint ptr addrspace(4) %[[Cast]] to i64
62-
; CHECK-LLVM-14: %[[IEq:[0-9]+]] = icmp eq i64 %[[PtrToU1]], 0
63-
; CHECK-LLVM-14: %[[UToPtr:[0-9]+]] = inttoptr i64 -1 to ptr addrspace(4)
64-
; CHECK-LLVM-14: %[[Sel:[0-9]+]] = select i1 %[[IEq]], ptr addrspace(4) %[[UToPtr]], ptr addrspace(4) %[[Cast]]
65-
; CHECK-LLVM-14: call spir_func void @bar(ptr addrspace(4) %[[Cast]], ptr addrspace(4) %[[Sel]]) #0
66-
67-
%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))
26+
%0 = bitcast ptr addrspace(4) inttoptr (i64 -1 to ptr addrspace(4)) to ptr addrspace(4)
6827
call spir_func void @bar(ptr addrspace(4) addrspacecast (ptr addrspace(1) @.str.1 to ptr addrspace(4)), ptr addrspace(4) %0)
6928
ret void
7029
}
7130

72-
; CHECK-SPIRV: Function [[Void_Ty]] [[Func]] 0 [[Func_Ty2]]
73-
7431
define linkonce_odr hidden spir_func void @bar(ptr addrspace(4) %__beg, ptr addrspace(4) %__end) {
7532
entry:
7633
ret void

0 commit comments

Comments
 (0)