llvm/test/Transforms/NewGVN/simp-to-self.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt -S < %s -passes=newgvn | FileCheck %s
   3
   4 @a = external global i64
   5
   6 define void @fn1(i1 %bc) {
   7 ; CHECK-LABEL: define void @fn1(
   8 ; CHECK-SAME: i1 [[BC:%.*]]) {
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    br label [[FOR_COND:%.*]]
  11 ; CHECK:       for.cond:
  12 ; CHECK-NEXT:    [[LV:%.*]] = load i32, ptr @a, align 4
  13 ; CHECK-NEXT:    [[BF_CLEAR:%.*]] = and i32 [[LV]], -131072
  14 ; CHECK-NEXT:    [[BF_SET:%.*]] = or i32 1, [[BF_CLEAR]]
  15 ; CHECK-NEXT:    [[BF_CLEAR_1:%.*]] = and i32 [[BF_SET]], -131072
  16 ; CHECK-NEXT:    [[BF_SET_1:%.*]] = or i32 1, [[BF_CLEAR_1]]
  17 ; CHECK-NEXT:    br i1 [[BC]], label [[FOR_COND]], label [[EXIT:%.*]]
  18 ; CHECK:       exit:
  19 ; CHECK-NEXT:    store i32 [[BF_SET_1]], ptr @a, align 4
  20 ; CHECK-NEXT:    ret void
  21 ;
  22 entry:
  23   br label %for.cond
  24
  25 for.cond:                                         ; preds = %for.cond1.1, %entry
  26   %tmp = phi i1 [ undef, %entry ], [ 1, %for.cond ]
  27   %conv = zext i1 %tmp to i32
  28   %lv = load i32, ptr @a
  29   %bf.clear = and i32 %lv, -131072
  30   %bf.set = or i32 %conv, %bf.clear
  31   %bf.clear.1 = and i32 %bf.set, -131072
  32   %bf.set.1 = or i32 1, %bf.clear.1
  33   br i1 %bc, label %for.cond, label %exit
  34
  35 exit:                              ; preds = %for.cond1
  36   store i32 %bf.set.1, ptr @a
  37   ret void
  38 }