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) 6define 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, ...) 11declare align 8 i8 @f2(i8 align 8, i8 align 8, ...) 12 13declare i32* @"personality_function"() 14 15define 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 23cont: 24 ret void 25 26cleanup: 27 %4 = landingpad i8 cleanup 28 ret void 29} 30