xref: /llvm-project/llvm/test/Transforms/InstCombine/memmove-1.ll (revision 4ab40eca080965c65802710e39adbb78c4ce7bde)
1; Test that the memmove library call simplifier works correctly.
2;
3; RUN: opt < %s -passes=instcombine -S | FileCheck %s
4
5target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
6
7declare ptr @memmove(ptr, ptr, i32)
8
9; Check memmove(mem1, mem2, size) -> llvm.memmove(mem1, mem2, size, 1).
10
11define ptr @test_simplify1(ptr %mem1, ptr %mem2, i32 %size) {
12; CHECK-LABEL: @test_simplify1(
13  %ret = call ptr @memmove(ptr %mem1, ptr %mem2, i32 %size)
14; CHECK: call void @llvm.memmove
15  ret ptr %ret
16; CHECK: ret ptr %mem1
17}
18
19define ptr @test_simplify2(ptr %mem1, ptr %mem2, i32 %size) {
20; CHECK-LABEL: @test_simplify2(
21; CHECK-NEXT:   tail call void @llvm.memmove
22; CHECK-NEXT:   ret ptr %mem1
23  %ret = tail call ptr @memmove(ptr %mem1, ptr %mem2, i32 %size)
24  ret ptr %ret
25}
26
27define ptr @test_no_simplify1(ptr %mem1, ptr %mem2, i32 %size) {
28; CHECK-LABEL: @test_no_simplify1(
29; CHECK-NEXT:   %ret = musttail call ptr @memmove(ptr %mem1, ptr %mem2, i32 %size)
30; CHECK-NEXT:   ret ptr %ret
31  %ret = musttail call ptr @memmove(ptr %mem1, ptr %mem2, i32 %size)
32  ret ptr %ret
33}
34
35define ptr @test_no_incompatible_attr(ptr %mem1, ptr %mem2, i32 %size) {
36; CHECK-LABEL: @test_no_incompatible_attr(
37  %ret = call dereferenceable(1) ptr @memmove(ptr %mem1, ptr %mem2, i32 %size)
38; CHECK: call void @llvm.memmove
39  ret ptr %ret
40; CHECK: ret ptr %mem1
41}
42