Test source: git
Comments: LLVM PR44185
Source: <stdin> ERROR: Unsupported instruction: %r = load volatile float, float* %p, align 16 ERROR: Unsupported instruction: %s = load volatile float, float* %p, align 4 ---------------------------------------- define float @matching_fp_scalar(ptr dereferenceable(16) align(16) %p) { %0: %r = load float, ptr dereferenceable(16) align(16) %p, align 16 ret float %r } => define float @matching_fp_scalar(ptr dereferenceable(16) align(16) %p) { %0: %r = load float, ptr dereferenceable(16) align(16) %p, align 16 ret float %r } Transformation seems to be correct! (syntactically equal) ERROR: Unsupported instruction: %r = load volatile float, float* %p, align 16 ---------------------------------------- define double @larger_fp_scalar(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load double, ptr %bc, align 16 ret double %r } => define double @larger_fp_scalar(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load double, ptr %bc, align 16 ret double %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @smaller_fp_scalar(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load float, ptr %bc, align 16 ret float %r } => define float @smaller_fp_scalar(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load float, ptr %bc, align 16 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @matching_fp_vector(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load float, ptr %bc, align 16 ret float %r } => define float @matching_fp_vector(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load float, ptr %bc, align 16 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @matching_fp_vector_gep00(ptr dereferenceable(16) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(16) align(16) %p, 16 x i64 0, 4 x i64 0 %r = load float, ptr %gep, align 16 ret float %r } => define float @matching_fp_vector_gep00(ptr dereferenceable(16) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(16) align(16) %p, 16 x i64 0, 4 x i64 0 %r = load float, ptr %gep, align 16 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @matching_fp_vector_gep01(ptr dereferenceable(20) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(20) align(16) %p, 16 x i64 0, 4 x i64 1 %r = load float, ptr %gep, align 4 ret float %r } => define float @matching_fp_vector_gep01(ptr dereferenceable(20) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(20) align(16) %p, 16 x i64 0, 4 x i64 1 %r = load float, ptr %gep, align 4 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @matching_fp_vector_gep01_deref(ptr dereferenceable(19) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(19) align(16) %p, 16 x i64 0, 4 x i64 1 %r = load float, ptr %gep, align 4 ret float %r } => define float @matching_fp_vector_gep01_deref(ptr dereferenceable(19) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(19) align(16) %p, 16 x i64 0, 4 x i64 1 %r = load float, ptr %gep, align 4 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @matching_fp_vector_gep10(ptr dereferenceable(32) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(32) align(16) %p, 16 x i64 1, 4 x i64 0 %r = load float, ptr %gep, align 16 ret float %r } => define float @matching_fp_vector_gep10(ptr dereferenceable(32) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(32) align(16) %p, 16 x i64 1, 4 x i64 0 %r = load float, ptr %gep, align 16 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @matching_fp_vector_gep10_deref(ptr dereferenceable(31) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(31) align(16) %p, 16 x i64 1, 4 x i64 0 %r = load float, ptr %gep, align 16 ret float %r } => define float @matching_fp_vector_gep10_deref(ptr dereferenceable(31) align(16) %p) { %0: %gep = gep inbounds ptr dereferenceable(31) align(16) %p, 16 x i64 1, 4 x i64 0 %r = load float, ptr %gep, align 16 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @nonmatching_int_vector(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load float, ptr %bc, align 16 ret float %r } => define float @nonmatching_int_vector(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load float, ptr %bc, align 16 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define double @less_aligned(ptr dereferenceable(16) align(4) %p) { %0: %r = load double, ptr dereferenceable(16) align(4) %p, align 4 ret double %r } => define double @less_aligned(ptr dereferenceable(16) align(4) %p) { %0: %r = load double, ptr dereferenceable(16) align(4) %p, align 4 ret double %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define float @matching_fp_scalar_small_deref(ptr dereferenceable(15) align(16) %p) { %0: %r = load float, ptr dereferenceable(15) align(16) %p, align 16 ret float %r } => define float @matching_fp_scalar_small_deref(ptr dereferenceable(15) align(16) %p) { %0: %r = load float, ptr dereferenceable(15) align(16) %p, align 16 ret float %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define i64 @larger_int_scalar(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load i64, ptr %bc, align 16 ret i64 %r } => define i64 @larger_int_scalar(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load i64, ptr %bc, align 16 ret i64 %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define i8 @smaller_int_scalar(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load i8, ptr %bc, align 16 ret i8 %r } => define i8 @smaller_int_scalar(ptr dereferenceable(16) align(16) %p) { %0: %bc = bitcast ptr dereferenceable(16) align(16) %p to ptr %r = load i8, ptr %bc, align 16 ret i8 %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define double @larger_fp_scalar_256bit_vec(ptr dereferenceable(32) align(32) %p) { %0: %bc = bitcast ptr dereferenceable(32) align(32) %p to ptr %r = load double, ptr %bc, align 32 ret double %r } => define double @larger_fp_scalar_256bit_vec(ptr dereferenceable(32) align(32) %p) { %0: %bc = bitcast ptr dereferenceable(32) align(32) %p to ptr %r = load double, ptr %bc, align 32 ret double %r } Transformation seems to be correct! (syntactically equal) ---------------------------------------- define <4 x float> @load_f32_insert_v4f32(ptr dereferenceable(16) align(16) %p) nofree { %0: %s = load float, ptr dereferenceable(16) align(16) %p, align 4 %r = insertelement <4 x float> undef, float %s, i32 0 ret <4 x float> %r } => define <4 x float> @load_f32_insert_v4f32(ptr dereferenceable(16) align(16) %p) nofree { %0: %1 = bitcast ptr dereferenceable(16) align(16) %p to ptr %2 = load <4 x float>, ptr %1, align 16 %r = shufflevector <4 x float> %2, <4 x float> poison, 0, 4294967295, 4294967295, 4294967295 ret <4 x float> %r } Transformation doesn't verify! ERROR: Target is more poisonous than source Example: ptr dereferenceable(16) align(16) %p = pointer(non-local, block_id=1, offset=0) Source: float %s = poison <4 x float> %r = < poison, NaN [based on undef value], NaN, NaN > SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 4 alloc type: 0 Block 1 > size: 128 align: 16 alloc type: 0 Target: ptr %1 = pointer(non-local, block_id=1, offset=0) <4 x float> %2 = < poison, poison, poison, poison > <4 x float> %r = < poison, poison, poison, poison > Source value: < poison, NaN, NaN, NaN > Target value: < poison, poison, poison, poison > ------------------- SMT STATS ------------------- Num queries: 7 Num invalid: 0 Num skips: 0 Num trivial: 9 (56.2%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 6 (85.7%) Num UNSAT: 1 (14.3%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -passes=vector-combine -S -mtriple=x86_64-- -mattr=sse2 + /tmp/nlopes/llvm/build/bin/FileCheck /tmp/nlopes/llvm/llvm/test/Transforms/VectorCombine/X86/load.ll --check-prefixes=CHECK,SSE2 FileCheck error: '<stdin>' is empty. FileCheck command line: /tmp/nlopes/llvm/build/bin/FileCheck /tmp/nlopes/llvm/llvm/test/Transforms/VectorCombine/X86/load.ll --check-prefixes=CHECK,SSE2