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 } 27
