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)
-- 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 doesn't verify! (unsound)
ERROR: Value mismatch

NOTE: The counterexample is unique.

Example:

Source:
ptr %__constexpr_1 = pointer(non-local, block_id=0, offset=42) / Address=#x1c
i64 %__constexpr_0 = #x000000000000001c (28)
i64 %__constexpr_2 = #x00000000000000f2 (242)
i64 %sub = #xffffffffffffff2a (18446744073709551402, -214)

SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >	size: 1	align: 1	alloc type: 0	alive: true	address: #xf2
Contents:
poison


Target:

TARGET MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >	size: 1	align: 1	alloc type: 0	alive: true	address: #xf2
Contents:
poison

Source value: #xffffffffffffff2a (18446744073709551402, -214)
Target value: #x000000000000002a (42)

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_Pqpc2KMO_K8JB.bc"

------------------- SMT STATS -------------------
Num queries: 24
Num invalid: 0
Num skips:   0
Num trivial: 63 (72.4%)
Num timeout: 0 (0.0%)
Num errors:  0 (0.0%)
Num SAT:     22 (91.7%)
Num UNSAT:   2 (8.3%)
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