63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=jump-threading < %s | FileCheck %s3 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 410; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 [[TMP]], 011; CHECK-NEXT: br i1 [[TMP1]], label [[BB2:%.*]], label [[BB13:%.*]]12; CHECK: bb2:13; CHECK-NEXT: [[TMP4:%.*]] = load i8, ptr [[ARG:%.*]], align 114; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i8 [[TMP4]], 015; CHECK-NEXT: br i1 [[TMP5]], label [[BB7:%.*]], label [[BB14:%.*]]16; CHECK: bb7:17; CHECK-NEXT: store i8 0, ptr [[ARG]], align 118; CHECK-NEXT: [[TMP9:%.*]] = icmp ne i8 0, 019; CHECK-NEXT: [[TMP10:%.*]] = select i1 [[TMP9]], i1 true, i1 false20; 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: unreachable26; CHECK: bb14:27; CHECK-NEXT: ret void28;29bb:30 %tmp = load i32, ptr undef, align 431 %tmp1 = icmp eq i32 %tmp, 032 br i1 %tmp1, label %bb2, label %bb1333 34bb2:35 %tmp4 = load i8, ptr %arg, align 136 %tmp5 = icmp eq i8 %tmp4, 037 br i1 %tmp5, label %bb6, label %bb738 39bb6:40 store i8 0, ptr %arg, align 141 br label %bb742 43bb7:44 %tmp8 = load i8, ptr %arg, align 145 %tmp9 = icmp ne i8 %tmp8, 046 %tmp10 = select i1 %tmp9, i1 true, i1 false47 br i1 %tmp10, label %bb12, label %bb1148 49bb11:50 br label %bb1251 52bb12:53 br i1 %tmp9, label %bb14, label %bb1354 55bb13:56 unreachable57 58bb14:59 ret void60}61 62declare i32 @chrome2(...)63