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>
59 lines
2.2 KiB
LLVM
59 lines
2.2 KiB
LLVM
; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
|
|
|
|
; CHECK: declare void @llvm.test.immarg.intrinsic.i32(i32 immarg)
|
|
declare void @llvm.test.immarg.intrinsic.i32(i32 immarg)
|
|
|
|
; CHECK: declare void @llvm.test.immarg.intrinsic.f32(float immarg)
|
|
declare void @llvm.test.immarg.intrinsic.f32(float immarg)
|
|
|
|
; CHECK: declare void @llvm.test.immarg.range.intrinsic.i32(i32 immarg range(i32 -2, 14))
|
|
declare void @llvm.test.immarg.range.intrinsic.i32(i32 immarg range(i32 -2, 14))
|
|
|
|
; CHECK-LABEL: @call_llvm.test.immarg.intrinsic.i32(
|
|
define void @call_llvm.test.immarg.intrinsic.i32() {
|
|
; CHECK: call void @llvm.test.immarg.intrinsic.i32(i32 0)
|
|
call void @llvm.test.immarg.intrinsic.i32(i32 0)
|
|
|
|
; CHECK: call void @llvm.test.immarg.intrinsic.i32(i32 0)
|
|
call void @llvm.test.immarg.intrinsic.i32(i32 0)
|
|
|
|
; CHECK: call void @llvm.test.immarg.intrinsic.i32(i32 1)
|
|
call void @llvm.test.immarg.intrinsic.i32(i32 1)
|
|
|
|
; CHECK: call void @llvm.test.immarg.intrinsic.i32(i32 5)
|
|
call void @llvm.test.immarg.intrinsic.i32(i32 add (i32 2, i32 3))
|
|
|
|
; CHECK: call void @llvm.test.immarg.intrinsic.i32(i32 0)
|
|
call void @llvm.test.immarg.intrinsic.i32(i32 ptrtoint (ptr null to i32))
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: @call_llvm.test.immarg.intrinsic.f32(
|
|
define void @call_llvm.test.immarg.intrinsic.f32() {
|
|
; CHECK: call void @llvm.test.immarg.intrinsic.f32(float 1.000000e+00)
|
|
call void @llvm.test.immarg.intrinsic.f32(float 1.0)
|
|
ret void
|
|
}
|
|
|
|
define void @on_callsite_and_declaration() {
|
|
; CHECK: call void @llvm.test.immarg.intrinsic.i32(i32 immarg 0)
|
|
call void @llvm.test.immarg.intrinsic.i32(i32 immarg 0)
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: @test_int_immarg_with_range(
|
|
define void @test_int_immarg_with_range() {
|
|
; CHECK: call void @llvm.test.immarg.range.intrinsic.i32(i32 -2)
|
|
call void @llvm.test.immarg.range.intrinsic.i32(i32 -2)
|
|
|
|
; CHECK: call void @llvm.test.immarg.range.intrinsic.i32(i32 0)
|
|
call void @llvm.test.immarg.range.intrinsic.i32(i32 0)
|
|
|
|
; CHECK: call void @llvm.test.immarg.range.intrinsic.i32(i32 5)
|
|
call void @llvm.test.immarg.range.intrinsic.i32(i32 5)
|
|
|
|
; CHECK: call void @llvm.test.immarg.range.intrinsic.i32(i32 13)
|
|
call void @llvm.test.immarg.range.intrinsic.i32(i32 13)
|
|
ret void
|
|
}
|