Cgeist outputs something strange about polygeist

[wsmoses]

Yeah that's normal, that's the datalayout information for the machine that compiled the code.

[wsmoses]

For sake of understanding, what about the output is weird?

[hm123450]

For sake of understanding, what about the output is weird?

The strange output refers to a sequence of ‘#dlti.dl…’. Is this normal?

[hm123450]

Yeah that's normal, that's the datalayout information for the machine that compiled the code.

Thank you very much!!! One more question, I would like to ask if the series of 'dlti.dl' can be removed. In other words, if I manually delete this part of the generated 'dlti', will it affect something? In a recent project, I am attempting to match and rewrite the mlir produced by Polygeist, but it seems that the matching tool cannot recognize the 'dlti.dl...' entries.

[wsmoses]

It lets whatever generates the assembly know what the default index integer/pointer type width is as well as potentially what processor instructions exist for vectorization. It should be removable, but you may lose native code performance if turning it to an executable

[hm123450]

它让生成程序集的任何内容知道默认索引整数/指针类型宽度是什么，以及可能存在哪些用于矢量化的处理器指令。它应该是可移动的，但如果将其转换为可执行文件，则可能会失去本机代码性能

Okk, I understand, thank you very very much！Your response is very helpful.