252 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-inst-comments2; RUN: opt -passes=print-predicateinfo -disable-output < %s 2>&1 | FileCheck %s3 4define i32 @f1(i32 %x) {5; CHECK-LABEL: @f1(6; CHECK-NEXT: bb0:7; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X:%.*]], 08; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = icmp eq i32 [[X]], 0 Edge: [label [[BB0:%.*]],label [[BB2:%.*]]], RenamedOp: [[X]] }9; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i3210; CHECK-NEXT: br i1 [[CMP]], label [[BB2]], label [[BB1:%.*]]11; CHECK: bb1:12; CHECK-NEXT: br label [[BB2]]13; CHECK: bb2:14; CHECK-NEXT: [[COND:%.*]] = phi i32 [ [[X_0]], [[BB0]] ], [ 0, [[BB1]] ]15; CHECK-NEXT: [[FOO:%.*]] = add i32 [[COND]], [[X]]16; CHECK-NEXT: ret i32 [[FOO]]17;18bb0:19 %cmp = icmp eq i32 %x, 020 br i1 %cmp, label %bb2, label %bb121bb1:22 br label %bb223bb2:24 %cond = phi i32 [ %x, %bb0 ], [ 0, %bb1 ]25 %foo = add i32 %cond, %x26 ret i32 %foo27}28 29define i32 @f2(i32 %x) {30; CHECK-LABEL: @f2(31; CHECK-NEXT: bb0:32; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[X:%.*]], 033; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = icmp ne i32 [[X]], 0 Edge: [label [[BB0:%.*]],label [[BB2:%.*]]], RenamedOp: [[X]] }34; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i3235; CHECK-NEXT: br i1 [[CMP]], label [[BB1:%.*]], label [[BB2]]36; CHECK: bb1:37; CHECK-NEXT: br label [[BB2]]38; CHECK: bb2:39; CHECK-NEXT: [[COND:%.*]] = phi i32 [ [[X_0]], [[BB0]] ], [ 0, [[BB1]] ]40; CHECK-NEXT: [[FOO:%.*]] = add i32 [[COND]], [[X]]41; CHECK-NEXT: ret i32 [[FOO]]42;43bb0:44 %cmp = icmp ne i32 %x, 045 br i1 %cmp, label %bb1, label %bb246bb1:47 br label %bb248bb2:49 %cond = phi i32 [ %x, %bb0 ], [ 0, %bb1 ]50 %foo = add i32 %cond, %x51 ret i32 %foo52}53 54define i32 @f3(i32 %x) {55; CHECK-LABEL: @f3(56; CHECK-NEXT: bb0:57; CHECK-NEXT: ; switch predicate info { CaseValue: i32 0 Edge: [label [[BB0:%.*]],label [[BB2:%.*]]], RenamedOp: [[X:%.*]] }58; CHECK-NEXT: [[X_0:%.*]] = bitcast i32 [[X]] to i3259; CHECK-NEXT: switch i32 [[X]], label [[BB1:%.*]] [60; CHECK-NEXT: i32 0, label [[BB2]]61; CHECK-NEXT: ]62; CHECK: bb1:63; CHECK-NEXT: br label [[BB2]]64; CHECK: bb2:65; CHECK-NEXT: [[COND:%.*]] = phi i32 [ [[X_0]], [[BB0]] ], [ 0, [[BB1]] ]66; CHECK-NEXT: [[FOO:%.*]] = add i32 [[COND]], [[X]]67; CHECK-NEXT: ret i32 [[FOO]]68;69bb0:70 switch i32 %x, label %bb1 [ i32 0, label %bb2]71bb1:72 br label %bb273bb2:74 %cond = phi i32 [ %x, %bb0 ], [ 0, %bb1 ]75 %foo = add i32 %cond, %x76 ret i32 %foo77}78 79 80define double @fcmp_oeq_not_zero(double %x, double %y) {81; CHECK-LABEL: @fcmp_oeq_not_zero(82; CHECK-NEXT: entry:83; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[Y:%.*]], 2.000000e+0084; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = fcmp oeq double [[Y]], 2.000000e+00 Edge: [label [[ENTRY:%.*]],label [[IF:%.*]]], RenamedOp: [[Y]] }85; CHECK-NEXT: [[Y_0:%.*]] = bitcast double [[Y]] to double86; CHECK-NEXT: br i1 [[CMP]], label [[IF]], label [[RETURN:%.*]]87; CHECK: if:88; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[X:%.*]], [[Y_0]]89; CHECK-NEXT: br label [[RETURN]]90; CHECK: return:91; CHECK-NEXT: [[RETVAL:%.*]] = phi double [ [[DIV]], [[IF]] ], [ [[X]], [[ENTRY]] ]92; CHECK-NEXT: ret double [[RETVAL]]93;94entry:95 %cmp = fcmp oeq double %y, 2.096 br i1 %cmp, label %if, label %return97 98if:99 %div = fdiv double %x, %y100 br label %return101 102return:103 %retval = phi double [ %div, %if ], [ %x, %entry ]104 ret double %retval105 106}107 108define double @fcmp_une_not_zero(double %x, double %y) {109; CHECK-LABEL: @fcmp_une_not_zero(110; CHECK-NEXT: entry:111; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[Y:%.*]], 2.000000e+00112; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = fcmp une double [[Y]], 2.000000e+00 Edge: [label [[ENTRY:%.*]],label [[ELSE:%.*]]], RenamedOp: [[Y]] }113; CHECK-NEXT: [[Y_0:%.*]] = bitcast double [[Y]] to double114; CHECK-NEXT: br i1 [[CMP]], label [[RETURN:%.*]], label [[ELSE]]115; CHECK: else:116; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[X:%.*]], [[Y_0]]117; CHECK-NEXT: br label [[RETURN]]118; CHECK: return:119; CHECK-NEXT: [[RETVAL:%.*]] = phi double [ [[DIV]], [[ELSE]] ], [ [[X]], [[ENTRY]] ]120; CHECK-NEXT: ret double [[RETVAL]]121;122entry:123 %cmp = fcmp une double %y, 2.0124 br i1 %cmp, label %return, label %else125 126else:127 %div = fdiv double %x, %y128 br label %return129 130return:131 %retval = phi double [ %div, %else ], [ %x, %entry ]132 ret double %retval133 134}135 136define double @fcmp_oeq_zero(double %x, double %y) {137; CHECK-LABEL: @fcmp_oeq_zero(138; CHECK-NEXT: entry:139; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[Y:%.*]], 0.000000e+00140; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = fcmp oeq double [[Y]], 0.000000e+00 Edge: [label [[ENTRY:%.*]],label [[IF:%.*]]], RenamedOp: [[Y]] }141; CHECK-NEXT: [[Y_0:%.*]] = bitcast double [[Y]] to double142; CHECK-NEXT: br i1 [[CMP]], label [[IF]], label [[RETURN:%.*]]143; CHECK: if:144; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[X:%.*]], [[Y_0]]145; CHECK-NEXT: br label [[RETURN]]146; CHECK: return:147; CHECK-NEXT: [[RETVAL:%.*]] = phi double [ [[DIV]], [[IF]] ], [ [[X]], [[ENTRY]] ]148; CHECK-NEXT: ret double [[RETVAL]]149;150entry:151 %cmp = fcmp oeq double %y, 0.0152 br i1 %cmp, label %if, label %return153 154if:155 %div = fdiv double %x, %y156 br label %return157 158return:159 %retval = phi double [ %div, %if ], [ %x, %entry ]160 ret double %retval161 162}163 164define double @fcmp_une_zero(double %x, double %y) {165; CHECK-LABEL: @fcmp_une_zero(166; CHECK-NEXT: entry:167; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[Y:%.*]], -0.000000e+00168; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = fcmp une double [[Y]], -0.000000e+00 Edge: [label [[ENTRY:%.*]],label [[ELSE:%.*]]], RenamedOp: [[Y]] }169; CHECK-NEXT: [[Y_0:%.*]] = bitcast double [[Y]] to double170; CHECK-NEXT: br i1 [[CMP]], label [[RETURN:%.*]], label [[ELSE]]171; CHECK: else:172; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[X:%.*]], [[Y_0]]173; CHECK-NEXT: br label [[RETURN]]174; CHECK: return:175; CHECK-NEXT: [[RETVAL:%.*]] = phi double [ [[DIV]], [[ELSE]] ], [ [[X]], [[ENTRY]] ]176; CHECK-NEXT: ret double [[RETVAL]]177;178entry:179 %cmp = fcmp une double %y, -0.0180 br i1 %cmp, label %return, label %else181 182else:183 %div = fdiv double %x, %y184 br label %return185 186return:187 %retval = phi double [ %div, %else ], [ %x, %entry ]188 ret double %retval189 190}191 192 193define double @fcmp_oeq_maybe_zero(double %x, double %y, double %z1, double %z2) {194; CHECK-LABEL: @fcmp_oeq_maybe_zero(195; CHECK-NEXT: entry:196; CHECK-NEXT: [[Z:%.*]] = fadd double [[Z1:%.*]], [[Z2:%.*]]197; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq double [[Y:%.*]], [[Z]]198; CHECK-NEXT: ; branch predicate info { TrueEdge: 1 Comparison: [[CMP]] = fcmp oeq double [[Y]], [[Z]] Edge: [label [[ENTRY:%.*]],label [[IF:%.*]]], RenamedOp: [[Z]] }199; CHECK-NEXT: [[Z_0:%.*]] = bitcast double [[Z]] to double200; CHECK-NEXT: br i1 [[CMP]], label [[IF]], label [[RETURN:%.*]]201; CHECK: if:202; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[X:%.*]], [[Z_0]]203; CHECK-NEXT: br label [[RETURN]]204; CHECK: return:205; CHECK-NEXT: [[RETVAL:%.*]] = phi double [ [[DIV]], [[IF]] ], [ [[X]], [[ENTRY]] ]206; CHECK-NEXT: ret double [[RETVAL]]207;208entry:209 %z = fadd double %z1, %z2210 %cmp = fcmp oeq double %y, %z211 br i1 %cmp, label %if, label %return212 213if:214 %div = fdiv double %x, %z215 br label %return216 217return:218 %retval = phi double [ %div, %if ], [ %x, %entry ]219 ret double %retval220 221}222 223define double @fcmp_une_maybe_zero(double %x, double %y, double %z1, double %z2) {224; CHECK-LABEL: @fcmp_une_maybe_zero(225; CHECK-NEXT: entry:226; CHECK-NEXT: [[Z:%.*]] = fadd double [[Z1:%.*]], [[Z2:%.*]]227; CHECK-NEXT: [[CMP:%.*]] = fcmp une double [[Y:%.*]], [[Z]]228; CHECK-NEXT: ; branch predicate info { TrueEdge: 0 Comparison: [[CMP]] = fcmp une double [[Y]], [[Z]] Edge: [label [[ENTRY:%.*]],label [[ELSE:%.*]]], RenamedOp: [[Z]] }229; CHECK-NEXT: [[Z_0:%.*]] = bitcast double [[Z]] to double230; CHECK-NEXT: br i1 [[CMP]], label [[RETURN:%.*]], label [[ELSE]]231; CHECK: else:232; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[X:%.*]], [[Z_0]]233; CHECK-NEXT: br label [[RETURN]]234; CHECK: return:235; CHECK-NEXT: [[RETVAL:%.*]] = phi double [ [[DIV]], [[ELSE]] ], [ [[X]], [[ENTRY]] ]236; CHECK-NEXT: ret double [[RETVAL]]237;238entry:239 %z = fadd double %z1, %z2240 %cmp = fcmp une double %y, %z241 br i1 %cmp, label %return, label %else242 243else:244 %div = fdiv double %x, %z245 br label %return246 247return:248 %retval = phi double [ %div, %else ], [ %x, %entry ]249 ret double %retval250 251}252