; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt %s -S -o - -passes=simplifycfg | FileCheck %s
%struct.S = type { [4 x i32] }
; Check the second, third, and fourth basic blocks are folded into
; the first basic block since each has one bonus intruction, which
; does not exceed the default bouns instruction threshold of 1.
define i1 @test1(i32 %0, i32 %1, i32 %2, i32 %3) {
; CHECK-LABEL: @test1(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[MUL0:%.*]] = mul i32 [[TMP0:%.*]], [[TMP0]]
; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i32 [[MUL0]], 0
; CHECK-NEXT: [[MUL1:%.*]] = mul i32 [[TMP1:%.*]], [[TMP1]]
; CHECK-NEXT: [[CMP2_1:%.*]] = icmp sgt i32 [[MUL1]], 0
; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[CMP2]], i1 true, i1 [[CMP2_1]]
; CHECK-NEXT: [[MUL2:%.*]] = mul i32 [[TMP2:%.*]], [[TMP2]]
; CHECK-NEXT: [[CMP2_2:%.*]] = icmp sgt i32 [[MUL2]], 0
; CHECK-NEXT: [[OR_COND1:%.*]] = select i1 [[OR_COND]], i1 true, i1 [[CMP2_2]]
; CHECK-NEXT: [[MUL3:%.*]] = mul i32 [[TMP3:%.*]], [[TMP3]]
; CHECK-NEXT: [[CMP2_3:%.*]] = icmp sgt i32 [[MUL3]], 0
; CHECK-NEXT: [[OR_COND2:%.*]] = select i1 [[OR_COND1]], i1 true, i1 [[CMP2_3]]
; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[OR_COND2]], i1 false, i1 true
; CHECK-NEXT: ret i1 [[SPEC_SELECT]]
;
entry:
%mul0 = mul i32 %0, %0
%cmp2 = icmp sgt i32 %mul0, 0
br i1 %cmp2, label %cleanup, label %for.cond
for.cond:
%mul1 = mul i32 %1, %1
%cmp2.1 = icmp sgt i32 %mul1, 0
br i1 %cmp2.1, label %cleanup, label %for.cond.1
for.cond.1:
%mul2 = mul i32 %2, %2
%cmp2.2 = icmp sgt i32 %mul2, 0
br i1 %cmp2.2, label %cleanup, label %for.cond.2
for.cond.2:
%mul3 = mul i32 %3, %3
%cmp2.3 = icmp sgt i32 %mul3, 0
br i1 %cmp2.3, label %cleanup, label %for.cond.3
for.cond.3:
br label %cleanup
cleanup:
%cmp = phi i1 [ false, %entry ], [ false, %for.cond ], [ false, %for.cond.1 ], [ false, %for.cond.2 ], [ true, %for.cond.3 ]
ret i1 %cmp
}
; Check the second, third, and forth basic blocks are folded into the first
; basic block since each has no bonus instruction.
define i1 @test2(i32 %0, i32 %1, i32 %2, i32 %3) {
; CHECK-LABEL: @test2(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i32 [[TMP0:%.*]], 0
; CHECK-NEXT: [[CMP2_1:%.*]] = icmp sgt i32 [[TMP1:%.*]], 0
; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[CMP2]], i1 true, i1 [[CMP2_1]]
; CHECK-NEXT: [[CMP2_2:%.*]] = icmp sgt i32 [[TMP2:%.*]], 0
; CHECK-NEXT: [[OR_COND1:%.*]] = select i1 [[OR_COND]], i1 true, i1 [[CMP2_2]]
; CHECK-NEXT: [[CMP2_3:%.*]] = icmp sgt i32 [[TMP3:%.*]], 0
; CHECK-NEXT: [[OR_COND2:%.*]] = select i1 [[OR_COND1]], i1 true, i1 [[CMP2_3]]
; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[OR_COND2]], i1 false, i1 true
; CHECK-NEXT: ret i1 [[SPEC_SELECT]]
;
entry:
%cmp2 = icmp sgt i32 %0, 0
br i1 %cmp2, label %cleanup, label %for.cond
for.cond:
%cmp2.1 = icmp sgt i32 %1, 0
br i1 %cmp2.1, label %cleanup, label %for.cond.1
for.cond.1:
%cmp2.2 = icmp sgt i32 %2, 0
br i1 %cmp2.2, label %cleanup, label %for.cond.2
for.cond.2:
%cmp2.3 = icmp sgt i32 %3, 0
br i1 %cmp2.3, label %cleanup, label %for.cond.3
for.cond.3:
br label %cleanup
cleanup:
%cmp = phi i1 [ false, %entry ], [ false, %for.cond ], [ false, %for.cond.1 ], [ false, %for.cond.2 ], [ true, %for.cond.3 ]
ret i1 %cmp
}
; Check the second basic block is not folded into the first basic block
; since it has three bonus instructions, which exceeds the default bonus
; instruction threshold of 1. The third and fourth basic blocks are folded
; into the second basic block since they do not have bonus instruction.
define i1 @test3(i32 %0, i32 %1, i32 %2, i32 %3) {
; CHECK-LABEL: @test3(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i32 [[TMP0:%.*]], 0
; CHECK-NEXT: br i1 [[CMP2]], label [[CLEANUP:%.*]], label [[FOR_COND:%.*]]
; CHECK: for.cond:
; CHECK-NEXT: [[MUL1:%.*]] = mul i32 [[TMP0]], [[TMP1:%.*]]
; CHECK-NEXT: [[MUL2:%.*]] = mul i32 [[MUL1]], [[TMP2:%.*]]
; CHECK-NEXT: [[MUL3:%.*]] = mul i32 [[MUL2]], [[TMP3:%.*]]
; CHECK-NEXT: [[MUL4:%.*]] = mul i32 [[MUL3]], [[TMP3]]
; CHECK-NEXT: [[MUL5:%.*]] = mul i32 [[MUL4]], [[TMP3]]
; CHECK-NEXT: [[MUL6:%.*]] = mul i32 [[MUL5]], [[TMP3]]
; CHECK-NEXT: [[CMP2_1:%.*]] = icmp sgt i32 [[MUL5]], 0
; CHECK-NEXT: [[CMP2_2:%.*]] = icmp sgt i32 [[TMP2]], 0
; CHECK-NEXT: [[OR_COND:%.*]] = select i1 [[CMP2_1]], i1 true, i1 [[CMP2_2]]
; CHECK-NEXT: [[CMP2_3:%.*]] = icmp sgt i32 [[TMP3]], 0
; CHECK-NEXT: [[OR_COND1:%.*]] = select i1 [[OR_COND]], i1 true, i1 [[CMP2_3]]
; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[OR_COND1]], i1 false, i1 true
; CHECK-NEXT: br label [[CLEANUP]]
; CHECK: cleanup:
; CHECK-NEXT: [[CMP:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[SPEC_SELECT]], [[FOR_COND]] ]
; CHECK-NEXT: ret i1 [[CMP]]
;
entry:
%cmp2 = icmp sgt i32 %0, 0
br i1 %cmp2, label %cleanup, label %for.cond
for.cond:
%mul1 = mul i32 %0, %1
%mul2 = mul i32 %mul1, %2
%mul3 = mul i32 %mul2, %3
%mul4 = mul i32 %mul3, %3
%mul5 = mul i32 %mul4, %3
%mul6 = mul i32 %mul5, %3
%cmp2.1 = icmp sgt i32 %mul5, 0
br i1 %cmp2.1, label %cleanup, label %for.cond.1
for.cond.1:
%cmp2.2 = icmp sgt i32 %2, 0
br i1 %cmp2.2, label %cleanup, label %for.cond.2
for.cond.2:
%cmp2.3 = icmp sgt i32 %3, 0
br i1 %cmp2.3, label %cleanup, label %for.cond.3
for.cond.3:
br label %cleanup
cleanup:
%cmp = phi i1 [ false, %entry ], [ false, %for.cond ], [ false, %for.cond.1 ], [ false, %for.cond.2 ], [ true, %for.cond.3 ]
ret i1 %cmp
}
Codebase Browser
llvm