blob: 33b47ecfbb1f3060ebe249005d593caad512c033 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
; REQUIRES: geq-llvm-12.0
; RUN: rm -rf %t.klee-out
; RUN: %klee --output-dir=%t.klee-out --optimize=false %s 2> %t.stderr.log
; RUN: FileCheck %s < %t.stderr.log
define i32 @main() {
%1 = call i32 @llvm.abs.i32(i32 -2147483648, i1 true)
; CHECK: llvm.abs called with poison and INT_MIN
ret i32 0
}
declare i32 @llvm.abs.i32(i32, i1 immarg)
|
