repo.or.cz
/
official-gcc.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Also check type being cast to
2023-06-09
Andr
e
w MacLeod
Also check type being cast t
o
commit
|
commitdiff
|
tree
2023-06-09
An
d
rew MacLeod
Relocate
ra
n
g
e
_
c
ast to heade
r
,
a
nd add a
generi
c
version
.
commit
|
commitdiff
|
tree
2023-06-08
A
n
drew MacLeo
d
Pro
v
ide a new disp
a
t
c
h
m
e
chanism for rang
e
-ops
.
commit
|
commitdiff
|
tree
2023-06-08
A
n
drew MacLeod
U
n
ify
r
ange_operator
s
t
o
one class
.
commit
|
commitdiff
|
tree
2023-06-08
And
r
ew MacLeod
Remove tree_co
d
e
from range-operator
.
commit
|
commitdiff
|
tree
2023-06-08
A
n
drew MacLeod
Fix floating point bug in fold_range
.
commit
|
commitdiff
|
tree
2023-05-24
Andrew
MacLeod
Gimple range PHI a
n
alyzer and t
e
st
c
ases
commit
|
commitdiff
|
tree
2023-05-24
A
n
drew
M
acLeod
P
ro
v
ide re
l
ation
que
r
ies
f
or a stmt
.
commit
|
commitdiff
|
tree
2023-05-24
An
d
rew
MacLeod
M
ake ssa_cache a
range_query
.
commit
|
commitdiff
|
tree
2023-05-24
Andrew
M
a
cLe
o
d
Make ss
a
_cache and ss
a
_lazy_cache virtual
.
commit
|
commitdiff
|
tree
2023-05-24
Andrew
M
acLeod
Only update global value if
it ch
a
nges
.
commit
|
commitdiff
|
tree
2023-05-24
Andrew MacLeod
U
s
e negat
i
ve val
u
es
to ref
l
ect
a
lways_current
i
n th
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-24
Andrew
Ma
c
Leod
Choose better ini
t
i
al values for ranger
.
commit
|
commitdiff
|
tree
2023-04-26
Andre
w
M
a
c
L
e
od
Create a lazy ssa_cach
e
.
commit
|
commitdiff
|
tree
2023-04-26
Andre
w
Ma
c
Leo
d
Re
n
ame
ssa_global_c
a
che to ssa_cache a
n
d add
h
a
s_r
a
nge
commit
|
commitdiff
|
tree
2023-04-26
Andrew MacL
e
od
Ad
d
sbr_la
z
y_ve
c
tor and adjust (e)vrp spa
r
s
e
c
ach
e
commit
|
commitdiff
|
tree
2023-04-26
A
n
drew MacLeod
Qu
i
cker relation che
c
k
.
commit
|
commitdiff
|
tree
2023-04-26
Andrew MacLeo
d
Don't save s
s
a-n
a
me
p
ointer in depen
d
ency
cach
e
.
commit
|
commitdiff
|
tree
2023-04-21
Andrew MacLeo
d
D
o not fo
l
d
ADDR_EXP
R
c
o
nditions l
e
a
d
ing t
o
bu
i
l
t
in_
u
n
r
eacha
.
.
.
commit
|
commitdiff
|
tree
2023-04-20
And
r
ew M
a
cL
e
od
Do not ig
n
or
e
UNDEFINED ranges when determin
i
ng PHI
.
.
.
commit
|
commitdiff
|
tree
2023-04-13
And
r
ew
M
a
c
Le
o
d
Ensure PHI
equivalencies do
n
ot dom
i
nate
t
he argument
.
.
.
commit
|
commitdiff
|
tree
2023-04-12
And
r
ew MacLeod
Don't use A
N
Y PHI equivalences in range-on-entry
.
commit
|
commitdiff
|
tree
2023-04-06
Andrew
M
acL
e
od
Check i
f
dependency
i
s valid be
f
o
re usin
g
in m
a
y
_
recompute_p
.
commit
|
commitdiff
|
tree
2023-03-31
Andrew MacLeod
Adjust tes
t
ca
s
es
to
not p
r
odu
c
e errors
.
.
commit
|
commitdiff
|
tree
2023-03-30
A
n
drew MacL
e
od
Add recursive GOR
I
recompuations with a
d
epth limit
.
commit
|
commitdiff
|
tree
2023-03-28
Andrew MacLeod
Fix compute_o
p
e
rand
w
hen o
p
1 == op2 symbolically
.
commit
|
commitdiff
|
tree
2023-03-24
A
n
d
rew MacLeod
Ranger cache do
m
inator queries sh
o
uld
i
gnore backe
d
g
es
.
commit
|
commitdiff
|
tree
2023-03-21
Andrew MacLeod
Termina
t
e
G
O
RI
calculations i
f
a
relation is no
t
rel
e
vant
.
commit
|
commitdiff
|
tree
2023-02-10
Andrew MacL
e
o
d
Q
uery r
a
ngers
c
ache in readon
l
y mode
o
nly from within
commit
|
commitdiff
|
tree
2023-02-10
Andrew MacLeod
Add function cont
e
xt for que
r
ying
g
l
o
bal ranges
.
commit
|
commitdiff
|
tree
2023-02-03
Andrew MacLeod
Reset SCEV bef
o
re
removing unreachable globa
l
s
.
commit
|
commitdiff
|
tree
2023-02-01
And
r
ew M
a
cLeo
d
Ranger c
a
che - always
u
se
range_
f
r
om_dom
w
h
en
u
pdating
.
commit
|
commitdiff
|
tree
2023-01-31
An
d
rew
M
acLeod
Add op2_range t
o
point
e
r_p
l
u
s
.
commit
|
commitdiff
|
tree
2023-01-31
Andrew
M
acLeod
Uti
l
ize op1 == op2 when in
v
o
k
ing ran
g
e-op
s
folding
.
commit
|
commitdiff
|
tree
2023-01-31
Andrew M
a
cLeod
Proper
l
y s
e
t GOR
I
r
ela
t
i
o
n trios
.
commit
|
commitdiff
|
tree
2023-01-27
An
d
r
ew MacLeod
C
o
rrect
l
y
detect shif
t
s out
o
f r
a
nge
commit
|
commitdiff
|
tree
2023-01-27
An
d
r
e
w MacLeod
Do not try to logical
fo
l
d floating point relations
.
commit
|
commitdiff
|
tree
2022-12-20
Andrew Ma
c
Leod
D
o
n't use PHI equivalence
s
in range-on-entry
.
commit
|
commitdiff
|
tree
2022-12-08
Andrew MacLeod
Ensure arguments to range-op
handler a
r
e supported
.
commit
|
commitdiff
|
tree
2022-12-02
An
d
rew MacL
e
od
Fix a
few incorrect a
c
c
es
s
es
.
commit
|
commitdiff
|
tree
2022-11-11
Andrew Ma
c
L
e
od
Don't add depende
n
ci
e
s in upd
a
te_stmt
.
commit
|
commitdiff
|
tree
2022-11-11
Andrew
M
a
c
Leod
proc
e
ss
transitive i
n
ferred ranges in pre_fo
l
d_stmt
.
commit
|
commitdiff
|
tree
2022-11-08
Andrew
M
acLeod
Add transitiv
e
infer
r
ed range processing
.
commit
|
commitdiff
|
tree
2022-11-03
Andre
w
MacL
e
od
Ad
d
testcas
e
s resol
v
ed with ranger as VR
P
1
.
commit
|
commitdiff
|
tree
2022-11-03
And
r
e
w
M
a
cLeod
Update
rang
e
qu
e
ry
c
ache when a statement is upd
a
ted
.
commit
|
commitdiff
|
tree
2022-11-01
A
ndrew Ma
c
Leod
Make su
r
e ssa
-
name is valid
.
commit
|
commitdiff
|
tree
2022-11-01
Andrew MacLe
o
d
Make ran
g
er vrp
1
defa
u
lt
.
commit
|
commitdiff
|
tree
2022-11-01
Andrew
MacLeod
R
e
move builtin_unreach
a
ble in VRP
commit
|
commitdiff
|
tree
2022-11-01
A
n
d
rew MacLeod
Allow
q
ueries on ex
i
t bl
o
ck
.
commit
|
commitdiff
|
tree
2022-11-01
Andrew MacLeod
Interse
c
t with nonzer
o
b
its can indicate cha
n
ge inco
r
rectly
.
commit
|
commitdiff
|
tree
2022-10-26
Andre
w
M
a
c
L
eod
Check if varying may also b
e
n
o
n-
n
e
g
ative
.
commit
|
commitdiff
|
tree
2022-10-20
Andrew M
a
cLeod
Add assume support to VRP
.
commit
|
commitdiff
|
tree
2022-10-19
An
d
re
w
M
a
cLeod
Use Value
_
Range
wh
e
n applying inferred
ranges
.
commit
|
commitdiff
|
tree
2022-10-18
Andrew Mac
L
eod
Merge partial
relation p
r
ecisio
n
s
p
r
o
perl
y
commit
|
commitdiff
|
tree
2022-10-17
A
n
d
r
ew M
a
cLeod
Add relation_trio class fo
r
rang
e
-ops
.
commit
|
commitdiff
|
tree
2022-10-17
A
nd
r
ew MacLeo
d
Fix nan
u
pdat
i
n
g in range-ops
.
commit
|
commitdiff
|
tree
2022-10-17
Andre
w
MacLeod
D
on't set us
e
l
e
ss relations
.
commit
|
commitdiff
|
tree
2022-10-13
Andr
e
w M
a
cLeod
propagate partial equivs in
t
h
e cache
.
commit
|
commitdiff
|
tree
2022-10-13
And
r
ew MacLeod
Add parti
a
l equivalence recognition to
c
ast an
d
bitwise
.
.
.
commit
|
commitdiff
|
tree
2022-10-13
Andre
w
MacLeod
Add equ
i
valence
i
terator t
o
r
elation oracle
.
commit
|
commitdiff
|
tree
2022-10-13
Andrew
MacLeod
Add partial equ
i
vale
n
ce support to t
h
e re
l
ati
o
n oracle
.
commit
|
commitdiff
|
tree
2022-10-03
An
d
rew
MacLeod
Don't process
u
n
d
efined range
.
commit
|
commitdiff
|
tree
2022-09-29
And
r
ew Mac
L
e
od
Process unsigned overflow rela
t
i
o
n
s for
p
lus
and
minus
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
An
d
rew MacLeod
R
e
fine ranges using relat
i
ons in
G
ORI
.
commit
|
commitdiff
|
tree
2022-09-29
A
ndrew MacLeo
d
Trac
k
v
al
u
e
_
relations in GO
R
I
.
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLeod
M
ove class
value_relation the head
e
r
file
.
commit
|
commitdiff
|
tree
2022-09-29
Andre
w
MacLe
o
d
Audit
o
p1_range and op2_range for undefined LHS
.
commit
|
commitdiff
|
tree
2022-09-29
An
d
r
e
w
M
a
cLeod
Remove
u
ndefined behavi
o
ur from t
e
s
tscase
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew
M
acLeod
C
on
v
ert C
F
N_BUILT_IN
_
PARIT
Y
to
r
ange-op
s
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_IN_GOACC_DIM_*
to range-o
p
s
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Conver
t
CFN_BUILT_IN_
S
TRLEN to
ra
n
ge-ops
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeo
d
Convert CF
N
_
BUIL
T
_IN_UBSAN_CHECK_* to range-ops
.
commit
|
commitdiff
|
tree
2022-09-22
A
nd
r
ew MacLeod
Conve
r
t CFN_BUI
L
T_IN_CLRSB to
range-ops
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew
MacLeod
Convert C
F
N_CTZ buil
t
ins to range
-
o
p
s
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew
M
ac
L
eod
Co
n
ve
r
t CF
N
_CLZ builtins to range-ops
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew
M
acLeod
Convert CFN_BU
I
L
T
_
F
FS and CFN_POPCOUNT to r
a
nge-ops
.
commit
|
commitdiff
|
tree
2022-09-22
Andr
e
w MacLeod
C
o
nve
r
t
C
F
N
_BUILT_IN_TOUPPER and TOLOWE
R
to r
a
nge-ops
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacL
e
o
d
Convert CFN_BUILT_
I
N_SIGNBIT t
o
ra
n
ge-o
p
s
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Add
r
a
n
g
e-ops
s
u
pport for builtin functions
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Always check th
e
return value of fold_range
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Add mis
s
i
ng float
fold_range pr
o
totype for floats
.
commit
|
commitdiff
|
tree
2022-09-22
A
n
drew M
a
cLeod
Fix calc
_
op1 for undefined op2_ra
n
ge
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLe
o
d
Create gimple_r
a
nge_o
p
_handle
r
in
a new so
u
r
ce fil
e
.
commit
|
commitdiff
|
tree
2022-09-22
Andre
w
M
a
cLeod
A
djust range_op_
h
an
d
ler to
store the
handler directly
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Repl
a
ce
a
nother sn
i
p
pet with a call to gimple_range
_
s
s
a_
n
ames
.
commit
|
commitdiff
|
tree
2022-08-23
Andrew MacL
e
od
Return the
correct relation
commit
|
commitdiff
|
tree
2022-08-17
Andrew MacLeod
Abstract interesting ssa
-
names from GORI
.
commit
|
commitdiff
|
tree
2022-08-15
Andrew MacLeod
Check for
u
ndefined an
d
varying first
.
commit
|
commitdiff
|
tree
2022-08-08
And
r
ew M
a
cLe
o
d
Eva
l
uate conditi
o
n argu
m
e
nts w
i
th th
e
correct type
.
commit
|
commitdiff
|
tree
2022-08-04
Andrew MacL
e
od
L
o
op over in
t
e
rsec
t
ed bitmaps
.
commit
|
commitdiff
|
tree
2022-08-03
Andrew M
a
cLeod
Do
n
ot
w
alk equivalence set in path_oracle:
:
killing_def
.
commit
|
commitdiff
|
tree
2022-08-02
Andrew MacLeod
Do n
o
t
register ed
g
es
f
or statem
e
nts not understood
.
commit
|
commitdiff
|
tree
2022-08-02
Andrew MacLeod
Check
equival
e
ncies when
calcu
l
ating range o
n
en
t
ry
.
commit
|
commitdiff
|
tree
2022-07-19
Andrew MacLeod
R
e
solve c
o
mplicated
j
oin nodes
i
n
range_fr
o
m_dom
.
commit
|
commitdiff
|
tree
2022-07-19
Andrew MacLeod
Remove r
e
c
u
rsion
f
r
o
m range_from_dom
.
commit
|
commitdiff
|
tree
2022-07-18
Andrew MacLe
o
d
Che
c
k if tr
a
nsitiv
e
s need
to be regist
e
red
.
commit
|
commitdiff
|
tree
2022-07-11
Andrew MacLeod
Avoid c
a
l
ling ra
n
ge_fr
o
m_dom when dominator
i
s already
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Andre
w
MacLeod
Prov
i
de
a
relation
v
eri
f
ication mec
h
an
i
sm
.
commit
|
commitdiff
|
tree
2022-06-30
Andrew M
a
cLe
o
d
Don't use g
o
r
i depe
n
denc
i
es to optimize
.
commit
|
commitdiff
|
tree
2022-06-16
Andrew M
a
cLeod
Clear invariant bit for inferred range
s
.
commit
|
commitdiff
|
tree
next