65 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -S -passes=memcpyopt -verify-memoryssa | FileCheck %s3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7@b = common dso_local local_unnamed_addr global i32 0, align 48@a = common dso_local local_unnamed_addr global i32 0, align 49 10declare dso_local i32 @f1()11 12; Do not crash due to store first in BB.13define dso_local void @f2() {14; CHECK-LABEL: @f2(15; CHECK-NEXT: for.end:16; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @b, align 417; CHECK-NEXT: ret void18; CHECK: for.body:19; CHECK-NEXT: store i32 [[TMP1:%.*]], ptr @a, align 420; CHECK-NEXT: [[CALL:%.*]] = call i32 @f1()21; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[CALL]], 022; CHECK-NEXT: [[TMP1]] = load i32, ptr @b, align 423; CHECK-NEXT: br label [[FOR_BODY:%.*]]24;25for.end:26 %0 = load i32, ptr @b, align 427 ret void28 29for.body:30 store i32 %1, ptr @a, align 431 %call = call i32 @f1()32 %cmp = icmp sge i32 %call, 033 %1 = load i32, ptr @b, align 434 br label %for.body35}36 37; Do not crash due to call not before store in BB.38define dso_local void @f3() {39; CHECK-LABEL: @f3(40; CHECK-NEXT: for.end:41; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @b, align 442; CHECK-NEXT: ret void43; CHECK: for.body:44; CHECK-NEXT: [[T:%.*]] = add i32 [[T2:%.*]], 145; CHECK-NEXT: store i32 [[TMP1:%.*]], ptr @a, align 446; CHECK-NEXT: [[CALL:%.*]] = call i32 @f1()47; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[CALL]], 048; CHECK-NEXT: [[TMP1]] = load i32, ptr @b, align 449; CHECK-NEXT: [[T2]] = xor i32 [[T]], 550; CHECK-NEXT: br label [[FOR_BODY:%.*]]51;52for.end:53 %0 = load i32, ptr @b, align 454 ret void55 56for.body:57 %t = add i32 %t2, 158 store i32 %1, ptr @a, align 459 %call = call i32 @f1()60 %cmp = icmp sge i32 %call, 061 %1 = load i32, ptr @b, align 462 %t2 = xor i32 %t, 563 br label %for.body64}65