Commits

Show all
Author Commit Message Labels Comments Date
Carl Friedrich Bolz
merge default
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
merge default
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
merge
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
a tagged int cannot move
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
test and fix: make constand-folding of int_tag not crash
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
same fix is needed here
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
refactor the int_tag/untag optimization to fit the new style
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
can only untag odd ints
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
merge default (breaks some things, will fix in the next commit)
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
move an ll_assert around: cast_ptr_to_int *can* be used on an even pointer (to
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
when the optimizer sees an int_tag operation, it can later remove the
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
use int_untag for untagging too (duh)
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
make tagged instances use the new operations as well
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
merge default
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
those are also not needed
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
make all optimizeopt tests pass
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
woops
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
(arigo, cfbolz): implement int_tag, int_tag_ovf and int_untag in the x86 backend
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
introduce an no-overflow-check variant int_tag for when the bounds-optimizer
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
rename the operation to int_tag_ovf
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
check that operations on untagged integers get their overflow checks removed
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
add a more precise .mul operation on integer bounds.
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
each the optimizer that int_tag and int_untag are each others opposites
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
introduce int_tag (which can overflow) and int_untag
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
a branch where to make int tagging and untagging explicit operations
Branches
int-tag-untag-as-operations
Carl Friedrich Bolz
make the JIT aware of the downcasts that are present in rtyped-flowgraphs. This
Lukas Diekmann
better name for application representation of list strategies
Lukas Diekmann
added interp_magic method to get the strategy of a list on the application level
Alex Gaynor
simplify this code a bit.
Armin Rigo
Add support for track_allocation=False (the default is True).
  1. Prev
  2. Next