[llvm-bugs] [Bug 143293] Early-cse is not idempotent

[LLVM Bugs via llvm-bugs]

Issue	143293
Summary	Early-cse is not idempotent
Labels	new issue
Assignees
Reporter	NewSigma

    Hi. I noticed `early-cse` is not idempotent. Is this behavior intended or a missed optimization?

Reproducer:
```LLVM
; Failed:
; RUN: opt < %s -passes=early-cse -S | FileCheck %s

; Success:
; RUN: opt < %s -passes='early-cse,early-cse' -S | FileCheck %s

; CHECK-LABEL: @foo(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    ret void

define void @foo() {
entry:
  %a = alloca i64
  call void @llvm.lifetime.start(i64 64, ptr %a)
  ret void
}
```

_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs