This is an archive of the discontinued LLVM Phabricator instance.

Differential D68496

[PATCH 13/38] [noalias] D9380: llvm.noalias - CodeGen support
AbandonedPublic

Authored by jeroen.dobbelaere on Oct 4 2019, 2:40 PM.

Details

Reviewers
hfinkel
jdoerfert
Summary

This is part of the series started by D68484.

Rebase of D9380

Diff Detail

Revision Contents

PathSize
llvm/
lib/
CodeGen/
5 lines
SelectionDAG/
1 line
test/
CodeGen/
Generic/
12 lines

Diff 226796

llvm/lib/CodeGen/IntrinsicLowering.cpp

Show First 20 Lines • Show All 365 Lines • ▼ Show 20 Lines case Intrinsic::ptr_annotation:
// Just drop the annotation, but forward the value // Just drop the annotation, but forward the value
CI->replaceAllUsesWith(CI->getOperand(0)); CI->replaceAllUsesWith(CI->getOperand(0));
break; break;
case Intrinsic::assume: case Intrinsic::assume:
case Intrinsic::var_annotation: case Intrinsic::var_annotation:
break; // Strip out these intrinsics break; // Strip out these intrinsics
case Intrinsic::noalias:
// Just forward the value
CI->replaceAllUsesWith(CI->getOperand(0));
break;
case Intrinsic::memcpy: { case Intrinsic::memcpy: {
Type *IntPtr = DL.getIntPtrType(Context); Type *IntPtr = DL.getIntPtrType(Context);
Value *Size = Builder.CreateIntCast(CI->getArgOperand(2), IntPtr, Value *Size = Builder.CreateIntCast(CI->getArgOperand(2), IntPtr,
/* isSigned */ false); /* isSigned */ false);
Value *Ops[3]; Value *Ops[3];
Ops[0] = CI->getArgOperand(0); Ops[0] = CI->getArgOperand(0);
Ops[1] = CI->getArgOperand(1); Ops[1] = CI->getArgOperand(1);
Ops[2] = Size; Ops[2] = Size;
▲ Show 20 Lines • Show All 128 Lines • Show Last 20 Lines

llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 6,412 Lines • ▼ Show 20 Linesvoid SelectionDAGBuilder::visitIntrinsicCall(const CallInst &I,
case Intrinsic::objectsize: case Intrinsic::objectsize:
llvm_unreachable("llvm.objectsize.* should have been lowered already"); llvm_unreachable("llvm.objectsize.* should have been lowered already");
case Intrinsic::is_constant: case Intrinsic::is_constant:
llvm_unreachable("llvm.is.constant.* should have been lowered already"); llvm_unreachable("llvm.is.constant.* should have been lowered already");
case Intrinsic::annotation: case Intrinsic::annotation:
case Intrinsic::ptr_annotation: case Intrinsic::ptr_annotation:
case Intrinsic::noalias:
case Intrinsic::launder_invariant_group: case Intrinsic::launder_invariant_group:
case Intrinsic::strip_invariant_group: case Intrinsic::strip_invariant_group:
// Drop the intrinsic, but forward the value // Drop the intrinsic, but forward the value
setValue(&I, getValue(I.getOperand(0))); setValue(&I, getValue(I.getOperand(0)));
return; return;
case Intrinsic::assume: case Intrinsic::assume:
case Intrinsic::var_annotation: case Intrinsic::var_annotation:
case Intrinsic::sideeffect: case Intrinsic::sideeffect:
▲ Show 20 Lines • Show All 4,152 Lines • Show Last 20 Lines

llvm/test/CodeGen/Generic/noalias.ll

  • This file was added.
; RUN: llc < %s
define i8* @main(i8* %p) {
%v = call i8* @llvm.noalias.p0i8(i8* %p, metadata !1)
ret i8* %v
}
declare i8* @llvm.noalias.p0i8(i8*, metadata) nounwind
!0 = !{!0, !"some domain"}
!1 = !{!1, !0, !"some scope"}