; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 | FileCheck %s
declare void @sideeffect0()
declare void @sideeffect1()
declare void @sideeffect2()
declare void @use8(i8)
declare i1 @gen1()
define i1 @t0_or_binop(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t0_or_binop(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp eq i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = or i1 [[C1]], [[C2]]
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp eq i8 %v1, 0 ; canonical predicate
%c2 = icmp eq i8 %v2, 0 ; canonical predicate
%computed = or i1 %c1, %c2 ; binary or
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t1_or_logical(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t1_or_logical(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp eq i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = select i1 [[C1]], i1 true, i1 [[C2]]
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp eq i8 %v1, 0 ; canonical predicate
%c2 = icmp eq i8 %v2, 0 ; canonical predicate
%computed = select i1 %c1, i1 true, i1 %c2 ; logical or
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t2_and_binop(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t2_and_binop(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp eq i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = and i1 [[C1]], [[C2]]
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp eq i8 %v1, 0 ; canonical predicate
%c2 = icmp eq i8 %v2, 0 ; canonical predicate
%computed = and i1 %c1, %c2 ; binary and
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t3_and_logical(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t3_and_logical(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp eq i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = select i1 [[C1]], i1 [[C2]], i1 false
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp eq i8 %v1, 0 ; canonical predicate
%c2 = icmp eq i8 %v2, 0 ; canonical predicate
%computed = select i1 %c1, i1 %c2, i1 false ; logical and
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t4_nor_binop(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t4_nor_binop(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp ne i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp ne i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = and i1 [[C1]], [[C2]]
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp ne i8 %v1, 0 ; non-canonical predicate
%c2 = icmp ne i8 %v2, 0 ; non-canonical predicate
%computed = and i1 %c1, %c2 ; binary and
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t5_nor_logical(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t5_nor_logical(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp ne i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp ne i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = select i1 [[C1]], i1 [[C2]], i1 false
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp ne i8 %v1, 0 ; non-canonical predicate
%c2 = icmp ne i8 %v2, 0 ; non-canonical predicate
%computed = select i1 %c1, i1 %c2, i1 false ; logical and
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t6_nor_logical2(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t6_nor_logical2(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp ne i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = select i1 [[C1]], i1 false, i1 [[C2]]
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp eq i8 %v1, 0 ; canonical predicate
%c2 = icmp ne i8 %v2, 0 ; non-canonical predicate
%computed = select i1 %c1, i1 false, i1 %c2 ; huh, what is this, logical nand?
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t7_nand_binop(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t7_nand_binop(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp ne i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp ne i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = or i1 [[C1]], [[C2]]
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp ne i8 %v1, 0 ; non-canonical predicate
%c2 = icmp ne i8 %v2, 0 ; non-canonical predicate
%computed = or i1 %c1, %c2 ; binary and
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t8_nand_logical(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t8_nand_logical(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp ne i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp ne i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = select i1 [[C1]], i1 true, i1 [[C2]]
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp ne i8 %v1, 0 ; non-canonical predicate
%c2 = icmp ne i8 %v2, 0 ; non-canonical predicate
%computed = select i1 %c1, i1 true, i1 %c2 ; logical or
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
define i1 @t9_nand_logical2(i8 %v0, i8 %v1, i8 %v2, i1 %v3) {
; CHECK-LABEL: @t9_nand_logical2(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; CHECK-NEXT: br i1 [[C0]], label [[PRED0:%.*]], label [[END:%.*]]
; CHECK: pred0:
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
; CHECK-NEXT: [[C2:%.*]] = icmp ne i8 [[V2:%.*]], 0
; CHECK-NEXT: [[COMPUTED:%.*]] = select i1 [[C1]], i1 [[C2]], i1 true
; CHECK-NEXT: br label [[END]]
; CHECK: end:
; CHECK-NEXT: [[R:%.*]] = phi i1 [ [[COMPUTED]], [[PRED0]] ], [ [[V3:%.*]], [[ENTRY:%.*]] ]
; CHECK-NEXT: ret i1 [[R]]
;
entry:
%c0 = icmp eq i8 %v0, 0 ; canonical predicate
br i1 %c0, label %pred0, label %pred1
pred0:
%c1 = icmp eq i8 %v1, 0 ; canonical predicate
%c2 = icmp ne i8 %v2, 0 ; non-canonical predicate
%computed = select i1 %c1, i1 %c2, i1 true ; huh, what is this, logical nor?
br label %end
pred1:
br label %end
end:
%r = phi i1 [ %computed, %pred0 ], [ %v3, %pred1 ]
ret i1 %r
}
Codebase Browser
llvm