|  | ; RUN: opt -abort-on-max-devirt-iterations-reached -passes='cgscc(devirt<1>(inline,instcombine))' -S < %s | FileCheck %s | 
|  | ; RUN: opt -abort-on-max-devirt-iterations-reached -passes='default<O2>' -S < %s | FileCheck %s | 
|  |  | 
|  | define i32 @i() alwaysinline { | 
|  | ret i32 45 | 
|  | } | 
|  |  | 
|  | ; CHECK-LABEL: define i32 @main | 
|  | ; CHECK-NEXT: ret i32 45 | 
|  |  | 
|  | define i32 @main() { | 
|  | %a = alloca i32 ()* | 
|  | store i32 ()* @i, i32 ()** %a | 
|  | %r = call i32 @call(i32 ()** %a) | 
|  | ret i32 %r | 
|  | } | 
|  |  | 
|  | define i32 @call(i32 ()** %a) alwaysinline { | 
|  | %c = load i32 ()*, i32 ()** %a | 
|  | %r = call i32 %c() | 
|  | ret i32 %r | 
|  | } |