1; RUN: llc < %s -mtriple=s390x-redhat-linux | FileCheck %s
2;
3; Triggers a path in SelectionDAG's UpdateChains where a node is
4; deleted but we try to read it later (pr31710), invoking UB in
5; release mode or hitting an assert if they're enabled.
6
7; CHECK: btldata:
8define void @btldata(i64* %u0, i32** %p0, i32** %p1, i32** %p3, i32** %p5, i32** %p7) {
9entry:
10  %x0 = load i32*, i32** %p0, align 8, !tbaa !0
11  store i64 0, i64* %u0, align 8, !tbaa !4
12  %x1 = load i32*, i32** %p1, align 8, !tbaa !0
13  %x2 = load i32, i32* %x1, align 4, !tbaa !6
14  %x2ext = sext i32 %x2 to i64
15  store i32 %x2, i32* %x1, align 4, !tbaa !6
16  %x3 = load i32*, i32** %p3, align 8, !tbaa !0
17  %ptr = getelementptr inbounds i32, i32* %x3, i64 %x2ext
18  %x4 = load i32, i32* %ptr, align 4, !tbaa !6
19  %x4inc = add nsw i32 %x4, 1
20  store i32 %x4inc, i32* %ptr, align 4, !tbaa !6
21  store i64 undef, i64* %u0, align 8, !tbaa !4
22  %x5 = load i32*, i32** %p5, align 8, !tbaa !0
23  %x6 = load i32, i32* %x5, align 4, !tbaa !6
24  store i32 %x6, i32* %x5, align 4, !tbaa !6
25  %x7 = load i32*, i32** %p7, align 8, !tbaa !0
26  %x8 = load i32, i32* %x7, align 4, !tbaa !6
27  %x8inc = add nsw i32 %x8, 1
28  store i32 %x8inc, i32* %x7, align 4, !tbaa !6
29  ret void
30}
31
32!0 = !{!1, !1, i64 0}
33!1 = !{!"any pointer", !2, i64 0}
34!2 = !{!"omnipotent char", !3, i64 0}
35!3 = !{!"Simple C/C++ TBAA"}
36!4 = !{!5, !5, i64 0}
37!5 = !{!"long", !2, i64 0}
38!6 = !{!7, !7, i64 0}
39!7 = !{!"int", !2, i64 0}
40