1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
; RUN: opt %loadPolly -polly-codegen-ppcg -polly-acc-dump-code \
; RUN: -disable-output < %s | \
; RUN: FileCheck -check-prefix=CODE %s
; RUN: opt %loadPolly -polly-codegen-ppcg -S < %s | \
; RUN: FileCheck %s -check-prefix=IR
; REQUIRES: pollyacc
; This test case ensures that we properly sign-extend the types we are using.
; CODE: if (arg >= 1 && arg1 == 0) {
; CODE: cudaCheckReturn(cudaMemcpy(dev_MemRef_arg3, MemRef_arg3, (arg) * sizeof(double), cudaMemcpyHostToDevice));
; CODE-NEXT: {
; CODE-NEXT: dim3 k0_dimBlock(32);
; CODE-NEXT: dim3 k0_dimGrid(arg >= 1048545 ? 32768 : (arg + 31) / 32);
; CODE-NEXT: kernel0 <<<k0_dimGrid, k0_dimBlock>>> (dev_MemRef_arg3, dev_MemRef_arg2, arg, arg1);
; CODE-NEXT: cudaCheckKernel();
; CODE-NEXT: }
; CODE: cudaCheckReturn(cudaMemcpy(MemRef_arg2, dev_MemRef_arg2, (arg) * sizeof(double), cudaMemcpyDeviceToHost));
; CODE-NEXT cudaCheckReturn(cudaFree(dev_MemRef_arg3));
; CODE-NEXT cudaCheckReturn(cudaFree(dev_MemRef_arg2));
; CODE: # kernel0
; CODE-NEXT: for (int c0 = 0; c0 <= (arg - 32 * b0 - 1) / 1048576; c0 += 1)
; CODE-NEXT: if (arg >= 32 * b0 + t0 + 1048576 * c0 + 1)
; CODE-NEXT: Stmt_bb6(0, 32 * b0 + t0 + 1048576 * c0);
; IR-LABEL: call ptr @polly_initContextCUDA()
; IR: sext i32 %arg to i64
; IR-NEXT: mul i64
; IR-NEXT: @polly_allocateMemoryForDevice
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define void @hoge(i32 %arg, i32 %arg1, ptr %arg2, ptr %arg3) {
bb:
br label %bb4
bb4: ; preds = %bb13, %bb
br label %bb6
bb5: ; preds = %bb13
ret void
bb6: ; preds = %bb6, %bb4
%tmp = phi i64 [ 0, %bb4 ], [ %tmp10, %bb6 ]
%tmp7 = getelementptr inbounds double, ptr %arg3, i64 %tmp
%tmp8 = load double, ptr %tmp7, align 8
%tmp9 = getelementptr inbounds [1000 x double], ptr %arg2, i64 0, i64 %tmp
store double %tmp8, ptr %tmp9, align 8
%tmp10 = add nuw nsw i64 %tmp, 1
%tmp11 = zext i32 %arg to i64
%tmp12 = icmp ne i64 %tmp10, %tmp11
br i1 %tmp12, label %bb6, label %bb13
bb13: ; preds = %bb6
%tmp14 = zext i32 %arg1 to i64
%tmp15 = icmp ne i64 0, %tmp14
br i1 %tmp15, label %bb4, label %bb5
}
|
