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

    <tr>
        <th>Summary</th>
        <td>
            Dead Code Elimination Regression at -O3 (trunk vs. llvmorg-16.0.6)
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    ```c
static int a, b;
static int *f = &b;
void foo(void);
static void c();
static void d();
static void e() {
  if (b)
    foo();
  c();
}
static void c(unsigned g) {
  g = -17;
  for (; g >= 5; g = g + 9)
    d();
}
static void d() {
  --a;
  *f &= 0 == a;
}
int main() { e(); }
```

`clang-f36e909da037 (trunk) -O3` cannot eliminate the call to foo but `clang-llvmorg-16.0.6 -O3` can.

-----------------------------------------------------------------------

`clang-f36e909da03767c317eaa5ded9abbf3214299ff5 -O3 case.c -S -emit-llvm -o case.ll`
<details ><summary>Emitted IR</summary><p>

```ll
; ModuleID = 'case.c'
source_filename = "case.c"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@b = internal unnamed_addr global i32 0, align 4
@a = internal unnamed_addr global i32 0, align 4

; Function Attrs: nounwind uwtable
define dso_local i32 @main() local_unnamed_addr #0 {
  %1 = load i32, ptr @b, align 4, !tbaa !5
  %2 = icmp eq i32 %1, 0
  br i1 %2, label %5, label %3

3: ; preds = %0
  tail call void @foo() #2
  %4 = load i32, ptr @b, align 4, !tbaa !5
  br label %5

5: ; preds = %0, %3
  %6 = phi i32 [ %4, %3 ], [ 0, %0 ]
  %7 = load i32, ptr @a, align 4, !tbaa !5
 %8 = icmp eq i32 %7, 1
  %9 = zext i1 %8 to i32
  %10 = and i32 %6, %9
  %11 = add i32 %7, -2
  %12 = icmp eq i32 %11, 0
  %13 = zext i1 %12 to i32
  %14 = and i32 %10, %13
  store i32 %11, ptr @a, align 4, !tbaa !5
  store i32 %14, ptr @b, align 4, !tbaa !5
  ret i32 0
}

declare void @foo() local_unnamed_addr #1

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 18.0.0 (git@github.com:llvm/llvm-project.git f36e909da03767c317eaa5ded9abbf3214299ff5)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
```


</p></details>

-----------------------------------------------------------------------

`clang-af2ed9f794c422923414d162dd1f48d986e2d6e3 -O3 case.c -S -emit-llvm -o case.ll`
<details ><summary>Emitted IR</summary><p>

```ll
; ModuleID = 'case.c'
source_filename = "case.c"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@a = internal unnamed_addr global i32 0, align 4

; Function Attrs: nounwind uwtable
define dso_local i32 @main() local_unnamed_addr #0 {
  %1 = load i32, ptr @a, align 4, !tbaa !5
  %2 = add i32 %1, -2
  store i32 %2, ptr @a, align 4, !tbaa !5
  ret i32 0
}

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 16.0.6 (git@github.com:llvm/llvm-project.git 7cbf1a2591520c2491aa35339f227775f4d3adf6)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
```


</p></details>

-----------------------------------------------------------------------

Bisects to b9808e5660f5fe9e7414c0c0b93acd899235471c
Committed by: @nikic

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWN2P4ygS_2vIC3IEBf56yEMn6Ugj3elO2_fewgY77Ng4h3F3Zv_6E_5I7CQ9O3N3q12NJopsDPXxq6IKCkTb6tIotUHhFoX7lejcsbGblzdlfhUv-VFZq-wqa-SXDYrI8M8R2SPy1DrhdI61cVgg2OEMse3dCIKnAiO2xwiiK8FboyUumgZB4psI0lveniJHkHw0Jr8ypoYxjOJxEGNdYARJ5jnGHjwCmAvBdypRvH-MqzO94yQubzSVvbkBjWdSi8Z69Yht--FnTxFOX3v_hC1OF-Bu7XsIRN4bGgRipnhwP0ReC_G6fEPcC_VTVQttrvImJ3qUF7JLCIyfU2deCVMGBYtUSlIpCIu9uc525rMXF_yDoYjgXBjTOKwqXWsjnMLuqHAuqgq7xk8GzjqHL9Kq6q1ubBnQaE3W0UzGeq48-P_8fteeKM4ZjZUQoVQyFVlWMKAc0rQoQo8N56JV6xwHLzhQtXY9fBw0Q39VXX3GdlI5oat2CIRd29W1sF8Qe36utXNK4k-_ILZDcLiOILY7-dcS5fCvqknwFv-9kV2lPu3HjIsHUAjiMXSazubqtdCVMqJWIxVMVDBQOWFL5bAUTlTiS-PnZKBTQY3YkwpOEBPEnhj0D_9Jl5--FfH-EeipUSSeiUISmMQ3ookn4sEL9bG21O-sPlUXjOckeo140JnPpnk3QaVNdw5K0124xicnWc-ijVPWiAp3xpsqX4WUFpdVk4kKawaY-CVLVLo0mF94xX_Ne5mCQ2dypxuDn5yzLWJP2DSdeddG4u7diaxSA61UhTYKy7Z5rZp8FIw4mWVh3_-6AIGAkXm2Iwhpj7lqhPQiPLKTs15SNkcJO4yAukwI_w5n_DDYnNcnrP49oICQegYyUWUWa9rT-u5KZKryX-Hii809wbzh3h0nq2Q7TmJ4Eejjf8j8fhlDnFzWYm8izODx_8W8zM7RzvCFH-Dr5Uym9PqjfvB01INrwm0PaiLEKNz37XCLJ27Sd14lxB9ZIH7fAgRh8mh-Yk9PZ0rSnuo3dXbjVCV-UdULV9J-B8DCyElMNEJO51RDQAkpF8qChaTHQbOMGt_DbmFReICL3-Kiky_pZSpa11i11PTtbrzh5t8ZRla5Me-Xu-aUyXklrHoQyo8TmM6ZhXNWZ51T7ZjbPhLj7d2i4dfAWpugUqWogjeVu8YG71q6o18B2R4BEATePDBN4Kw4nbQpg1rMCJzt1EjTOpF_Dk62cYOkrCsKZYNW_6Yu5MlIO6zHQX7qLkPnJAoivhwvlHCdVe2FCME2r5s3BDvfOidDozi3dmjV9XlotK26NGBonZN4kt4ZtdBdKqOszvvhaSKWXqQXL_70BjC4j6mbAEZAfbWyrvvqYV1UopyWROr3GpjScUg7BBTGN7tKGmVoqYxbMvN7dWRG4RNrkosA3vOjsK-T62HXJx6f66E3zMmV-Z-fdvhv6k1VM16Y88INbzznff46L_uYd9rZP-DkS4f4kssXmPhN2daXCjRZkzXxJXOpHeKk1O7YZeu88fWWdyuCg3_5EP1V5W5daoe_tTr1NTws4IRLOOMmMLx1xDGZE0d32LVxo6EIaPyQKb5jamqjT43zweEn-CogeSgguRPwomtfDvq62KeEPzD9a_v0tDDt4elkqroRHE5DKY3gMJbgNzX1H3mYEAUomRZxynMOkALjlEsagZS04IlMk0iBjBT7eZj4Kx0mfqgDwbcUSpcDwaz-o8v6b1FLfa_8r5dSP3g19Ifu-j_38r_GXj5cV33fXh7nWUEFhCkNgeTAUyoECxlLC4A4jsOCSyZkEf3cy__MvXyrW5W71h9gszQhiQqjiBRhoVIVc8pzkpMsZSKXSZoCC3lMx5vyXVOPu3H2pb944MToz3ocXckNkylLxUptaJTShMWU09VxwzKapcCLiIaCxzRKRVwolgOXcZEXabrSGyDASEKBEh5yumZRXsREcqJkIhijiBNVC12t-3xubLnSbdupTcQjDqv-aqTtb_4BjHrH_aCfhXC_sps-SrOubBEnlW5de5XitKvUZq-ExLtGKvw8Xun6BPhFlVa1fS4I11cz01UwfmvXeHmtiyBddbbaHJ07-b0RwQHBYZYzQ7Lc5AyCQw-1RXDoTflPAAAA__-b2HIy">