<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/64679>64679</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 b;
static short c = 5, e;
static char ah, am, f;
void foo(void);
void bar155_(void);
void bar149_(void);
static short(a)(short g, short i) { return g + i; }
static short(d)(short g, short i) { return g - i; }
static void ab() { b = 2905239065; }
static void h(int g) {
  int ar = g;
  ab();
  am = 0;
  for (; am > -7; am = d(am, 6)) {
 if (ar)
      bar155_();
    if (ar < a(g, 0 > b))
      ;
 else
      continue;
    e = 61690;
    c = ah;
    ar = e;
 }
  if (!ar)
    bar149_();
}
int main() {
  f = b;
 h(f);
  if (c)
    foo();
}
```

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

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

`clang-87a8e22475364b79d43515159de1b7947554d868 -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 i1 false, align 4
@c = internal unnamed_addr global i1 false, align 2
@am = internal unnamed_addr global i8 0, align 1

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

3: ; preds = %22, %0
  %4 = phi i8 [ %24, %22 ], [ 0, %0 ]
  %5 = phi i32 [ -3846, %22 ], [ %2, %0 ]
  %6 = icmp eq i32 %5, 0
  %7 = sub nsw i32 %5, %2
  br i1 %6, label %10, label %8

8: ; preds = %3
  %9 = icmp slt i32 %7, 1
  br label %17

10:                                               ; preds = %3
  %11 = icmp slt i32 %7, 1
  br i1 %11, label %22, label %12

12:                                               ; preds = %10, %12
  %13 = phi i8 [ %14, %12 ], [ %4, %10 ]
  %14 = add nsw i8 %13, -6
  %15 = icmp ult i8 %13, -122
  br i1 %15, label %12, label %16, !llvm.loop !8

16:                                               ; preds = %12
  store i8 %14, ptr @am, align 1, !tbaa !5
  tail call void @bar149_() #2
  br label %26

17: ; preds = %8, %19
  tail call void @bar155_() #2
  %18 = load i8, ptr @am, align 1, !tbaa !5
  br i1 %9, label %22, label %19

19:                                               ; preds = %17
  %20 = add i8 %18, -6
  store i8 %20, ptr @am, align 1, !tbaa !5
  %21 = icmp ult i8 %18, -122
  br i1 %21, label %17, label %26, !llvm.loop !8

22:                                               ; preds = %17, %10
  %23 = phi i8 [ %4, %10 ], [ %18, %17 ]
  store i1 true, ptr @c, align 2
  %24 = add i8 %23, -6
  store i8 %24, ptr @am, align 1, !tbaa !5
  %25 = icmp ult i8 %23, -122
  br i1 %25, label %3, label %29, !llvm.loop !8

26: ; preds = %19, %16
  %27 = load i1, ptr @c, align 2
  br i1 %27, label %29, label %28

28: ; preds = %26
  tail call void @foo() #2
  br label %29

29: ; preds = %22, %28, %26
  ret i32 0
}

declare void @foo() local_unnamed_addr #1

declare void @bar155_() local_unnamed_addr #1

declare void @bar149_() 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 87a8e22475364b79d43515159de1b7947554d868)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = distinct !{!8, !9}
!9 = !{!"llvm.loop.mustprogress"}
```


</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"

@b = internal unnamed_addr global i1 false, align 4
@c = internal unnamed_addr global i1 false, align 2
@am = internal unnamed_addr global i8 0, align 1

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

2:                                                ; preds = %0
 tail call void @bar155_() #2
  %3 = load i8, ptr @am, align 1, !tbaa !5
  br label %4

4: ; preds = %2, %0
  %5 = phi i8 [ %3, %2 ], [ 0, %0 ]
  store i1 true, ptr @c, align 2
  %6 = add i8 %5, -6
  store i8 %6, ptr @am, align 1, !tbaa !5
  %7 = icmp ult i8 %5, -122
  br i1 %7, label %8, label %13

8:                                                ; preds = %4, %8
  %9 = phi i8 [ %11, %8 ], [ %6, %4 ]
  tail call void @bar155_() #2
  %10 = load i8, ptr @am, align 1, !tbaa !5
  store i1 true, ptr @c, align 2
  %11 = add i8 %10, -6
  store i8 %11, ptr @am, align 1, !tbaa !5
  %12 = icmp ult i8 %10, -122
  br i1 %12, label %8, label %13, !llvm.loop !8

13:                                               ; preds = %8, %4
  ret i32 0
}

declare void @bar155_() 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"="+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"="+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 16.0.6 (git@github.com:llvm/llvm-project.git 7cbf1a2591520c2491aa35339f227775f4d3adf6)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = distinct !{!8, !9, !10}
!9 = !{!"llvm.loop.mustprogress"}
!10 = !{!"llvm.loop.peeled.count", i32 1}
```


</p></details>

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

Bisects to 0d95b20b63d7acc459dc0b2a7b2e4f9924c0adce
Committed by: @xortator

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsOllv4zjSv4Z5IWSIRep6yEPsdIABvg-7mN73gBIpmzM6vBSVpPfXL0jdtuy0k15gMZsgsCmyLtalqoJ506h9JeU9CrYoeLzjrTnU-v77i6z-4N-zg9Ra6ru0Fj_uUeh3_xnyH5H_0BhuVIZVZXCK6Hax2RxqbXCGEX3EAYIdlqcQ2YFrzA_2jJf2Mx8hXmolcF7XCGK7RJAsj1KuSRA8XztmydrxXDgEMbdnEHey7q0M3VIhSDCKtlhL0-oK7zGCLVaIbjGKHldJiZ8m5a0TcpLzFEE8YKROeZD4AdDED4OLWAcEsTXCvsfsILAzDNeOyn5UAR6ZzLdKB-XPtvJaYwtHt93pN-xF48MjFlZ9zmyhu_mcscotJtf2oKdm_yarLZnjEQEjusMcQewU6DuuaUd-TmjClUUj5ydZXRlVtXJBXTqBQxIm_mK_c05-WGz2-ppRGFU-yImAnNxtcrj5zUZEa4eSq2qy7ahkx2wKHmfKfKmejmm2YNjFxiqzMUj7x2EzK3i19-KIxxKARQENLVmj2-pPK5T3N4pCH2e8qmqDZaFKVXEjsTlInPGiwKa2XHHaGjxSK4qXstZ7j4QbfxPOaGzmzL1f8_fufVgaJYLRgAQkSIQkaZSwKAiYiMPYyoYz3shNhr3v2JOlMk587NXdflFMOqM7IQ1XRWM9ENFd05Yl1z8Q_fatVMZIgX_7HdEdgqfpBNHd0X4tpez-i2IgvMX_X4u2kL89OssjiDqhEER9XNetzuRzrgpZ8VL2UDBAQQdluN5LgwU3vOA_amuTDk56JaIP0jtC5CP6QMF92EeyfLSrkLkPTw2LPLZIBGKviu0iHHBC5n0n1uGW_I1Wx2KU8S0On0PmtdWfVf1aeYWq2jdvX7UjVv_J_C6zqcpIXfECt5W9qnjmQmi8L-qUF1gRnHMb3fb1UKh9hdmInn0EHUb0PoNdx4-xP-GShfx0i5_aKjOqrvCDMbpB9AFXdVu9qkrg9tXwtOizkpC5qiQWTf1c1JmlSwEj5s-ygdt_XsiAgPrzLIEgIE7kouYCK2IFOxptCaVn-nHg4MAbWcjMWF1YChbSsodgWPkDRmNqLS2c0a18h3oP2-unB-zeBIOyYIcREJNybr-DATPVuOCpLKw0dK5RahVo1XrUUjS9OwUAHaHAn12MudPjQVkJULB1gKwHBMAoeHQPwbaTz6K7zYlEMJGwxgi22KMxC1dp2I0LZMLOibLyiOU_O1IQONXO5Y06Q7QprprXBZQjPWmmM5KTYlQS8ReP8Vxn8arO6Ix1MgnYFGbgHVmSZM0kJJrTJzYT4Nv-ropDyM_J03srWVy984VJ1EVCIfALRCWDuxCYC01X_I2wEfTEV8aDU2chnd9yITo_iDviFtwL53DBpKTWKmkOSODcYUhwqpjFY-_VxL7pNkVdH-3Dwo9cjv-08uAsO4x6uiVD2HduV224utZmoHllZRMjrLkuhIsrRauxEQ_GSa6zG0vUBTuLGM-ScPyB7NeZLLnq2cniJsmvME40fzH4oyP2RoqXTjg3INyc4i0SWXXh-KILwzLUSbTUz_suDL8k_qMxdueXWYv_kyifwp-MLhbN4__S2zU7K046nuzERECvmOjmGLNIq1kGLmcZWGYZurRQ8r6FwtWIJMmgr3kOhOhCrbOmr0nEaEWo6XEpzvrLE8LLiWFsuC7noEXkQnK9poHBVSamWpp5VTY1dH0lmRVcyxWB1gtIcg15meY-SGBKyz9BgBujVdoa2fTVrdVHtD0rm20fUarKK-SeF96LzEytvVclzMF2EfQRgU1KtnKAqvaM5sejqvZeyWcAXZg5mMbw7E_vqGvTUUrbPJfaa9S_5Age97BdT-Nlx3Y8eotDL2TL81xy02rZjEAItllZvyDY2dVb3C3yt0Z3q7J86xaNa0e6BXSrtzgaqLeVXPDey0pqlbnjwRWWWiSjFr-0ARTOfeokhIYUVboOfJMXfD8EJrHdFgw1IBmSZx-thE6UehpKyMoskdk5O38GYUN7oIsAXrMD18-D6vuGjM35kBPkeEL--287_H_yRRYzXJjjwgluNMf9dh2XXsYdetsLmGypEATghjT4RerGNssk3vgbHyOI98og5u-VObTpJqtLRB-sWhE82S_ron_IzGz2yuCfnfC4MeFCnGApzlBIuG8VMuzPgcMz2euyUsfaWDtbW6Ehd3eVwhmB6IzAd1UeC4l3CJ6sdyPY4n9sHx5OpOyKSqEao6rMTAQGcydz4OSMyfjS3ZRtY4663mvZNAseqwPBYdCF4OnYTa8QPPVTr5Mx1n9yfsdzkCLJo4RlDCAByggTJAQhSM5ikcShBBFK-jW_-5rf_a_M726Yxn1qGDebC05V7OKJLUra27us8wJ4aK5ubL3pJzvv9Rux9Rp9ZewYrLSBdKjg3x063tgAhif9X3C5_Qs_0P1Fa81fcLH3i05mkItenZ6NJD_rIENzHZ9NMk-GcGQAPGnCh0Eum1vg1kmP_xl_u9HcfaE3G8n4lw1OyAcs3peDpyMZ__JUEa4b_d2hIv0FE5mhQ2Yfa5Bv7nH_4i3qV2P61Y5-taOLdrT71cJt7WiUpTnhECQkAD8DlhDOaUBpkgNEURTkTFAu8vCv2472Pul_ui-1RK7gHaUspNhkdVuZmYnJf3Vju1WNzEyDTY19kQQp-GlIRcSzjAWJyPwUeJSCZHmSAMt8LrK-09jVZd-apj9cWcr8t1obbmrdAdyJeyoSmvA7eU_CBHwSkiC-O9wHYUCZzHMpAkaDLAtSklPmQxjHuYwpu1P34AP1Y8IIQELCTRJDHmQiSakv4jgCxHxZclVsnPJrvb9TTdPK-5CFUXLnXvyN-3kgQCVfsTu0Fgke7_S9i5C03TeI-YVqTDNRMcoU8v5RcoF3tZD4W_-rIht8v0vnEHbJjevuh18j4Zdmg5e_LEKQ3LW6uD8Yc7TdGoInBE-zeO0C9SReETw5URsET-4q_w4AAP__PGp0PQ">