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

   1 ; RUN: opt -S < %s -newgvn | FileCheck %s
   2
   3 ; CHECK-LABEL: for.cond:
   4 ; CHECK-NEXT:    %lv = load i32, i32* bitcast (i64* @a to i32*)
   5 ; CHECK-NEXT:    %bf.clear = and i32 %lv, -131072
   6 ; CHECK-NEXT:    %bf.set = or i32 1, %bf.clear
   7 ; CHECK-NEXT:    br i1 %bc, label %for.cond, label %exit
   8 @a = external global i64
   9
  10 define void @fn1(i1 %bc) {
  11 entry:
  12   br label %for.cond
  13
  14 for.cond:                                         ; preds = %for.cond1.1, %entry
  15   %tmp = phi i1 [ undef, %entry ], [ 1, %for.cond ]
  16   %conv = zext i1 %tmp to i32
  17   %lv = load i32, i32* bitcast (i64* @a to i32*)
  18   %bf.clear = and i32 %lv, -131072
  19   %bf.set = or i32 %conv, %bf.clear
  20   %bf.clear.1 = and i32 %bf.set, -131072
  21   %bf.set.1 = or i32 1, %bf.clear.1
  22   br i1 %bc, label %for.cond, label %exit
  23
  24 exit:                              ; preds = %for.cond1
  25   store i32 %bf.set.1, i32* bitcast (i64* @a to i32*)
  26   ret void
  27 }