1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -passes=instcombine -S | FileCheck %s
3
4declare void @bcopy(i8* nocapture readonly, i8* nocapture, i32)
5
6define void @bcopy_memmove(i8* nocapture readonly %a, i8* nocapture %b) {
7; CHECK-LABEL: @bcopy_memmove(
8; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i8* [[A:%.*]] to i64*
9; CHECK-NEXT:    [[TMP2:%.*]] = bitcast i8* [[B:%.*]] to i64*
10; CHECK-NEXT:    [[TMP3:%.*]] = load i64, i64* [[TMP1]], align 1
11; CHECK-NEXT:    store i64 [[TMP3]], i64* [[TMP2]], align 1
12; CHECK-NEXT:    ret void
13;
14  tail call void @bcopy(i8* %a, i8* %b, i32 8)
15  ret void
16}
17
18define void @bcopy_memmove2(i8* nocapture readonly %a, i8* nocapture %b, i32 %len) {
19; CHECK-LABEL: @bcopy_memmove2(
20; CHECK-NEXT:    call void @llvm.memmove.p0i8.p0i8.i32(i8* align 1 [[B:%.*]], i8* align 1 [[A:%.*]], i32 [[LEN:%.*]], i1 false)
21; CHECK-NEXT:    ret void
22;
23  tail call void @bcopy(i8* %a, i8* %b, i32 %len)
24  ret void
25}
26