Test source: git
Comments: LLVM PR45954
Source: <stdin> -- 1. ModuleToFunctionPassAdaptor -- 1. PassManager<Function> : Skipping NOP -- 2. InstCombinePass ---------------------------------------- define i32 @t0_ult_slt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 65536 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 3. InstCombinePass ---------------------------------------- define i32 @t0_ult_slt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 65536 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } => define i32 @t0_ult_slt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %#1 = icmp slt i32 %x, 0 %#2 = icmp sgt i32 %x, 65535 %#3 = select i1 %#1, i32 %replacement_low, i32 %x %r = select i1 %#2, i32 %replacement_high, i32 %#3 ret i32 %r } Transformation seems to be correct! -- 4. PassManager<Function> : Skipping NOP -- 5. PassManager<Function> : Skipping NOP -- 6. InstCombinePass ---------------------------------------- define i32 @t1_ult_slt_0(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 0 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 7. InstCombinePass ---------------------------------------- define i32 @t1_ult_slt_0(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 0 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } => define i32 @t1_ult_slt_0(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %#1 = icmp slt i32 %x, 0 %#2 = icmp sgt i32 %x, 65535 %#3 = select i1 %#1, i32 %replacement_low, i32 %x %r = select i1 %#2, i32 %replacement_high, i32 %#3 ret i32 %r } Transformation seems to be correct! -- 8. PassManager<Function> : Skipping NOP -- 9. PassManager<Function> : Skipping NOP -- 10. InstCombinePass ---------------------------------------- define i32 @t2_ult_sgt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp sgt i32 %x, 65535 %t1 = select i1 %t0, i32 %replacement_high, i32 %replacement_low %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 11. InstCombinePass ---------------------------------------- define i32 @t2_ult_sgt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp sgt i32 %x, 65535 %t1 = select i1 %t0, i32 %replacement_high, i32 %replacement_low %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } => define i32 @t2_ult_sgt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %#1 = icmp slt i32 %x, 0 %#2 = icmp sgt i32 %x, 65535 %#3 = select i1 %#1, i32 %replacement_low, i32 %x %r = select i1 %#2, i32 %replacement_high, i32 %#3 ret i32 %r } Transformation seems to be correct! -- 12. PassManager<Function> : Skipping NOP -- 13. PassManager<Function> : Skipping NOP -- 14. InstCombinePass ---------------------------------------- define i32 @t3_ult_sgt_neg1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp sgt i32 %x, 4294967295 %t1 = select i1 %t0, i32 %replacement_high, i32 %replacement_low %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 15. InstCombinePass ---------------------------------------- define i32 @t3_ult_sgt_neg1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp sgt i32 %x, 4294967295 %t1 = select i1 %t0, i32 %replacement_high, i32 %replacement_low %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } => define i32 @t3_ult_sgt_neg1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %#1 = icmp slt i32 %x, 0 %#2 = icmp sgt i32 %x, 65535 %#3 = select i1 %#1, i32 %replacement_low, i32 %x %r = select i1 %#2, i32 %replacement_high, i32 %#3 ret i32 %r } Transformation seems to be correct! -- 16. PassManager<Function> : Skipping NOP -- 17. PassManager<Function> : Skipping NOP -- 18. InstCombinePass ---------------------------------------- define i32 @t4_ugt_slt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 65536 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ugt i32 %x, 65535 %r = select i1 %t2, i32 %t1, i32 %x ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 19. InstCombinePass ---------------------------------------- define i32 @t4_ugt_slt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 65536 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ugt i32 %x, 65535 %r = select i1 %t2, i32 %t1, i32 %x ret i32 %r } => define i32 @t4_ugt_slt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %#1 = icmp slt i32 %x, 0 %#2 = icmp sgt i32 %x, 65535 %#3 = select i1 %#1, i32 %replacement_low, i32 %x %r = select i1 %#2, i32 %replacement_high, i32 %#3 ret i32 %r } Transformation seems to be correct! -- 20. PassManager<Function> : Skipping NOP -- 21. PassManager<Function> : Skipping NOP -- 22. InstCombinePass ---------------------------------------- define i32 @t5_ugt_slt_0(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 0 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ugt i32 %x, 65535 %r = select i1 %t2, i32 %t1, i32 %x ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 23. InstCombinePass ---------------------------------------- define i32 @t5_ugt_slt_0(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 0 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ugt i32 %x, 65535 %r = select i1 %t2, i32 %t1, i32 %x ret i32 %r } => define i32 @t5_ugt_slt_0(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %#1 = icmp slt i32 %x, 0 %#2 = icmp sgt i32 %x, 65535 %#3 = select i1 %#1, i32 %replacement_low, i32 %x %r = select i1 %#2, i32 %replacement_high, i32 %#3 ret i32 %r } Transformation seems to be correct! -- 24. PassManager<Function> : Skipping NOP -- 25. PassManager<Function> : Skipping NOP -- 26. InstCombinePass ---------------------------------------- define i32 @t6_ugt_sgt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp sgt i32 %x, 65535 %t1 = select i1 %t0, i32 %replacement_high, i32 %replacement_low %t2 = icmp ugt i32 %x, 65535 %r = select i1 %t2, i32 %t1, i32 %x ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 27. InstCombinePass ---------------------------------------- define i32 @t6_ugt_sgt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp sgt i32 %x, 65535 %t1 = select i1 %t0, i32 %replacement_high, i32 %replacement_low %t2 = icmp ugt i32 %x, 65535 %r = select i1 %t2, i32 %t1, i32 %x ret i32 %r } => define i32 @t6_ugt_sgt_65536(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %#1 = icmp slt i32 %x, 0 %#2 = icmp sgt i32 %x, 65535 %#3 = select i1 %#1, i32 %replacement_low, i32 %x %r = select i1 %#2, i32 %replacement_high, i32 %#3 ret i32 %r } Transformation seems to be correct! -- 28. PassManager<Function> : Skipping NOP -- 29. PassManager<Function> : Skipping NOP -- 30. InstCombinePass ---------------------------------------- define i32 @t7_ugt_sgt_neg1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp sgt i32 %x, 4294967295 %t1 = select i1 %t0, i32 %replacement_high, i32 %replacement_low %t2 = icmp ugt i32 %x, 65535 %r = select i1 %t2, i32 %t1, i32 %x ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 31. InstCombinePass ---------------------------------------- define i32 @t7_ugt_sgt_neg1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp sgt i32 %x, 4294967295 %t1 = select i1 %t0, i32 %replacement_high, i32 %replacement_low %t2 = icmp ugt i32 %x, 65535 %r = select i1 %t2, i32 %t1, i32 %x ret i32 %r } => define i32 @t7_ugt_sgt_neg1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %#1 = icmp slt i32 %x, 0 %#2 = icmp sgt i32 %x, 65535 %#3 = select i1 %#1, i32 %replacement_low, i32 %x %r = select i1 %#2, i32 %replacement_high, i32 %#3 ret i32 %r } Transformation seems to be correct! -- 32. PassManager<Function> : Skipping NOP -- 33. PassManager<Function> : Skipping NOP -- 34. InstCombinePass ---------------------------------------- define i32 @n8_ult_slt_65537(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 65537 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 35. InstCombinePass ---------------------------------------- define i32 @n8_ult_slt_65537(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 65537 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 36. PassManager<Function> : Skipping NOP -- 37. PassManager<Function> : Skipping NOP -- 38. InstCombinePass ---------------------------------------- define i32 @n9_ult_slt_neg1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 4294967295 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 39. InstCombinePass ---------------------------------------- define i32 @n9_ult_slt_neg1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 4294967295 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 40. PassManager<Function> : Skipping NOP -- 41. PassManager<Function> : Skipping NOP -- 42. InstCombinePass ---------------------------------------- declare void @use1(i1) define i32 @n10_oneuse0(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 call void @use1(i1 %t2) %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 43. InstCombinePass ---------------------------------------- declare void @use1(i1) define i32 @n10_oneuse0(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 call void @use1(i1 %t2) %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 44. PassManager<Function> : Skipping NOP -- 45. PassManager<Function> : Skipping NOP -- 46. InstCombinePass ---------------------------------------- declare void @use1(i1) define i32 @n11_oneuse1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 call void @use1(i1 %t0) %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 47. InstCombinePass ---------------------------------------- declare void @use1(i1) define i32 @n11_oneuse1(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 call void @use1(i1 %t0) %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 48. PassManager<Function> : Skipping NOP -- 49. PassManager<Function> : Skipping NOP -- 50. InstCombinePass ---------------------------------------- declare void @use32(i32) define i32 @n12_oneuse2(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high call void @use32(i32 %t1) %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 51. InstCombinePass ---------------------------------------- declare void @use32(i32) define i32 @n12_oneuse2(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high call void @use32(i32 %t1) %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 52. PassManager<Function> : Skipping NOP -- 53. PassManager<Function> : Skipping NOP -- 54. InstCombinePass ---------------------------------------- declare void @use1(i1) define i32 @n13_oneuse3(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 call void @use1(i1 %t0) %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 call void @use1(i1 %t2) %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 55. InstCombinePass ---------------------------------------- declare void @use1(i1) define i32 @n13_oneuse3(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 call void @use1(i1 %t0) %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high %t2 = icmp ult i32 %x, 65536 call void @use1(i1 %t2) %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 56. PassManager<Function> : Skipping NOP -- 57. PassManager<Function> : Skipping NOP -- 58. InstCombinePass ---------------------------------------- declare void @use1(i1) declare void @use32(i32) define i32 @n14_oneuse4(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 call void @use1(i1 %t0) %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high call void @use32(i32 %t1) %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 59. InstCombinePass ---------------------------------------- declare void @use1(i1) declare void @use32(i32) define i32 @n14_oneuse4(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 call void @use1(i1 %t0) %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high call void @use32(i32 %t1) %t2 = icmp ult i32 %x, 65536 %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 60. PassManager<Function> : Skipping NOP -- 61. PassManager<Function> : Skipping NOP -- 62. InstCombinePass ---------------------------------------- declare void @use32(i32) declare void @use1(i1) define i32 @n15_oneuse5(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high call void @use32(i32 %t1) %t2 = icmp ult i32 %x, 65536 call void @use1(i1 %t2) %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 63. InstCombinePass ---------------------------------------- declare void @use32(i32) declare void @use1(i1) define i32 @n15_oneuse5(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high call void @use32(i32 %t1) %t2 = icmp ult i32 %x, 65536 call void @use1(i1 %t2) %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 64. PassManager<Function> : Skipping NOP -- 65. PassManager<Function> : Skipping NOP -- 66. InstCombinePass ---------------------------------------- declare void @use1(i1) declare void @use32(i32) define i32 @n16_oneuse6(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 call void @use1(i1 %t0) %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high call void @use32(i32 %t1) %t2 = icmp ult i32 %x, 65536 call void @use1(i1 %t2) %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 67. InstCombinePass ---------------------------------------- declare void @use1(i1) declare void @use32(i32) define i32 @n16_oneuse6(i32 %x, i32 %replacement_low, i32 %replacement_high) { #0: %t0 = icmp slt i32 %x, 32768 call void @use1(i1 %t0) %t1 = select i1 %t0, i32 %replacement_low, i32 %replacement_high call void @use32(i32 %t1) %t2 = icmp ult i32 %x, 65536 call void @use1(i1 %t2) %r = select i1 %t2, i32 %x, i32 %t1 ret i32 %r } Transformation seems to be correct! (syntactically equal) -- 68. PassManager<Function> : Skipping NOP -- 69. PassManager<Function> : Skipping NOP -- 70. InstCombinePass ---------------------------------------- define <2 x i32> @t17_ult_slt_vec_splat(<2 x i32> %x, <2 x i32> %replacement_low, <2 x i32> %replacement_high) { #0: %t0 = icmp slt <2 x i32> %x, { 65536, 65536 } %t1 = select <2 x i1> %t0, <2 x i32> %replacement_low, <2 x i32> %replacement_high %t2 = icmp ult <2 x i32> %x, { 65536, 65536 } %r = select <2 x i1> %t2, <2 x i32> %x, <2 x i32> %t1 ret <2 x i32> %r } Transformation seems to be correct! (syntactically equal) -- 71. InstCombinePass ---------------------------------------- define <2 x i32> @t17_ult_slt_vec_splat(<2 x i32> %x, <2 x i32> %replacement_low, <2 x i32> %replacement_high) { #0: %t0 = icmp slt <2 x i32> %x, { 65536, 65536 } %t1 = select <2 x i1> %t0, <2 x i32> %replacement_low, <2 x i32> %replacement_high %t2 = icmp ult <2 x i32> %x, { 65536, 65536 } %r = select <2 x i1> %t2, <2 x i32> %x, <2 x i32> %t1 ret <2 x i32> %r } => define <2 x i32> @t17_ult_slt_vec_splat(<2 x i32> %x, <2 x i32> %replacement_low, <2 x i32> %replacement_high) { #0: %#1 = icmp slt <2 x i32> %x, { 0, 0 } %#2 = icmp sgt <2 x i32> %x, { 65535, 65535 } %#3 = select <2 x i1> %#1, <2 x i32> %replacement_low, <2 x i32> %x %r = select <2 x i1> %#2, <2 x i32> %replacement_high, <2 x i32> %#3 ret <2 x i32> %r } Transformation seems to be correct! -- 72. PassManager<Function> : Skipping NOP -- 73. PassManager<Function> : Skipping NOP -- 74. InstCombinePass ---------------------------------------- define <2 x i32> @t18_ult_slt_vec_nonsplat(<2 x i32> %x, <2 x i32> %replacement_low, <2 x i32> %replacement_high) { #0: %t0 = icmp slt <2 x i32> %x, { 65536, 32768 } %t1 = select <2 x i1> %t0, <2 x i32> %replacement_low, <2 x i32> %replacement_high %t2 = icmp ult <2 x i32> %x, { 65536, 32768 } %r = select <2 x i1> %t2, <2 x i32> %x, <2 x i32> %t1 ret <2 x i32> %r } Transformation seems to be correct! (syntactically equal) -- 75. InstCombinePass ---------------------------------------- define <2 x i32> @t18_ult_slt_vec_nonsplat(<2 x i32> %x, <2 x i32> %replacement_low, <2 x i32> %replacement_high) { #0: %t0 = icmp slt <2 x i32> %x, { 65536, 32768 } %t1 = select <2 x i1> %t0, <2 x i32> %replacement_low, <2 x i32> %replacement_high %t2 = icmp ult <2 x i32> %x, { 65536, 32768 } %r = select <2 x i1> %t2, <2 x i32> %x, <2 x i32> %t1 ret <2 x i32> %r } => define <2 x i32> @t18_ult_slt_vec_nonsplat(<2 x i32> %x, <2 x i32> %replacement_low, <2 x i32> %replacement_high) { #0: %#1 = icmp slt <2 x i32> %x, { 0, 0 } %#2 = icmp sgt <2 x i32> %x, { 65535, 32767 } %#3 = select <2 x i1> %#1, <2 x i32> %replacement_low, <2 x i32> %x %r = select <2 x i1> %#2, <2 x i32> %replacement_high, <2 x i32> %#3 ret <2 x i32> %r } Transformation seems to be correct! -- 76. PassManager<Function> : Skipping NOP -- 77. PassManager<Function> : Skipping NOP -- 78. InstCombinePass ---------------------------------------- define <3 x i32> @t19_ult_slt_vec_undef0(<3 x i32> %x, <3 x i32> %replacement_low, <3 x i32> %replacement_high) { #0: %t0 = icmp slt <3 x i32> %x, { 65536, undef, 65536 } %t1 = select <3 x i1> %t0, <3 x i32> %replacement_low, <3 x i32> %replacement_high %t2 = icmp ult <3 x i32> %x, { 65536, 65536, 65536 } %r = select <3 x i1> %t2, <3 x i32> %x, <3 x i32> %t1 ret <3 x i32> %r } Transformation seems to be correct! (syntactically equal) -- 79. InstCombinePass ---------------------------------------- define <3 x i32> @t19_ult_slt_vec_undef0(<3 x i32> %x, <3 x i32> %replacement_low, <3 x i32> %replacement_high) { #0: %t0 = icmp slt <3 x i32> %x, { 65536, undef, 65536 } %t1 = select <3 x i1> %t0, <3 x i32> %replacement_low, <3 x i32> %replacement_high %t2 = icmp ult <3 x i32> %x, { 65536, 65536, 65536 } %r = select <3 x i1> %t2, <3 x i32> %x, <3 x i32> %t1 ret <3 x i32> %r } => define <3 x i32> @t19_ult_slt_vec_undef0(<3 x i32> %x, <3 x i32> %replacement_low, <3 x i32> %replacement_high) { #0: %#1 = icmp slt <3 x i32> %x, { 0, 0, 0 } %#2 = icmp sgt <3 x i32> %x, { 65535, 65535, 65535 } %#3 = select <3 x i1> %#1, <3 x i32> %replacement_low, <3 x i32> %x %r = select <3 x i1> %#2, <3 x i32> %replacement_high, <3 x i32> %#3 ret <3 x i32> %r } Transformation doesn't verify! (not unsound) ERROR: Timeout -- 80. PassManager<Function> : Skipping NOP -- 81. PassManager<Function> : Skipping NOP -- 82. InstCombinePass ---------------------------------------- define <3 x i32> @t20_ult_slt_vec_undef1(<3 x i32> %x, <3 x i32> %replacement_low, <3 x i32> %replacement_high) { #0: %t0 = icmp slt <3 x i32> %x, { 65536, 65537, 65536 } %t1 = select <3 x i1> %t0, <3 x i32> %replacement_low, <3 x i32> %replacement_high %t2 = icmp ult <3 x i32> %x, { 65536, undef, 65536 } %r = select <3 x i1> %t2, <3 x i32> %x, <3 x i32> %t1 ret <3 x i32> %r } Transformation seems to be correct! (syntactically equal) -- 83. InstCombinePass ---------------------------------------- define <3 x i32> @t20_ult_slt_vec_undef1(<3 x i32> %x, <3 x i32> %replacement_low, <3 x i32> %replacement_high) { #0: %t0 = icmp slt <3 x i32> %x, { 65536, 65537, 65536 } %t1 = select <3 x i1> %t0, <3 x i32> %replacement_low, <3 x i32> %replacement_high %t2 = icmp ult <3 x i32> %x, { 65536, undef, 65536 } %r = select <3 x i1> %t2, <3 x i32> %x, <3 x i32> %t1 ret <3 x i32> %r } => define <3 x i32> @t20_ult_slt_vec_undef1(<3 x i32> %x, <3 x i32> %replacement_low, <3 x i32> %replacement_high) { #0: %#1 = icmp slt <3 x i32> %x, { 0, 0, 0 } %#2 = icmp sgt <3 x i32> %x, { 65535, 65535, 65535 } %#3 = select <3 x i1> %#1, <3 x i32> %replacement_low, <3 x i32> %x %r = select <3 x i1> %#2, <3 x i32> %replacement_high, <3 x i32> %#3 ret <3 x i32> %r } Transformation doesn't verify! (unsound) ERROR: Target is more poisonous than source Example: <3 x i32> %x = < #x00000000 (0), #x00010000 (65536), #x00000000 (0) > <3 x i32> %replacement_low = < #x00000000 (0) [based on undef value], #x00000000 (0) [based on undef value], #x00000000 (0) [based on undef value] > <3 x i32> %replacement_high = < poison, poison, poison > Source: <3 x i1> %t0 = < #x1 (1), #x1 (1), #x1 (1) > <3 x i32> %t1 = < #x00000000 (0), #x00000000 (0), #x00000000 (0) > <3 x i1> %t2 = < #x1 (1), #x0 (0) [based on undef value], #x1 (1) > <3 x i32> %r = < #x00000000 (0), #x00000000 (0), #x00000000 (0) > Target: <3 x i1> %#1 = < #x0 (0), #x0 (0), #x0 (0) > <3 x i1> %#2 = < #x0 (0), #x1 (1), #x0 (0) > <3 x i32> %#3 = < #x00000000 (0), #x00010000 (65536), #x00000000 (0) > <3 x i32> %r = < #x00000000 (0), poison, #x00000000 (0) > Source value: < #x00000000 (0), #x00000000 (0), #x00000000 (0) > Target value: < #x00000000 (0), poison, #x00000000 (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=instcombine' '-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_vBhZT5Lx_RZVn.bc" ------------------- SMT STATS ------------------- Num queries: 81 Num invalid: 0 Num skips: 0 Num trivial: 68 (45.6%) Num timeout: 1 (1.2%) Num errors: 0 (0.0%) Num SAT: 44 (54.3%) Num UNSAT: 36 (44.4%) Alive2: Transform doesn't verify; aborting!
RUN: at line 2: /home/nlopes/alive2/build/opt-alive.sh < /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/canonicalize-clamp-like-pattern-between-zero-and-positive-threshold.ll -passes=instcombine -S | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/canonicalize-clamp-like-pattern-between-zero-and-positive-threshold.ll + /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/canonicalize-clamp-like-pattern-between-zero-and-positive-threshold.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/canonicalize-clamp-like-pattern-between-zero-and-positive-threshold.ll