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

    <tr>
        <th>Summary</th>
        <td>
            [GlobalISel] [AArch64] Passthrough `i1` stack arguments are unecessarily loaded and stored in tail calls
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            backend:AArch64,
            llvm:globalisel
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          guy-david
      </td>
    </tr>
</table>

<pre>
    As a continuation to https://github.com/llvm/llvm-project/pull/126735, `i1` stack arguments are truncated twice during lowering, making it difficult to analyze whether they remain the same for tail calls.

With the above patch and for the following IR with two stack arguments `%i` and `%j`:
```llvm
declare void @func_i1(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, i32 %h, i32 %i, i1 %j)

define void @wrapper_func_i1(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, i32 %h, i32 %i, i1 %j) {
  tail call void @func_i1(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, i32 %h, i32 %i, i1 %j)
  ret void
}
```

The resulting MIR is:
```llvm
Frame Objects:
  fi#-4: size=1, align=8, fixed, at location [SP+8]
  fi#-3: size=4, align=16, fixed, at location [SP]
  fi#-2: size=1, align=8, fixed, at location [SP+8]
  fi#-1: size=4, align=16, fixed, at location [SP]
Function Live Ins: $w0, $w1, $w2, $w3, $w4, $w5, $w6, $w7

bb.0:
  successors: %bb.1(0x80000000); %bb.1(100.00%)
  liveins: $w0, $w1, $w2, $w3, $w4, $w5, $w6, $w7
  %0:_(s32) = COPY $w0
  %1:_(s32) = COPY $w1
  %2:_(s32) = COPY $w2
  %3:_(s32) = COPY $w3
  %4:_(s32) = COPY $w4
  %5:_(s32) = COPY $w5
  %6:_(s32) = COPY $w6
  %7:_(s32) = COPY $w7
 %11:_(p0) = G_FRAME_INDEX %fixed-stack.3
  %8:_(s32) = G_LOAD %11:_(p0) :: (invariant load (s32) from %fixed-stack.3, align 16)
  %13:_(p0) = G_FRAME_INDEX %fixed-stack.2
  %12:_(s32) = G_LOAD %13:_(p0) :: (invariant load (s8) from %fixed-stack.2, align 8)
  %10:_(s8) = G_TRUNC %12:_(s32)
 %14:_(s8) = G_ASSERT_ZEXT %10:_, 1
  %9:_(s1) = G_TRUNC %14:_(s8)

bb.1 (%ir-block.0):
; predecessors: %bb.0

  %15:_(s8) = G_ZEXT %9:_(s1)
 %16:_(p0) = G_FRAME_INDEX %fixed-stack.1
  %17:_(p0) = G_FRAME_INDEX %fixed-stack.0
  G_STORE %15:_(s8), %17:_(p0) :: (store (s8) into %fixed-stack.0, align 8)
  $w0 = COPY %0:_(s32)
  $w1 = COPY %1:_(s32)
 $w2 = COPY %2:_(s32)
  $w3 = COPY %3:_(s32)
  $w4 = COPY %4:_(s32)
  $w5 = COPY %5:_(s32)
  $w6 = COPY %6:_(s32)
  $w7 = COPY %7:_(s32)
  TCRETURNdi @func_i1, 0, <regmask $fp $lr $wzr $wzr_hi $xzr $b8 $b9 $b10 $b11 $b12 $b13 $b14 $b15 $d8 $d9 $d10 $d11 $d12 $d13 $d14 $d15 $h8 $h9 $h10 $h11 $h12 $h13 $h14 $h15 $s8 $s9 $s10 $s11 and 92 more...>, implicit $sp, implicit $w0, implicit $w1, implicit $w2, implicit $w3, implicit $w4, implicit $w5, implicit $w6, implicit $w7
```

`i1`'s have special lowering and the chain of instructions `store zext truncate assert_zext truncate load` isn't trivial to analyze at `assignValueToAddress`. We can either simplify the handling of `i1` to look more like SDAG or incorporate a KnownBits analysis, which is quite an overkill but should do the trick. However, KnownBits will require us to distinguish between `i1` and `i8` arguments, and I don't see an easy way to do so.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzMWN9v47gR_mvol0EMifrpBz8ocZwGvdtdJLnetS8GJVIWz7ToIylrs399QTKy5ZXrYtEDeouFOaa_b_hxZkhpQrTm25axJUruUbKakc40Ui233fsdJUdOZ6Wk78tCA4FKtoa3HTFctmAkNMYcNIoKhNcIr7fcNF05r-Qe4bUQx2G4Oyj5O6sMwutDJwTC6xCnWZQg_AAoDXiI0gC0IdUOiNp2e9YaDUQxMKprK2IYBdPzigHtFG-3IGTPrGH5e7KzU9wA5XXNq04YK4y0RLx_Y9A3zDRMgWnYOyi2J7y1NmiyZ1BLBYZwARURQs9RUKCg-JWbxkFIKY8MDsRUDZCWenRjWULI3i76_AK9Q_dyIh-lAcIJtzuzZP_1dztEdhVruP8uTEFBWSXsjo-SU0BxUHdtteEhwjmPMCCcELvZD7sc2dXIpiObjex6ZG9HdjOyubNDcCrxwseCspq3Z1G9IocDU5v_tzhA2T0KCjgn768UNwDFjBNkg5itxtn2YX1rGCimO2FsFf38_AJcXy-LtbJ1-rm0p-cDAlBzhKO7GEUFaP6NoWgVWhFE8G2LolVuv9T8K3PbIgaErPyBRcn96xeE73OUrEaeopGneOwpTP-Lqws3-E8TFP5vgtZdW7m5n_iRwXNrAwcIx33gLhwc9-Fg4MGIBiMejGQw0sHIfPbKch4MqdBdVTGtpfpYIynLuS2-4Gse-H-2JqL70U9hEMztdDJUi-BHxv9UkWCXsxo3COc6wu7IRCt4-Pzlnx9rfIDCG6BwAOEbIDyAohugaADFN0DxAEpugJIBlN4ApQMouwFycbIRGEJwCAbM02b9Uvz8uHn-tHr8zd0DtuDu3A0_P-0lnzp_2vz0uVhd9Vr49Oa8PRLFSWsrl1A482sl99O1htoHW_mLU9aiH9N8SlJ4JZUj0d-7vSE6_0-a8VlzPpZ8Ksf8vPDbyy-fHq7oGlITX-EUr6-PL2-bfz3-9jb2-wCncl0MrPDaShc-Twfa3t-5vc3VXSlktZv7c-uu5OgeDopRNjnoH7e5319yResg8kLRsLn0x3J42l6Y_RjRn_Wnzevb55fHqVR_b0y9DrnXRip2TjlvjZyucC3lcR-MT9x399EJFF6Awit1EPf4AjOtFX_JXICi66D4AhRfByUXoOQ6KL0ApddB2QUom4LeHl4e3355-UT5xcvLA_inQPSg2HZP9M56qw_2Uyjn-dswbBpura9-oszd58J9hoEfQj9gP0R-iP2Q2IE6FnUs6lnUs6hnUc-inkU9q3GsxrEaz2o8q_GsxrMaz2o8SzuWdiztWToM3TvyAsNeKjafz1H06F6r9gfBK24c6PD9jH9SXsyEkxk8mYkmM_FkJpnMpJOZbPpeN_QyCGcaGnJkoA-s4kScOha3T9tEVI3tRGQNvNVGde59xTUN_rx9Y1_NqfsBojVTZnM5aa9i211w3SKc2R_40S41an6IsR59e_cPIjr2JgtKFdMapcEcfmVQkRYYdx2Sdrur3528hrRUWL2yPndoRoKQcueSBILvGLyuiieQCnhbSXWQyomFv7eyb--57eGsEM21DV7f8KoBruGPjltYC_LI1I4LAWVnQDeyExSodOsbxavdHP4me3ZkytLPTntLUeyPjisGnbayKNf2VbrjuoGSmZ6x9iz7o_3iufsyNGjuzmopPAOVPoCaOVWM6HfoybvzK0HL-YwuI7qIFmTGlmEWL4J0EWXJrFkGuEoZzmjISBXGSZ0tsjRYpLgM8jCkUTrjSxzgJEiDGAdRGiZznOU4rdO0Smmd59ECxYHtScXcvu_PpdrOuNYdW4YxzuNsJkjJhHZ9OcYlqXaspSgqikJVTRojbKsbYeyahajYClkSwTUT9pdkNVNL132X3VajOBBcG31eyHAjXMv_5GjPr0ygZGXfowf3yQq-EK1No2S3bW536l3rno9EcfHuSpNRF15XzhRs131qtGedEssf_suBC4xGeP0Rm-MS_zsAAP__OXOUPA">