Home | History | Annotate | Download | only in InstCombine
      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]* @.str, i64 0, i64 0), i32 %conv2) nounwind
     25   ret i32 0
     26 }