40 lines · plain
1; RUN: llc < %s -mtriple=s390x-redhat-linux | FileCheck %s2;3; Triggers a path in SelectionDAG's UpdateChains where a node is4; deleted but we try to read it later (pr31710), invoking UB in5; release mode or hitting an assert if they're enabled.6 7; CHECK: btldata:8define void @btldata(ptr %u0, ptr %p0, ptr %p1, ptr %p3, ptr %p5, ptr %p7) {9entry:10 %x0 = load ptr, ptr %p0, align 8, !tbaa !011 store i64 0, ptr %u0, align 8, !tbaa !412 %x1 = load ptr, ptr %p1, align 8, !tbaa !013 %x2 = load i32, ptr %x1, align 4, !tbaa !614 %x2ext = sext i32 %x2 to i6415 store i32 %x2, ptr %x1, align 4, !tbaa !616 %x3 = load ptr, ptr %p3, align 8, !tbaa !017 %ptr = getelementptr inbounds i32, ptr %x3, i64 %x2ext18 %x4 = load i32, ptr %ptr, align 4, !tbaa !619 %x4inc = add nsw i32 %x4, 120 store i32 %x4inc, ptr %ptr, align 4, !tbaa !621 store i64 undef, ptr %u0, align 8, !tbaa !422 %x5 = load ptr, ptr %p5, align 8, !tbaa !023 %x6 = load i32, ptr %x5, align 4, !tbaa !624 store i32 %x6, ptr %x5, align 4, !tbaa !625 %x7 = load ptr, ptr %p7, align 8, !tbaa !026 %x8 = load i32, ptr %x7, align 4, !tbaa !627 %x8inc = add nsw i32 %x8, 128 store i32 %x8inc, ptr %x7, align 4, !tbaa !629 ret void30}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