38 lines · plain
1; RUN: opt %loadNPMPolly -polly-allow-modref-calls '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly -polly-allow-modref-calls -S '-passes=polly<no-default-opts>' < %s3;4; Verify we can handle a memset to "null" and that we do not model it.5; TODO: FIXME: We could use the undefined memset to optimize the code further,6; see the TODOs in the ScopInfo.cpp.7;8; CHECK: Statements {9; CHECK-NEXT: Stmt_for_cond5_preheader_us22110; CHECK-NEXT: Domain :=11; CHECK-NEXT: { Stmt_for_cond5_preheader_us221[0] };12; CHECK-NEXT: Schedule :=13; CHECK-NEXT: { Stmt_for_cond5_preheader_us221[i0] -> [0] };14; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]15; CHECK-NEXT: { Stmt_for_cond5_preheader_us221[i0] -> MemRef_A[0] };16; CHECK-NEXT: }17 18;19target datalayout = "e-m:e-i64:64-i128:128-n8:16:32:64-S128"20 21define void @test(ptr %A) {22entry:23 br i1 undef, label %for.end68, label %for.cond5.preheader.lr.ph24 25for.cond5.preheader.lr.ph: ; preds = %entry26 br label %for.cond5.preheader.us22127 28for.cond5.preheader.us221: ; preds = %for.cond5.preheader.us221, %for.cond5.preheader.lr.ph29 store i32 0, ptr %A30 call void @llvm.memset.p0.i64(ptr null, i8 0, i64 undef, i32 1, i1 false)31 br i1 true, label %for.end68, label %for.cond5.preheader.us22132 33for.end68: ; preds = %for.cond5.preheader.us221, %entry34 ret void35}36 37declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i32, i1)38