1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=instcombine %s -o - | FileCheck %s 3 4; All the "useless" instructions should be removed and we shouldn't crash. 5 6target datalayout = "p:16:16" 7 8%i64_t = type i64 9 10@a = external global i16 11@b = external global ptr 12 13define void @f(i1 %cond) { 14; CHECK-LABEL: @f( 15; CHECK-NEXT: bb0: 16; CHECK-NEXT: [[T1:%.*]] = alloca i64, align 8 17; CHECK-NEXT: br i1 [[COND:%.*]], label [[BB1:%.*]], label [[BB2:%.*]] 18; CHECK: bb1: 19; CHECK-NEXT: unreachable 20; CHECK: bb2: 21; CHECK-NEXT: [[T9:%.*]] = load ptr, ptr @b, align 2 22; CHECK-NEXT: store i16 0, ptr [[T9]], align 2 23; CHECK-NEXT: [[T10:%.*]] = load i32, ptr [[T1]], align 4 24; CHECK-NEXT: [[T11:%.*]] = add i32 [[T10]], -1 25; CHECK-NEXT: store i32 [[T11]], ptr [[T1]], align 4 26; CHECK-NEXT: ret void 27; 28bb0: 29 %t1 = alloca %i64_t 30 %useless4 = getelementptr inbounds i16, ptr %t1, i16 undef 31 br i1 %cond, label %bb1, label %bb2 32 33bb1: ; preds = %bb0 34 %useless6 = insertvalue [1 x ptr] undef, ptr %t1, 0 35 %useless7 = insertvalue [1 x ptr] %useless6, ptr null, 0 36 %t8 = ptrtoint ptr %t1 to i16 37 store i16 %t8, ptr @a 38 unreachable 39 40bb2: ; preds = %bb0 41 %t9 = load ptr, ptr @b 42 store i16 0, ptr %t9 43 %t10 = load i32, ptr %t1 44 %t11 = sub i32 %t10, 1 45 store i32 %t11, ptr %t1 46 ret void 47} 48