По колено в коде — Говнокод.ру

Си / Говнокод #27285

0

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

#include <stdio.h>
#include <string.h>

double emit_fmadd(double a, double b, double c) __attribute ((noinline));

double emit_fmadd(double a, double b, double c)
{
  return a*b+c;
}


int main(void)
{
  double a = 10.0000;
  double b = 1.00001;
  double c = 1.001;
  double res = emit_fmadd(a,b,c);
  unsigned char arr[sizeof(res)];
  memcpy(arr, &res, sizeof(res));
  for (int i = 0; i < sizeof(res); i++)
  {
    printf("%.2x ", arr[i]);
  }
  printf("\n");
}

/*
gcc -O3 -march=skylake
emit_fmadd:
        vfmadd132sd     xmm0, xmm2, xmm1
        ret


gcc -O3 -march=x86-64
emit_fmadd:
        mulsd   xmm0, xmm1
        addsd   xmm0, xmm2
        ret
*/

Вот к чему плавучий питух приводит!
https://godbolt.org/z/sP19zP

j123123, 06 Марта 2021

Комментарии (10)

Куча / Говнокод #27284

0

1

IT Оффтоп #82

#52: https://govnokod.ru/26817 https://govnokod.xyz/_26817
#53: https://govnokod.ru/26833 https://govnokod.xyz/_26833
#54: https://govnokod.ru/26840 https://govnokod.xyz/_26840
#55: https://govnokod.ru/26844 https://govnokod.xyz/_26844
#56: https://govnokod.ru/26862 https://govnokod.xyz/_26862
#57: https://govnokod.ru/26890 https://govnokod.xyz/_26890
#58: https://govnokod.ru/26916 https://govnokod.xyz/_26916
#59: https://govnokod.ru/26934 https://govnokod.xyz/_26934
#60: https://govnokod.ru/26949 https://govnokod.xyz/_26949
#61: https://govnokod.ru/26980 https://govnokod.xyz/_26980
#62: https://govnokod.ru/26999 https://govnokod.xyz/_26999
#63: https://govnokod.ru/27004 https://govnokod.xyz/_27004
#64: https://govnokod.ru/27020 https://govnokod.xyz/_27020
#65: https://govnokod.ru/27027 https://govnokod.xyz/_27027
#66: https://govnokod.ru/27040 https://govnokod.xyz/_27040
#67: https://govnokod.ru/27049 https://govnokod.xyz/_27049
#68: https://govnokod.ru/27061 https://govnokod.xyz/_27061
#69: https://govnokod.ru/27071 https://govnokod.xyz/_27071
#70: https://govnokod.ru/27097 https://govnokod.xyz/_27097
#71: https://govnokod.ru/27115 https://govnokod.xyz/_27115
#72: https://govnokod.ru/27120 https://govnokod.xyz/_27120
#73: https://govnokod.ru/27136 https://govnokod.xyz/_27136
#74: https://govnokod.ru/27160 https://govnokod.xyz/_27160
#75: https://govnokod.ru/27166 https://govnokod.xyz/_27166
#76: https://govnokod.ru/27168 https://govnokod.xyz/_27168
#77: https://govnokod.ru/27186 https://govnokod.xyz/_27186
#78: https://govnokod.ru/27219 https://govnokod.xyz/_27219
#79: https://govnokod.ru/27254 https://govnokod.xyz/_27254
#80: https://govnokod.ru/27270 https://govnokod.xyz/_27270
#81: https://govnokod.ru/27280 https://govnokod.xyz/_27280

nepeKamHblu_nemyx, 06 Марта 2021

Комментарии (56)

C++ / Говнокод #27283

+1

1
2
3

int i = 42;
foo(i); //не компилируется
foo(static_cast<int>(i)); //компилируется

raMagPuJI, 05 Марта 2021

Комментарии (132)

Куча / Говнокод #27282

+1

1

Просто оффтоп #16

#1: https://govnokod.ru/20162 https://govnokod.xyz/_20162
#2: https://govnokod.ru/25329 https://govnokod.xyz/_25329
#3: https://govnokod.ru/25415 https://govnokod.xyz/_25415
#4: (vanished) https://govnokod.xyz/_25472
#5: https://govnokod.ru/25693 https://govnokod.xyz/_25693
#6: (vanished) https://govnokod.xyz/_26649
#7: https://govnokod.ru/26672 https://govnokod.xyz/_26672
#8: https://govnokod.ru/26924 https://govnokod.xyz/_26924
#9: https://govnokod.ru/27072 https://govnokod.xyz/_27072
#10: https://govnokod.ru/27086 https://govnokod.xyz/_27086
#11: https://govnokod.ru/27122 https://govnokod.xyz/_27122
#12: https://govnokod.ru/27153 https://govnokod.xyz/_27153
#13: https://govnokod.ru/27159 https://govnokod.xyz/_27159
#14: https://govnokod.ru/27200 https://govnokod.xyz/_27200
#15: https://govnokod.ru/27237 https://govnokod.xyz/_27237

nepeKamHblu_nemyx, 03 Марта 2021

Комментарии (191)

Куча / Говнокод #27281

+4

1
2
3

inkanus-gray
gost
syoma

Вернитесь.

OCETuHCKuu_nemyx, 03 Марта 2021

Комментарии (19)

Куча / Говнокод #27280

0

1

IT Оффтоп #81

#51: https://govnokod.ru/26809 https://govnokod.xyz/_26809
#52: https://govnokod.ru/26817 https://govnokod.xyz/_26817
#53: https://govnokod.ru/26833 https://govnokod.xyz/_26833
#54: https://govnokod.ru/26840 https://govnokod.xyz/_26840
#55: https://govnokod.ru/26844 https://govnokod.xyz/_26844
#56: https://govnokod.ru/26862 https://govnokod.xyz/_26862
#57: https://govnokod.ru/26890 https://govnokod.xyz/_26890
#58: https://govnokod.ru/26916 https://govnokod.xyz/_26916
#59: https://govnokod.ru/26934 https://govnokod.xyz/_26934
#60: https://govnokod.ru/26949 https://govnokod.xyz/_26949
#61: https://govnokod.ru/26980 https://govnokod.xyz/_26980
#62: https://govnokod.ru/26999 https://govnokod.xyz/_26999
#63: https://govnokod.ru/27004 https://govnokod.xyz/_27004
#64: https://govnokod.ru/27020 https://govnokod.xyz/_27020
#65: https://govnokod.ru/27027 https://govnokod.xyz/_27027
#66: https://govnokod.ru/27040 https://govnokod.xyz/_27040
#67: https://govnokod.ru/27049 https://govnokod.xyz/_27049
#68: https://govnokod.ru/27061 https://govnokod.xyz/_27061
#69: https://govnokod.ru/27071 https://govnokod.xyz/_27071
#70: https://govnokod.ru/27097 https://govnokod.xyz/_27097
#71: https://govnokod.ru/27115 https://govnokod.xyz/_27115
#72: https://govnokod.ru/27120 https://govnokod.xyz/_27120
#73: https://govnokod.ru/27136 https://govnokod.xyz/_27136
#74: https://govnokod.ru/27160 https://govnokod.xyz/_27160
#75: https://govnokod.ru/27166 https://govnokod.xyz/_27166
#76: https://govnokod.ru/27168 https://govnokod.xyz/_27168
#77: https://govnokod.ru/27186 https://govnokod.xyz/_27186
#78: https://govnokod.ru/27219 https://govnokod.xyz/_27219
#79: https://govnokod.ru/27254 https://govnokod.xyz/_27254
#80: https://govnokod.ru/27270 https://govnokod.xyz/_27270

nepeKamHblu_nemyx, 03 Марта 2021

Комментарии (404)

Куча / Говнокод #27279

0

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

-define(snk_int_match_arg(ARG),
        fun(__SnkArg) ->
            case __SnkArg of
              ARG -> true;
              _   -> false
            end
        end).

-define(snk_int_match_arg2(M1, M2, GUARD),
        fun(__SnkArg1, __SnkArg2) ->
            case __SnkArg1 of
              M1 ->
                case __SnkArg2 of
                  M2 -> (GUARD);
                  _  -> false
                end;
              _ -> false
            end
        end).


....

-spec maybe_delay(map()) -> ok.
maybe_delay(Event) ->
  [{_, Delays}] = ets:lookup(?DELAY_TAB, ?SINGLETON_KEY),
  [snabbkaffe_collector:block_until( fun(WU) -> ContP(Event, WU) end
                                   , infinity
                                   , infinity
                                   )
   || #delay{ continue_predicate = ContP
            , delay_predicate    = DelayP
            } <- Delays, DelayP(Event)],
  ok.

Наметушил.

CHayT, 02 Марта 2021

Комментарии (2)

PHP / Говнокод #27278

0

1

https://www.kp.ru/online/news/4203427/

Ко-ко-кой багор)

BJlaIIIHbIu_nemyx, 02 Марта 2021

Комментарии (0)

Python / Говнокод #27277

0

1
2
3
4

XRU = "XRU"
PITUH = "PITUH",
KUROCHKA = "KUROCHKA"
PETUH = PITUH.replace('I', 'E')

Traceback (most recent call last):
File "./prog.py", line 4, in <module>
AttributeError: 'tuple' object has no attribute 'replace'

3_dar, 02 Марта 2021

Комментарии (80)

Куча / Говнокод #27276

+2

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

(set-logic UF)
; https://smtlib.cs.uiowa.edu/logics.shtml
; UF for the extension allowing free sort and function symbols 

(set-option :produce-proofs true)

(declare-sort M_list)

(declare-fun m_node (M_list M_list) M_list)

; один хер какой порядок, можно переписать (a, b) на (b, a)
(assert
  (forall ( (a M_list) (b M_list) )
    (=
      (m_node a b)
      (m_node b a)
    )
  )
)

; если есть (a (b c)) то можно переписать на (с (a b))
(assert
  (forall ( (a M_list) (b M_list) (c M_list) )
    (=
      (m_node a (m_node b c) )
      (m_node c (m_node a b) )
    )
  )
)

; Можно создавать или удалять повторы, (a a) <=> a
(assert
  (forall ( (a M_list))
    (=
      (m_node a a)
      a
    )
  )
)


; Чтоб узнать, выводима ли такая-то хернь
(declare-fun m_node_select (M_list M_list) Bool)


(assert
  (forall ( (a M_list) (b M_list) )
    (m_node_select
      a (m_node a b)
    )
  )
)

; проверяем, можно ли сконструировать (a a) из (c ((b d) a))
(assert
  (not (forall ( (a M_list) (b M_list) (c M_list) (d M_list) )
    (m_node_select
      (m_node a a)
      (m_node c (m_node (m_node b d) a) )
    )
  ))
)


(check-sat)
(get-proof)

Вот вам немного гомоикон SMT-солвера. Эта вот хренотень сама доказывает, не то что какой-то там Coq.

Понятно что по тем вот говноправилам можно чтоб всплыло 'a' и потом его удвоить "(a a) <=> a"
потом через m_node_select вытащить этот дубликат

j123123, 01 Марта 2021

Комментарии (60)

Говнокод: по колено в коде.