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
An
d
r
ew MacLe
o
d
A
l
so c
h
eck typ
e
b
e
i
n
g
c
ast to
commit
|
commitdiff
|
tree
2023-06-09
An
d
rew MacLeod
R
e
l
o
cate range
_
cast to header, and ad
d
a generic
version
.
commit
|
commitdiff
|
tree
2023-06-08
Andrew
MacLeod
Provide a ne
w
dispatch mechanism
for
range-op
s
.
commit
|
commitdiff
|
tree
2023-06-08
Andrew Ma
c
Le
o
d
Unif
y
r
ange_operators t
o
one
c
lass
.
commit
|
commitdiff
|
tree
2023-06-08
And
r
ew Ma
c
Leod
R
e
m
o
ve tree_code
f
rom r
a
nge-operator
.
commit
|
commitdiff
|
tree
2023-06-08
Andrew MacLeod
F
ix floa
t
ing
p
oint bu
g
in fold_range
.
commit
|
commitdiff
|
tree
2023-05-24
An
d
re
w
MacLe
o
d
G
i
mp
l
e range PHI analy
z
er and testca
s
es
commit
|
commitdiff
|
tree
2023-05-24
Andrew MacL
e
od
Provide re
l
ation quer
i
e
s for a stmt
.
commit
|
commitdiff
|
tree
2023-05-24
Andr
e
w Ma
c
L
e
od
M
a
ke ssa
_
cache a range_qu
e
ry
.
commit
|
commitdiff
|
tree
2023-05-24
Andre
w
MacLeod
Ma
k
e
ssa_c
a
c
he and
s
s
a_lazy_cache virtual
.
commit
|
commitdiff
|
tree
2023-05-24
Andr
e
w MacLeod
On
l
y update global value
i
f it changes
.
commit
|
commitdiff
|
tree
2023-05-24
Andrew MacL
e
o
d
Use negative va
l
ues to reflec
t
always
_
current
in
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-24
A
n
drew
MacLeod
Choose better initi
a
l value
s
for ranger
.
commit
|
commitdiff
|
tree
2023-04-26
A
ndrew M
a
cLeod
Create a l
a
zy
s
sa_cache
.
commit
|
commitdiff
|
tree
2023-04-26
Andrew M
a
cLe
o
d
Re
n
a
m
e
ssa
_
g
lobal_cac
h
e to ssa_cac
h
e a
n
d ad
d
has_range
commit
|
commitdiff
|
tree
2023-04-26
Andrew
MacLeod
Add sbr_lazy_vecto
r
and adjust (e)vrp
spa
r
s
e cac
h
e
commit
|
commitdiff
|
tree
2023-04-26
Andre
w
Mac
L
eod
Qu
i
c
k
e
r relation check
.
commit
|
commitdiff
|
tree
2023-04-26
A
ndrew
M
acLeod
Don't sa
v
e
ssa-na
m
e pointer
i
n depe
n
dency
c
ache
.
commit
|
commitdiff
|
tree
2023-04-21
And
r
e
w
MacLeod
Do not fold ADDR
_
EXPR cond
i
tions leadin
g
to builti
n
_unr
e
a
c
ha
.
.
.
commit
|
commitdiff
|
tree
2023-04-20
Andrew MacLe
o
d
Do not
ignore UNDEFINED ranges when d
e
termining PHI
.
.
.
commit
|
commitdiff
|
tree
2023-04-13
Andrew Ma
c
Leo
d
Ensure PHI equivalencies do not domin
a
te the argument
.
.
.
commit
|
commitdiff
|
tree
2023-04-12
And
r
ew MacLeod
Don't use ANY PHI equivalences in
r
ange-on-entry
.
commit
|
commitdiff
|
tree
2023-04-06
Andrew MacLeod
Check
if de
p
endency is
va
l
id
b
efore using
i
n
may_rec
o
m
p
u
te_p
.
commit
|
commitdiff
|
tree
2023-03-31
Andrew MacLeo
d
Adj
u
st testcases t
o
not produce errors
.
.
commit
|
commitdiff
|
tree
2023-03-30
Andrew MacLeod
Add
r
ecursive G
O
RI
recom
p
uat
i
ons
w
ith a de
p
th limit
.
commit
|
commitdiff
|
tree
2023-03-28
Andrew Mac
L
eod
F
ix
c
ompute_operan
d
wh
e
n
op1 == op2 symbolicall
y
.
commit
|
commitdiff
|
tree
2023-03-24
Andrew MacLeod
Ran
g
er cache dominato
r
queries should i
g
nore backedges
.
commit
|
commitdiff
|
tree
2023-03-21
Andrew
MacLe
o
d
Termina
t
e GORI
cal
c
u
la
t
ions if a re
l
ation is
n
ot rele
v
ant
.
commit
|
commitdiff
|
tree
2023-02-10
An
d
r
e
w Mac
L
eod
Query ra
n
ger
s
cach
e
i
n
readonly m
o
d
e
only from within
commit
|
commitdiff
|
tree
2023-02-10
A
nd
r
ew MacLeod
A
d
d function
c
ontext for querying
g
l
o
bal ranges
.
commit
|
commitdiff
|
tree
2023-02-03
And
r
e
w
MacLeod
R
e
set SCEV
before removing unreacha
b
le globals
.
commit
|
commitdiff
|
tree
2023-02-01
A
ndrew MacLeod
Ranger
cache -
al
w
ays use
rang
e
_
f
rom_dom whe
n
updat
i
ng
.
commit
|
commitdiff
|
tree
2023-01-31
Andrew
M
acLeod
Add op2_
r
a
nge to pointer_plu
s
.
commit
|
commitdiff
|
tree
2023-01-31
Andr
e
w MacLeod
U
t
i
l
ize op1 == op2 w
h
en i
n
vokin
g
rang
e
-ops
f
old
i
ng
.
commit
|
commitdiff
|
tree
2023-01-31
Andrew MacLeod
Pr
o
per
l
y
set GORI relation trios
.
commit
|
commitdiff
|
tree
2023-01-27
Andrew
M
acLeod
Correctly detect shif
t
s
o
ut of range
commit
|
commitdiff
|
tree
2023-01-27
Andrew
M
a
cLeod
Do not try to logical
f
o
ld floating
p
o
i
nt relations
.
commit
|
commitdiff
|
tree
2022-12-20
A
n
d
rew MacLeo
d
Do
n
't use PH
I
equivalences in rang
e
-on-en
t
ry
.
commit
|
commitdiff
|
tree
2022-12-08
And
r
ew MacLeod
Ensure argum
e
nts
t
o range-op
handler are s
u
pported
.
commit
|
commitdiff
|
tree
2022-12-02
Andr
e
w MacLe
o
d
Fix a
f
ew incorrect accesses
.
commit
|
commitdiff
|
tree
2022-11-11
A
n
dre
w
M
a
c
L
e
od
Don't add depe
n
dencies
i
n
updat
e
_stmt
.
commit
|
commitdiff
|
tree
2022-11-11
Andrew MacLeod
process transitive inferred ranges in pre_f
o
ld_stmt
.
commit
|
commitdiff
|
tree
2022-11-08
Andrew MacLeod
A
dd
transitive inferred r
a
nge pro
c
essing
.
commit
|
commitdiff
|
tree
2022-11-03
Andrew
MacLeod
Add test
c
ases resolve
d
with
ran
g
er as
VRP1
.
commit
|
commitdiff
|
tree
2022-11-03
A
n
drew Ma
c
Leod
Update rang
e
query cache
w
hen
a
stat
e
ment is
u
p
dated
.
commit
|
commitdiff
|
tree
2022-11-01
Andrew Mac
L
eod
Make sure ssa-na
m
e is
v
alid
.
commit
|
commitdiff
|
tree
2022-11-01
Andrew Mac
L
eod
Make ra
n
ger vr
p
1 default
.
commit
|
commitdiff
|
tree
2022-11-01
An
d
rew MacLeod
Remove builtin_unr
e
a
c
hable in
VRP
commit
|
commitdiff
|
tree
2022-11-01
Andr
e
w Ma
c
Leod
A
l
low queri
e
s on exi
t
b
lock
.
commit
|
commitdiff
|
tree
2022-11-01
Andrew MacLeod
Inter
s
ect wit
h
n
onzero bits ca
n
indicate c
h
ange i
n
correctly
.
commit
|
commitdiff
|
tree
2022-10-26
Andr
e
w
M
acLeod
Check if varying may
a
l
s
o be non-negative
.
commit
|
commitdiff
|
tree
2022-10-20
Andrew MacLeod
Add assume suppor
t
to VRP
.
commit
|
commitdiff
|
tree
2022-10-19
Andrew MacLeod
Use Value_Range w
h
en appl
y
i
n
g
i
nferred ranges
.
commit
|
commitdiff
|
tree
2022-10-18
Andrew MacL
e
od
Merge partial relation precisio
n
s
properly
commit
|
commitdiff
|
tree
2022-10-17
A
l
dy Hernandez
Add 3
f
loating NAN tests
.
commit
|
commitdiff
|
tree
2022-10-17
Andrew MacLeod
A
d
d relatio
n
_trio class
f
or range-ops
.
commit
|
commitdiff
|
tree
2022-10-17
Andr
e
w Ma
c
L
e
od
Fix nan upda
t
in
g
in range-ops
.
commit
|
commitdiff
|
tree
2022-10-17
And
r
ew MacLeod
Don
'
t set
u
seless relations
.
commit
|
commitdiff
|
tree
2022-10-13
Andre
w
Ma
c
Le
o
d
propagate partia
l
equivs in the cache
.
commit
|
commitdiff
|
tree
2022-10-13
A
n
d
rew
M
acLeod
Add partial equivalence recognition
to c
a
st and
bitwise
.
.
.
commit
|
commitdiff
|
tree
2022-10-13
Andr
e
w MacLeo
d
A
d
d e
q
uivalen
c
e ite
r
a
tor t
o
r
e
lation or
a
cle
.
commit
|
commitdiff
|
tree
2022-10-13
An
d
rew MacLeod
Add partial equivalence su
p
port
to the
relati
o
n
o
racle
.
commit
|
commitdiff
|
tree
2022-10-03
Andrew MacLeod
Do
n
'
t
proce
s
s unde
f
ined range
.
commit
|
commitdiff
|
tree
2022-09-29
A
n
drew Ma
c
L
eod
Pr
o
c
ess u
n
signed
ove
r
f
l
o
w relati
o
n
s
for plus
a
n
d minus
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
A
nd
r
ew MacLeod
Re
f
ine ranges using rel
a
tions in GORI
.
commit
|
commitdiff
|
tree
2022-09-29
Andrew M
a
cLeod
Track
va
l
ue_relations in GOR
I
.
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLe
o
d
Move class value_relation t
h
e header fil
e
.
commit
|
commitdiff
|
tree
2022-09-29
Andrew MacLeod
Audi
t
op1_range
an
d
o
p2_ra
n
g
e
f
o
r undefined
L
HS
.
commit
|
commitdiff
|
tree
2022-09-29
And
r
ew MacLeod
Remove
undefi
n
ed beh
a
v
io
u
r from testscase
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew Mac
L
eod
Conv
e
rt CFN
_
B
UILT_IN_PA
R
ITY
to range-ops
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert
C
FN_BUILT_IN_GOAC
C
_DIM_* to range-ops
.
commit
|
commitdiff
|
tree
2022-09-22
An
d
rew
MacLeod
Convert CFN_BUILT_IN_STRLEN to range-op
s
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert
C
FN_BUILT
_
IN
_
UBSAN_CHECK_* to range-op
s
.
commit
|
commitdiff
|
tree
2022-09-22
A
nd
r
e
w Mac
L
eod
C
onve
r
t CFN_
B
UILT
_
IN_CLR
S
B to range-
o
ps
.
commit
|
commitdiff
|
tree
2022-09-22
An
d
r
e
w MacLeo
d
C
o
nvert
C
FN_
C
TZ builtins to r
a
nge-op
s
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew Ma
c
Leod
Co
n
vert CFN_CLZ
builtins to range-op
s
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert
C
FN_
B
U
ILT_FF
S
a
nd CFN_POPCOUNT to range
-
op
s
.
commit
|
commitdiff
|
tree
2022-09-22
And
r
e
w
M
a
c
L
e
od
Con
v
ert CFN_BUILT
_
IN_TOUPPER an
d
TOLOWER
to r
a
nge-ops
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew MacLeod
Convert CFN_BUILT_I
N
_SIGNBIT to range
-
o
ps
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew
Mac
L
eod
Add range-
o
p
s
support
f
o
r buil
t
in func
t
i
ons
.
commit
|
commitdiff
|
tree
2022-09-22
A
n
drew
M
acLeod
Always
c
heck
t
he retu
r
n val
u
e of fol
d
_r
a
nge
.
commit
|
commitdiff
|
tree
2022-09-22
And
r
ew
MacLeod
Add mi
s
s
ing float fold_
r
a
nge proto
t
ype for floats
.
commit
|
commitdiff
|
tree
2022-09-22
Andrew M
a
cLeod
Fix c
a
lc_op1 for
un
d
efined op2_rang
e
.
commit
|
commitdiff
|
tree
2022-09-22
And
r
ew Ma
c
Leod
Crea
t
e gimpl
e
_
r
ange_
o
p_ha
n
dler in a new sou
r
ce file
.
commit
|
commitdiff
|
tree
2022-09-22
An
d
rew MacLeo
d
Adjust
r
ange_op_handler to sto
r
e
t
h
e
handler
directly
.
commit
|
commitdiff
|
tree
2022-09-22
Andr
e
w MacLeod
Repla
c
e
a
nother snippet with a ca
l
l to gi
m
ple_range_ssa_names
.
commit
|
commitdiff
|
tree
2022-08-23
Andr
e
w
M
acLeod
Return the
c
orrect
relation
commit
|
commitdiff
|
tree
2022-08-17
A
n
drew Mac
L
eod
Abstract
interesting ssa-names from
GO
R
I
.
commit
|
commitdiff
|
tree
2022-08-15
A
n
drew M
a
cLeod
C
h
eck for
u
ndefined and varyin
g
first
.
commit
|
commitdiff
|
tree
2022-08-08
An
d
re
w
MacLe
o
d
Evalu
a
t
e conditi
o
n arguments wit
h
t
he correct type
.
commit
|
commitdiff
|
tree
2022-08-04
Andrew Mac
L
e
od
Loop o
v
er intersected bitmaps
.
commit
|
commitdiff
|
tree
2022-08-03
A
ndrew MacLeod
Do not walk
equivalen
c
e s
e
t in path_oracle::kil
l
ing_d
e
f
.
commit
|
commitdiff
|
tree
2022-08-02
An
d
re
w
MacLeod
Do
n
ot regis
t
e
r
edges for stat
e
men
t
s n
o
t underst
o
od
.
commit
|
commitdiff
|
tree
2022-08-02
Andrew Ma
c
Leod
Check equivalenc
i
es when ca
l
culating
r
ange on entry
.
commit
|
commitdiff
|
tree
2022-07-19
An
d
rew MacLeod
Resolve complicated joi
n
nodes in r
a
n
g
e_from_dom
.
commit
|
commitdiff
|
tree
2022-07-19
Andrew Ma
c
Leod
Remo
v
e
recursion from range_from_dom
.
commit
|
commitdiff
|
tree
2022-07-18
A
n
drew MacLeod
Ch
e
c
k if tr
a
n
s
iti
v
es need to be registered
.
commit
|
commitdiff
|
tree
2022-07-11
And
r
ew Mac
L
eod
A
void
c
alling ran
g
e_fr
o
m
_dom w
h
en
dominator is already
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
An
d
rew M
a
cLeod
Provid
e
a relati
o
n ver
i
f
i
cation
mecha
n
is
m
.
commit
|
commitdiff
|
tree
2022-06-30
Andrew
M
acLeod
Do
n
't use gor
i
dependencies to opt
i
mi
z
e
.
commit
|
commitdiff
|
tree
next