62 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=sccp -S | FileCheck %s3 4declare void @use(i1)5 6define void @read_dmatrix() #0 {7; CHECK-LABEL: @read_dmatrix(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[HEIGHT:%.*]] = alloca i32, align 410; CHECK-NEXT: br label [[FOR_COND:%.*]]11; CHECK: for.cond:12; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[HEIGHT]], align 413; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 0, [[TMP0]]14; CHECK-NEXT: br i1 [[CMP]], label [[FOR_COND6:%.*]], label [[FOR_END16:%.*]]15; CHECK: for.cond6:16; CHECK-NEXT: br label [[FOR_COND]]17; CHECK: for.end16:18; CHECK-NEXT: ret void19;20entry:21 %height = alloca i32, align 422 br label %for.cond23 24for.cond: ; preds = %for.cond6, %entry25 %j.0 = phi i32 [ undef, %entry ], [ 0, %for.cond6 ]26 %0 = load i32, ptr %height, align 427 %cmp = icmp slt i32 0, %028 br i1 %cmp, label %for.cond6, label %for.end1629 30for.cond6: ; preds = %for.cond31 br label %for.cond32 33for.end16: ; preds = %for.cond34 %sub21 = sub nsw i32 %j.0, 135 ret void36}37 38declare i1 @cond()39 40define void @emptyTT() #0 {41; CHECK-LABEL: @emptyTT(42; CHECK-NEXT: entry:43; CHECK-NEXT: br label [[FOR_COND:%.*]]44; CHECK: for.cond:45; CHECK-NEXT: [[C:%.*]] = call i1 @cond()46; CHECK-NEXT: br i1 [[C]], label [[FOR_COND]], label [[EXIT:%.*]]47; CHECK: exit:48; CHECK-NEXT: ret void49;50entry:51 br label %for.cond52 53for.cond: ; preds = %for.cond, %entry54 %.compoundliteral.sroa.0.0 = phi i64 [ undef, %entry ], [ 0, %for.cond ]55 %bf.clear = and i64 %.compoundliteral.sroa.0.0, -6710886456 %c = call i1 @cond()57 br i1 %c, label %for.cond, label %exit58 59exit:60 ret void61}62