Home | History | Annotate | Download | only in Verifier
      1 ; RUN: llvm-as %s -o /dev/null
      2 
      3 ; Make sure speculatable is accepted on a call site if the declaration
      4 ; is also speculatable.
      5 
      6 declare i32 @speculatable() #0
      7 
      8 ; Make sure this the attribute is accepted on the call site if the
      9 ; declaration matches.
     10 define i32 @call_speculatable() {
     11   %ret = call i32 @speculatable() #0
     12   ret i32 %ret
     13 }
     14 
     15 define float @call_bitcast_speculatable() {
     16   %ret = call float bitcast (i32()* @speculatable to float()*)() #0
     17   ret float %ret
     18 }
     19 
     20 attributes #0 = { speculatable }
     21