147(7): デフォルトの名無しさん [] 2024/02/17(土) 14:28:35.26 ID:M+9VD8BN(1/8) AAS
> A: 4の倍数の年は、うるう年
> B: ただし、100の倍数の年は、うるう年ではない（平年）
> C: ただし、400の倍数の年は、うるう年
> D: ただし30の倍数の年は、うるう年
> E: ただし、30と4の倍数の年はうるう年ではない
> F: D, Eは2025年より適用する

をC++で書いてg++でコンパイルしてみた。

外部ﾘﾝｸ:godbolt.org

アセンブリ言語読めないけど色分けでC++とアセンブリ言語の対応を教えてくれるので助かる。Eの判定部分に対応するアセンブリ言語が出力されてないな。g++に無駄な判定であると判断されたか。

試しに、重複してる4の倍数判定を

E: ただし、30と7の倍数の年はうるう年ではない

に変えてみると

外部ﾘﾝｸ:godbolt.org

今度はEの判定部分に対応するアセンブリ言語は出力されるようだ。g++がashworthより賢いことは分かった。

151(1): デフォルトの名無しさん [] 2024/02/17(土) 17:13:47.41 ID:M+9VD8BN(3/8) AAS
違うか。こうか。

外部ﾘﾝｸ:godbolt.org

逆条件ややこしすぎ。

> C: ただし、400の倍数の年は、うるう年
> D: ただし30の倍数の年は、うるう年

↑の仕様バグもあるせいか早期return使って正しくコーディングできる自信おれにはないわ。

322(1): デフォルトの名無しさん [sage] 2024/03/04(月) 09:41:48.67 ID:ybOgKOgD(1) AAS
>>316 >>321
1000億年後の閏年とか低能丸出し
地球も存在しないぞ
それ以前に60万年後には誤差が半年となり夏冬逆転し無意味となる
それ以前にルールが変わるため大きな数に対応する意味がない

315(12): デフォルトの名無しさん [sage] 2024/03/03(日) 21:47:18.39 ID:B4rwo5Er(1) AAS
閏年の仕様が変わったら判定関数だけ置き換えればいいのだから
判定関数の中身なんて何でもいいのよ
割り算(剰余算)と分岐はCPUにとって非常に遅いから避けるとするならば例えばこんな感じ

fn is_leap_year(year: u64) -> bool {
　let q100 = (year * 42949673) >> 32;
　((q100 & 3 == 0) | (q100 * 100 != year)) & (year & 3 == 0)
}

376(1): デフォルトの名無しさん [sage] 2024/03/07(木) 20:58:11.23 ID:HzTOrgQG(1) AAS
>>315と>>374を比べると微妙に違うんだな
q100 = (year * 42949673) >> 32
q100 = (year * 1374389535) >> 37

761(3): デフォルトの名無しさん [sage] 2024/04/10(水) 15:48:08.18 ID:wgfIEXCO(1) AAS
jisouとか言うポエム書いてる奴ら消えて欲しいわ
無料だと思ったら金とってるし