diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Analysis/MemorySSA/pr43540.ll | 34 | ||||
| -rw-r--r-- | llvm/test/Transforms/LICM/guards.ll | 2 |
2 files changed, 35 insertions, 1 deletions
diff --git a/llvm/test/Analysis/MemorySSA/pr43540.ll b/llvm/test/Analysis/MemorySSA/pr43540.ll new file mode 100644 index 00000000000..325e6bc0ae8 --- /dev/null +++ b/llvm/test/Analysis/MemorySSA/pr43540.ll @@ -0,0 +1,34 @@ +; RUN: opt -S -licm -enable-mssa-loop-dependency=true %s | FileCheck %s +@v_1 = global i8 0, align 1 +@v_2 = global i8 0, align 1 + +; CHECK-LABEL: @foo() +; CHECK: for.cond: +; CHECK-NOT: store +; CHECK: for.body: +; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 +; CHECK: store +define void @foo() { +entry: + br label %for.cond + +for.cond: ; preds = %for.body, %entry + %0 = phi i16 [ %inc, %for.body ], [ 0, %entry ] + %cmp = icmp slt i16 %0, 1 + br i1 %cmp, label %for.body, label %for.end + +for.body: ; preds = %for.cond + call void @llvm.memcpy.p0i8.p0i8.i64(i8* @v_1, i8 * @v_2, i64 1, i1 false) + store i8 1, i8 * @v_2, align 1 + %inc = add nsw i16 %0, 1 + br label %for.cond + +for.end: ; preds = %for.cond + ret void +} + +; Function Attrs: argmemonly nounwind willreturn +declare void @llvm.memcpy.p0i8.p0i8.i64(i8* noalias nocapture writeonly, i8 * noalias nocapture readonly, i64, i1 immarg) #2 + +attributes #2 = { argmemonly nounwind willreturn } + diff --git a/llvm/test/Transforms/LICM/guards.ll b/llvm/test/Transforms/LICM/guards.ll index 2873c89d092..2343e0917c5 100644 --- a/llvm/test/Transforms/LICM/guards.ll +++ b/llvm/test/Transforms/LICM/guards.ll @@ -84,7 +84,7 @@ loop: } ; But can hoist if the side effect is hoisted with MSSA -define void @test2b_prime(i1 %cond, i32* %ptr) { +define void @test2b_prime(i1 %cond, i32* noalias %ptr) { ; MSSA-LABEL: @test2b_prime( ; MSSA-NEXT: entry: ; MSSA-NEXT: [[P2:%.*]] = getelementptr i32, i32* [[PTR:%.*]], i32 1 |
