; Check upgrade is removing the incompatible attributes on void return type. | |
; RUN: llvm-dis < %s.bc | FileCheck %s | |
; CHECK: define void @f() | |
define align 8 void @f() { | |
ret void | |
} | |
define void @g() { | |
; CHECK: call void @f() | |
call align 8 void @f(); | |
ret void | |
} |