Test Failure: Transforms/InstSimplify/ptrtoaddr.ll

Test source: git

Log:

Source: <stdin>
-- 1. ModuleToFunctionPassAdaptor
ERROR: Unsupported instruction:   %toptr = inttoptr i32 %a to ptr addrspace(1)
ERROR: Unsupported instruction:   %toptr = inttoptr i32 -1 to ptr addrspace(1)
ERROR: Unsupported instruction:   %toptr = inttoptr i64 -1 to ptr addrspace(1)
ERROR: Unsupported instruction:   %toptr = inttoptr i16 -1 to ptr addrspace(1)
ERROR: Unsupported instruction:   %toaddr = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1) null,
ERROR: Unsupported instruction:   %toaddr = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1) @g.as
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoaddr ptr addrspace(1) @g.as1 to i32
ERROR: Unsupported instruction:   %sub = sub i32 ptrtoaddr (ptr addrspace(1) getelementptr (i8, ptr addrspace(1)
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoaddr ptr addrspace(1) @g.as1 to i32
ERROR: Unsupported instruction:   %cmp = icmp ne i32 ptrtoaddr (ptr addrspace(1) @g.as1 to i32), 0
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoint ptr addrspace(1) @g.as1 to i64
ERROR: Unsupported instruction:   %cmp = icmp ne i64 ptrtoint (ptr addrspace(1) @g.as1 to i64), 0
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoaddr ptr addrspace(1) @g.as1 to i32
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoaddr ptr addrspace(1) @g2.as1 to i32
ERROR: Unsupported instruction:   %cmp = icmp ne i32 ptrtoaddr (ptr addrspace(1) @g.as1 to i32), ptrtoaddr (ptr 
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoint ptr addrspace(1) @g.as1 to i64
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoint ptr addrspace(1) @g2.as1 to i64
ERROR: Unsupported instruction:   %cmp = icmp ne i64 ptrtoint (ptr addrspace(1) @g.as1 to i64), ptrtoint (ptr ad
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoaddr ptr addrspace(1) @g.as1 to i32
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoaddr ptr addrspace(1) getelementptr inbounds (i8, ptr ad
ERROR: Unsupported instruction:   %cmp = icmp ult i32 ptrtoaddr (ptr addrspace(1) @g.as1 to i32), ptrtoaddr (ptr
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoint ptr addrspace(1) @g.as1 to i64
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoint ptr addrspace(1) getelementptr inbounds (i8, ptr add
ERROR: Unsupported instruction:   %cmp = icmp ult i64 ptrtoint (ptr addrspace(1) @g.as1 to i64), ptrtoint (ptr a
-- 1. PassManager<Function> : Skipping NOP
-- 2. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_inttoptr_arg(i64 %a) {
#0:
  %toptr = inttoptr i64 %a to ptr
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
Transformation seems to be correct! (syntactically equal)

-- 3. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_inttoptr_arg(i64 %a) {
#0:
  %toptr = inttoptr i64 %a to ptr
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
=>
define i64 @ptrtoaddr_inttoptr_arg(i64 %a) {
#0:
  ret i64 %a
}
Transformation seems to be correct!

-- 4. PassManager<Function> : Skipping NOP
-- 5. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %toptr = inttoptr i32 %a to ptr addrspace(1)
-- 6. InstSimplifyPass
ERROR: Unsupported instruction:   %toptr = inttoptr i32 %a to ptr addrspace(1)
-- 7. InstSimplifyPass
-- 8. PassManager<Function> : Skipping NOP
-- 9. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %toptr = inttoptr i32 -1 to ptr addrspace(1)
-- 10. InstSimplifyPass
ERROR: Unsupported instruction:   %toptr = inttoptr i32 -1 to ptr addrspace(1)
-- 11. InstSimplifyPass
-- 12. PassManager<Function> : Skipping NOP
-- 13. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %toptr = inttoptr i64 -1 to ptr addrspace(1)
-- 14. InstSimplifyPass
ERROR: Unsupported instruction:   %toptr = inttoptr i64 -1 to ptr addrspace(1)
-- 15. InstSimplifyPass
-- 16. PassManager<Function> : Skipping NOP
-- 17. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %toptr = inttoptr i16 -1 to ptr addrspace(1)
-- 18. InstSimplifyPass
ERROR: Unsupported instruction:   %toptr = inttoptr i16 -1 to ptr addrspace(1)
-- 19. InstSimplifyPass
-- 20. PassManager<Function> : Skipping NOP
-- 21. PassManager<Function> : Skipping NOP
-- 22. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_inttoptr_noas1() {
#0:
  %toptr = gep ptr null, 1 x i64 1
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
Transformation seems to be correct! (syntactically equal)

-- 23. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_inttoptr_noas1() {
#0:
  %toptr = gep ptr null, 1 x i64 1
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
=>
define i64 @ptrtoaddr_inttoptr_noas1() {
#0:
  ret i64 1
}
Transformation seems to be correct!

-- 24. PassManager<Function> : Skipping NOP
-- 25. PassManager<Function> : Skipping NOP
-- 26. InstSimplifyPass

----------------------------------------
define i64 @ptr2addr2_inttoptr_noas2() {
#0:
  %toptr = inttoptr i64 123 to ptr
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
Transformation seems to be correct! (syntactically equal)

-- 27. InstSimplifyPass

----------------------------------------
define i64 @ptr2addr2_inttoptr_noas2() {
#0:
  %toptr = inttoptr i64 123 to ptr
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
=>
define i64 @ptr2addr2_inttoptr_noas2() {
#0:
  ret i64 123
}
Transformation seems to be correct!

-- 28. PassManager<Function> : Skipping NOP
-- 29. PassManager<Function> : Skipping NOP
-- 30. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_inttoptr_noas_diff_size1() {
#0:
  %toptr = inttoptr i32 4294967295 to ptr
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
Transformation seems to be correct! (syntactically equal)

-- 31. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_inttoptr_noas_diff_size1() {
#0:
  %toptr = inttoptr i32 4294967295 to ptr
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
=>
define i64 @ptrtoaddr_inttoptr_noas_diff_size1() {
#0:
  ret i64 4294967295
}
Transformation seems to be correct!

-- 32. PassManager<Function> : Skipping NOP
-- 33. PassManager<Function> : Skipping NOP
-- 34. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_inttoptr_noas_diff_size2() {
#0:
  %toptr = inttoptr i128 340282366920938463463374607431768211455 to ptr
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
Transformation seems to be correct! (syntactically equal)

-- 35. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_inttoptr_noas_diff_size2() {
#0:
  %toptr = inttoptr i128 340282366920938463463374607431768211455 to ptr
  %toaddr = ptrtoaddr ptr %toptr to i64
  ret i64 %toaddr
}
=>
define i64 @ptrtoaddr_inttoptr_noas_diff_size2() {
#0:
  ret i64 -1
}
Transformation seems to be correct!

-- 36. PassManager<Function> : Skipping NOP
-- 37. PassManager<Function> : Skipping NOP
-- 38. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_gep_null() {
#0:
  %__constexpr_0 = gep ptr null, 1 x i64 42
  %toaddr = ptrtoaddr ptr %__constexpr_0 to i64
  ret i64 %toaddr
}
Transformation seems to be correct! (syntactically equal)

-- 39. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_gep_null() {
#0:
  %__constexpr_0 = gep ptr null, 1 x i64 42
  %toaddr = ptrtoaddr ptr %__constexpr_0 to i64
  ret i64 %toaddr
}
=>
define i64 @ptrtoaddr_gep_null() {
#0:
  ret i64 42
}
Transformation seems to be correct!

-- 40. PassManager<Function> : Skipping NOP
-- 41. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %toaddr = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1) null,
-- 42. InstSimplifyPass
ERROR: Unsupported instruction:   %toaddr = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1) null,
-- 43. InstSimplifyPass
-- 44. PassManager<Function> : Skipping NOP
-- 45. PassManager<Function> : Skipping NOP
-- 46. InstSimplifyPass

----------------------------------------
@g = global 1 bytes, align 1
@g2 = global 1 bytes, align 1

define i64 @ptrtoaddr_gep_sub() {
#0:
  %__constexpr_2 = ptrtoaddr ptr @g2 to i64
  %__constexpr_1 = sub i64 0, %__constexpr_2
  %__constexpr_0 = gep ptr @g, 1 x i64 %__constexpr_1
  %toaddr = ptrtoaddr ptr %__constexpr_0 to i64
  ret i64 %toaddr
}
Transformation seems to be correct! (syntactically equal)

-- 47. InstSimplifyPass

----------------------------------------
@g = global 1 bytes, align 1
@g2 = global 1 bytes, align 1

define i64 @ptrtoaddr_gep_sub() {
#0:
  %__constexpr_2 = ptrtoaddr ptr @g2 to i64
  %__constexpr_1 = sub i64 0, %__constexpr_2
  %__constexpr_0 = gep ptr @g, 1 x i64 %__constexpr_1
  %toaddr = ptrtoaddr ptr %__constexpr_0 to i64
  ret i64 %toaddr
}
=>
@g = global 1 bytes, align 1
@g2 = global 1 bytes, align 1

define i64 @ptrtoaddr_gep_sub() {
#0:
  %__constexpr_1 = ptrtoaddr ptr @g to i64
  %__constexpr_2 = ptrtoaddr ptr @g2 to i64
  %__constexpr_0 = sub i64 %__constexpr_1, %__constexpr_2
  ret i64 %__constexpr_0
}
Transformation seems to be correct!

-- 48. PassManager<Function> : Skipping NOP
-- 49. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %toaddr = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1) @g.as
-- 50. InstSimplifyPass
ERROR: Unsupported instruction:   %toaddr = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1) @g.as
-- 51. InstSimplifyPass
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoaddr ptr addrspace(1) @g.as1 to i32
ERROR: Unsupported instruction:   %__constexpr_2 = ptrtoaddr ptr addrspace(1) @g2.as1 to i32
ERROR: Unsupported instruction:   %__constexpr_0 = sub i32 ptrtoaddr (ptr addrspace(1) @g.as1 to i32), ptrtoaddr
ERROR: Unsupported instruction:   ret i32 sub (i32 ptrtoaddr (ptr addrspace(1) @g.as1 to i32), i32 ptrtoaddr (pt
-- 52. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoaddr ptr addrspace(1) @g.as1 to i32
ERROR: Unsupported instruction:   %__constexpr_2 = ptrtoaddr ptr addrspace(1) @g2.as1 to i32
ERROR: Unsupported instruction:   %__constexpr_0 = sub i32 ptrtoaddr (ptr addrspace(1) @g.as1 to i32), ptrtoaddr
ERROR: Unsupported instruction:   ret i32 sub (i32 ptrtoaddr (ptr addrspace(1) @g.as1 to i32), i32 ptrtoaddr (pt
-- 53. PassManager<Function> : Skipping NOP
-- 54. InstSimplifyPass

----------------------------------------
@g = global 1 bytes, align 1

define ptr @inttoptr_of_ptrtoaddr() {
#0:
  %__constexpr_0 = ptrtoaddr ptr @g to i64
  %toptr = inttoptr i64 %__constexpr_0 to ptr
  ret ptr %toptr
}
Transformation seems to be correct! (syntactically equal)

-- 55. InstSimplifyPass

----------------------------------------
@g = global 1 bytes, align 1

define ptr @inttoptr_of_ptrtoaddr() {
#0:
  %__constexpr_0 = ptrtoaddr ptr @g to i64
  %toptr = inttoptr i64 %__constexpr_0 to ptr
  ret ptr %toptr
}
=>
@g = global 1 bytes, align 1

define ptr @inttoptr_of_ptrtoaddr() {
#0:
  %__constexpr_1 = ptrtoaddr ptr @g to i64
  %__constexpr_0 = inttoptr i64 %__constexpr_1 to ptr
  ret ptr %__constexpr_0
}
Transformation seems to be correct!

-- 56. PassManager<Function> : Skipping NOP
-- 57. PassManager<Function> : Skipping NOP
-- 58. InstSimplifyPass

----------------------------------------
@g = global 1 bytes, align 1
@g2 = global 1 bytes, align 1

define i64 @ptrtoaddr_sub_consts_unrelated() {
#0:
  %__constexpr_0 = ptrtoaddr ptr @g to i64
  %__constexpr_1 = ptrtoaddr ptr @g2 to i64
  %sub = sub i64 %__constexpr_0, %__constexpr_1
  ret i64 %sub
}
Transformation seems to be correct! (syntactically equal)

-- 59. InstSimplifyPass

----------------------------------------
@g = global 1 bytes, align 1
@g2 = global 1 bytes, align 1

define i64 @ptrtoaddr_sub_consts_unrelated() {
#0:
  %__constexpr_0 = ptrtoaddr ptr @g to i64
  %__constexpr_1 = ptrtoaddr ptr @g2 to i64
  %sub = sub i64 %__constexpr_0, %__constexpr_1
  ret i64 %sub
}
=>
@g = global 1 bytes, align 1
@g2 = global 1 bytes, align 1

define i64 @ptrtoaddr_sub_consts_unrelated() {
#0:
  %__constexpr_1 = ptrtoaddr ptr @g to i64
  %__constexpr_2 = ptrtoaddr ptr @g2 to i64
  %__constexpr_0 = sub i64 %__constexpr_1, %__constexpr_2
  ret i64 %__constexpr_0
}
Transformation seems to be correct!

-- 60. PassManager<Function> : Skipping NOP
-- 61. PassManager<Function> : Skipping NOP
-- 62. InstSimplifyPass

----------------------------------------
@g = global 1 bytes, align 1

define i64 @ptrtoaddr_sub_consts_offset() {
#0:
  %__constexpr_1 = gep ptr @g, 1 x i64 42
  %__constexpr_0 = ptrtoaddr ptr %__constexpr_1 to i64
  %__constexpr_2 = ptrtoaddr ptr @g to i64
  %sub = sub i64 %__constexpr_0, %__constexpr_2
  ret i64 %sub
}
Transformation seems to be correct! (syntactically equal)

-- 63. InstSimplifyPass

----------------------------------------
@g = global 1 bytes, align 1

define i64 @ptrtoaddr_sub_consts_offset() {
#0:
  %__constexpr_1 = gep ptr @g, 1 x i64 42
  %__constexpr_0 = ptrtoaddr ptr %__constexpr_1 to i64
  %__constexpr_2 = ptrtoaddr ptr @g to i64
  %sub = sub i64 %__constexpr_0, %__constexpr_2
  ret i64 %sub
}
=>
@g = global 1 bytes, align 1

define i64 @ptrtoaddr_sub_consts_offset() {
#0:
  ret i64 42
}
Transformation seems to be correct!

-- 64. PassManager<Function> : Skipping NOP
-- 65. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoaddr ptr addrspace(1) @g.as1 to i32
ERROR: Unsupported instruction:   %sub = sub i32 ptrtoaddr (ptr addrspace(1) getelementptr (i8, ptr addrspace(1)
-- 66. InstSimplifyPass
ERROR: Unsupported instruction:   %__constexpr_0 = ptrtoaddr ptr addrspace(1) getelementptr (i8, ptr addrspace(1
ERROR: Unsupported instruction:   %__constexpr_1 = ptrtoaddr ptr addrspace(1) @g.as1 to i32
ERROR: Unsupported instruction:   %sub = sub i32 ptrtoaddr (ptr addrspace(1) getelementptr (i8, ptr addrspace(1)
-- 67. InstSimplifyPass
-- 68. PassManager<Function> : Skipping NOP
-- 69. PassManager<Function> : Skipping NOP
-- 70. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_sub_known_offset(ptr %p) {
#0:
  %p2 = gep inbounds ptr %p, 1 x i64 42
  %p.addr = ptrtoaddr ptr %p to i64
  %p2.addr = ptrtoaddr ptr %p2 to i64
  %sub = sub i64 %p2.addr, %p.addr
  ret i64 %sub
}
Transformation seems to be correct! (syntactically equal)

-- 71. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_sub_known_offset(ptr %p) {
#0:
  %p2 = gep inbounds ptr %p, 1 x i64 42
  %p.addr = ptrtoaddr ptr %p to i64
  %p2.addr = ptrtoaddr ptr %p2 to i64
  %sub = sub i64 %p2.addr, %p.addr
  ret i64 %sub
}
=>
define i64 @ptrtoaddr_sub_known_offset(ptr %p) {
#0:
  ret i64 42
}
Transformation seems to be correct!

-- 72. PassManager<Function> : Skipping NOP
-- 73. PassManager<Function> : Skipping NOP
-- 74. InstSimplifyPass
-- 75. InstSimplifyPass
-- 76. PassManager<Function> : Skipping NOP
-- 77. PassManager<Function> : Skipping NOP
-- 78. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_of_ptradd_of_sub(i64 %x, ptr %p) {
#0:
  %p.addr = ptrtoaddr ptr %p to i64
  %sub = sub i64 %x, %p.addr
  %ptradd = gep ptr %p, 1 x i64 %sub
  %ptradd.addr = ptrtoaddr ptr %ptradd to i64
  ret i64 %ptradd.addr
}
Transformation seems to be correct! (syntactically equal)

-- 79. InstSimplifyPass

----------------------------------------
define i64 @ptrtoaddr_of_ptradd_of_sub(i64 %x, ptr %p) {
#0:
  %p.addr = ptrtoaddr ptr %p to i64
  %sub = sub i64 %x, %p.addr
  %ptradd = gep ptr %p, 1 x i64 %sub
  %ptradd.addr = ptrtoaddr ptr %ptradd to i64
  ret i64 %ptradd.addr
}
=>
define i64 @ptrtoaddr_of_ptradd_of_sub(i64 %x, ptr %p) {
#0:
  ret i64 %x
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

Pass: InstSimplifyPass
Command line: '/home/nlopes/llvm/build/bin/opt' '-load=/home/nlopes/alive2/build/tv/tv.so' '-load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so' '-tv-exit-on-error' '-passes=instsimplify' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 80. PassManager<Function> : Skipping NOP
-- 81. PassManager<Function> : Skipping NOP
-- 82. InstSimplifyPass
-- 83. InstSimplifyPass
-- 84. PassManager<Function> : Skipping NOP
-- 85. PassManager<Function> : Skipping NOP
-- 86. InstSimplifyPass

----------------------------------------
define ptr @gep_of_sub_ptrtoaddr_unrelated_pointers(ptr %p, ptr %p2, i64 %x) {
#0:
  %p2.addr = ptrtoaddr ptr %p2 to i64
  %p.addr = ptrtoaddr ptr %p to i64
  %sub = sub i64 %p2.addr, %p.addr
  %gep2 = gep ptr %p, 1 x i64 %sub
  ret ptr %gep2
}
Transformation seems to be correct! (syntactically equal)

-- 87. InstSimplifyPass

----------------------------------------
define ptr @gep_of_sub_ptrtoaddr_unrelated_pointers(ptr %p, ptr %p2, i64 %x) {
#0:
  %p2.addr = ptrtoaddr ptr %p2 to i64
  %p.addr = ptrtoaddr ptr %p to i64
  %sub = sub i64 %p2.addr, %p.addr
  %gep2 = gep ptr %p, 1 x i64 %sub
  ret ptr %gep2
}
Transformation seems to be correct! (syntactically equal)

-- 88. PassManager<Function> : Skipping NOP
-- 89. PassManager<Function> : Skipping NOP
-- 90. InstSimplifyPass

----------------------------------------
define ptr @gep_of_sub_ptrtoaddr(ptr %p, i64 %x) {
#0:
  %gep1 = gep ptr %p, 1 x i64 %x
  %gep1.addr = ptrtoaddr ptr %gep1 to i64
  %p.addr = ptrtoaddr ptr %p to i64
  %sub = sub i64 %gep1.addr, %p.addr
  %gep2 = gep ptr %p, 1 x i64 %sub
  ret ptr %gep2
}
Transformation seems to be correct! (syntactically equal)

-- 91. InstSimplifyPass

----------------------------------------
define ptr @gep_of_sub_ptrtoaddr(ptr %p, i64 %x) {
#0:
  %gep1 = gep ptr %p, 1 x i64 %x
  %gep1.addr = ptrtoaddr ptr %gep1 to i64
  %p.addr = ptrtoaddr ptr %p to i64
  %sub = sub i64 %gep1.addr, %p.addr
  %gep2 = gep ptr %p, 1 x i64 %sub
  ret ptr %gep2
}
=>
define ptr @gep_of_sub_ptrtoaddr(ptr %p, i64 %x) {
#0:
  %gep1 = gep ptr %p, 1 x i64 %x
  ret ptr %gep1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

Pass: InstSimplifyPass
Command line: '/home/nlopes/llvm/build/bin/opt' '-load=/home/nlopes/alive2/build/tv/tv.so' '-load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so' '-tv-exit-on-error' '-passes=instsimplify' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 92. PassManager<Function> : Skipping NOP
-- 93. PassManager<Function> : Skipping NOP
-- 94. InstSimplifyPass
-- 95. InstSimplifyPass
-- 96. PassManager<Function> : Skipping NOP
-- 97. PassManager<Function> : Skipping NOP
-- 98. InstSimplifyPass

----------------------------------------
define ptr @gep_of_sub_ptrtoaddr_ashr(ptr %p, i64 %x) {
#0:
  %gep1 = gep ptr %p, 1 x i64 %x
  %gep1.addr = ptrtoaddr ptr %gep1 to i64
  %p.addr = ptrtoaddr ptr %p to i64
  %sub = sub i64 %gep1.addr, %p.addr
  %ashr = ashr i64 %sub, 1
  %gep2 = gep ptr %p, 2 x i64 %ashr
  ret ptr %gep2
}
Transformation seems to be correct! (syntactically equal)

-- 99. InstSimplifyPass

----------------------------------------
define ptr @gep_of_sub_ptrtoaddr_ashr(ptr %p, i64 %x) {
#0:
  %gep1 = gep ptr %p, 1 x i64 %x
  %gep1.addr = ptrtoaddr ptr %gep1 to i64
  %p.addr = ptrtoaddr ptr %p to i64
  %sub = sub i64 %gep1.addr, %p.addr
  %ashr = ashr i64 %sub, 1
  %gep2 = gep ptr %p, 2 x i64 %ashr
  ret ptr %gep2
}
=>
define ptr @gep_of_sub_ptrtoaddr_ashr(ptr %p, i64 %x) {
#0:
  %gep1 = gep ptr %p, 1 x i64 %x
  ret ptr %gep1
}
Transformation doesn't verify! (unsound)
ERROR: Value mismatch

Example:
ptr %p = null
i64 %x = #x0000000000000003 (3)

Source:
ptr %gep1 = pointer(non-local, block_id=0, offset=3) / Address=#x0000000000000003
i64 %gep1.addr = #x0000000000000003 (3)
i64 %p.addr = #x0000000000000000 (0)
i64 %sub = #x0000000000000003 (3)
i64 %ashr = #x0000000000000001 (1)
ptr %gep2 = pointer(non-local, block_id=0, offset=2) / Address=#x0000000000000002

SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >	size: 0	align: 1	alloc type: 0	alive: false	address: #x0000000000000000
Block 1 >	size: 0	align: 1	alloc type: 0	alive: true	address: #x0000000000000001

Target:
ptr %gep1 = pointer(non-local, block_id=0, offset=3) / Address=#x0000000000000003

TARGET MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >	size: 0	align: 1	alloc type: 0	alive: false	address: #x0000000000000000
Block 1 >	size: 0	align: 1	alloc type: 0	alive: true	address: #x0000000000000001
Source value: pointer(non-local, block_id=0, offset=2) / Address=#x0000000000000002
Target value: pointer(non-local, block_id=0, offset=3) / Address=#x0000000000000003

Pass: InstSimplifyPass
Command line: '/home/nlopes/llvm/build/bin/opt' '-load=/home/nlopes/alive2/build/tv/tv.so' '-load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so' '-tv-exit-on-error' '-passes=instsimplify' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

Wrote bitcode to: "/home/nlopes/alive2/build/logs/in_hP6yg8N9_hAEH.bc"

------------------- SMT STATS -------------------
Num queries: 54
Num invalid: 0
Num skips:   0
Num trivial: 81 (60.0%)
Num timeout: 2 (3.7%)
Num errors:  0 (0.0%)
Num SAT:     42 (77.8%)
Num UNSAT:   10 (18.5%)
Alive2: Transform doesn't verify; aborting!

stderr:

Transforms/InstSimplify/ptrtoaddr.ll' FAILED ********************
Exit Code: 2

Command Output (stdout):
--
# RUN: at line 2
/home/nlopes/alive2/build/opt-alive.sh < /bitbucket/nlopes/llvm/llvm/test/Transforms/InstSimplify/ptrtoaddr.ll -passes=instsimplify -S | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstSimplify/ptrtoaddr.ll
# executed command: /home/nlopes/alive2/build/opt-alive.sh -passes=instsimplify -S
# .---command stderr------------
# `-----------------------------
# error: command failed with exit status: 1
# executed command: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstSimplify/ptrtoaddr.ll
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line:  /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstSimplify/ptrtoaddr.ll
# `-----------------------------
# error: command failed with exit status: 2

--

<-- Back