1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=jump-threading < %s | FileCheck %s 3 4%struct.aaa = type { i8 } 5 6define void @chrome(ptr noalias sret(%struct.aaa) %arg) local_unnamed_addr #0 align 2 personality ptr @chrome2 { 7; CHECK-LABEL: @chrome( 8; CHECK-NEXT: bb: 9; CHECK-NEXT: [[TMP:%.*]] = load i32, ptr undef, align 4 10; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 [[TMP]], 0 11; CHECK-NEXT: br i1 [[TMP1]], label [[BB2:%.*]], label [[BB13:%.*]] 12; CHECK: bb2: 13; CHECK-NEXT: [[TMP4:%.*]] = load i8, ptr [[ARG:%.*]], align 1 14; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i8 [[TMP4]], 0 15; CHECK-NEXT: br i1 [[TMP5]], label [[BB7:%.*]], label [[BB14:%.*]] 16; CHECK: bb7: 17; CHECK-NEXT: store i8 0, ptr [[ARG]], align 1 18; CHECK-NEXT: [[TMP9:%.*]] = icmp ne i8 0, 0 19; CHECK-NEXT: [[TMP10:%.*]] = select i1 [[TMP9]], i1 true, i1 false 20; CHECK-NEXT: br i1 [[TMP10]], label [[BB12:%.*]], label [[BB12]] 21; CHECK: bb12: 22; CHECK-NEXT: [[TMP94:%.*]] = phi i1 [ [[TMP9]], [[BB7]] ], [ [[TMP9]], [[BB7]] ] 23; CHECK-NEXT: br i1 [[TMP94]], label [[BB14]], label [[BB13]] 24; CHECK: bb13: 25; CHECK-NEXT: unreachable 26; CHECK: bb14: 27; CHECK-NEXT: ret void 28; 29bb: 30 %tmp = load i32, ptr undef, align 4 31 %tmp1 = icmp eq i32 %tmp, 0 32 br i1 %tmp1, label %bb2, label %bb13 33 34bb2: 35 %tmp4 = load i8, ptr %arg, align 1 36 %tmp5 = icmp eq i8 %tmp4, 0 37 br i1 %tmp5, label %bb6, label %bb7 38 39bb6: 40 store i8 0, ptr %arg, align 1 41 br label %bb7 42 43bb7: 44 %tmp8 = load i8, ptr %arg, align 1 45 %tmp9 = icmp ne i8 %tmp8, 0 46 %tmp10 = select i1 %tmp9, i1 true, i1 false 47 br i1 %tmp10, label %bb12, label %bb11 48 49bb11: 50 br label %bb12 51 52bb12: 53 br i1 %tmp9, label %bb14, label %bb13 54 55bb13: 56 unreachable 57 58bb14: 59 ret void 60} 61 62declare i32 @chrome2(...) 63