This is an archive of the discontinued LLVM Phabricator instance.

Differential D153945

[ValueTracking] Guaranteed well-defined if parameter has a dereferecable_or_null attribute
ClosedPublic

Authored by StephenFan on Jun 28 2023, 12:51 AM.

Details

Reviewers
nikic
jdoerfert
sstefan1
Commits
rG621fafdaad06: [ValueTracking] Guaranteed well-defined if parameter has a…

Diff Detail

Event Timeline

StephenFan created this revision.Jun 28 2023, 12:51 AM
Herald added a project: Restricted Project. · View Herald TranscriptJun 28 2023, 12:51 AM
Herald added subscribers: okura, kuter, hiraditya. · View Herald Transcript
StephenFan requested review of this revision.Jun 28 2023, 12:51 AM
Herald added a reviewer: jdoerfert. · View Herald TranscriptJun 28 2023, 12:51 AM
Herald added a reviewer: sstefan1. · View Herald Transcript
Herald added a project: Restricted Project. · View Herald Transcript
Herald added a subscriber: llvm-commits. · View Herald Transcript
nikic accepted this revision.Jun 28 2023, 12:58 AM

LGTM

This revision is now accepted and ready to land.Jun 28 2023, 12:58 AM
Harbormaster completed remote builds in B241708: Diff 535267.Jun 28 2023, 1:47 AM
This revision was landed with ongoing or failed builds.Jun 28 2023, 8:46 PM
Closed by commit rG621fafdaad06: [ValueTracking] Guaranteed well-defined if parameter has a… (authored by StephenFan). · Explain Why
This revision was automatically updated to reflect the committed changes.
StephenFan added a commit: rG621fafdaad06: [ValueTracking] Guaranteed well-defined if parameter has a….

Revision Contents

PathSize
llvm/
lib/
Analysis/
3 lines
test/
Transforms/
Attributor/
20 lines

Diff 535267

llvm/lib/Analysis/ValueTracking.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 6,890 Lines • ▼ Show 20 Lines switch (I->getOpcode()) {
case Instruction::Call: case Instruction::Call:
case Instruction::Invoke: { case Instruction::Invoke: {
const CallBase *CB = cast<CallBase>(I); const CallBase *CB = cast<CallBase>(I);
if (CB->isIndirectCall()) if (CB->isIndirectCall())
Operands.push_back(CB->getCalledOperand()); Operands.push_back(CB->getCalledOperand());
for (unsigned i = 0; i < CB->arg_size(); ++i) { for (unsigned i = 0; i < CB->arg_size(); ++i) {
if (CB->paramHasAttr(i, Attribute::NoUndef) || if (CB->paramHasAttr(i, Attribute::NoUndef) ||
CB->paramHasAttr(i, Attribute::Dereferenceable)) CB->paramHasAttr(i, Attribute::Dereferenceable) ||
CB->paramHasAttr(i, Attribute::DereferenceableOrNull))
Operands.push_back(CB->getArgOperand(i)); Operands.push_back(CB->getArgOperand(i));
} }
break; break;
} }
case Instruction::Ret: case Instruction::Ret:
if (I->getFunction()->hasRetAttribute(Attribute::NoUndef)) if (I->getFunction()->hasRetAttribute(Attribute::NoUndef))
Operands.push_back(I->getOperand(0)); Operands.push_back(I->getOperand(0));
break; break;
▲ Show 20 Lines • Show All 1,745 Lines • Show Last 20 Lines

llvm/test/Transforms/Attributor/nocapture-2.ll

Show First 20 Lines • Show All 168 Lines • ▼ Show 20 Lines
; TUNIT-SAME: (i32* nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2:[0-9]+]] { ; TUNIT-SAME: (i32* nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2:[0-9]+]] {
; TUNIT-NEXT: entry: ; TUNIT-NEXT: entry:
; TUNIT-NEXT: [[TOBOOL:%.*]] = icmp ne i32* [[A]], null ; TUNIT-NEXT: [[TOBOOL:%.*]] = icmp ne i32* [[A]], null
; TUNIT-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] ; TUNIT-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
; TUNIT: cond.true: ; TUNIT: cond.true:
; TUNIT-NEXT: [[TMP0:%.*]] = bitcast i32* [[A]] to i16* ; TUNIT-NEXT: [[TMP0:%.*]] = bitcast i32* [[A]] to i16*
; TUNIT-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef nonnull readnone dereferenceable(4) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR9:[0-9]+]] ; TUNIT-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef nonnull readnone dereferenceable(4) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR9:[0-9]+]]
; TUNIT-NEXT: [[TMP1:%.*]] = bitcast i8* [[CALL]] to double* ; TUNIT-NEXT: [[TMP1:%.*]] = bitcast i8* [[CALL]] to double*
; TUNIT-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP1]]) #[[ATTR9]] ; TUNIT-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP1]]) #[[ATTR9]]
; TUNIT-NEXT: [[TMP2:%.*]] = bitcast i64* [[CALL1]] to i32* ; TUNIT-NEXT: [[TMP2:%.*]] = bitcast i64* [[CALL1]] to i32*
; TUNIT-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR9]] ; TUNIT-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR9]]
; TUNIT-NEXT: [[TMP3:%.*]] = bitcast float* [[CALL2]] to i32* ; TUNIT-NEXT: [[TMP3:%.*]] = bitcast float* [[CALL2]] to i32*
; TUNIT-NEXT: br label [[COND_END:%.*]] ; TUNIT-NEXT: br label [[COND_END:%.*]]
; TUNIT: cond.false: ; TUNIT: cond.false:
; TUNIT-NEXT: br label [[COND_END]] ; TUNIT-NEXT: br label [[COND_END]]
; TUNIT: cond.end: ; TUNIT: cond.end:
; TUNIT-NEXT: [[COND:%.*]] = phi i32* [ [[TMP3]], [[COND_TRUE]] ], [ [[A]], [[COND_FALSE]] ] ; TUNIT-NEXT: [[COND:%.*]] = phi i32* [ [[TMP3]], [[COND_TRUE]] ], [ [[A]], [[COND_FALSE]] ]
; TUNIT-NEXT: [[TMP4:%.*]] = bitcast i32* [[COND]] to float* ; TUNIT-NEXT: [[TMP4:%.*]] = bitcast i32* [[COND]] to float*
; TUNIT-NEXT: ret float* [[TMP4]] ; TUNIT-NEXT: ret float* [[TMP4]]
; ;
; CGSCC: Function Attrs: nofree nosync nounwind memory(none) ; CGSCC: Function Attrs: nofree nosync nounwind memory(none)
; CGSCC-LABEL: define {{[^@]+}}@scc_A ; CGSCC-LABEL: define {{[^@]+}}@scc_A
; CGSCC-SAME: (i32* nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2:[0-9]+]] { ; CGSCC-SAME: (i32* nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2:[0-9]+]] {
; CGSCC-NEXT: entry: ; CGSCC-NEXT: entry:
; CGSCC-NEXT: [[TOBOOL:%.*]] = icmp ne i32* [[A]], null ; CGSCC-NEXT: [[TOBOOL:%.*]] = icmp ne i32* [[A]], null
; CGSCC-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] ; CGSCC-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
; CGSCC: cond.true: ; CGSCC: cond.true:
; CGSCC-NEXT: [[TMP0:%.*]] = bitcast i32* [[A]] to i16* ; CGSCC-NEXT: [[TMP0:%.*]] = bitcast i32* [[A]] to i16*
; CGSCC-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef nonnull readnone dereferenceable(4) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR10:[0-9]+]] ; CGSCC-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef nonnull readnone dereferenceable(4) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR10:[0-9]+]]
; CGSCC-NEXT: [[TMP1:%.*]] = bitcast i8* [[CALL]] to double* ; CGSCC-NEXT: [[TMP1:%.*]] = bitcast i8* [[CALL]] to double*
; CGSCC-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP1]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP1]]) #[[ATTR10]]
; CGSCC-NEXT: [[TMP2:%.*]] = bitcast i64* [[CALL1]] to i32* ; CGSCC-NEXT: [[TMP2:%.*]] = bitcast i64* [[CALL1]] to i32*
; CGSCC-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR10]]
; CGSCC-NEXT: [[TMP3:%.*]] = bitcast float* [[CALL2]] to i32* ; CGSCC-NEXT: [[TMP3:%.*]] = bitcast float* [[CALL2]] to i32*
; CGSCC-NEXT: br label [[COND_END:%.*]] ; CGSCC-NEXT: br label [[COND_END:%.*]]
; CGSCC: cond.false: ; CGSCC: cond.false:
; CGSCC-NEXT: br label [[COND_END]] ; CGSCC-NEXT: br label [[COND_END]]
; CGSCC: cond.end: ; CGSCC: cond.end:
; CGSCC-NEXT: [[COND:%.*]] = phi i32* [ [[TMP3]], [[COND_TRUE]] ], [ [[A]], [[COND_FALSE]] ] ; CGSCC-NEXT: [[COND:%.*]] = phi i32* [ [[TMP3]], [[COND_TRUE]] ], [ [[A]], [[COND_FALSE]] ]
; CGSCC-NEXT: [[TMP4:%.*]] = bitcast i32* [[COND]] to float* ; CGSCC-NEXT: [[TMP4:%.*]] = bitcast i32* [[COND]] to float*
; CGSCC-NEXT: ret float* [[TMP4]] ; CGSCC-NEXT: ret float* [[TMP4]]
Show All 28 Lines
; TUNIT-SAME: (double* nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2]] { ; TUNIT-SAME: (double* nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2]] {
; TUNIT-NEXT: entry: ; TUNIT-NEXT: entry:
; TUNIT-NEXT: [[TOBOOL:%.*]] = icmp ne double* [[A]], null ; TUNIT-NEXT: [[TOBOOL:%.*]] = icmp ne double* [[A]], null
; TUNIT-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] ; TUNIT-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
; TUNIT: cond.true: ; TUNIT: cond.true:
; TUNIT-NEXT: [[TMP0:%.*]] = bitcast double* [[A]] to i32* ; TUNIT-NEXT: [[TMP0:%.*]] = bitcast double* [[A]] to i32*
; TUNIT-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef nonnull readnone dereferenceable(8) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR9]] ; TUNIT-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef nonnull readnone dereferenceable(8) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR9]]
; TUNIT-NEXT: [[TMP1:%.*]] = bitcast float* [[CALL]] to double* ; TUNIT-NEXT: [[TMP1:%.*]] = bitcast float* [[CALL]] to double*
; TUNIT-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP1]]) #[[ATTR9]] ; TUNIT-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP1]]) #[[ATTR9]]
; TUNIT-NEXT: [[TMP2:%.*]] = bitcast i64* [[CALL1]] to i16* ; TUNIT-NEXT: [[TMP2:%.*]] = bitcast i64* [[CALL1]] to i16*
; TUNIT-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR9]] ; TUNIT-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR9]]
; TUNIT-NEXT: br label [[COND_END:%.*]] ; TUNIT-NEXT: br label [[COND_END:%.*]]
; TUNIT: cond.false: ; TUNIT: cond.false:
; TUNIT-NEXT: [[TMP3:%.*]] = bitcast double* [[A]] to i8* ; TUNIT-NEXT: [[TMP3:%.*]] = bitcast double* [[A]] to i8*
; TUNIT-NEXT: br label [[COND_END]] ; TUNIT-NEXT: br label [[COND_END]]
; TUNIT: cond.end: ; TUNIT: cond.end:
; TUNIT-NEXT: [[COND:%.*]] = phi i8* [ [[CALL2]], [[COND_TRUE]] ], [ [[TMP3]], [[COND_FALSE]] ] ; TUNIT-NEXT: [[COND:%.*]] = phi i8* [ [[CALL2]], [[COND_TRUE]] ], [ [[TMP3]], [[COND_FALSE]] ]
; TUNIT-NEXT: [[TMP4:%.*]] = bitcast i8* [[COND]] to i64* ; TUNIT-NEXT: [[TMP4:%.*]] = bitcast i8* [[COND]] to i64*
; TUNIT-NEXT: ret i64* [[TMP4]] ; TUNIT-NEXT: ret i64* [[TMP4]]
; ;
; CGSCC: Function Attrs: nofree nosync nounwind memory(none) ; CGSCC: Function Attrs: nofree nosync nounwind memory(none)
; CGSCC-LABEL: define {{[^@]+}}@scc_B ; CGSCC-LABEL: define {{[^@]+}}@scc_B
; CGSCC-SAME: (double* nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2]] { ; CGSCC-SAME: (double* nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2]] {
; CGSCC-NEXT: entry: ; CGSCC-NEXT: entry:
; CGSCC-NEXT: [[TOBOOL:%.*]] = icmp ne double* [[A]], null ; CGSCC-NEXT: [[TOBOOL:%.*]] = icmp ne double* [[A]], null
; CGSCC-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] ; CGSCC-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
; CGSCC: cond.true: ; CGSCC: cond.true:
; CGSCC-NEXT: [[TMP0:%.*]] = bitcast double* [[A]] to i32* ; CGSCC-NEXT: [[TMP0:%.*]] = bitcast double* [[A]] to i32*
; CGSCC-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef nonnull readnone dereferenceable(8) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef nonnull readnone dereferenceable(8) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR10]]
; CGSCC-NEXT: [[TMP1:%.*]] = bitcast float* [[CALL]] to double* ; CGSCC-NEXT: [[TMP1:%.*]] = bitcast float* [[CALL]] to double*
; CGSCC-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP1]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP1]]) #[[ATTR10]]
; CGSCC-NEXT: [[TMP2:%.*]] = bitcast i64* [[CALL1]] to i16* ; CGSCC-NEXT: [[TMP2:%.*]] = bitcast i64* [[CALL1]] to i16*
; CGSCC-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR10]]
; CGSCC-NEXT: br label [[COND_END:%.*]] ; CGSCC-NEXT: br label [[COND_END:%.*]]
; CGSCC: cond.false: ; CGSCC: cond.false:
; CGSCC-NEXT: [[TMP3:%.*]] = bitcast double* [[A]] to i8* ; CGSCC-NEXT: [[TMP3:%.*]] = bitcast double* [[A]] to i8*
; CGSCC-NEXT: br label [[COND_END]] ; CGSCC-NEXT: br label [[COND_END]]
; CGSCC: cond.end: ; CGSCC: cond.end:
; CGSCC-NEXT: [[COND:%.*]] = phi i8* [ [[CALL2]], [[COND_TRUE]] ], [ [[TMP3]], [[COND_FALSE]] ] ; CGSCC-NEXT: [[COND:%.*]] = phi i8* [ [[CALL2]], [[COND_TRUE]] ], [ [[TMP3]], [[COND_FALSE]] ]
; CGSCC-NEXT: [[TMP4:%.*]] = bitcast i8* [[COND]] to i64* ; CGSCC-NEXT: [[TMP4:%.*]] = bitcast i8* [[COND]] to i64*
; CGSCC-NEXT: ret i64* [[TMP4]] ; CGSCC-NEXT: ret i64* [[TMP4]]
Show All 37 Lines
; TUNIT-NEXT: [[TMP1:%.*]] = bitcast i64* [[CALL1]] to i8* ; TUNIT-NEXT: [[TMP1:%.*]] = bitcast i64* [[CALL1]] to i8*
; TUNIT-NEXT: br label [[COND_END:%.*]] ; TUNIT-NEXT: br label [[COND_END:%.*]]
; TUNIT: cond.false: ; TUNIT: cond.false:
; TUNIT-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A]]) #[[ATTR9]] ; TUNIT-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A]]) #[[ATTR9]]
; TUNIT-NEXT: br label [[COND_END]] ; TUNIT-NEXT: br label [[COND_END]]
; TUNIT: cond.end: ; TUNIT: cond.end:
; TUNIT-NEXT: [[COND:%.*]] = phi i8* [ [[TMP1]], [[COND_TRUE]] ], [ [[CALL2]], [[COND_FALSE]] ] ; TUNIT-NEXT: [[COND:%.*]] = phi i8* [ [[TMP1]], [[COND_TRUE]] ], [ [[CALL2]], [[COND_FALSE]] ]
; TUNIT-NEXT: [[TMP2:%.*]] = bitcast i8* [[COND]] to i32* ; TUNIT-NEXT: [[TMP2:%.*]] = bitcast i8* [[COND]] to i32*
; TUNIT-NEXT: [[CALL3:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR9]] ; TUNIT-NEXT: [[CALL3:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR9]]
; TUNIT-NEXT: [[TMP3:%.*]] = bitcast float* [[CALL3]] to i8* ; TUNIT-NEXT: [[TMP3:%.*]] = bitcast float* [[CALL3]] to i8*
; TUNIT-NEXT: ret i8* [[TMP3]] ; TUNIT-NEXT: ret i8* [[TMP3]]
; ;
; CGSCC: Function Attrs: nofree nosync nounwind memory(none) ; CGSCC: Function Attrs: nofree nosync nounwind memory(none)
; CGSCC-LABEL: define {{[^@]+}}@scc_C ; CGSCC-LABEL: define {{[^@]+}}@scc_C
; CGSCC-SAME: (i16* nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2]] { ; CGSCC-SAME: (i16* nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A:%.*]]) #[[ATTR2]] {
; CGSCC-NEXT: entry: ; CGSCC-NEXT: entry:
; CGSCC-NEXT: [[BC:%.*]] = bitcast i16* [[A]] to i32* ; CGSCC-NEXT: [[BC:%.*]] = bitcast i16* [[A]] to i32*
; CGSCC-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[BC]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[BC]]) #[[ATTR10]]
; CGSCC-NEXT: [[BC2:%.*]] = bitcast float* [[CALL]] to i8* ; CGSCC-NEXT: [[BC2:%.*]] = bitcast float* [[CALL]] to i8*
; CGSCC-NEXT: [[TOBOOL:%.*]] = icmp ne i8* [[BC2]], null ; CGSCC-NEXT: [[TOBOOL:%.*]] = icmp ne i8* [[BC2]], null
; CGSCC-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] ; CGSCC-NEXT: br i1 [[TOBOOL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
; CGSCC: cond.true: ; CGSCC: cond.true:
; CGSCC-NEXT: [[TMP0:%.*]] = bitcast i16* [[A]] to double* ; CGSCC-NEXT: [[TMP0:%.*]] = bitcast i16* [[A]] to double*
; CGSCC-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL1:%.*]] = call dereferenceable_or_null(4) i64* @scc_B(double* noalias nofree noundef readnone dereferenceable_or_null(8) "no-capture-maybe-returned" [[TMP0]]) #[[ATTR10]]
; CGSCC-NEXT: [[TMP1:%.*]] = bitcast i64* [[CALL1]] to i8* ; CGSCC-NEXT: [[TMP1:%.*]] = bitcast i64* [[CALL1]] to i8*
; CGSCC-NEXT: br label [[COND_END:%.*]] ; CGSCC-NEXT: br label [[COND_END:%.*]]
; CGSCC: cond.false: ; CGSCC: cond.false:
; CGSCC-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL2:%.*]] = call dereferenceable_or_null(4) i8* @scc_C(i16* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[A]]) #[[ATTR10]]
; CGSCC-NEXT: br label [[COND_END]] ; CGSCC-NEXT: br label [[COND_END]]
; CGSCC: cond.end: ; CGSCC: cond.end:
; CGSCC-NEXT: [[COND:%.*]] = phi i8* [ [[TMP1]], [[COND_TRUE]] ], [ [[CALL2]], [[COND_FALSE]] ] ; CGSCC-NEXT: [[COND:%.*]] = phi i8* [ [[TMP1]], [[COND_TRUE]] ], [ [[CALL2]], [[COND_FALSE]] ]
; CGSCC-NEXT: [[TMP2:%.*]] = bitcast i8* [[COND]] to i32* ; CGSCC-NEXT: [[TMP2:%.*]] = bitcast i8* [[COND]] to i32*
; CGSCC-NEXT: [[CALL3:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR10]] ; CGSCC-NEXT: [[CALL3:%.*]] = call dereferenceable_or_null(4) float* @scc_A(i32* noalias nofree noundef readnone dereferenceable_or_null(4) "no-capture-maybe-returned" [[TMP2]]) #[[ATTR10]]
; CGSCC-NEXT: [[TMP3:%.*]] = bitcast float* [[CALL3]] to i8* ; CGSCC-NEXT: [[TMP3:%.*]] = bitcast float* [[CALL3]] to i8*
; CGSCC-NEXT: ret i8* [[TMP3]] ; CGSCC-NEXT: ret i8* [[TMP3]]
; ;
entry: entry:
%bc = bitcast i16* %a to i32* %bc = bitcast i16* %a to i32*
%call = call float* @scc_A(i32* %bc) %call = call float* @scc_A(i32* %bc)
%bc2 = bitcast float* %call to i8* %bc2 = bitcast float* %call to i8*
%tobool = icmp ne i8* %bc2, null %tobool = icmp ne i8* %bc2, null
▲ Show 20 Lines • Show All 499 Lines • Show Last 20 Lines