test/Transforms/InstCombine/pr8547.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2 ; Converting the 2 shifts to SHL 6 without the AND is wrong.  PR 8547.
   3
   4 @g_2 = global i32 0, align 4
   5 @.str = constant [10 x i8] c"g_2 = %d\0A\00"
   6
   7 declare i32 @printf(i8*, ...)
   8
   9 define i32 @main() nounwind {
  10 codeRepl:
  11   br label %for.cond
  12
  13 for.cond:                                         ; preds = %for.cond, %codeRepl
  14   %storemerge = phi i32 [ 0, %codeRepl ], [ 5, %for.cond ]
  15   store i32 %storemerge, i32* @g_2, align 4
  16   %shl = shl i32 %storemerge, 30
  17   %conv2 = lshr i32 %shl, 24
  18 ; CHECK:  %0 = shl nuw nsw i32 %storemerge, 6
  19 ; CHECK:  %conv2 = and i32 %0, 64
  20   %tobool = icmp eq i32 %conv2, 0
  21   br i1 %tobool, label %for.cond, label %codeRepl2
  22
  23 codeRepl2:                                        ; preds = %for.cond
  24   %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 %conv2) nounwind
  25   ret i32 0
  26 }