Re: Missed compiler optimization issue in function select_rtable_names_for_explain

Поиск
Список
Период
Сортировка
От XChy
Тема Re: Missed compiler optimization issue in function select_rtable_names_for_explain
Дата
Msg-id OS0P286MB01631DCDCB5E5BAE8CB2AFE682EB2@OS0P286MB0163.JPNP286.PROD.OUTLOOK.COM
обсуждение исходный текст
Ответ на Re: Missed compiler optimization issue in function select_rtable_names_for_explain  (Daniel Gustafsson <daniel@yesql.se>)
Список pgsql-general


在 2024/5/22 18:55, Daniel Gustafsson 写道:
I mean that the stores with value "0" after the memset are dead:
```     dpns.subplans = NIL;    dpns.ctes = NIL;    dpns.appendrels = NULL;
```
since the memset has written zeroes to the object "dpns", and these members are known to be zero.
They are known to be zero, but that's not entirely equivalent though is it?
NIL is defined as ((List *) NULL) and NULL is typically defined as ((void *)
0), so sizeof(0) would be the size of an int and sizeof(NULL) would be the size
of a void pointer.

The type or size doesn't matter here. At IR or assembly level, they are all zeroes. 

My main point is that "dpns.xxx" are filled with zeroes by the memset firstly, and overwriting them with zeroes in the following stores is redundant. LLVM cannot remove the redundant overwrites due to the initialization order. If we adjust the order of the initialization of "dpns.xxx", the compiler can remove such stores.

Does my explanation make sense to you?

Best regards, Hongyu.

В списке pgsql-general по дате отправления:

Предыдущее
От: Alvaro Herrera
Дата:
Сообщение: Re: Missed compiler optimization issue in function select_rtable_names_for_explain
Следующее
От: Greg Sabino Mullane
Дата:
Сообщение: Re: Finding "most recent" using daterange