Re: [csmith-dev] Testing floating point optimizations with CSmith

> Can you elaborate on it? My understanding is that the type you referred
to is the type passed to FunctionInvocation::make_random_binary? I am
trying to rephrase the question:

> In FunctionInvocation::make_random_binary, can we force the "type" to be
eInt if the kind of the generated "op" is a comparison operation?

That is exactly what I meant.

> The only easy way that I can think of is to make BinaryOpWorksForFloat
return false upon comparison operations.

This is what I did, but I was wondering if I could solve the problem
without rejecting comparison operators.

Example:

l_2534 = (FLOAT_CMPGT_MACRO(l_2515 ,
(FLOAT_CMPGT_MACRO(l_2519 , l_2521))))/*sim lhs:float,,
lhs_var:float,: rhs:float,*/;

l_2534 and l_2515 are arrays of floats, l_2521 is a float.
The comment at the end is telling me that types of lhs, lhs_var and rhs
(expr) are all float. But actually rhs should be of type int, and I
should cast it to float_interval in float_test mode.

Jacek Burys
{"ft_lang_label":"__label__en","ft_lang_prob":0.8088863,"math_prob":0.8743854,"size":1131,"snap":"2022-05-2022-21","text_gpt3_token_len":305,"char_repetition_ratio":0.095829636,"word_repetition_ratio":0.0,"special_character_ratio":0.27320954,"punctuation_ratio":0.14678898,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.95993954,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-01-25T04:16:11Z\",\"WARC-Record-ID\":\"<urn:uuid:077fa7dd-afc2-40d5-b442-c825cd12b5f2>\",\"Content-Length\":\"6121\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:93398adb-c969-4596-a174-d7f1dd0267fb>\",\"WARC-Concurrent-To\":\"<urn:uuid:c2a1ff68-b0d9-4ac8-9d6d-d9ce69f3ffa4>\",\"WARC-IP-Address\":\"155.98.63.201\",\"WARC-Target-URI\":\"http://www.flux.utah.edu/listarchives/csmith-dev/msg00439.html\",\"WARC-Payload-Digest\":\"sha1:XYGWNHAO2J4IEPSQ5ROWGLUZTVPHZCAH\",\"WARC-Block-Digest\":\"sha1:VMPAODEMRNUMNCT3DF3BJP5IARPUH2P4\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-05/CC-MAIN-2022-05_segments_1642320304760.30_warc_CC-MAIN-20220125035839-20220125065839-00261.warc.gz\"}"}