sorear changed the topic of #riscv to: RISC-V instruction set architecture | https://riscv.org | Logs: https://libera.irclog.whitequark.org/riscv | Matrix: #riscv:catircservices.org
Forty-Bot has quit [Server closed connection]
Forty-Bot has joined #riscv
drmpeg has joined #riscv
jmdaemon has joined #riscv
sakman_ has quit [Remote host closed the connection]
Maylay has quit [Quit: Pipe Terminated]
brazuca has quit [Quit: Client closed]
sakman has joined #riscv
dlan has joined #riscv
Bluefoxicy has quit [Read error: Connection reset by peer]
Bluefoxicy has joined #riscv
handsome_feng has joined #riscv
jacklsw has joined #riscv
jacklsw has quit [Client Quit]
terminalpusher has joined #riscv
terminalpusher has quit [Remote host closed the connection]
jacklsw has joined #riscv
pavelow has quit [Quit: No Ping reply in 180 seconds.]
pavelow has joined #riscv
heat has quit [Ping timeout: 245 seconds]
ln5 has quit [Ping timeout: 252 seconds]
meta-coder has quit [Ping timeout: 244 seconds]
<sorear> does -ffast-math actually authorize transformations that assume floats are less than INT32_MAX and doubles are less than INT64_MAX? (ceil on gcc-patches)
Leopold_ has quit [Remote host closed the connection]
Leopold has joined #riscv
<dh`> I always assume that -ffast-math is incorrect and should never be used
<dh`> nothing about it would surprise me and I kind of thing it ought to just be implemented by replacing all fp ops with raise(SIGFPE)
<dh`> s/thing/think/
<sorear> do you feel the same way about incompletely parenthesized expressions in fortran
meta-coder has joined #riscv
davidlt has joined #riscv
sakman has quit [Remote host closed the connection]
KREYREN_ has quit [*.net *.split]
rvalles has quit [Ping timeout: 240 seconds]
matoro has quit [Quit: No Ping reply in 180 seconds.]
matoro has joined #riscv
BootLayer has joined #riscv
foxbat has quit [Remote host closed the connection]
peeps[zen] has quit [Read error: Connection reset by peer]
peeps[zen] has joined #riscv
<knielsen> sorear: It would seem so from the documentation of -funsafe-math-optimizations ("assume ... results are valid"). If you are talking about something like (int)ceil(x).
<knielsen> sorear: But not for double n = ceil(x); obviously, there's no requirement that ceil() by itself fits in an int
<sorear> as far as I can tell from reading the patch, it applies to ceil() and ceilf() without a preceding cast, although my track record with gcc code is fairly bad
handsome_feng has quit [Quit: Connection closed for inactivity]
<knielsen> sorear: agree, that looks strange
billchenchina has quit [Ping timeout: 264 seconds]
billchenchina- has joined #riscv
foxbat has joined #riscv
foxbat has quit [Client Quit]
foxbat has joined #riscv
meta-coder has quit [Ping timeout: 264 seconds]
davidlt has quit [Ping timeout: 260 seconds]
handsome_feng has joined #riscv
billchenchina- has quit [Remote host closed the connection]
billchenchina has joined #riscv
billchenchina has quit [Remote host closed the connection]
grumbler has quit [Quit: It's time]
crabbedhaloablut has joined #riscv
davidlt has joined #riscv
alexghiti has joined #riscv
grumbler has joined #riscv
grumbler has quit [Quit: It's time]
MaxGanzII has joined #riscv
enthusi has joined #riscv
MaxGanzII has quit [Ping timeout: 252 seconds]
KREYREN has joined #riscv
xypron has quit [Ping timeout: 245 seconds]
crabbedhaloablut has quit [Read error: Connection reset by peer]
crabbedhaloablut has joined #riscv
markh has quit [Ping timeout: 240 seconds]
markh has joined #riscv
meta-coder has joined #riscv
meta-coder has quit [Client Quit]
grumbler has joined #riscv
grumbler has quit [Remote host closed the connection]
loki_val has joined #riscv
crabbedhaloablut has quit [Ping timeout: 240 seconds]
<knielsen> sorear: Of course, if ceil(x) _doesn't_ fit in 32/64 bit, then x is already an integer. But like you, I don't see anything in the gcc patch that would skip the float->int->float conversion in this case
xypron has joined #riscv
EchelonX has joined #riscv
jacklsw has quit [Ping timeout: 260 seconds]
jackneill__ has joined #riscv
MaxGanzII has joined #riscv
prabhakarlad has joined #riscv
ldevulder_ has joined #riscv
ldevulder has quit [Ping timeout: 240 seconds]
Andre_Z has joined #riscv
ldevulder_ has quit [Ping timeout: 258 seconds]
ldevulder has joined #riscv
ldevulder_ has joined #riscv
ldevulder has quit [Ping timeout: 258 seconds]
ldevulder_ is now known as ldevulder
prabhakarlad has quit [Quit: Client closed]
wingsorc has quit [Quit: Leaving]
ldevulder has quit [Quit: Leaving]
<palmer> sorear: which patch?
Andre_Z has quit [Quit: Leaving.]
<palmer> thanks
alexghiti has quit [Ping timeout: 240 seconds]
alexghiti has joined #riscv
grumbler has joined #riscv
ldevulder has joined #riscv
billchenchina has joined #riscv
billchenchina has quit [Ping timeout: 264 seconds]
Tenkawa has joined #riscv
billchenchina has joined #riscv
bjoto has quit [Ping timeout: 258 seconds]
alexghiti has quit [Ping timeout: 264 seconds]
alexghiti has joined #riscv
rvalles has joined #riscv
prabhakarlad has joined #riscv
MaxGanzII has quit [Remote host closed the connection]
MaxGanzII has joined #riscv
unnick has quit [Ping timeout: 244 seconds]
unnick has joined #riscv
handsome_feng has quit [Quit: Connection closed for inactivity]
unnick has quit []
unnick has joined #riscv
heat has joined #riscv
jacklsw has joined #riscv
mwette has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)]
Stat_headcrabed has joined #riscv
mwette has joined #riscv
Stat_headcrabed has quit [Remote host closed the connection]
davidlt has quit [Ping timeout: 264 seconds]
brazuca has joined #riscv
alexghiti has quit [Ping timeout: 240 seconds]
alexghiti has joined #riscv
jmdaemon has quit [Ping timeout: 260 seconds]
jobol has joined #riscv
Stat_headcrabed has joined #riscv
Stat_headcrabed has quit [Client Quit]
GenTooMan has quit [Ping timeout: 240 seconds]
Stat_headcrabed has joined #riscv
handsome_feng has joined #riscv
GenTooMan has joined #riscv
loki_val has quit [Read error: Connection reset by peer]
crabbedhaloablut has joined #riscv
vagrantc has joined #riscv
brazuca has quit [Quit: Client closed]
kehvo has quit [Quit: WeeChat 4.0.4]
ntwk has quit [Quit: ntwk]
kehvo has joined #riscv
Stat_headcrabed has quit [Quit: Stat_headcrabed]
Andre_Z has joined #riscv
junaid_ has joined #riscv
stolen has joined #riscv
heat_ has joined #riscv
heat has quit [Read error: Connection reset by peer]
jobol has quit [Quit: Leaving]
jacklsw has quit [Ping timeout: 244 seconds]
handsome_feng has quit [Quit: Connection closed for inactivity]
heat_ has quit [Remote host closed the connection]
heat__ has joined #riscv
heat__ has quit [Remote host closed the connection]
heat__ has joined #riscv
prabhakarlad has quit [Quit: Client closed]
heat__ is now known as heat
simpl_e has joined #riscv
alexghiti has quit [Ping timeout: 252 seconds]
stolen has quit [Quit: Connection closed for inactivity]
jackneill__ has quit [Ping timeout: 252 seconds]
MaxGanzII has quit [Remote host closed the connection]
MaxGanzII_ has joined #riscv
ntwk has joined #riscv
MaxGanzII_ has quit [Remote host closed the connection]
MaxGanzII_ has joined #riscv
crabbedhaloablut has quit []
mps has quit [Quit: Lost terminal]
junaid_ has quit [Remote host closed the connection]
junaid_ has joined #riscv
MaxGanzII__ has joined #riscv
MaxGanzII_ has quit [Ping timeout: 252 seconds]
mps has joined #riscv
MaxGanzII__ has quit [Remote host closed the connection]
MaxGanzII__ has joined #riscv
notgull has quit [Ping timeout: 260 seconds]
BootLayer has quit [Quit: Leaving]
notgull has joined #riscv
hightower2 has quit [Ping timeout: 264 seconds]
jmdaemon has joined #riscv
lagash has quit [Ping timeout: 246 seconds]
Leopold has quit [Ping timeout: 255 seconds]
hightower2 has joined #riscv
Leopold has joined #riscv
grumbler has quit [Quit: It's time]
MaxGanzII_ has joined #riscv
MaxGanzII__ has quit [Ping timeout: 252 seconds]
junaid_ has quit [Remote host closed the connection]
brazuca has joined #riscv
heat has quit [Ping timeout: 260 seconds]
heat has joined #riscv
terminalpusher has joined #riscv
vagrantc has quit [Ping timeout: 240 seconds]
MaxGanzII_ has quit [Ping timeout: 252 seconds]
khem has quit [Quit: Connection closed for inactivity]
khem has joined #riscv
lagash has joined #riscv
heat has quit [Remote host closed the connection]
Bluefoxicy has quit [Read error: Connection reset by peer]
Bluefoxicy has joined #riscv
EchelonX has quit [Quit: Leaving]
brazuca has quit [Quit: Client closed]
jmdaemon has quit [Ping timeout: 258 seconds]
Andre_Z has quit [Quit: Leaving.]
drmpeg has left #riscv [#riscv]
terminalpusher has quit [Ping timeout: 245 seconds]
drmpeg has joined #riscv
mwette has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)]
brazuca has joined #riscv
jmdaemon has joined #riscv
heat has joined #riscv