llvm/test/Bitcode/upgrade-incompatible-func-attr-11.0.ll

   1 ; Check upgrade is removing the incompatible attributes on function types.
   2
   3 ; RUN: llvm-dis < %s.bc | FileCheck %s
   4
   5 ; CHECK: define i8 @f(i8 %0, i8 %1)
   6 define align 8 i8 @f(i8 align 8 %0, i8 align 8 %1) {
   7   ret i8 0
   8 }
   9
  10 ; CHECK: declare i8 @f2(i8, i8, ...)
  11 declare align 8 i8 @f2(i8 align 8, i8 align 8, ...)
  12
  13 declare i32* @"personality_function"()
  14
  15 define void @g() personality i32* ()* @"personality_function" {
  16 ; CHECK: call i8 @f(i8 0, i8 1)
  17   %1 = call align 8 i8 @f(i8 align 8 0, i8 align 8 1);
  18 ; CHECK: call i8 (i8, i8, ...) @f2(i8 0, i8 1, i8 2)
  19   %2 = call align 8 i8(i8, i8, ...) @f2(i8 align 8 0, i8 align 8 1, i8 align 8 2);
  20 ; CHECK: invoke i8 @f(i8 0, i8 1)
  21   %3 = invoke align 8 i8 @f(i8 align 8 0, i8 align 8 1) to label %cont unwind label %cleanup
  22
  23 cont:
  24   ret void
  25
  26 cleanup:
  27   %4 = landingpad i8 cleanup
  28   ret void
  29 }