Open
Description
input: https://gist.github.com/hgvk94/2910d6f92222c003ee3d7cc9ef42339b
commit: cf8c198
output:
(and (not (= v6_0 (+ 1 (HeapSize v0_0)))) (>= (HeapSize v0_0) 0) (<= v3_0 2) (<= 2 v3_0))
expected-output:
(let ((a!1 (select (store (HeapContents v0_0)
(+ 1 (HeapSize v0_0))
(O_node (node v5_0 v4_0)))
v6_0)))
(and (>= (HeapSize v0_0) 0) (<= v3_0 2) (<= 2 v3_0)
(not ((_ is (O_node (node) HeapObject)) a!1))))
The last literal in the expected-output is missing from the original output.
The MBP splits on the ite but removes it.
Metadata
Metadata
Assignees
Labels
No labels