Displaying 3 results from an estimated 3 matches for "beiseite".
2007 Oct 04
0
[LLVMdev] RFC: Tail call optimization X86
...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 problem...
2007 Oct 03
4
[LLVMdev] RFC: Tail call optimization X86
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
2007 Oct 04
1
[LLVMdev] RFC: Tail call optimization X86
...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 th...