llvm/test/Transforms/InstCombine/pr82877.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
   3
   4 define i64 @func(i32 %p, i1 %cmp1) {
   5 ; CHECK-LABEL: define i64 @func(
   6 ; CHECK-SAME: i32 [[P:%.*]], i1 [[CMP1:%.*]]) {
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    [[NOT:%.*]] = xor i32 [[P]], -1
   9 ; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
  10 ; CHECK:       for.body:
  11 ; CHECK-NEXT:    [[P0:%.*]] = phi i32 [ [[NOT]], [[ENTRY:%.*]] ], [ [[CONV:%.*]], [[FOR_BODY]] ]
  12 ; CHECK-NEXT:    [[COND:%.*]] = select i1 [[CMP1]], i32 0, i32 -1231558963
  13 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[COND]], [[P0]]
  14 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i32 [[XOR]], 1
  15 ; CHECK-NEXT:    [[CONV]] = zext i1 [[CMP2]] to i32
  16 ; CHECK-NEXT:    br i1 [[CMP2]], label [[FOR_BODY]], label [[FOR_EXIT:%.*]]
  17 ; CHECK:       for.exit:
  18 ; CHECK-NEXT:    ret i64 0
  19 ;
  20 entry:
  21   %not = xor i32 %p, -1
  22   br label %for.body
  23
  24 for.body:
  25   %p0 = phi i32 [ %not, %entry ], [ %conv, %for.body ]
  26   %cond = select i1 %cmp1, i32 0, i32 -1231558963
  27   %xor = xor i32 %cond, %p0
  28   %cmp2 = icmp ne i32 %xor, 1
  29   %conv = zext i1 %cmp2 to i32
  30   br i1 %cmp2, label %for.body, label %for.exit
  31
  32 for.exit:
  33   ret i64 0
  34 }