|
1 | 1 | ; 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 |
| - |
10 | 2 | ; RUN: llvm-spirv %t.bc -o %t.spv
|
11 | 3 | ; RUN: spirv-val %t.spv
|
12 | 4 | ; RUN: llvm-spirv %t.spv -o %t.spt --to-text
|
13 | 5 | ; RUN: llvm-spirv -r %t.spv -o %t.rev.bc
|
14 | 6 | ; 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 |
18 | 9 |
|
19 | 10 | 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"
|
20 | 11 | target triple = "spir64"
|
21 | 12 |
|
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 |
| - |
34 | 13 | @.str.1 = private unnamed_addr addrspace(1) constant [1 x i8] zeroinitializer, align 1
|
35 | 14 |
|
36 | 15 | define linkonce_odr hidden spir_func void @foo() {
|
37 | 16 | 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]] |
45 | 21 |
|
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 |
51 | 25 |
|
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) |
68 | 27 | call spir_func void @bar(ptr addrspace(4) addrspacecast (ptr addrspace(1) @.str.1 to ptr addrspace(4)), ptr addrspace(4) %0)
|
69 | 28 | ret void
|
70 | 29 | }
|
71 | 30 |
|
72 |
| -; CHECK-SPIRV: Function [[Void_Ty]] [[Func]] 0 [[Func_Ty2]] |
73 |
| - |
74 | 31 | define linkonce_odr hidden spir_func void @bar(ptr addrspace(4) %__beg, ptr addrspace(4) %__end) {
|
75 | 32 | entry:
|
76 | 33 | ret void
|
|
0 commit comments