; RUN: opt < %s -basicaa -gvn -S | FileCheck %s @g = global i32 0 ; CHECK: @test ; CHECK: entry ; CHECK: %tmp0 = call i32 @TestConst(i32 5) readnone ; CHECK-NEXT: %tmp1 = call i32 @TestPure(i32 6) readonly ; CHECK-NEXT: %tmp2 = call i32 @TestNone(i32 7) ; CHECK-NEXT: store i32 1, i32* @g ; CHECK-NEXT: %tmp5 = call i32 @TestPure(i32 6) readonly ; CHECK-NEXT: %tmp7 = call i32 @TestNone(i32 7) ; CHECK-NEXT: %tmp8 = call i32 @TestNone(i32 7) ; CHECK-NEXT: %sum0 = add i32 %tmp0, %tmp1 ; CHECK-NEXT: %sum1 = add i32 %sum0, %tmp2 ; CHECK-NEXT: %sum2 = add i32 %sum1, %tmp0 ; CHECK-NEXT: %sum3 = add i32 %sum2, %tmp0 ; CHECK-NEXT: %sum4 = add i32 %sum3, %tmp5 ; CHECK-NEXT: %sum5 = add i32 %sum4, %tmp5 ; CHECK-NEXT: %sum6 = add i32 %sum5, %tmp7 ; CHECK-NEXT: %sum7 = add i32 %sum6, %tmp8 ; CHECK-NEXT: ret i32 %sum7 define i32 @test() { entry: %tmp0 = call i32 @TestConst( i32 5 ) readnone ; [#uses=1] %tmp1 = call i32 @TestPure( i32 6 ) readonly ; [#uses=1] %tmp2 = call i32 @TestNone( i32 7 ) ; [#uses=1] store i32 1, i32* @g %tmp3 = call i32 @TestConst( i32 5 ) readnone ; [#uses=1] %tmp4 = call i32 @TestConst( i32 5 ) readnone ; [#uses=1] %tmp5 = call i32 @TestPure( i32 6 ) readonly ; [#uses=1] %tmp6 = call i32 @TestPure( i32 6 ) readonly ; [#uses=1] %tmp7 = call i32 @TestNone( i32 7 ) ; [#uses=1] %tmp8 = call i32 @TestNone( i32 7 ) ; [#uses=1] %sum0 = add i32 %tmp0, %tmp1 ; [#uses=1] %sum1 = add i32 %sum0, %tmp2 ; [#uses=1] %sum2 = add i32 %sum1, %tmp3 ; [#uses=1] %sum3 = add i32 %sum2, %tmp4 ; [#uses=1] %sum4 = add i32 %sum3, %tmp5 ; [#uses=1] %sum5 = add i32 %sum4, %tmp6 ; [#uses=1] %sum6 = add i32 %sum5, %tmp7 ; [#uses=1] %sum7 = add i32 %sum6, %tmp8 ; [#uses=1] ret i32 %sum7 } declare i32 @TestConst(i32) readnone declare i32 @TestPure(i32) readonly declare i32 @TestNone(i32)