プログラミングで y = 1 / (1 / x) ってやったらどうなるの？

[0001 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:04:17.072 ID:expyRxlYa]

頭のいいコンパイラなら y = x にしてくれるのか？（機械語にするとき）

あっ、ちなみにインタプリタ言語やLLでは普通に t = (1 / x) を計算して y = 1 / t にするだろうそりゃ
うちは自動車メーカーだからな、使ってるのはC言語で、コンパイラは GHS MULTI っていうお前らが知らないコンパイラだよ

[0002 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:05:48.584 ID:UZgSC1Nh0]

どういう流れのスレに持って行きたいの？

[0003 奈緒 2022/01/10(月) 23:06:23.830 ID:EzsP5VyU0]

x=0でundefinedなのが生きない

[0004 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:06:49.356 ID:+Ki/tVOh0]

知らないコンパイラの話されたら分からないとしか言えない

[0005 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:07:21.626 ID:expyRxlYa]

>>3
C言語や機械語だと分母0で除算したらundefinedではなく0割りで内部割込みで停止するよ

[0006 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:07:45.474 ID:EOjE74KF0]

x=0が特異点になるかな

[0007 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:11:24.969 ID:expyRxlYa]

>>6
数学的には本来 x = 0 が特異点になるはず

[0008 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:11:27.351 ID:JEZAy4QI0]

つまりインタプリタ言語はプログラミングでないと？

[0009 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:12:21.223 ID:expyRxlYa]

>>8
　　　　 /: : : : : __: :/: : ::/: : :／/: : :/l::|: : :i: :l: : :ヽ: : :丶: : 丶ヾ　　　　＿＿＿
　　 　 /;,, : : : //::/: : 7l,;:≠-::/: : / .l::|: : :l: :|;,,;!: : :!l: : :i: : : :|: : ::､　 ／　　　　 ヽ
　　　 /ヽヽ: ://: :!:,X~::|: /;,,;,/: :／　 ﾘ!: ::/ﾉ　 l｀ヽl !: : |: : : :l: :l: ﾘ /　そ　そ　お　＼
　　　/: : ヽヾ/: : l/::l |／|||llllヾ,､　　/ |: :/ , -==､　l＼:::|: : : :|i: |　/ 　 う　う　 前　　|
.　　 /: : : //ヾ ; :|!: ｲ､||ll|||||::||　　　 ﾉノ　 ｲ|||||||ヾ､ |: ::|!: : ｲ: ::|/　 　な　思　が
　　 /: : ://: : :ヽｿ::ヽl |{ i||ll"ﾝ　　　 ´　　　i| l|||l"l　｀|: /|: : /'!/l 　 　 ん　う
　∠: : : ~: : : : : : : :丶ゝ-―-　　　　　 , 　ｰ=z_ｿ　　 |/ ﾊﾒ;, :: ::|.　　　だ　ん
　　 i|::ﾊ: : : : : : : : : : : ､ﾍﾍﾍﾍ　　　　 ､　　ﾍﾍﾍﾍﾍ /: : : : : ＼,|.　　　ろ　な
　　 |!l　|: : : : : : : : :､: ::＼　　　　､-―-,　　　　　　/ : : :丶;,,;,:ミヽ　　 う　 ら
　　　　　丶: :ﾊ､lヽ: :ヽ: : ::＼__　　｀~　"　　　　　 /: : ﾄ; lヽ）　　　ゝ
　　　　　　 ﾚ　｀|　｀､l｀､＞=ﾆ´　　　　　　　 ,　　_´ : :}　｀　　　／
　　　　　　　　 ,,､r"^~´"''''"t-｀r､ _　　-､　´ヽノ　＼ﾉ　　　／　　　　お ・
　　　　　　　,;'~　　_r-- ､__　　　　　~f､_>'､_　　　　　　　　 |　　で　　前 ・
　　　　　　f~　　,;"　　　　　~"t___　　　　ﾐ､ ^'t　 　 　 　 　|　　は　　ん ・
　　　　　 ,"　　,~　　　　　　　　　ヾ~'-､__　ﾐ_ξ丶　　　　　|　　な　　中 ・
　　　　　;'　　,ｲ　.. 　　　　　　　　　ヽ_　　 ヾ､0ヽ丶　　　　l　　　　　　　　　/
　　　　 （　;":: |:　:: ..　　　　　　　　　 .｀,　　 ヾ　丶 !　　　　＼＿＿＿＿／
　　　　　;;;; :: 入:: :: :: 　 　　　l｀ｰ-､　　 ）l　　 ヾ　丶
　　　　　"~､ｿ:: :い:: :　　　　　＼_　　ノ　,　　　 ヾ　丶

[0010 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:16:51.584 ID:Yt38vuH10]

Cなら未初期化でわけわからんこたえがでるんじゃねーの

[0011 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:18:12.269 ID:bY5SXPToa]

コンパイルして機械語見たらわかる

[0012 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:19:49.797 ID:AmV/v8FN0]

そんなことはしないだろう
普通に式通りの計算するだけだ

[0013 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:20:03.168 ID:jZg7H+fU0]

俺のいた会社に来た元自動車メーカーの人はコンパイラがどうやってアセンブリにしてるか見てたけどな
ルネサスのコンパイラならCがどうアセンブラにしてるか簡単に見れそうだけど

[0014 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:20:12.181 ID:joNn1Xqd0]

つまり「このソースは、最適化によって動作結果が変わる場合があるのか？」という質問なのね？

[0015 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:20:21.146 ID:expyRxlYa]

>>10
もしスレタイの1文しかない前提ならそもそもコンパイルできないんだが

変数の宣言と使用前の初期化はしている前提な
未初期化変数を参照するのは、言語によってはコンパイル時エラーとなるが、
C言語の場合はコンパイラによっては警告を出してビルドが通ってしまうけどバグだね

[0016 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:22:56.462 ID:joNn1Xqd0]

MISRA C な lint に何か言われたりしないの？

[0017 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:24:31.644 ID:+OTYRurjd]

言語による
比較的最近のGOとかCotlinとかならコンパイル時に数式含めて最適化される

[0018 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:24:40.116 ID:expyRxlYa]

>>11
それな

ちなみに、諸事情で次のようなコードになるような設計になったんだが
y = CONST1 - (x + CONST2);
ビルドして機械語を見たら、次のコードと同じ処理になってたぜ
y = CONST3 - x;
(CONST3 は (CONST1 - CONST2) の計算結果)

>>13
うちで使ってるコンパイラだとGUI上で逆アセンブルした結果が見れるよ

[0019 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:24:42.675 ID:VatLRHl0a]

つまんね

[0020 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:24:54.142 ID:JEZAy4QI0]

>>9
プログラミングするとどうなんだろう？インタプリタはこうだけど
ってあーたが書いたんでしょう？

[0021 以下、5ちゃんねるからVIPがお送りします 2022/01/10(月) 23:27:04.020 ID:expyRxlYa]

>>16
うちだと静的解析ツールは QAC と Polyspace Bug Finder だから lint は知らない
てか、会社に行かないとこういうツール使えないわｗｗｗ
さすがに個人で高いツールは買いたくないなｗｗｗ