|  | ; RUN: opt -passes='require<no-op-module>,ipsccp' -disable-output < %s 2>&1 -debug-pass-manager | FileCheck %s | 
|  |  | 
|  | ; CHECK: Invalidating {{.*}} NoOpModuleAnalysis | 
|  |  | 
|  | define i16 @main() { | 
|  | entry: | 
|  | %call10 = call i16 @test_local_fp3(i16 undef) | 
|  | ret i16 0 | 
|  | } | 
|  |  | 
|  | declare ptr @add_fp2() | 
|  |  | 
|  | define internal ptr @add_fp3() { | 
|  | entry: | 
|  | ret ptr @add_fp2 | 
|  | } | 
|  |  | 
|  | define internal i16 @test_local_fp3(i16 %tnr) { | 
|  | entry: | 
|  | %tnr.addr = alloca i16, align 1 | 
|  | %call10 = call i16 @apply_fp3_local(ptr @add_fp3, i16 181, i16 16384) | 
|  | %0 = load i16, ptr %tnr.addr, align 1 | 
|  | ret i16 %0 | 
|  | } | 
|  |  | 
|  | define internal i16 @apply_fp3_local(ptr %fp, i16 %p1, i16 %p2) { | 
|  | entry: | 
|  | %fp.addr = alloca ptr, align 1 | 
|  | store ptr %fp, ptr %fp.addr, align 1 | 
|  | %0 = load ptr, ptr %fp.addr, align 1 | 
|  | %call = call ptr %0() | 
|  | %call2 = call i16 undef(i16 undef, i16 undef) | 
|  | ret i16 %call2 | 
|  | } |