22 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -S -passes=newgvn < %s | FileCheck %s3 4; Don't use returned argument in memory defining intrinsics.5define void @wombat(ptr %arg) {6; CHECK-LABEL: define void @wombat(7; CHECK-SAME: ptr [[ARG:%.*]]) {8; CHECK-NEXT: [[LOAD:%.*]] = load ptr, ptr [[ARG]], align 89; CHECK-NEXT: [[CALL:%.*]] = call ptr @llvm.objc.retain(ptr [[LOAD]])10; CHECK-NEXT: store ptr [[CALL]], ptr [[ARG]], align 811; CHECK-NEXT: ret void12;13 %load = load ptr, ptr %arg, align 814 %call = call ptr @llvm.objc.retain(ptr %load)15 store ptr %call, ptr %arg, align 816 ret void17}18 19declare ptr @llvm.objc.retain(ptr returned) #020 21attributes #0 = { nounwind }22