| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -instcombine -S | FileCheck %s |
| |
| declare void @bcopy(i8* nocapture readonly, i8* nocapture, i32) |
| |
| define void @bcopy_memmove(i8* nocapture readonly %a, i8* nocapture %b) { |
| ; CHECK-LABEL: @bcopy_memmove( |
| ; CHECK-NEXT: [[TMP1:%.*]] = bitcast i8* [[A:%.*]] to i64* |
| ; CHECK-NEXT: [[TMP2:%.*]] = bitcast i8* [[B:%.*]] to i64* |
| ; CHECK-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]], align 1 |
| ; CHECK-NEXT: store i64 [[TMP3]], i64* [[TMP2]], align 1 |
| ; CHECK-NEXT: ret void |
| ; |
| tail call void @bcopy(i8* %a, i8* %b, i32 8) |
| ret void |
| } |
| |
| define void @bcopy_memmove2(i8* nocapture readonly %a, i8* nocapture %b, i32 %len) { |
| ; CHECK-LABEL: @bcopy_memmove2( |
| ; CHECK-NEXT: call void @llvm.memmove.p0i8.p0i8.i32(i8* align 1 [[B:%.*]], i8* align 1 [[A:%.*]], i32 [[LEN:%.*]], i1 false) |
| ; CHECK-NEXT: ret void |
| ; |
| tail call void @bcopy(i8* %a, i8* %b, i32 %len) |
| ret void |
| } |