search for: beiseit

...and only the diff fails as you can see below the tail call optimized version needs more clauses to do the prove but eventually end up with the same result: tail-call-opt: .... Given clause: 29875[3:Res:23.2,29765.0] || member(U,singleton (universal_class))* -> . SPASS V 2.1 SPASS beiseite: Proof found. Problem: /Users/arnold/Desktop/testing/tc-test/llvm/projects/llvm- test/MultiSource/Applications/SPASS/problem.dfg SPASS derived 39592 clauses, backtracked 10752 clauses and kept 23124 clauses. SPASS allocated 3905 KBytes. SPASS spent No Timing on this machine. on the proble...

On Oct 2, 2007, at 2:27 AM, Arnold Schwaighofer wrote: > Hi all, > > I changed the code that checks whether a tail call is really > eligible for optimization so that it performs the check/fix in > SelectionDAGISel.cpp:BuildSelectionDAG() as suggest by Evan. Also > eliminated an error that caused the remaining failing test cases in > the test-suite. > > The

...n see below the tail call optimized version needs more > clauses to do the prove but eventually end up with the same result: > > tail-call-opt: > .... > Given clause: 29875[3:Res:23.2,29765.0] || member(U,singleton > (universal_class))* -> . > SPASS V 2.1 > SPASS beiseite: Proof found. > Problem: /Users/arnold/Desktop/testing/tc-test/llvm/projects/llvm- > test/MultiSource/Applications/SPASS/problem.dfg > SPASS derived 39592 clauses, backtracked 10752 clauses and kept 23124 > clauses. > SPASS allocated 3905 KBytes. > SPASS spent No Timing on t...