; REQUIRES: asserts
; RUN: opt -S -debug-counter=early-cse=1 -passes=early-cse -earlycse-debug-hash < %s 2>&1 | FileCheck %s
;; Test that, with debug counters on, we only optimize the second CSE opportunity.
define i32 @test(i32 %a, i32 %b) {
; CHECK-LABEL: @test(
; CHECK-NEXT: bb:
; CHECK-NEXT: %add1 = add i32 %a, %b
; CHECK-NEXT: %add2 = add i32 %a, %b
; CHECK-NEXT: %add4 = add i32 %a, %b
; CHECK-NEXT: %ret1 = add i32 %add1, %add2
; CHECK-NEXT: %ret2 = add i32 %add1, %add4
; CHECK-NEXT: %ret = add i32 %ret1, %ret2
; CHECK-NEXT: ret i32 %ret
;
bb:
%add1 = add i32 %a, %b
%add2 = add i32 %a, %b
%add3 = add i32 %a, %b
%add4 = add i32 %a, %b
%ret1 = add i32 %add1, %add2
%ret2 = add i32 %add3, %add4
%ret = add i32 %ret1, %ret2
ret i32 %ret
}