c85611e858
In a variety of places we change the bitwidth of a parameter but don't update the attributes. The issue in this case is from the `range` attribute when inlining `__memset_chk`. `optimizeMemSetChk` will replace an `i32` with an `i8`, and if the `i32` had a `range` attr assosiated it will cause an error. Fixes #112633
20 lines
616 B
LLVM
20 lines
616 B
LLVM
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
|
|
|
|
; CHECK: Attribute 'range(i8 1, 0)' applied to incompatible type!
|
|
; CHECK-NEXT: ptr @bit_widths_do_not_match
|
|
define void @bit_widths_do_not_match(i32 range(i8 1, 0) %a) {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Attribute 'range(i8 1, 0)' applied to incompatible type!
|
|
; CHECK-NEXT: ptr @bit_widths_do_not_match_vector
|
|
define void @bit_widths_do_not_match_vector(<4 x i32> range(i8 1, 0) %a) {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Attribute 'range(i8 1, 0)' applied to incompatible type!
|
|
; CHECK-NEXT: ptr @not-integer-type
|
|
define void @not-integer-type(ptr range(i8 1, 0) %a) {
|
|
ret void
|
|
}
|