reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15

; RUN: opt < %s -nary-reassociate -S | FileCheck %s
; RUN: opt < %s -passes='nary-reassociate' -S | FileCheck %s

define i32 @foo(i32 %tmp4) {
; CHECK-LABEL: @foo(
entry:
  %tmp5 = add i32 %tmp4, 8
  %tmp13 = add i32 %tmp4, -128  ; deleted
  %tmp14 = add i32 %tmp13, 8    ; => %tmp5 + -128
  %tmp21 = add i32 119, %tmp4
  ; do not rewrite %tmp23 against %tmp13 because %tmp13 is already deleted
  %tmp23 = add i32 %tmp21, -128
; CHECK: %tmp23 = add i32 %tmp21, -128
  ret i32 %tmp23
}