; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s
;
; Test that DAGCombiner properly clears the NUW/NSW flags on the memoized add
; node.

define void @fun(i64* %Src, i32* %Dst) {
; CHECK-LABEL: fun:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    iilf %r0, 1303940520
; CHECK-NEXT:    n %r0, 4(%r2)
; CHECK-NEXT:    lr %r1, %r0
; CHECK-NEXT:    afi %r1, 1628135358
; CHECK-NEXT:    locrnhe %r1, %r0
; CHECK-NEXT:    st %r1, 0(%r3)
; CHECK-NEXT:    br %r14
entry:
  %0 = load i64, i64* %Src, align 8
  %1 = trunc i64 %0 to i32
  %conv = and i32 %1, 1303940520
  %xor11.i = or i32 %conv, -2147483648
  %xor2.i = add i32 %xor11.i, -519348290
  %cmp.i = icmp slt i32 %xor2.i, 0
  %sub3.i = add nuw nsw i32 %conv, 1628135358
  %cond.i = select i1 %cmp.i, i32 %conv, i32 %sub3.i
  store i32 %cond.i, i32* %Dst
  ret void
}