81 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; Test that the strcpy library call simplifier works correctly.3; rdar://68399354; RUN: opt < %s -passes=instcombine -S | FileCheck %s5;6; This transformation requires the pointer size, as it assumes that size_t is7; the size of a pointer.8target 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-n8:16:32"9 10@hello = constant [6 x i8] c"hello\00"11@a = common global [32 x i8] zeroinitializer, align 112@b = common global [32 x i8] zeroinitializer, align 113 14declare ptr @strcpy(ptr, ptr)15 16define void @test_simplify1() {17; CHECK-LABEL: @test_simplify1(18; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr noundef nonnull align 1 dereferenceable(6) @a, ptr noundef nonnull align 1 dereferenceable(6) @hello, i32 6, i1 false)19; CHECK-NEXT: ret void20;21 22 23 call ptr @strcpy(ptr @a, ptr @hello)24 ret void25}26 27define ptr @test_simplify2() {28; CHECK-LABEL: @test_simplify2(29; CHECK-NEXT: ret ptr @a30;31 32 33 %ret = call ptr @strcpy(ptr @a, ptr @a)34 ret ptr %ret35}36 37 38define void @test_simplify3(ptr %dst) {39; CHECK-LABEL: @test_simplify3(40; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr noundef nonnull align 1 dereferenceable(80) [[DST:%.*]], ptr noundef nonnull align 1 dereferenceable(6) @hello, i32 6, i1 false)41; CHECK-NEXT: ret void42;43 44 45 call ptr @strcpy(ptr dereferenceable(80) %dst, ptr @hello)46 ret void47}48 49define ptr @test_no_simplify1() {50; CHECK-LABEL: @test_no_simplify1(51; CHECK-NEXT: [[RET:%.*]] = call ptr @strcpy(ptr noundef nonnull dereferenceable(1) @a, ptr noundef nonnull dereferenceable(1) @b)52; CHECK-NEXT: ret ptr [[RET]]53;54 55 56 %ret = call ptr @strcpy(ptr @a, ptr @b)57 ret ptr %ret58}59 60define ptr @test_no_simplify2(ptr %dst, ptr %src) {61; CHECK-LABEL: @test_no_simplify2(62; CHECK-NEXT: [[RET:%.*]] = musttail call ptr @strcpy(ptr [[DST:%.*]], ptr [[SRC:%.*]])63; CHECK-NEXT: ret ptr [[RET]]64;65 66 %ret = musttail call ptr @strcpy(ptr %dst, ptr %src)67 ret ptr %ret68}69 70 71define void @test_no_incompatible_attr() {72; CHECK-LABEL: @test_no_incompatible_attr(73; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr noundef nonnull align 1 dereferenceable(6) @a, ptr noundef nonnull align 1 dereferenceable(6) @hello, i32 6, i1 false)74; CHECK-NEXT: ret void75;76 77 78 call dereferenceable(1) ptr @strcpy(ptr @a, ptr @hello)79 ret void80}81