test/Transforms/JumpThreading/ddt-crash2.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes=jump-threading < %s | FileCheck %s

%struct.aaa = type { i8 }

define void @chrome(ptr noalias sret(%struct.aaa) %arg) local_unnamed_addr #0 align 2 personality ptr @chrome2 {
; CHECK-LABEL: @chrome(
; CHECK-NEXT:  bb:
; CHECK-NEXT:    [[TMP:%.*]] = load i32, ptr undef, align 4
; CHECK-NEXT:    [[TMP1:%.*]] = icmp eq i32 [[TMP]], 0
; CHECK-NEXT:    br i1 [[TMP1]], label [[BB2:%.*]], label [[BB13:%.*]]
; CHECK:       bb2:
; CHECK-NEXT:    [[TMP4:%.*]] = load i8, ptr [[ARG:%.*]], align 1
; CHECK-NEXT:    [[TMP5:%.*]] = icmp eq i8 [[TMP4]], 0
; CHECK-NEXT:    br i1 [[TMP5]], label [[BB7:%.*]], label [[BB14:%.*]]
; CHECK:       bb7:
; CHECK-NEXT:    store i8 0, ptr [[ARG]], align 1
; CHECK-NEXT:    [[TMP9:%.*]] = icmp ne i8 0, 0
; CHECK-NEXT:    [[TMP10:%.*]] = select i1 [[TMP9]], i1 true, i1 false
; CHECK-NEXT:    br i1 [[TMP10]], label [[BB12:%.*]], label [[BB12]]
; CHECK:       bb12:
; CHECK-NEXT:    [[TMP94:%.*]] = phi i1 [ [[TMP9]], [[BB7]] ], [ [[TMP9]], [[BB7]] ]
; CHECK-NEXT:    br i1 [[TMP94]], label [[BB14]], label [[BB13]]
; CHECK:       bb13:
; CHECK-NEXT:    unreachable
; CHECK:       bb14:
; CHECK-NEXT:    ret void
;
bb:
  %tmp = load i32, ptr undef, align 4
  %tmp1 = icmp eq i32 %tmp, 0
  br i1 %tmp1, label %bb2, label %bb13

bb2:
  %tmp4 = load i8, ptr %arg, align 1
  %tmp5 = icmp eq i8 %tmp4, 0
  br i1 %tmp5, label %bb6, label %bb7

bb6:
  store i8 0, ptr %arg, align 1
  br label %bb7

bb7:
  %tmp8 = load i8, ptr %arg, align 1
  %tmp9 = icmp ne i8 %tmp8, 0
  %tmp10 = select i1 %tmp9, i1 true, i1 false
  br i1 %tmp10, label %bb12, label %bb11

bb11:
  br label %bb12

bb12:
  br i1 %tmp9, label %bb14, label %bb13

bb13:
  unreachable

bb14:
  ret void
}

declare i32 @chrome2(...)