1; RUN: opt -reassociate -disable-output %s 2 3 4; rdar://7507855 5define fastcc i32 @test1() nounwind { 6entry: 7 %cond = select i1 undef, i32 1, i32 -1 ; <i32> [#uses=2] 8 br label %for.cond 9 10for.cond: ; preds = %for.body, %entry 11 %sub889 = sub i32 undef, undef ; <i32> [#uses=1] 12 %sub891 = sub i32 %sub889, %cond ; <i32> [#uses=0] 13 %add896 = sub i32 0, %cond ; <i32> [#uses=0] 14 ret i32 undef 15} 16 17; PR5981 18define i32 @test2() nounwind ssp { 19entry: 20 %0 = load i32* undef, align 4 21 %1 = mul nsw i32 undef, %0 22 %2 = mul nsw i32 undef, %0 23 %3 = add nsw i32 undef, %1 24 %4 = add nsw i32 %3, %2 25 %5 = add nsw i32 %4, 4 26 %6 = shl i32 %0, 3 27 %7 = add nsw i32 %5, %6 28 br label %bb4.i9 29 30bb4.i9: 31 %8 = add nsw i32 undef, %1 32 ret i32 0 33} 34 35 36define i32 @test3(i32 %Arg, i32 %x1, i32 %x2, i32 %x3) { 37 %A = mul i32 %x1, %Arg 38 %B = mul i32 %Arg, %x2 ;; Part of add operation being factored, also used by C 39 %C = mul i32 %x3, %B 40 41 %D = add i32 %A, %B 42 %E = add i32 %D, %C 43 ret i32 %E 44} 45 46 47; rdar://9096268 48define void @x66303361ae3f602889d1b7d0f86e5455(i8* %arg) nounwind { 49_: 50 br label %_33 51 52_33: ; preds = %_33, %_ 53 %tmp348 = load i8* %arg, align 1 54 %tmp349 = lshr i8 %tmp348, 7 55 %tmp350 = or i8 %tmp349, 42 56 %tmp351 = add i8 %tmp350, -42 57 %tmp352 = zext i8 %tmp351 to i32 58 %tmp358 = add i32 %tmp352, -501049439 59 %tmp359 = mul i32 %tmp358, %tmp358 60 %tmp360 = mul i32 %tmp352, %tmp352 61 %tmp361 = sub i32 %tmp359, %tmp360 62 %tmp362 = mul i32 %tmp361, -920056735 63 %tmp363 = add i32 %tmp362, 501049439 64 %tmp364 = add i32 %tmp362, -2000262972 65 %tmp365 = sub i32 %tmp363, %tmp364 66 %tmp366 = sub i32 -501049439, %tmp362 67 %tmp367 = add i32 %tmp365, %tmp366 68 br label %_33 69} 70