llvm/test/Transforms/InstCombine/zext-phi.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 target datalayout = "e-m:e-i64:64-n8:16:32:64"
   5
   6 ; Although i1 is not in the datalayout, we should treat it
   7 ; as a legal type because it is a fundamental type in IR.
   8 ; This means we should shrink the phi (sink the zexts).
   9
  10 define i64 @sink_i1_casts(i1 %cond1, i1 %cond2, i1 %cond) {
  11 ; CHECK-LABEL: define i64 @sink_i1_casts(
  12 ; CHECK-SAME: i1 [[COND1:%.*]], i1 [[COND2:%.*]], i1 [[COND:%.*]]) {
  13 ; CHECK-NEXT:  [[ENTRY:.*]]:
  14 ; CHECK-NEXT:    br i1 [[COND]], label %[[IF:.*]], label %[[END:.*]]
  15 ; CHECK:       [[IF]]:
  16 ; CHECK-NEXT:    br label %[[END]]
  17 ; CHECK:       [[END]]:
  18 ; CHECK-NEXT:    [[PHI_IN1:%.*]] = phi i1 [ [[COND1]], %[[ENTRY]] ], [ [[COND2]], %[[IF]] ]
  19 ; CHECK-NEXT:    [[PHI_IN:%.*]] = zext i1 [[PHI_IN1]] to i64
  20 ; CHECK-NEXT:    ret i64 [[PHI_IN]]
  21 ;
  22 entry:
  23   %z1 = zext i1 %cond1 to i64
  24   br i1 %cond, label %if, label %end
  25
  26 if:
  27   %z2 = zext i1 %cond2 to i64
  28   br label %end
  29
  30 end:
  31   %phi = phi i64 [ %z1, %entry ], [ %z2, %if ]
  32   ret i64 %phi
  33 }
  34