| ; RUN: opt %loadPolly -polly-scops \ |
| ; RUN: -analyze < %s | FileCheck %s --check-prefix=SCOP |
| |
| ; RUN: opt %loadPolly -polly-codegen-ppcg \ |
| ; RUN: -S -polly-acc-codegen-managed-memory \ |
| ; RUN: -polly-acc-rewrite-managed-memory < %s | FileCheck %s --check-prefix=HOST-IR |
| ; |
| ; REQUIRES: pollyacc |
| ; |
| ; Check that we can correctly rewrite `malloc` to `polly_mallocManaged`, and |
| ; `free` to `polly_freeManaged` with the `polly-acc-rewrite-managed-memory` |
| ; pass, even inside `constantExpr`. This is necessary because a cookie cutter |
| ; Inst->replaceUsesOfWith(...) call does not actually work, because this does |
| ; not replace the instruction within a ConstantExpr. |
| ; |
| ; #include <memory.h> |
| ; |
| ; static const int N = 100; |
| ; int* f(int *ToFree) { |
| ; free(ToFree); |
| ; int *A = (int *)malloc(sizeof(int) * N); |
| ; for(int i = 0; i < N; i++) { |
| ; A[i] = 42; |
| ; } |
| ; return A; |
| ; |
| ; } |
| |
| ; SCOP: Function: f |
| ; SCOP-NEXT: Region: %for.body---%for.end |
| ; SCOP-NEXT: Max Loop Depth: 1 |
| |
| ; SCOP: Arrays { |
| ; SCOP-NEXT: i32 MemRef_tmp[*]; // Element size 4 |
| ; SCOP-NEXT: } |
| |
| ; // Check that polly_mallocManaged is declared and used correctly. |
| ; HOST-IR: %1 = bitcast i8* (i64)* @polly_mallocManaged to i32* (i64)* |
| ; HOST-IR: declare i8* @polly_mallocManaged(i64) |
| |
| ; // Check that polly_freeManaged is declared and used correctly. |
| ; HOST-IR call void @polly_freeManaged(i8* %toFree) |
| ; HOST-IR: declare void @polly_freeManaged(i8*) |
| |
| ; // Check that we remove the original malloc,free |
| ; HOST-IR-NOT: declare i8* @malloc(i64) |
| ; HOST-IR-NOT: declare void @free(i8*) |
| |
| target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-apple-macosx10.12.0" |
| |
| define i32* @f(i32 *%toFree) { |
| entry: |
| ; Free inside bitcast |
| call void bitcast (void (i8*)* @free to void (i32 *)*) (i32 * %toFree) |
| br label %entry.split |
| |
| entry.split: ; preds = %entry |
| ; malloc inside bitcast. |
| %tmp = call i32* bitcast (i8* (i64)* @malloc to i32* (i64)*) (i64 400) |
| br label %for.body |
| |
| for.body: ; preds = %entry.split, %for.body |
| %indvars.iv1 = phi i64 [ 0, %entry.split ], [ %indvars.iv.next, %for.body ] |
| %arrayidx = getelementptr inbounds i32, i32* %tmp, i64 %indvars.iv1 |
| store i32 42, i32* %arrayidx, align 4, !tbaa !3 |
| %indvars.iv.next = add nuw nsw i64 %indvars.iv1, 1 |
| %exitcond = icmp eq i64 %indvars.iv.next, 100 |
| br i1 %exitcond, label %for.end, label %for.body |
| |
| for.end: ; preds = %for.body |
| ret i32* %tmp |
| } |
| |
| ; Function Attrs: argmemonly nounwind |
| declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) #0 |
| |
| declare i8* @malloc(i64) |
| declare void @free(i8*) |
| |
| ; Function Attrs: argmemonly nounwind |
| declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #0 |
| |
| attributes #0 = { argmemonly nounwind } |
| |
| !llvm.module.flags = !{!0, !1} |
| !llvm.ident = !{!2} |
| |
| !0 = !{i32 1, !"wchar_size", i32 4} |
| !1 = !{i32 7, !"PIC Level", i32 2} |
| !2 = !{!"clang version 6.0.0"} |
| !3 = !{!4, !4, i64 0} |
| !4 = !{!"int", !5, i64 0} |
| !5 = !{!"omnipotent char", !6, i64 0} |
| !6 = !{!"Simple C/C++ TBAA"} |