1; RUN: llvm-as < %s -o /dev/null
2
3define i8* @f_0(i8 %val) {
4  %ptr = inttoptr i8 %val to i8*, !dereferenceable_or_null !{i64 2}
5  ret i8* %ptr
6}
7