58 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes="default<O3>" < %s | FileCheck %s3 4; Make sure that interaction of "writable" with various passes does not5; result in the elimination of the store prior to @j().6; FIXME: This is a miscompile.7 8declare void @use(i64)9 10define void @j(ptr %p) optnone noinline {11; CHECK-LABEL: define void @j(12; CHECK-SAME: ptr [[P:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {13; CHECK-NEXT: [[I:%.*]] = load i64, ptr [[P]], align 414; CHECK-NEXT: call void @use(i64 [[I]])15; CHECK-NEXT: ret void16;17 %i = load i64, ptr %p18 call void @use(i64 %i)19 ret void20}21 22define void @h(ptr %p) {23; CHECK-LABEL: define void @h(24; CHECK-SAME: ptr initializes((0, 8)) [[P:%.*]]) local_unnamed_addr {25; CHECK-NEXT: store i64 3, ptr [[P]], align 426; CHECK-NEXT: tail call void @j(ptr nonnull [[P]])27; CHECK-NEXT: ret void28;29 store i64 3, ptr %p30 call void @j(ptr %p)31 ret void32}33 34define void @g(ptr dead_on_unwind noalias writable dereferenceable(8) align 8 %p) minsize {35; CHECK-LABEL: define void @g(36; CHECK-SAME: ptr dead_on_unwind noalias writable writeonly align 8 captures(none) dereferenceable(8) initializes((0, 8)) [[P:%.*]]) local_unnamed_addr #[[ATTR1:[0-9]+]] {37; CHECK-NEXT: tail call void @h(ptr nonnull [[P]])38; CHECK-NEXT: ret void39;40 %a = alloca i6441 call void @h(ptr %a)42 call void @llvm.memcpy(ptr align 8 %p, ptr align 8 %a, i64 8, i1 false)43 ret void44}45 46define void @f(ptr dead_on_unwind noalias %p) {47; CHECK-LABEL: define void @f(48; CHECK-SAME: ptr dead_on_unwind noalias initializes((0, 8)) [[P:%.*]]) local_unnamed_addr {49; CHECK-NEXT: store i64 3, ptr [[P]], align 450; CHECK-NEXT: tail call void @j(ptr nonnull align 8 dereferenceable(8) [[P]])51; CHECK-NEXT: store i64 43, ptr [[P]], align 452; CHECK-NEXT: ret void53;54 call void @g(ptr %p)55 store i64 43, ptr %p56 ret void57}58