test/CodeGen/SystemZ/pr31710.ll

   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:
   8 define void @btldata(i64* %u0, i32** %p0, i32** %p1, i32** %p3, i32** %p5, i32** %p7) {
   9 entry:
  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}