maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
43,027 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

43027 Commits

Author SHA1 Message Date
Chris Lattner 5f1802cfdf Fix a number of bugs in ipconstantprop, simplify the code, fit in 80 cols, 
fix read after free bug (PR2238).

llvm-svn: 50141
 2008-04-23 05:59:23 +00:00
Chris Lattner 5a58a4dc6d Rewrite multiple return value handling in SCCP. Before, the -sccp pass 
would turn every getresult instruction into undef.  This helps with
rdar://5778210

llvm-svn: 50140
 2008-04-23 05:38:20 +00:00
Chris Lattner 6e0284bba7 regenerate 
llvm-svn: 50139
 2008-04-23 05:37:08 +00:00
Chris Lattner ff9089eb90 Validate that the result of a function type is valid using shared 
logic with vmcore.

llvm-svn: 50138
 2008-04-23 05:36:58 +00:00
Chris Lattner b6917d2acc Enforce that multiple return values have to have at least one result. 
llvm-svn: 50137
 2008-04-23 05:36:34 +00:00
Chris Lattner 14f41bfc49 remove this testcase. It isn't testing loop rotate, it is testing all 
of -std-compile-opts and is now failing because other passes are generating
IR that looks different to input of loop rotate.  Devang, please 
introduce a testcase that only runs loop rotate.

llvm-svn: 50136
 2008-04-23 05:36:04 +00:00
Chris Lattner f9a4e4d723 returning an empty multiple return list is not valid. 
llvm-svn: 50135
 2008-04-23 05:29:14 +00:00
Ted Kremenek d2419a0730 Remove false path where the default branch in a switch statement would 
always be taken even if it was not feasible.

llvm-svn: 50132
 2008-04-23 05:03:18 +00:00
Chris Lattner da508ac5d8 fix description of 'ret' to be more correct with multiple return 
values.  Clarify that it is impossible to 'multiply return' a 
struct with zero elements.

llvm-svn: 50131
 2008-04-23 04:59:35 +00:00
Chris Lattner 1a640a6491 Allow undef as an operand to getresult. 
llvm-svn: 50130
 2008-04-23 04:06:52 +00:00
Chris Lattner 31abd54e33 Verify that the operand of a getresult instruction is a 
call/invoke or undef.

llvm-svn: 50129
 2008-04-23 04:06:15 +00:00
Chris Lattner 3376d6d824 make this test more interesting. 
llvm-svn: 50128
 2008-04-23 03:49:32 +00:00
Chris Lattner 68a27fac9d fix a rewriter crash on zero length files. 
llvm-svn: 50126
 2008-04-23 03:21:50 +00:00
Chris Lattner 2161d6c075 distill down the essense of this test. 
llvm-svn: 50125
 2008-04-23 03:03:42 +00:00
Dale Johannesen c4d3c1cbe0 new test 
llvm-svn: 50123
 2008-04-23 01:22:22 +00:00
Dale Johannesen 493527d8c9 Do not change the type of a ByVal argument to a 
type of a different size.

llvm-svn: 50121
 2008-04-23 01:03:05 +00:00
Ted Kremenek ef9af73887 Added panic function "assfail". 
llvm-svn: 50119
 2008-04-23 00:41:25 +00:00
Evan Cheng 1c89ca7295 Don't do: "(X & 4) >> 1 == 2 --> (X & 4) == 4" if there are more than one uses of the shift result. 
llvm-svn: 50118
 2008-04-23 00:38:06 +00:00
Fariborz Jahanian 6efdf1ddab Patch to build AST for property implementation declarations and 
to print declaration from its AST.

llvm-svn: 50117
 2008-04-23 00:06:01 +00:00
Ted Kremenek 0224ac57e0 For default branches in switch statements with no default label, print out 
the line we are going to.

llvm-svn: 50113
 2008-04-22 22:29:46 +00:00
Ted Kremenek 3b42715930 Rewrote VisitDeclStmt to properly handle initializers that can do anything. 
llvm-svn: 50112
 2008-04-22 22:25:27 +00:00
Chris Lattner 37e9c187b0 Start doing the significantly useful part of jump threading: handle cases 
where a comparison has a phi input and that phi is a constant.  For example,
stuff like:

  Threading edge through bool from 'bb2149' to 'bb2231' with cost: 1, across block:
bb2237:		; preds = %bb2231, %bb2149
	%tmp2328.rle = phi i32 [ %tmp2232, %bb2231 ], [ %tmp2232439, %bb2149 ]		; <i32> [#uses=2]
	%done.0 = phi i32 [ %done.2, %bb2231 ], [ 0, %bb2149 ]		; <i32> [#uses=1]
	%tmp2239 = icmp eq i32 %done.0, 0		; <i1> [#uses=1]
	br i1 %tmp2239, label %bb2231, label %bb2327

or

bb38.i298:		; preds = %bb33.i295, %bb1693
	%tmp39.i296.rle = phi %struct.ibox* [ null, %bb1693 ], [ %tmp39.i296.rle1109, %bb33.i295 ]		; <%struct.ibox*> [#uses=2]
	%minspan.1.i291.reg2mem.1 = phi i32 [ 32000, %bb1693 ], [ %minspan.0.i288, %bb33.i295 ]		; <i32> [#uses=1]
	%tmp40.i297 = icmp eq %struct.ibox* %tmp39.i296.rle, null		; <i1> [#uses=1]
	br i1 %tmp40.i297, label %implfeeds.exit311, label %bb43.i301

This triggers thousands of times in spec.

llvm-svn: 50110
 2008-04-22 21:40:39 +00:00
Ted Kremenek c79c0591d6 Added lval type (and tracking) for StringLiterals. 
llvm-svn: 50109
 2008-04-22 21:39:21 +00:00
Ted Kremenek eccf3e5821 Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. 
llvm-svn: 50108
 2008-04-22 21:10:18 +00:00
Chris Lattner d5425e8f8d Dig through multiple levels of AND to thread jumps if needed. 
llvm-svn: 50106
 2008-04-22 20:46:09 +00:00
Chris Lattner bec41348e2 "This patch renames 
DeclContext *CtxDecl -> DeclContext *DeclCtx
DeclContext *CD -> DeclContext *DC

It makes the code more consistent."

Patch by Zhongxing Xu!

llvm-svn: 50105
 2008-04-22 18:39:57 +00:00
Ted Kremenek 9718c9e8ee PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring 
them to not be stack-allocated.

HTMLDiagnostics now batches PathDiagnostics before emitting HTML in its dtor.
This is a workaround for a problem when we trampled the Preprocessor state
when highlighting macros (sometimes resulting in an assertion failure).

llvm-svn: 50102
 2008-04-22 16:15:03 +00:00
Argyrios Kyrtzidis 901a4e406b Use back() instead of end()-1 
llvm-svn: 50098
 2008-04-22 07:37:18 +00:00
Owen Anderson 7432cbd048 Move MemCpyOpt after GVN. 
llvm-svn: 50097
 2008-04-22 07:12:26 +00:00
Chris Lattner 3df4c15dc7 Teach jump threading to thread through blocks like: 
br (and X, phi(Y, Z, false)), label L1, label L2

This triggers once on 252.eon and 6 times on 176.gcc.  Blocks 
in question often look like this:

bb262:		; preds = %bb261, %bb248
	%iftmp.251.0 = phi i1 [ true, %bb261 ], [ false, %bb248 ]		; <i1> [#uses=4]
	%tmp270 = icmp eq %struct.rtx_def* %tmp.0.i, null		; <i1> [#uses=1]
	%bothcond = or i1 %iftmp.251.0, %tmp270		; <i1> [#uses=1]
	br i1 %bothcond, label %bb288, label %bb273

In this case, it is clear that it doesn't matter if tmp.0.i is null when coming from bb261.  When coming from bb248, it is all that matters.


Another random example:

check_asm_operands.exit:		; preds = %check_asm_operands.exit.thr_comm, %bb30.i, %bb12.i, %bb6.i413
	%tmp.0.i420 = phi i1 [ true, %bb6.i413 ], [ true, %bb12.i ], [ true, %bb30.i ], [ false, %check_asm_operands.exit.thr_comm ; <i1> [#uses=1]
	call void @llvm.stackrestore( i8* %savedstack ) nounwind 
	%tmp4389 = icmp eq i32 %added_sets_1.0, 0		; <i1> [#uses=1]
	%tmp4394 = icmp eq i32 %added_sets_2.0, 0		; <i1> [#uses=1]
	%bothcond80 = and i1 %tmp4389, %tmp4394		; <i1> [#uses=1]
	%bothcond81 = and i1 %bothcond80, %tmp.0.i420		; <i1> [#uses=1]
	br i1 %bothcond81, label %bb4398, label %bb4397

Here is the case from 252.eon:

bb290.i.i:		; preds = %bb23.i57.i.i, %bb8.i39.i.i, %bb100.i.i, %bb100.i.i, %bb85.i.i110
	%myEOF.1.i.i = phi i1 [ true, %bb100.i.i ], [ true, %bb100.i.i ], [ true, %bb85.i.i110 ], [ true, %bb8.i39.i.i ], [ false, %bb23.i57.i.i ]		; <i1> [#uses=2]
	%i.4.i.i = phi i32 [ %i.1.i.i, %bb85.i.i110 ], [ %i.0.i.i, %bb100.i.i ], [ %i.0.i.i, %bb100.i.i ], [ %i.3.i.i, %bb8.i39.i.i ], [ %i.3.i.i, %bb23.i57.i.i ]		; <i32> [#uses=3]
	%tmp292.i.i = load i8* %tmp16.i.i100, align 1		; <i8> [#uses=1]
	%tmp293.not.i.i = icmp ne i8 %tmp292.i.i, 0		; <i1> [#uses=1]
	%bothcond.i.i = and i1 %tmp293.not.i.i, %myEOF.1.i.i		; <i1> [#uses=1]
	br i1 %bothcond.i.i, label %bb202.i.i, label %bb301.i.i
  Factoring out 3 common predecessors.

On the path from any blocks other than bb23.i57.i.i, the load and compare 
are dead.

llvm-svn: 50096
 2008-04-22 07:05:46 +00:00
Evan Cheng 0422bef7ed Added command line option -no-lazy to disable JIT lazy compilation. 
llvm-svn: 50095
 2008-04-22 06:51:41 +00:00
Chris Lattner e369c35a84 refactor some code, no functionality change. 
llvm-svn: 50094
 2008-04-22 06:36:15 +00:00
Chris Lattner 3cc28ce1ed add a basic testcase. 
llvm-svn: 50093
 2008-04-22 06:35:14 +00:00
Ted Kremenek 80f2c111bd Added panic function "dtrace_assfail". 
llvm-svn: 50091
 2008-04-22 06:09:33 +00:00
Ted Kremenek 24d4888a85 Add VisitArraySubscriptExpr. 
llvm-svn: 50090
 2008-04-22 05:40:28 +00:00
Ted Kremenek a2cca7dbdf Hardcode "Assert" as a no-return function (panic). 
llvm-svn: 50089
 2008-04-22 05:37:33 +00:00
Nick Lewycky 0a7b12bb2e Whoops! Undo r50087, unbreak the build. 
llvm-svn: 50088
 2008-04-22 05:20:06 +00:00
Nick Lewycky fb6c349977 Reverse r47989. Part of removing 'unwinds to' support. 
llvm-svn: 50087
 2008-04-22 05:16:51 +00:00
Nick Lewycky cd92245311 Start removing 'unwinds to' support from mainline in preparation for 2.3. 
llvm-svn: 50086
 2008-04-22 05:16:02 +00:00
Nate Begeman 2908fa0715 Add some basic ARM asm constraints 
llvm-svn: 50085
 2008-04-22 05:03:19 +00:00
Ted Kremenek 6fdd3b35dc Added null dereference test involving arrays. 
llvm-svn: 50084
 2008-04-22 04:56:55 +00:00
Ted Kremenek da5cdda248 Added null-dereference check for ArraySubscriptExpr. 
llvm-svn: 50083
 2008-04-22 04:56:29 +00:00
Nate Begeman f0168bd208 Don't double-increment counter for -arch and -isysroot 
llvm-svn: 50082
 2008-04-22 04:47:32 +00:00
Owen Anderson a5030c3017 Add MemCpyOpt to LTO. 
llvm-svn: 50081
 2008-04-22 03:57:36 +00:00
Chris Lattner 8fb13cbe4e remove dead code. 
llvm-svn: 50080
 2008-04-22 03:21:48 +00:00
Chris Lattner c3a439351c optimize "p != gep p, ..." better. This allows us to compile 
getelementptr-seteq.ll into:

define i1 @test(i64 %X, %S* %P) {
	%C = icmp eq i64 %X, -1		; <i1> [#uses=1]
	ret i1 %C
}

instead of:

define i1 @test(i64 %X, %S* %P) {
	%A.idx.mask = and i64 %X, 4611686018427387903		; <i64> [#uses=1]
	%C = icmp eq i64 %A.idx.mask, 4611686018427387903		; <i1> [#uses=1]
	ret i1 %C
}

And fixes the second half of PR2235.  This speeds up the insertion sort
case by 45%, from 1.12s to 0.77s.  In practice, this will significantly
speed up for loops structured like:

for (double *P = Base + N; P != Base; --P)
  ...

Which happens frequently for C++ iterators.

llvm-svn: 50079
 2008-04-22 02:53:33 +00:00
Chris Lattner ff834c0ca3 more fallout from Nicholas' asmprinter patch. 
llvm-svn: 50078
 2008-04-22 02:45:44 +00:00
Dan Gohman f166d2d0d6 Implement an x86-64 ABI detail of passing structs by hidden first 
argument. The x86-64 ABI requires the incoming value of %rdi to
be copied to %rax on exit from a function that is returning a
large C struct.

Also, add a README-X86-64 entry detailing the missed optimization
opportunity and proposing an alternative approach.

llvm-svn: 50075
 2008-04-21 23:59:07 +00:00
Fariborz Jahanian a591a12ea5 Allow property in base class to be implemented in a 
derived class.

llvm-svn: 50074
 2008-04-21 23:57:08 +00:00
Ted Kremenek efa92f1dfc Added missing expected-warning. 
llvm-svn: 50073
 2008-04-21 23:45:26 +00:00