12 Commits

Author	SHA1	Message	Date
Chris Lattner	b1c7502032	fix PR5016, a crash I introduced in GVN handing first class ... arrays and structs, which cannot be bitcast to integers. llvm-svn: 82460	2009-09-21 17:24:04 +00:00
Chris Lattner	45b58ae047	enable non-local analysis and PRE of large store -> little load. ... This doesn't kick in too much because of phi translation issues, but this can be resolved in the future. llvm-svn: 82447	2009-09-21 06:48:08 +00:00
Chris Lattner	7e21749266	add pr# ... llvm-svn: 82440	2009-09-21 05:57:47 +00:00
Chris Lattner	97e1feed14	Improve GVN to be able to forward substitute a small load ... from a piece of a large store when both are in the same block. This allows clang to compile the testcase in PR4216 to this code: _test_bitfield: movl 4(%esp), %eax movl %eax, %ecx andl $-65536, %ecx orl $32962, %eax andl $40186, %eax orl %ecx, %eax ret This is not ideal, but is a whole lot better than the code produced by llvm-gcc: _test_bitfield: movw $-32574, %ax orw 4(%esp), %ax andw $-25350, %ax movw %ax, 4(%esp) movw 7(%esp), %cx shlw $8, %cx movzbl 6(%esp), %edx orw %cx, %dx movzwl %dx, %ecx shll $16, %ecx movzwl %ax, %eax orl %ecx, %eax ret and dramatically better than that produced by gcc 4.2: _test_bitfield: pushl %ebx call L3 "L00000000001$pb": L3: popl %ebx movl 8(%esp), %eax leal 0(,%eax,4), %edx sarb $7, %dl movl %eax, %ecx andl $7168, %ecx andl $-7201, %ebx movzbl %dl, %edx andl $1, %edx sall $5, %edx orl %ecx, %ebx orl %edx, %ebx andl $24, %eax andl $-58336, %ebx orl %eax, %ebx orl $32962, %ebx movl %ebx, %eax popl %ebx ret llvm-svn: 82439	2009-09-21 05:57:11 +00:00
Chris Lattner	82a963788d	fix a FileCheck bug where: ... ; CHECK: foo ; CHECK-NOT: foo ; CHECK: bar would always fail. llvm-svn: 82424	2009-09-21 02:30:42 +00:00
Daniel Dunbar	e06837d0ee	Work around a FileCheck bug, for now. ... llvm-svn: 82416	2009-09-20 23:30:31 +00:00
Chris Lattner	de39a12610	Revert r82404, it is causing a bootstrap miscompile. This is very very ... scary, as it indicates a lurking bug. yay. llvm-svn: 82411	2009-09-20 22:44:26 +00:00
Chris Lattner	f427ad4f49	this was not supposed to be committed ... llvm-svn: 82409	2009-09-20 22:36:11 +00:00
Chris Lattner	63735b5e10	implement and document support for CHECK-NOT ... llvm-svn: 82408	2009-09-20 22:35:26 +00:00
Chris Lattner	a9a2b9a4cc	improve memdep to eliminate bitcasts (and aliases, and noop geps) ... early for the stated reasons: this allows it to find more equivalences and depend less on code layout. llvm-svn: 82404	2009-09-20 21:00:18 +00:00
Chris Lattner	b7d34131d1	Move CoerceAvailableValueToLoadType earlier in GVN.cpp. Hook it up ... so that nonlocal and partially redundant loads can use it as well. The testcase shows examples of craziness this can handle. This triggers *many* times in 176.gcc. llvm-svn: 82403	2009-09-20 20:09:34 +00:00
Chris Lattner	6bae20046f	enhance GVN to forward substitute a stored value to a load ... (and load -> load) when the base pointers must alias but when they are different types. This occurs very very frequently in 176.gcc and other code that uses bitfields a lot. llvm-svn: 82399	2009-09-20 19:03:47 +00:00