summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/InstCombine/canonicalize_branch.ll
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test/Transforms/InstCombine/canonicalize_branch.ll')
-rw-r--r--llvm/test/Transforms/InstCombine/canonicalize_branch.ll500
1 files changed, 0 insertions, 500 deletions
diff --git a/llvm/test/Transforms/InstCombine/canonicalize_branch.ll b/llvm/test/Transforms/InstCombine/canonicalize_branch.ll
deleted file mode 100644
index 401490879e9..00000000000
--- a/llvm/test/Transforms/InstCombine/canonicalize_branch.ll
+++ /dev/null
@@ -1,500 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instcombine -S | FileCheck %s
-
-; Test an already canonical branch to make sure we don't flip those.
-define i32 @eq(i32 %X, i32 %Y) {
-; CHECK-LABEL: @eq(
-; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !0
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp eq i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !0
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @ne(i32 %X, i32 %Y) {
-; CHECK-LABEL: @ne(
-; CHECK-NEXT: [[C:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !1
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp ne i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !1
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @ugt(i32 %X, i32 %Y) {
-; CHECK-LABEL: @ugt(
-; CHECK-NEXT: [[C:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !2
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp ugt i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !2
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @uge(i32 %X, i32 %Y) {
-; CHECK-LABEL: @uge(
-; CHECK-NEXT: [[C:%.*]] = icmp ult i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !3
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp uge i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !3
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @ult(i32 %X, i32 %Y) {
-; CHECK-LABEL: @ult(
-; CHECK-NEXT: [[C:%.*]] = icmp ult i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !4
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp ult i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !4
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @ule(i32 %X, i32 %Y) {
-; CHECK-LABEL: @ule(
-; CHECK-NEXT: [[C:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !5
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp ule i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !5
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @sgt(i32 %X, i32 %Y) {
-; CHECK-LABEL: @sgt(
-; CHECK-NEXT: [[C:%.*]] = icmp sgt i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !6
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp sgt i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !6
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @sge(i32 %X, i32 %Y) {
-; CHECK-LABEL: @sge(
-; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !7
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp sge i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !7
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @slt(i32 %X, i32 %Y) {
-; CHECK-LABEL: @slt(
-; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !8
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp slt i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !8
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @sle(i32 %X, i32 %Y) {
-; CHECK-LABEL: @sle(
-; CHECK-NEXT: [[C:%.*]] = icmp sgt i32 [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !9
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = icmp sle i32 %X, %Y
- br i1 %C, label %T, label %F, !prof !9
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_false(float %X, float %Y) {
-; CHECK-LABEL: @f_false(
-; CHECK-NEXT: br i1 false, label [[T:%.*]], label [[F:%.*]], !prof !10
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp false float %X, %Y
- br i1 %C, label %T, label %F, !prof !10
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_oeq(float %X, float %Y) {
-; CHECK-LABEL: @f_oeq(
-; CHECK-NEXT: [[C:%.*]] = fcmp oeq float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !11
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp oeq float %X, %Y
- br i1 %C, label %T, label %F, !prof !11
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_ogt(float %X, float %Y) {
-; CHECK-LABEL: @f_ogt(
-; CHECK-NEXT: [[C:%.*]] = fcmp ogt float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !12
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp ogt float %X, %Y
- br i1 %C, label %T, label %F, !prof !12
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_oge(float %X, float %Y) {
-; CHECK-LABEL: @f_oge(
-; CHECK-NEXT: [[C:%.*]] = fcmp ult float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !13
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp oge float %X, %Y
- br i1 %C, label %T, label %F, !prof !13
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_olt(float %X, float %Y) {
-; CHECK-LABEL: @f_olt(
-; CHECK-NEXT: [[C:%.*]] = fcmp olt float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !14
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp olt float %X, %Y
- br i1 %C, label %T, label %F, !prof !14
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_ole(float %X, float %Y) {
-; CHECK-LABEL: @f_ole(
-; CHECK-NEXT: [[C:%.*]] = fcmp ugt float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !15
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp ole float %X, %Y
- br i1 %C, label %T, label %F, !prof !15
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_one(float %X, float %Y) {
-; CHECK-LABEL: @f_one(
-; CHECK-NEXT: [[C:%.*]] = fcmp ueq float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[F:%.*]], label [[T:%.*]], !prof !16
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp one float %X, %Y
- br i1 %C, label %T, label %F, !prof !16
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_ord(float %X, float %Y) {
-; CHECK-LABEL: @f_ord(
-; CHECK-NEXT: [[C:%.*]] = fcmp ord float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !17
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp ord float %X, %Y
- br i1 %C, label %T, label %F, !prof !17
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_uno(float %X, float %Y) {
-; CHECK-LABEL: @f_uno(
-; CHECK-NEXT: [[C:%.*]] = fcmp uno float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !18
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp uno float %X, %Y
- br i1 %C, label %T, label %F, !prof !18
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_ueq(float %X, float %Y) {
-; CHECK-LABEL: @f_ueq(
-; CHECK-NEXT: [[C:%.*]] = fcmp ueq float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !19
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp ueq float %X, %Y
- br i1 %C, label %T, label %F, !prof !19
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_ugt(float %X, float %Y) {
-; CHECK-LABEL: @f_ugt(
-; CHECK-NEXT: [[C:%.*]] = fcmp ugt float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !20
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp ugt float %X, %Y
- br i1 %C, label %T, label %F, !prof !20
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_uge(float %X, float %Y) {
-; CHECK-LABEL: @f_uge(
-; CHECK-NEXT: [[C:%.*]] = fcmp uge float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !21
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp uge float %X, %Y
- br i1 %C, label %T, label %F, !prof !21
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_ult(float %X, float %Y) {
-; CHECK-LABEL: @f_ult(
-; CHECK-NEXT: [[C:%.*]] = fcmp ult float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !22
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp ult float %X, %Y
- br i1 %C, label %T, label %F, !prof !22
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_ule(float %X, float %Y) {
-; CHECK-LABEL: @f_ule(
-; CHECK-NEXT: [[C:%.*]] = fcmp ule float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !23
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp ule float %X, %Y
- br i1 %C, label %T, label %F, !prof !23
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_une(float %X, float %Y) {
-; CHECK-LABEL: @f_une(
-; CHECK-NEXT: [[C:%.*]] = fcmp une float [[X:%.*]], [[Y:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]], !prof !24
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp une float %X, %Y
- br i1 %C, label %T, label %F, !prof !24
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-define i32 @f_true(float %X, float %Y) {
-; CHECK-LABEL: @f_true(
-; CHECK-NEXT: br i1 true, label [[T:%.*]], label [[F:%.*]], !prof !25
-; CHECK: T:
-; CHECK-NEXT: ret i32 12
-; CHECK: F:
-; CHECK-NEXT: ret i32 123
-;
- %C = fcmp true float %X, %Y
- br i1 %C, label %T, label %F, !prof !25
-T:
- ret i32 12
-F:
- ret i32 123
-}
-
-
-!0 = !{!"branch_weights", i32 0, i32 99}
-!1 = !{!"branch_weights", i32 1, i32 99}
-!2 = !{!"branch_weights", i32 2, i32 99}
-!3 = !{!"branch_weights", i32 3, i32 99}
-!4 = !{!"branch_weights", i32 4, i32 99}
-!5 = !{!"branch_weights", i32 5, i32 99}
-!6 = !{!"branch_weights", i32 6, i32 99}
-!7 = !{!"branch_weights", i32 7, i32 99}
-!8 = !{!"branch_weights", i32 8, i32 99}
-!9 = !{!"branch_weights", i32 9, i32 99}
-!10 = !{!"branch_weights", i32 10, i32 99}
-!11 = !{!"branch_weights", i32 11, i32 99}
-!12 = !{!"branch_weights", i32 12, i32 99}
-!13 = !{!"branch_weights", i32 13, i32 99}
-!14 = !{!"branch_weights", i32 14, i32 99}
-!15 = !{!"branch_weights", i32 15, i32 99}
-!16 = !{!"branch_weights", i32 16, i32 99}
-!17 = !{!"branch_weights", i32 17, i32 99}
-!18 = !{!"branch_weights", i32 18, i32 99}
-!19 = !{!"branch_weights", i32 19, i32 99}
-!20 = !{!"branch_weights", i32 20, i32 99}
-!21 = !{!"branch_weights", i32 21, i32 99}
-!22 = !{!"branch_weights", i32 22, i32 99}
-!23 = !{!"branch_weights", i32 23, i32 99}
-!24 = !{!"branch_weights", i32 24, i32 99}
-!25 = !{!"branch_weights", i32 25, i32 99}
-
-; Ensure that the branch metadata is reversed to match the reversals above.
-; CHECK: !0 = {{.*}} i32 0, i32 99}
-; CHECK: !1 = {{.*}} i32 99, i32 1}
-; CHECK: !2 = {{.*}} i32 2, i32 99}
-; CHECK: !3 = {{.*}} i32 99, i32 3}
-; CHECK: !4 = {{.*}} i32 4, i32 99}
-; CHECK: !5 = {{.*}} i32 99, i32 5}
-; CHECK: !6 = {{.*}} i32 6, i32 99}
-; CHECK: !7 = {{.*}} i32 99, i32 7}
-; CHECK: !8 = {{.*}} i32 8, i32 99}
-; CHECK: !9 = {{.*}} i32 99, i32 9}
-; CHECK: !10 = {{.*}} i32 10, i32 99}
-; CHECK: !11 = {{.*}} i32 11, i32 99}
-; CHECK: !12 = {{.*}} i32 12, i32 99}
-; CHECK: !13 = {{.*}} i32 99, i32 13}
-; CHECK: !14 = {{.*}} i32 14, i32 99}
-; CHECK: !15 = {{.*}} i32 99, i32 15}
-; CHECK: !16 = {{.*}} i32 99, i32 16}
-; CHECK: !17 = {{.*}} i32 17, i32 99}
-; CHECK: !18 = {{.*}} i32 18, i32 99}
-; CHECK: !19 = {{.*}} i32 19, i32 99}
-; CHECK: !20 = {{.*}} i32 20, i32 99}
-; CHECK: !21 = {{.*}} i32 21, i32 99}
-; CHECK: !22 = {{.*}} i32 22, i32 99}
-; CHECK: !23 = {{.*}} i32 23, i32 99}
-; CHECK: !24 = {{.*}} i32 24, i32 99}
-; CHECK: !25 = {{.*}} i32 25, i32 99}
-
OpenPOWER on IntegriCloud