b6c9c7633a
This patch implements verifier checks for range attributes on ImmArg. This enables validation of the range of ImmArg operands in intrinsics, when the intrinsic definition includes the range information. Signed-off-by: Durgadoss R <durgadossr@nvidia.com>
35 lines
1.7 KiB
LLVM
35 lines
1.7 KiB
LLVM
; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.byval(ptr byval(i32) immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.inalloca(ptr inalloca(i32) immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.inreg(i32 inreg immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.nest(ptr nest immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.sret(ptr sret(i32) immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.zeroext(i32 zeroext immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.signext(i32 signext immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.returned(i32 returned immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.noalias(ptr noalias immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.readnone(ptr readnone immarg)
|
|
|
|
; CHECK: Attribute 'immarg' is incompatible with other attributes except the 'range' attribute
|
|
declare void @llvm.immarg.readonly(ptr readonly immarg)
|