28 lines · plain
1; Test that pure functions are cse'd away2; RUN: opt < %s -aa-pipeline=globals-aa,basic-aa -passes='require<globals-aa>,gvn,instcombine' -S | FileCheck %s3 4define i32 @pure(i32 %X) {5 %Y = add i32 %X, 1 ; <i32> [#uses=1]6 ret i32 %Y7}8 9define i32 @test1(i32 %X) {10; CHECK: %A = call i32 @pure(i32 %X)11; CHECK-NEXT: ret i32 012 %A = call i32 @pure( i32 %X ) ; <i32> [#uses=1]13 %B = call i32 @pure( i32 %X ) ; <i32> [#uses=1]14 %C = sub i32 %A, %B ; <i32> [#uses=1]15 ret i32 %C16}17 18define i32 @test2(i32 %X, ptr %P) {19; CHECK: %A = call i32 @pure(i32 %X)20; CHECK-NEXT: store i32 %X, ptr %P21; CHECK-NEXT: ret i32 022 %A = call i32 @pure( i32 %X ) ; <i32> [#uses=1]23 store i32 %X, ptr %P ;; Does not invalidate 'pure' call.24 %B = call i32 @pure( i32 %X ) ; <i32> [#uses=1]25 %C = sub i32 %A, %B ; <i32> [#uses=1]26 ret i32 %C27}28