73 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt < %s -passes=gvn -S | FileCheck %s3 4; Test to make sure llvm.invariant.start calls are not treated as clobbers.5 6declare ptr @llvm.invariant.start.p0(i64, ptr nocapture) nounwind readonly7declare void @llvm.invariant.end.p0(ptr, i64, ptr nocapture) nounwind8 9; We forward store to the load across the invariant.start intrinsic10define i8 @forward_store() {11; CHECK-LABEL: define i8 @forward_store() {12; CHECK-NEXT: [[A:%.*]] = alloca i8, align 113; CHECK-NEXT: store i8 0, ptr [[A]], align 114; CHECK-NEXT: [[I:%.*]] = call ptr @llvm.invariant.start.p0(i64 1, ptr [[A]])15; CHECK-NEXT: ret i8 016;17 %a = alloca i818 store i8 0, ptr %a19 %i = call ptr @llvm.invariant.start.p0(i64 1, ptr %a)20 %r = load i8, ptr %a21 ret i8 %r22}23 24declare i8 @dummy(ptr nocapture) nounwind readonly25 26; We forward store to the load in the non-local analysis case,27; i.e. invariant.start is in another basic block.28define i8 @forward_store_nonlocal(i1 %cond) {29; CHECK-LABEL: define i8 @forward_store_nonlocal(30; CHECK-SAME: i1 [[COND:%.*]]) {31; CHECK-NEXT: [[A:%.*]] = alloca i8, align 132; CHECK-NEXT: store i8 0, ptr [[A]], align 133; CHECK-NEXT: [[I:%.*]] = call ptr @llvm.invariant.start.p0(i64 1, ptr [[A]])34; CHECK-NEXT: br i1 [[COND]], label %[[LOADBLOCK:.*]], label %[[EXIT:.*]]35; CHECK: [[LOADBLOCK]]:36; CHECK-NEXT: ret i8 037; CHECK: [[EXIT]]:38; CHECK-NEXT: [[VAL:%.*]] = call i8 @dummy(ptr [[A]])39; CHECK-NEXT: ret i8 [[VAL]]40;41 %a = alloca i842 store i8 0, ptr %a43 %i = call ptr @llvm.invariant.start.p0(i64 1, ptr %a)44 br i1 %cond, label %loadblock, label %exit45 46loadblock:47 %r = load i8, ptr %a48 ret i8 %r49 50exit:51 %val = call i8 @dummy(ptr %a)52 ret i8 %val53}54 55; We should not value forward %foo to the invariant.end corresponding to %bar.56define i8 @forward_store1() {57; CHECK-LABEL: define i8 @forward_store1() {58; CHECK-NEXT: [[A:%.*]] = alloca i8, align 159; CHECK-NEXT: store i8 0, ptr [[A]], align 160; CHECK-NEXT: [[FOO:%.*]] = call ptr @llvm.invariant.start.p0(i64 1, ptr [[A]])61; CHECK-NEXT: [[BAR:%.*]] = call ptr @llvm.invariant.start.p0(i64 1, ptr [[A]])62; CHECK-NEXT: call void @llvm.invariant.end.p0(ptr [[BAR]], i64 1, ptr [[A]])63; CHECK-NEXT: ret i8 064;65 %a = alloca i866 store i8 0, ptr %a67 %foo = call ptr @llvm.invariant.start.p0(i64 1, ptr %a)68 %r = load i8, ptr %a69 %bar = call ptr @llvm.invariant.start.p0(i64 1, ptr %a)70 call void @llvm.invariant.end.p0(ptr %bar, i64 1, ptr %a)71 ret i8 %r72}73