30 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s3;4; Test that DAGCombiner properly clears the NUW/NSW flags on the memoized add5; node.6 7define void @fun(ptr %Src, ptr %Dst) {8; CHECK-LABEL: fun:9; CHECK: # %bb.0: # %entry10; CHECK-NEXT: iilf %r0, 130394052011; CHECK-NEXT: n %r0, 4(%r2)12; CHECK-NEXT: lr %r1, %r013; CHECK-NEXT: afi %r1, 162813535814; CHECK-NEXT: locrnhe %r1, %r015; CHECK-NEXT: st %r1, 0(%r3)16; CHECK-NEXT: br %r1417entry:18 %0 = load i64, ptr %Src, align 819 %1 = trunc i64 %0 to i3220 %conv = and i32 %1, 130394052021 %xor11.i = or i32 %conv, -214748364822 %xor2.i = add i32 %xor11.i, -51934829023 %cmp.i = icmp slt i32 %xor2.i, 024 %sub3.i = add nuw nsw i32 %conv, 162813535825 %cond.i = select i1 %cmp.i, i32 %conv, i32 %sub3.i26 store i32 %cond.i, ptr %Dst27 ret void28}29 30