preserved.

llvm-svn: 45596

llvm-svn: 45595

llvm-svn: 45594

llvm-svn: 45593

llvm-svn: 45591

it from several places.  This merges the diagnostics, making them more
uniform and fewer in number. This also simplifies and cleans up the code.

Some highlights:
1. This removes a bunch of very-similar diagnostics.
2. This renames AssignmentCheckResult -> AssignConvertType
3. This merges PointerFromInt + IntFromPointer which were always treated the same.
4. This updates a bunch of test cases that have minor changes to the produced diagnostics.

llvm-svn: 45589

since they didn't actually need to be bitfields,
though they are marked as such).

llvm-svn: 45588

llvm-svn: 45587

llvm-svn: 45585

llvm-svn: 45583

llvm-svn: 45581

llvm-svn: 45580

llvm-svn: 45576

llvm-svn: 45575

llvm-svn: 45574

llvm-svn: 45573

llvm-svn: 45572

llvm-svn: 45571

It is missing validity checks, so it is known broken.  However, it is powerful enough
to compile this contrived code:

void test1(int C, double A, double B, double *P) {
  double Tmp = A*A+B*B;
  *P = C ? Tmp : A;
}

into:

_test1:
	movsd	8(%esp), %xmm0
	cmpl	$0, 4(%esp)
	je	LBB1_2	# entry
LBB1_1:	# entry
	movsd	16(%esp), %xmm1
	mulsd	%xmm1, %xmm1
	mulsd	%xmm0, %xmm0
	addsd	%xmm1, %xmm0
LBB1_2:	# entry
	movl	24(%esp), %eax
	movsd	%xmm0, (%eax)
	ret

instead of:

_test1:
	movsd	16(%esp), %xmm0
	mulsd	%xmm0, %xmm0
	movsd	8(%esp), %xmm1
	movapd	%xmm1, %xmm2
	mulsd	%xmm2, %xmm2
	addsd	%xmm0, %xmm2
	cmpl	$0, 4(%esp)
	je	LBB1_2	# entry
LBB1_1:	# entry
	movapd	%xmm2, %xmm1
LBB1_2:	# entry
	movl	24(%esp), %eax
	movsd	%xmm1, (%eax)
	ret

woo.

llvm-svn: 45570

llvm-svn: 45569

llvm-svn: 45568

the VC++ 'nesting depth' issue.

llvm-svn: 45567

llvm-svn: 45566

llvm-svn: 45565

llvm-svn: 45564

llvm-svn: 45563

llvm-svn: 45562

llvm-svn: 45561

llvm-svn: 45560

llvm-svn: 45559

llvm-svn: 45558

if (!strcmp(Target, "x86")) {
  // ...
}
else
  IntrinsicID = Intrinsic::not_intrinsic;

llvm-svn: 45557

llvm-svn: 45556

"GREngine" (Graph Reachability Engine).  The idea is to provide a separation
of concerns between the constant prop. details and the core analysis engine.

llvm-svn: 45555

llvm-svn: 45554

llvm-svn: 45553

propagation analysis via graph reachability. This analysis (which is incomplete)
will be the basis for later developments on the core engine for path-sensitive
analysis analysis.

llvm-svn: 45552

llvm-svn: 45551

vertex was freshly created.

llvm-svn: 45550

llvm-svn: 45549