Test Failure: Transforms/InstSimplify/gep.ll

Test source: git

Log:

Source: <stdin>

----------------------------------------
define * @test1(* %b, * %e) {
%0:
  %e_ptr = ptrtoint * %e to i64
  %b_ptr = ptrtoint * %b to i64
  %sub = sub i64 %e_ptr, %b_ptr
  %sdiv = sdiv exact i64 %sub, 7
  %gep = gep inbounds * %b, 7 x i64 %sdiv
  ret * %gep
}
=>
define * @test1(* %b, * %e) {
%0:
  ret * %e
}
Transformation doesn't verify!
ERROR: Value mismatch

Example:
* %b = pointer(non-local, block_id=2, offset=4683743612465315840)
* %e = pointer(non-local, block_id=0, offset=7061756916455489536)

Source:
i64 %e_ptr = #x620066802f7cc000 (7061756916455489536)
i64 %b_ptr = #x7900000000000000 (8718968878589280256)
i64 %sub = #xe90066802f7cc000 (16789532111575760896, -1657211962133790720)
i64 %sdiv = #xfcb6ea124fed4000 (18209999507690438656, -236744566019112960)
* %gep = pointer(non-local, block_id=2, offset=3026531650331525120)

SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >	size: 0	align: 64	alloc type: 0	address: 0
Block 1 >	size: 433297341902277268	align: 2	alloc type: 0	address: 1766132987535114368
Block 2 >	size: 4899916394579100360	align: 262144	alloc type: 0	address: 4035225266123964416

Target:
Source value: pointer(non-local, block_id=2, offset=3026531650331525120)
Target value: pointer(non-local, block_id=0, offset=7061756916455489536)


------------------- SMT STATS -------------------
Num queries: 2
Num invalid: 0
Num skips:   0
Num trivial: 3 (60.0%)
Num timeout: 0 (0.0%)
Num errors:  0 (0.0%)
Num SAT:     2 (100.0%)
Num UNSAT:   0 (0.0%)

stderr:

+ : 'RUN: at line 2'
+ /home/nlopes/alive2/scripts/opt-alive.sh -S -instsimplify
+ /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstSimplify/gep.ll
warning: The code that requested the fixed number of elements has made the assumption that this vector is not scalable. This assumption was not correct, and this may lead to broken code
warning: The code that requested the fixed number of elements has made the assumption that this vector is not scalable. This assumption was not correct, and this may lead to broken code

Alive2: Transform doesn't verify; aborting!
FileCheck error: '<stdin>' is empty.
FileCheck command line:  /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstSimplify/gep.ll

<-- Back