Displaying 3 results from an estimated 3 matches for "singleton_relation".
2007 Oct 04
0
[LLVMdev] RFC: Tail call optimization X86
...No Timing on this machine. for the reduction.
--------------------------SPASS-STOP------------------------------
exit 0
an arbitrary example taken from
> diff SPASS.out-llc SPASS.out-llc-beta
3870,3872c3870,3872
< Given clause: 29104[0:Res:357.1,166.0] || equal
(universal_class,singleton_relation) -> member(y,element_relation)*.
< Given clause: 29115[0:Res:361.1,166.0] || equal
(universal_class,singleton_relation) -> member
(universal_class,element_relation)*.
< Given clause: 29213[3:SpR:29211.0,5371.0] || -> subclass
(universal_class,complement(intersection(s...
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
...tion.
>
> --------------------------SPASS-STOP------------------------------
> exit 0
>
>
> an arbitrary example taken from
>> diff SPASS.out-llc SPASS.out-llc-beta
> 3870,3872c3870,3872
> < Given clause: 29104[0:Res:357.1,166.0] || equal
> (universal_class,singleton_relation) -> member(y,element_relation)*.
> < Given clause: 29115[0:Res:361.1,166.0] || equal
> (universal_class,singleton_relation) -> member
> (universal_class,element_relation)*.
> < Given clause: 29213[3:SpR:29211.0,5371.0] || -> subclass
> (universal_class,com...