llvm/test/Verifier/speculatable-callsite.ll
Matt Arsenault ea376dae25 Add speculatable function attribute
This attribute tells the optimizer that the function may be speculated.

Patch by Tom Stellard

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@301680 91177308-0d34-0410-b5e6-96231b3b80d8
2017-04-28 20:25:27 +00:00

21 lines
504 B
LLVM

; RUN: llvm-as %s -o /dev/null
; Make sure speculatable is accepted on a call site if the declaration
; is also speculatable.
declare i32 @speculatable() #0
; Make sure this the attribute is accepted on the call site if the
; declaration matches.
define i32 @call_speculatable() {
%ret = call i32 @speculatable() #0
ret i32 %ret
}
define float @call_bitcast_speculatable() {
%ret = call float bitcast (i32()* @speculatable to float()*)() #0
ret float %ret
}
attributes #0 = { speculatable }