This is an archive of the discontinued LLVM Phabricator instance.

[GVNSink] Add unary FNeg support to GVNSink pass
ClosedPublic

Authored by cameron.mcinally on Jun 27 2019, 2:47 PM.

Reviewers

Commits

Looks good to me.

This revision is now accepted and ready to land.Jun 28 2019, 9:06 AM

This revision was automatically updated to reflect the committed changes.

Path

Size

llvm/

lib/

Transforms/

Scalar/

1 line

test/

Transforms/

GVNSink/

3 lines

Show First 20 Lines • Show All 435 Lines • ▼ Show 20 Lines	uint32_t lookupOrAdd(Value *V) {
case Instruction::Load:		case Instruction::Load:
exp = createMemoryExpr(cast<LoadInst>(I));		exp = createMemoryExpr(cast<LoadInst>(I));
break;		break;
case Instruction::Store:		case Instruction::Store:
exp = createMemoryExpr(cast<StoreInst>(I));		exp = createMemoryExpr(cast<StoreInst>(I));
break;		break;
case Instruction::Call:		case Instruction::Call:
case Instruction::Invoke:		case Instruction::Invoke:
		case Instruction::FNeg:
case Instruction::Add:		case Instruction::Add:
case Instruction::FAdd:		case Instruction::FAdd:
case Instruction::Sub:		case Instruction::Sub:
case Instruction::FSub:		case Instruction::FSub:
case Instruction::Mul:		case Instruction::Mul:
case Instruction::FMul:		case Instruction::FMul:
case Instruction::UDiv:		case Instruction::UDiv:
case Instruction::SDiv:		case Instruction::SDiv:
▲ Show 20 Lines • Show All 477 Lines • Show Last 20 Lines

	; RUN: opt -S < %s -gvn-sink \| FileCheck %s			; RUN: opt -S < %s -gvn-sink \| FileCheck %s

	; CHECK-LABEL: sink			; CHECK-LABEL: sink
	; CHECK: fneg			; CHECK-NOT: fneg
	; CHECK: = phi			; CHECK: = phi
				; CHECK: fneg
	define float @sink(float %a, float %b, i1 %cmp) {			define float @sink(float %a, float %b, i1 %cmp) {
	entry:			entry:
	br i1 %cmp, label %if.then, label %if.else			br i1 %cmp, label %if.then, label %if.else

	if.then:			if.then:
	%sub = fsub float %a, %b			%sub = fsub float %a, %b
	%neg0 = fneg float %sub			%neg0 = fneg float %sub
	br label %if.end			br label %if.end
	Show All 10 Lines