<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/59057>59057</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Question about how to use the store IR instruction to obtain the blockaddress
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          zevorn
      </td>
    </tr>
</table>

<pre>
     I am writing to enquire about a question.
When I read the IR language generated by a piece of C programs, I found that in C programs, the behavior of getting tag addresses is handled by a store directive after it is translated into IR.

However, I read the official documents. Here's how Blockaddress works:


> blockaddress(@function, %block)
>    The 'blockaddress' constant computes the address of the specified basic block in the specified function, and always has an i8* type. Taking the address of the entry block is illegal.

>    This value only has defined behavior when used as an operand to the '[indirectbr](file:///D:/opensourse/llvm-3.0.src/docs/LangRef.html#i_indirectbr)' instruction, or for comparisons against null. Pointer equality tests between labels addresses results in undefined behavior — though, again, comparison against null is ok, and no label is equal to the null pointer. This may be passed around as an opaque pointer sized value as long as the bits are not inspected. This allows ptrtoint and arithmetic to be performed on these values so long as the original value is reconstituted before the indirectbr instruction.

>    Finally, some targets may provide defined semantics when using the value as the operand to an inline assembly, but that is target specific.

So I want to figure out how stores construct blockaddress in the IR program by storing them in%5.
    What should I do if I want to use C++ to construct this store directive to get Addresses of Basic Blocks?
    
    I made some attempts, such as constructing an indirectbr:
    

   The IR program generated is as follows:
    

    After my test, it can be executed correctly. Therefore, I want to know how to construct a similar store IR to store the address of the basic block in the array.
    
    That's my question. Look forward to your reply.Thanks!
    Best Regards, 
    zevorn.









</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy9VsuSozYU_Rq8UUEB5mEWXnTPTNd01SySzlRlmRIgsNICeSTRjufrc64APzq9yCbpcmOwHvfonnPPpdbtec-eGR_YyUgnx545zcT4Y5JGMF7ryTHOfkzCOqnHKIg_B_HD7wcxYo0RvGXuINjzC1N87CfeC9aLURjuRMvqM1YepWgE0x37xI5G94YPNkg_YXGnp5FWc8fk-G6U9qzFgb9JbWhtL9yMjPeMt60R1grLpGUHPrZqDWWdBuQWuBsn3wC-c8Iw6WiiM3y0ysOSIw74_LIcJUiTIH-UA6AH-ecg3R2cO9pgi4EnfCYrTOhHbdRLd5hq-qXRoxOjixo9YE6RbtM8zQrcpnFaxEWSF2FZil1TlEWYVFUdZk3ThFVcVGHSFNm24knWFHF0HPsgrRYg_vpVn8SbMHOKLvnVXScbyRVrdTMNiGwj9lUYEaQlcqBP7FHp5nXJDDtp8-pPcLPvct1-YfXNVBw3yOJuGhsil4IGae4nXGFhCf6-AwWi3S8uGRJhHR8dbobj5EAKwV2BgDl6tEfRyE4STdzKZkZApN8P3sIArYyrEz8TxRaPTO6C9IG581FE7Dt_9Wr4ZyikxpzXAFCIUqLnKnqfA38gjL9xNSG7ozr7MK3o5EgwV-mdSOcgHGA8CH2EtEm12kdDBkg74yy52swC6qQSF_3g83l-wNrR6slYsPak1NsQbqM4sqbBI2hFOp--oYZeRBcd3KCCdCv_uNkafCDfEuk20yVNgNjhn5LPjbQgg_Ge0yQ2TkpF7BcNtaMIxI-JK-nODBQ5iwO6k8DRFK-Fsjclha9JYQLIQXW-T0fwJQ12cVBlOL2e-oNniuLRzRXEHQaiQb-unI56jkm_ekxrKv3U44w2mskZOJgU7MitJ8B4v1h54HCkdT6z8idmzGRigtIQB5-lWEuchsMWRk0-Q2qDBywRuFL6ZNnRGUc7zaqDCR4G4aBTQKP4wiDHAwJor1gr5kiWWX0XShvZyxFHmoFIyqavD-kmb4eiI3-iqVdebxn9SKZPtKM6U_6sHrCaG5jhnBw45ptsxUW2VgwoRdnYVbdrkVwy42FeNUxlNSqsZZTjoZ7j1HD82ZbtEm4t0uYO4W9wUXai4sdWnewnHI66BfmRt2I72wOd7s511tJH11hMn_ybliyAB0aSyvMlHOXhdwJkoTrVImqrmexuoqNE2acgfcSHHq9hHdH8vi9gBh3q4aJ6mMejdyZvo7DOp2vg690zko5sexq4c2I4Ot-s7NQcKLmXqHQKn9pL8a5efN3wv2g7210ZbuM4Ec0OfSbfxmGWZ2W4K_I47Mp0W9f5Nmv5R21ncfgbRq5tnArFwmd8sfxPR8nSOExEvm13eRt2bboLs7jOwqqrmjCryrjmpYjFhx2UgD34zj_Mdkcc4SWgASUoZ_GXaHw5NtoQO-pMZoBeSsU5t91VVa8jlExqvpMU3jPkIBU3i66QM4zP9x90pA9aHjeGn6OPJPYdKvc9HdAvr1zsm9av5PMnbnzZntFF4C1HQMeCEYIFA5c9HrGMvaDtmdbL8zryU7xp885l_vV1I_ZJUezKLE6KfNPut22F15gNzE2J_a8L1uV9cckZVaVv8WuebryOxnXt-JKSW3vYTEbt7zU062YRC_XOtYVCrX-CRDxKawECN3kV5-XmsG-6tkpEmibbOEmapOzKtu7ivEt4UqVxlWzm5reHdiHbjdxDeWmSJLs4zYs4j-qqTOImS7q0jXdxm-FFCf4qVUSBI236jdl7DPXUWwwqic56HYSjyn4UYt2fT-iZZj9zsPFo9x7q3-5Hxr4">