Test source: git
Source: <stdin>
-- 1. CrossDSOCFIPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1B3fooEv] }
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1C3fooEv] }
-- 2. CrossDSOCFIPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1B3fooEv] }
----------------------------------------
define void @_ZN1B3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1C3fooEv] }
----------------------------------------
define void @_ZN1C3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 3. OpenMPOptPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1B3fooEv] }
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1C3fooEv] }
-- 4. OpenMPOptPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1B3fooEv] }
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1C3fooEv] }
-- 5. GlobalDCEPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1B3fooEv] }
----------------------------------------
define void @_ZN1B3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1C3fooEv] }
----------------------------------------
define void @_ZN1C3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 6. GlobalDCEPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 7. InferFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 8. InferFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 9. ModuleToFunctionPassAdaptor
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 1. CallSiteSplittingPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 2. CallSiteSplittingPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 3. CallSiteSplittingPass
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 4. CallSiteSplittingPass
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 5. CallSiteSplittingPass
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 6. CallSiteSplittingPass
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 7. CallSiteSplittingPass
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 8. CallSiteSplittingPass
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 9. CallSiteSplittingPass
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 10. CallSiteSplittingPass
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 11. CallSiteSplittingPass
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 12. CallSiteSplittingPass
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 13. CallSiteSplittingPass
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 14. CallSiteSplittingPass
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 10. ModuleToFunctionPassAdaptor
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 11. PGOIndirectCallPromotion
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 12. PGOIndirectCallPromotion
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 13. IPSCCPPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 14. IPSCCPPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 15. CalledValuePropagationPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 16. CalledValuePropagationPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 17. ModuleToPostOrderCGSCCPassAdaptor
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture %this) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr %this) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(ptr %call)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 18. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 19. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 20. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 21. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 22. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 23. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 24. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 25. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 26. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 27. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 28. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 29. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 30. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 31. PostOrderFunctionAttrsPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 32. ModuleToPostOrderCGSCCPassAdaptor
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 33. ReversePostOrderFunctionAttrsPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 34. ReversePostOrderFunctionAttrsPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 35. GlobalSplitPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 36. GlobalSplitPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 37. WholeProgramDevirtPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 38. WholeProgramDevirtPass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 39. GlobalOptPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 40. GlobalOptPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 41. ModuleToFunctionPassAdaptor
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 15. PromotePass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 16. PromotePass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 17. PromotePass
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 18. PromotePass
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 19. PromotePass
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 20. PromotePass
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 21. PromotePass
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 22. PromotePass
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 23. PromotePass
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 24. PromotePass
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 25. PromotePass
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 26. PromotePass
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 27. PromotePass
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 28. PromotePass
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 42. ModuleToFunctionPassAdaptor
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 43. ConstantMergePass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 44. ConstantMergePass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 45. DeadArgumentEliminationPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 46. DeadArgumentEliminationPass : Skipping unsupported
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 47. ModuleToFunctionPassAdaptor
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1B = constant 24 bytes, align 8
define void @_ZN1BC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1B, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1B, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Bv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1BC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
@_ZTV1C = constant 24 bytes, align 8
define void @_ZN1CC2Ev(ptr nocapture noread %this) nofree willreturn memory(argmem: write) {
#init:
store {[3 x ptr]} { { null, null, null } }, ptr @_ZTV1C, align 8
br label %entry
%entry:
%__constexpr_0 = gep inbounds ptr @_ZTV1C, 24 x i64 0, 1 x i64 0, 8 x i64 2
store ptr %__constexpr_0, ptr nocapture noread %this, align 8
ret void
}
Transformation seems to be correct! (syntactically equal)
----------------------------------------
define ptr @_Z6make_Cv() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1CC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 29. PassManager<Function> : Skipping NOP
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 30. InstCombinePass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 31. InstCombinePass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 32. AggressiveInstCombinePass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 33. AggressiveInstCombinePass
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 34. PassManager<Function> : Skipping NOP
ERROR: Unsupported constant: { [3 x ptr] } { [3 x ptr] [ptr null, ptr null, ptr @_ZN1A3fooEv] }
-- 35. PassManager<Function> : Skipping NOP
-- 36. InstCombinePass
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 37. InstCombinePass
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 38. AggressiveInstCombinePass
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 39. AggressiveInstCombinePass
----------------------------------------
define void @_ZN1A3fooEv(ptr nocapture noread nowrite %this) nofree willreturn memory(none) {
%entry:
ret void
}
Transformation seems to be correct! (syntactically equal)
-- 40. PassManager<Function> : Skipping NOP
-- 41. PassManager<Function> : Skipping NOP
-- 42. InstCombinePass
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation seems to be correct! (syntactically equal)
-- 43. InstCombinePass
----------------------------------------
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
=>
define ptr @_Z6make_Av() nonnull nofree noalias {
%entry:
%call = call ptr @_Znwm(noundef i64 8) dereferenceable(8) nonnull nofree noundef noalias willreturn dereferenceable_or_null(8) alloc-family(_Znwm) allockind(alloc, uninitialized) allocsize(0) memory(inaccessiblemem: readwrite)
call void @_ZN1AC2Ev(nonnull nocapture noread ptr %call) nofree willreturn memory(argmem: write)
ret ptr %call
}
Transformation doesn't verify! (unsound)
ERROR: Source is more defined than target
Example:
Source:
ptr %call = null
Function @_ZN1AC2Ev returned
SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 > size: 0 align: 1 alloc type: 0 address: 0
Block 1 > size: 0 align: 1 alloc type: 0 address: 0
LOCAL BLOCKS:
Block 2 > size: 0 align: 1 alloc type: 0 address: 0
Target:
ptr %call = null
Function @_ZN1AC2Ev triggered UB
TARGET MEMORY STATE
===================
LOCAL BLOCKS:
Block 2 > size: 0 align: 1 alloc type: 0 address: 0
Pass: InstCombinePass
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=lto<O2>' '-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_LUrLQF4v_0HGe.bc"
------------------- SMT STATS -------------------
Num queries: 4
Num invalid: 0
Num skips: 0
Num trivial: 2 (33.3%)
Num timeout: 0 (0.0%)
Num errors: 0 (0.0%)
Num SAT: 4 (100.0%)
Num UNSAT: 0 (0.0%)
Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 1' + /home/nlopes/alive2/build/opt-alive.sh '-passes=globaldce<vfe-linkage-unit-visibility>' -S + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/GlobalDCE/virtual-functions-visibility-post-lto.ll + : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh '-passes=lto<O2>' -S + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/GlobalDCE/virtual-functions-visibility-post-lto.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/GlobalDCE/virtual-functions-visibility-post-lto.ll