63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S -passes=jump-threading < %s | FileCheck %s3 4@f = external global i325 6; Make sure the value of @f is reloaded prior to the final comparison.7define i32 @test(i64 %idx, i32 %val) {8; CHECK-LABEL: define i32 @test(9; CHECK-SAME: i64 [[IDX:%.*]], i32 [[VAL:%.*]]) {10; CHECK-NEXT: entry:11; CHECK-NEXT: [[CMP:%.*]] = icmp slt i64 [[IDX]], 112; CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[RETURN:%.*]]13; CHECK: for.body:14; CHECK-NEXT: [[F:%.*]] = load i32, ptr @f, align 415; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[F]], 016; CHECK-NEXT: br i1 [[CMP1]], label [[COND_END_THREAD:%.*]], label [[COND_END:%.*]]17; CHECK: cond.end:18; CHECK-NEXT: [[CMP_I:%.*]] = icmp sgt i32 [[VAL]], 019; CHECK-NEXT: [[COND_FR:%.*]] = freeze i1 [[CMP_I]]20; CHECK-NEXT: br i1 [[COND_FR]], label [[COND_END_THREAD]], label [[TMP0:%.*]]21; CHECK: cond.end.thread:22; CHECK-NEXT: br label [[TMP0]]23; CHECK: 0:24; CHECK-NEXT: [[TMP1:%.*]] = phi i32 [ 0, [[COND_END_THREAD]] ], [ [[VAL]], [[COND_END]] ]25; CHECK-NEXT: [[F_IDX:%.*]] = getelementptr inbounds i32, ptr @f, i64 [[IDX]]26; CHECK-NEXT: store i32 [[TMP1]], ptr [[F_IDX]], align 427; CHECK-NEXT: [[F_RELOAD:%.*]] = load i32, ptr @f, align 428; CHECK-NEXT: [[CMP3:%.*]] = icmp slt i32 [[F_RELOAD]], 129; CHECK-NEXT: br i1 [[CMP3]], label [[RETURN2:%.*]], label [[RETURN]]30; CHECK: return:31; CHECK-NEXT: ret i32 032; CHECK: return2:33; CHECK-NEXT: ret i32 134;35entry:36 %cmp = icmp slt i64 %idx, 137 br i1 %cmp, label %for.body, label %return38 39for.body:40 %f = load i32, ptr @f, align 441 %cmp1 = icmp eq i32 %f, 042 br i1 %cmp1, label %cond.end, label %cond.false43 44cond.false:45 br label %cond.end46 47cond.end:48 %phi = phi i32 [ %val, %cond.false ], [ 1, %for.body ]49 %cmp.i = icmp sgt i32 %phi, 050 %sel = select i1 %cmp.i, i32 0, i32 %phi51 %f.idx = getelementptr inbounds i32, ptr @f, i64 %idx52 store i32 %sel, ptr %f.idx, align 453 %f.reload = load i32, ptr @f, align 454 %cmp3 = icmp slt i32 %f.reload, 155 br i1 %cmp3, label %return2, label %return56 57return:58 ret i32 059 60return2:61 ret i32 162}63