Test Failure: Transforms/LICM/scalar-promote.ll

Test source: git

Comments: LLVM PR51906

Log:

Source: <stdin>
-- 1. ModuleToFunctionPassAdaptor
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
ERROR: Unsupported attribute: noalias
ERROR: Unsupported metadata: 1
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
ERROR: Unsupported attribute: noalias
ERROR: Unsupported attribute: writable
ERROR: Unsupported attribute: noalias
ERROR: Unsupported attribute: writable
-- 1. PassManager<Function> : Skipping NOP
-- 2. FunctionToLoopPassAdaptor

----------------------------------------
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 3. PassManager<Function> : Skipping NOP
-- 4. LoopSimplifyPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 5. LoopSimplifyPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 6. LCSSAPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 7. LCSSAPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 8. PassManager<Function> : Skipping NOP
-- 9. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 10. LICMPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 11. LICMPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void
}
=>
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  %X.promoted = load i32, ptr @X, align 4
  br label %Loop

Loop:
  %x21 = phi i32 [ %X.promoted, %Entry ], [ %x2, %Loop ]
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x2 = add i32 %x21, 1
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  %x2.lcssa = phi i32 [ %x2, %Loop ]
  store i32 %x2.lcssa, ptr @X, align 4
  ret void
}

****************************************
WARNING: Source function is always UB.
It can be refined by any target function.
Please make sure this is what you wanted.
****************************************

Transformation doesn't verify! (not unsound)
ERROR: The source program doesn't reach a return instruction.
Consider increasing the unroll factor if it has loops
-- 12. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 13. FunctionToLoopPassAdaptor

----------------------------------------
@X = global 4 bytes, align 4

define void @test1(i32 %i) {
Entry:
  %X.promoted = load i32, ptr @X, align 4
  br label %Loop

Loop:
  %x21 = phi i32 [ %X.promoted, %Entry ], [ %x2, %Loop ]
  %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]
  %x2 = add i32 %x21, 1
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  %x2.lcssa = phi i32 [ %x2, %Loop ]
  store i32 %x2.lcssa, ptr @X, align 4
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 14. PassManager<Function> : Skipping NOP
-- 15. PassManager<Function> : Skipping NOP
-- 16. FunctionToLoopPassAdaptor

----------------------------------------
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  br label %Loop

Loop:
  %X1 = gep ptr @X, 4 x i64 1
  %A = load i32, ptr %X1, align 4
  %V = add i32 %A, 1
  %X2 = gep ptr @X, 4 x i64 1
  store i32 %V, ptr %X2, align 4
  br i1 0, label %Loop, label %Exit

Exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 17. PassManager<Function> : Skipping NOP
-- 18. LoopSimplifyPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  br label %Loop

Loop:
  %X1 = gep ptr @X, 4 x i64 1
  %A = load i32, ptr %X1, align 4
  %V = add i32 %A, 1
  %X2 = gep ptr @X, 4 x i64 1
  store i32 %V, ptr %X2, align 4
  br i1 0, label %Loop, label %Exit

Exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 19. LoopSimplifyPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  br label %Loop

Loop:
  %X1 = gep ptr @X, 4 x i64 1
  %A = load i32, ptr %X1, align 4
  %V = add i32 %A, 1
  %X2 = gep ptr @X, 4 x i64 1
  store i32 %V, ptr %X2, align 4
  br i1 0, label %Loop, label %Exit

Exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 20. LCSSAPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  br label %Loop

Loop:
  %X1 = gep ptr @X, 4 x i64 1
  %A = load i32, ptr %X1, align 4
  %V = add i32 %A, 1
  %X2 = gep ptr @X, 4 x i64 1
  store i32 %V, ptr %X2, align 4
  br i1 0, label %Loop, label %Exit

Exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 21. LCSSAPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  br label %Loop

Loop:
  %X1 = gep ptr @X, 4 x i64 1
  %A = load i32, ptr %X1, align 4
  %V = add i32 %A, 1
  %X2 = gep ptr @X, 4 x i64 1
  store i32 %V, ptr %X2, align 4
  br i1 0, label %Loop, label %Exit

Exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 22. PassManager<Function> : Skipping NOP
-- 23. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 24. LICMPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  br label %Loop

Loop:
  %X1 = gep ptr @X, 4 x i64 1
  %A = load i32, ptr %X1, align 4
  %V = add i32 %A, 1
  %X2 = gep ptr @X, 4 x i64 1
  store i32 %V, ptr %X2, align 4
  br i1 0, label %Loop, label %Exit

Exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 25. LICMPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  br label %Loop

Loop:
  %X1 = gep ptr @X, 4 x i64 1
  %A = load i32, ptr %X1, align 4
  %V = add i32 %A, 1
  %X2 = gep ptr @X, 4 x i64 1
  store i32 %V, ptr %X2, align 4
  br i1 0, label %Loop, label %Exit

Exit:
  ret void
}
=>
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  %X1 = gep ptr @X, 4 x i64 1
  %X1.promoted = load i32, ptr %X1, align 4
  br label %Loop

Loop:
  %A1 = phi i32 [ %V, %Loop ], [ %X1.promoted, %Entry ]
  %V = add i32 %A1, 1
  br i1 0, label %Loop, label %Exit

Exit:
  %V.lcssa = phi i32 [ %V, %Loop ]
  store i32 %V.lcssa, ptr %X1, align 4
  ret void
}

****************************************
WARNING: Source function is always UB.
It can be refined by any target function.
Please make sure this is what you wanted.
****************************************

Transformation seems to be correct!

-- 26. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 27. FunctionToLoopPassAdaptor

----------------------------------------
@X = global 4 bytes, align 4

define void @test2(i32 %i) {
Entry:
  %X1 = gep ptr @X, 4 x i64 1
  %X2 = gep ptr @X, 4 x i64 1
  %X1.promoted = load i32, ptr %X1, align 4
  br label %Loop

Loop:
  %A1 = phi i32 [ %V, %Loop ], [ %X1.promoted, %Entry ]
  %V = add i32 %A1, 1
  br i1 0, label %Loop, label %Exit

Exit:
  %V.lcssa = phi i32 [ %V, %Loop ]
  store i32 %V.lcssa, ptr %X1, align 4
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 28. PassManager<Function> : Skipping NOP
-- 29. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 30. FunctionToLoopPassAdaptor
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 31. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 32. LoopSimplifyPass
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 33. LoopSimplifyPass
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 34. LCSSAPass
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 35. LCSSAPass
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 36. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 37. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 38. LICMPass
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 39. LICMPass
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 40. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 41. FunctionToLoopPassAdaptor
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 42. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %x = load volatile i32, ptr @X, align 4
-- 43. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 44. FunctionToLoopPassAdaptor
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 45. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 46. LoopSimplifyPass
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 47. LoopSimplifyPass
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 48. LCSSAPass
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 49. LCSSAPass
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 50. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 51. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 52. LICMPass
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 53. LICMPass
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 54. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 55. FunctionToLoopPassAdaptor
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 56. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   store volatile i32 %x2, ptr @X, align 4
-- 57. PassManager<Function> : Skipping NOP
-- 58. FunctionToLoopPassAdaptor

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  br label %subloop

subloop:
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  %offsetx2 = load ptr, ptr %handle2, align 8
  store i8 %n, ptr %offsetx2, align 1
  %newoffsetx2 = gep ptr %offsetx2, 1 x i64 -1
  store ptr %newoffsetx2, ptr %handle2, align 8
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 59. PassManager<Function> : Skipping NOP
-- 60. LoopSimplifyPass

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  br label %subloop

subloop:
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  %offsetx2 = load ptr, ptr %handle2, align 8
  store i8 %n, ptr %offsetx2, align 1
  %newoffsetx2 = gep ptr %offsetx2, 1 x i64 -1
  store ptr %newoffsetx2, ptr %handle2, align 8
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 61. LoopSimplifyPass

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  br label %subloop

subloop:
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  %offsetx2 = load ptr, ptr %handle2, align 8
  store i8 %n, ptr %offsetx2, align 1
  %newoffsetx2 = gep ptr %offsetx2, 1 x i64 -1
  store ptr %newoffsetx2, ptr %handle2, align 8
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 62. LCSSAPass

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  br label %subloop

subloop:
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  %offsetx2 = load ptr, ptr %handle2, align 8
  store i8 %n, ptr %offsetx2, align 1
  %newoffsetx2 = gep ptr %offsetx2, 1 x i64 -1
  store ptr %newoffsetx2, ptr %handle2, align 8
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 63. LCSSAPass

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  br label %subloop

subloop:
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  %offsetx2 = load ptr, ptr %handle2, align 8
  store i8 %n, ptr %offsetx2, align 1
  %newoffsetx2 = gep ptr %offsetx2, 1 x i64 -1
  store ptr %newoffsetx2, ptr %handle2, align 8
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 64. PassManager<Function> : Skipping NOP
-- 65. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 66. LICMPass

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  br label %subloop

subloop:
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  %offsetx2 = load ptr, ptr %handle2, align 8
  store i8 %n, ptr %offsetx2, align 1
  %newoffsetx2 = gep ptr %offsetx2, 1 x i64 -1
  store ptr %newoffsetx2, ptr %handle2, align 8
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 67. LICMPass

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  br label %subloop

subloop:
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  %offsetx2 = load ptr, ptr %handle2, align 8
  store i8 %n, ptr %offsetx2, align 1
  %newoffsetx2 = gep ptr %offsetx2, 1 x i64 -1
  store ptr %newoffsetx2, ptr %handle2, align 8
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
=>
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  %handle2.promoted = load ptr, ptr %handle2, align 8
  br label %subloop

subloop:
  %newoffsetx21 = phi ptr [ %handle2.promoted, %loop ], [ %newoffsetx2, %subloop ]
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  store i8 %n, ptr %newoffsetx21, align 1
  %newoffsetx2 = gep ptr %newoffsetx21, 1 x i64 -1
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %newoffsetx2.lcssa = phi ptr [ %newoffsetx2, %subloop ]
  store ptr %newoffsetx2.lcssa, ptr %handle2, align 8
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}

****************************************
WARNING: Source function is always UB.
It can be refined by any target function.
Please make sure this is what you wanted.
****************************************

Transformation doesn't verify! (not unsound)
ERROR: The source program doesn't reach a return instruction.
Consider increasing the unroll factor if it has loops
-- 68. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 69. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 70. LICMPass

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  %handle2.promoted = load ptr, ptr %handle2, align 8
  br label %subloop

subloop:
  %newoffsetx21 = phi ptr [ %handle2.promoted, %loop ], [ %newoffsetx2, %subloop ]
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  store i8 %n, ptr %newoffsetx21, align 1
  %newoffsetx2 = gep ptr %newoffsetx21, 1 x i64 -1
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %newoffsetx2.lcssa = phi ptr [ %newoffsetx2, %subloop ]
  store ptr %newoffsetx2.lcssa, ptr %handle2, align 8
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 71. LICMPass

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  br label %loop

loop:
  %tmp = gep ptr %x, 1 x i64 8
  store ptr %tmp, ptr %handle2, align 8
  %handle2.promoted = load ptr, ptr %handle2, align 8
  br label %subloop

subloop:
  %newoffsetx21 = phi ptr [ %handle2.promoted, %loop ], [ %newoffsetx2, %subloop ]
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  store i8 %n, ptr %newoffsetx21, align 1
  %newoffsetx2 = gep ptr %newoffsetx21, 1 x i64 -1
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %newoffsetx2.lcssa = phi ptr [ %newoffsetx2, %subloop ]
  store ptr %newoffsetx2.lcssa, ptr %handle2, align 8
  %offsetx1 = load ptr, ptr %handle1, align 8
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  ret void
}
=>
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  %tmp = gep ptr %x, 1 x i64 8
  %offsetx1 = load ptr, ptr %handle1, align 8
  br label %loop

loop:
  br label %subloop

subloop:
  %newoffsetx21 = phi ptr [ %tmp, %loop ], [ %newoffsetx2, %subloop ]
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  store i8 %n, ptr %newoffsetx21, align 1
  %newoffsetx2 = gep ptr %newoffsetx21, 1 x i64 -1
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %newoffsetx2.lcssa = phi ptr [ %newoffsetx2, %subloop ]
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  %newoffsetx2.lcssa.lcssa = phi ptr [ %newoffsetx2.lcssa, %innerexit ]
  store ptr %newoffsetx2.lcssa.lcssa, ptr %handle2, align 8
  ret void
}

****************************************
WARNING: Source function is always UB.
It can be refined by any target function.
Please make sure this is what you wanted.
****************************************

Transformation doesn't verify! (not unsound)
ERROR: The source program doesn't reach a return instruction.
Consider increasing the unroll factor if it has loops
-- 72. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 73. FunctionToLoopPassAdaptor

----------------------------------------
define void @test4(ptr %x, i8 %n) {
#0:
  %handle1 = alloca i64 8, align 8
  %handle2 = alloca i64 8, align 8
  store ptr %x, ptr %handle1, align 8
  %tmp = gep ptr %x, 1 x i64 8
  %offsetx1 = load ptr, ptr %handle1, align 8
  br label %loop

loop:
  br label %subloop

subloop:
  %newoffsetx21 = phi ptr [ %tmp, %loop ], [ %newoffsetx2, %subloop ]
  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
  store i8 %n, ptr %newoffsetx21, align 1
  %newoffsetx2 = gep ptr %newoffsetx21, 1 x i64 -1
  %nextcount = add i8 %count, 1
  %innerexitcond = icmp sge i8 %nextcount, 8
  br i1 %innerexitcond, label %innerexit, label %subloop

innerexit:
  %newoffsetx2.lcssa = phi ptr [ %newoffsetx2, %subloop ]
  %val = load i8, ptr %offsetx1, align 1
  %cond = icmp eq i8 %val, %n
  br i1 %cond, label %exit, label %loop

exit:
  %newoffsetx2.lcssa.lcssa = phi ptr [ %newoffsetx2.lcssa, %innerexit ]
  store ptr %newoffsetx2.lcssa.lcssa, ptr %handle2, align 8
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 74. PassManager<Function> : Skipping NOP
-- 75. PassManager<Function> : Skipping NOP
ERROR: Unsupported attribute: noalias
-- 76. FunctionToLoopPassAdaptor
ERROR: Unsupported attribute: noalias
-- 77. PassManager<Function> : Skipping NOP
ERROR: Unsupported attribute: noalias
-- 78. LoopSimplifyPass
ERROR: Unsupported attribute: noalias
-- 79. LoopSimplifyPass
ERROR: Unsupported attribute: noalias
-- 80. LCSSAPass
ERROR: Unsupported attribute: noalias
-- 81. LCSSAPass
ERROR: Unsupported attribute: noalias
-- 82. PassManager<Function> : Skipping NOP
ERROR: Unsupported attribute: noalias
-- 83. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported attribute: noalias
-- 84. LICMPass
ERROR: Unsupported attribute: noalias
-- 85. LICMPass
ERROR: Unsupported attribute: noalias
-- 86. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported attribute: noalias
-- 87. FunctionToLoopPassAdaptor
ERROR: Unsupported attribute: noalias
-- 88. PassManager<Function> : Skipping NOP
ERROR: Unsupported attribute: noalias
-- 89. PassManager<Function> : Skipping NOP
ERROR: Unsupported metadata: 1
-- 90. FunctionToLoopPassAdaptor
ERROR: Unsupported metadata: 1
-- 91. PassManager<Function> : Skipping NOP
ERROR: Unsupported metadata: 1
-- 92. LoopSimplifyPass
ERROR: Unsupported metadata: 1
-- 93. LoopSimplifyPass
ERROR: Unsupported metadata: 1
-- 94. LCSSAPass
ERROR: Unsupported metadata: 1
-- 95. LCSSAPass
ERROR: Unsupported metadata: 1
-- 96. PassManager<Function> : Skipping NOP
ERROR: Unsupported metadata: 1
-- 97. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported metadata: 1
-- 98. LICMPass
ERROR: Unsupported metadata: 1
-- 99. LICMPass
ERROR: Unsupported metadata: 1
-- 100. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported metadata: 1
-- 101. FunctionToLoopPassAdaptor
ERROR: Unsupported metadata: 1
-- 102. PassManager<Function> : Skipping NOP
ERROR: Unsupported metadata: 1
-- 103. PassManager<Function> : Skipping NOP
-- 104. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 105. PassManager<Function> : Skipping NOP
-- 106. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 107. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 108. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 109. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 110. PassManager<Function> : Skipping NOP
-- 111. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 112. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 113. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
=>
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %local.promoted = load i32, ptr %local, align 4
  br label %loop

loop:
  %x21 = phi i32 [ %local.promoted, %entry ], [ %x2, %loop ]
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x2 = call i32 @opaque(i32 %x21) memory(argmem: readwrite)
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %x2.lcssa = phi i32 [ %x2, %loop ]
  store i32 %x2.lcssa, ptr %local, align 4
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation doesn't verify! (not unsound)
ERROR: The source program doesn't reach a return instruction.
Consider increasing the unroll factor if it has loops
-- 114. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 115. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %local.promoted = load i32, ptr %local, align 4
  br label %loop

loop:
  %x21 = phi i32 [ %local.promoted, %entry ], [ %x2, %loop ]
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %x2 = call i32 @opaque(i32 %x21) memory(argmem: readwrite)
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %x2.lcssa = phi i32 [ %x2, %loop ]
  store i32 %x2.lcssa, ptr %local, align 4
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 116. PassManager<Function> : Skipping NOP
-- 117. PassManager<Function> : Skipping NOP
-- 118. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 119. PassManager<Function> : Skipping NOP
-- 120. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 121. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 122. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 123. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 124. PassManager<Function> : Skipping NOP
-- 125. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 126. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 127. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
=>
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %local.promoted = load i32, ptr %local, align 4
  br label %loop

loop:
  %x22 = phi i32 [ %local.promoted, %entry ], [ %x21, %else ]
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x2 = call i32 @opaque(i32 %x22) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %x21 = phi i32 [ %x2, %if ], [ %x22, %loop ]
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation doesn't verify! (not unsound)
ERROR: The source program doesn't reach a return instruction.
Consider increasing the unroll factor if it has loops
-- 128. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 129. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test7bad() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %local.promoted = load i32, ptr %local, align 4
  br label %loop

loop:
  %x22 = phi i32 [ %local.promoted, %entry ], [ %x21, %else ]
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %x2 = call i32 @opaque(i32 %x22) memory(argmem: readwrite)
  %cmp = icmp eq i32 %x2, 0
  br i1 %cmp, label %if, label %else

if:
  store i32 %x2, ptr %local, align 4
  br label %else

else:
  %x21 = phi i32 [ %x2, %if ], [ %x22, %loop ]
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 130. PassManager<Function> : Skipping NOP
-- 131. PassManager<Function> : Skipping NOP
-- 132. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 133. PassManager<Function> : Skipping NOP
-- 134. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 135. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 136. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 137. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 138. PassManager<Function> : Skipping NOP
-- 139. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 140. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 141. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x = load i32, ptr %local, align 4
  %x2 = call i32 @opaque(i32 %x) memory(argmem: readwrite)
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
=>
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %local.promoted = load i32, ptr %local, align 4
  br label %loop

loop:
  %x21 = phi i32 [ %local.promoted, %entry ], [ %x2, %loop ]
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x2 = call i32 @opaque(i32 %x21) memory(argmem: readwrite)
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %x2.lcssa = phi i32 [ %x2, %loop ]
  store i32 %x2.lcssa, ptr %local, align 4
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation doesn't verify! (not unsound)
ERROR: The source program doesn't reach a return instruction.
Consider increasing the unroll factor if it has loops
-- 142. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 143. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test8() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %local.promoted = load i32, ptr %local, align 4
  br label %loop

loop:
  %x21 = phi i32 [ %local.promoted, %entry ], [ %x2, %loop ]
  %j = phi i32 [ 0, %entry ], [ %next, %loop ]
  %throwaway = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %x2 = call i32 @opaque(i32 %x21) memory(argmem: readwrite)
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %x2.lcssa = phi i32 [ %x2, %loop ]
  store i32 %x2.lcssa, ptr %local, align 4
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 144. PassManager<Function> : Skipping NOP
-- 145. PassManager<Function> : Skipping NOP
-- 146. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %local, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 147. PassManager<Function> : Skipping NOP
-- 148. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %local, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 149. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %local, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 150. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %local, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 151. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %local, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 152. PassManager<Function> : Skipping NOP
-- 153. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 154. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %local, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 155. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %local, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %local, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
=>
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %local.promoted = load i32, ptr %local, align 4
  br label %loop

loop:
  %x21 = phi i32 [ %local.promoted, %entry ], [ %x2, %else ]
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x21, %if ]
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %x2.lcssa = phi i32 [ %x2, %else ]
  store i32 %x2.lcssa, ptr %local, align 4
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation doesn't verify! (not unsound)
ERROR: The source program doesn't reach a return instruction.
Consider increasing the unroll factor if it has loops
-- 156. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 157. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9() {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %local.promoted = load i32, ptr %local, align 4
  br label %loop

loop:
  %x21 = phi i32 [ %local.promoted, %entry ], [ %x2, %else ]
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x21, %if ]
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %x2.lcssa = phi i32 [ %x2, %else ]
  store i32 %x2.lcssa, ptr %local, align 4
  %ret = load i32, ptr %local, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 158. PassManager<Function> : Skipping NOP
-- 159. PassManager<Function> : Skipping NOP
-- 160. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9bad(i32 %i) {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %notderef = gep ptr %local, 4 x i32 %i
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %notderef, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %notderef, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %notderef, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 161. PassManager<Function> : Skipping NOP
-- 162. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9bad(i32 %i) {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %notderef = gep ptr %local, 4 x i32 %i
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %notderef, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %notderef, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %notderef, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 163. LoopSimplifyPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9bad(i32 %i) {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %notderef = gep ptr %local, 4 x i32 %i
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %notderef, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %notderef, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %notderef, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 164. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9bad(i32 %i) {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %notderef = gep ptr %local, 4 x i32 %i
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %notderef, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %notderef, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %notderef, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 165. LCSSAPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9bad(i32 %i) {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %notderef = gep ptr %local, 4 x i32 %i
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %notderef, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %notderef, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %notderef, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 166. PassManager<Function> : Skipping NOP
-- 167. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 168. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9bad(i32 %i) {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %notderef = gep ptr %local, 4 x i32 %i
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %notderef, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %notderef, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %notderef, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 169. LICMPass

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9bad(i32 %i) {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %notderef = gep ptr %local, 4 x i32 %i
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %notderef, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %notderef, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %notderef, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 170. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 171. FunctionToLoopPassAdaptor

----------------------------------------
declare void @capture(ptr)
declare i32 @opaque(i32) memory(argmem: readwrite)

define i32 @test9bad(i32 %i) {
entry:
  %local = alloca i64 4, align 4
  call void @capture(ptr %local)
  %notderef = gep ptr %local, 4 x i32 %i
  br label %loop

loop:
  %j = phi i32 [ 0, %entry ], [ %next, %else ]
  %j2 = call i32 @opaque(i32 %j) memory(argmem: readwrite)
  %cmp = icmp eq i32 %j2, 0
  br i1 %cmp, label %if, label %else

if:
  %x = load i32, ptr %notderef, align 4
  br label %else

else:
  %x2 = phi i32 [ 0, %loop ], [ %x, %if ]
  store i32 %x2, ptr %notderef, align 4
  %next = add i32 %j, 1
  %cond = icmp eq i32 %next, 0
  br i1 %cond, label %exit, label %loop

exit:
  %ret = load i32, ptr %notderef, align 4
  ret i32 %ret
}
Transformation seems to be correct! (syntactically equal)

-- 172. PassManager<Function> : Skipping NOP
-- 173. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 174. FunctionToLoopPassAdaptor
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 175. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 176. LoopSimplifyPass
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 177. LoopSimplifyPass
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 178. LCSSAPass
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 179. LCSSAPass
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 180. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 181. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 182. LICMPass
ERROR: Unsupported instruction:   %x = load atomic i32, ptr @X unordered, align 4
-- 183. LICMPass
ERROR: Unsupported instruction:   %X.promoted = load atomic i32, ptr @X unordered, align 4
-- 184. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
ERROR: Unsupported instruction:   %X.promoted = load atomic i32, ptr @X unordered, align 4
-- 185. FunctionToLoopPassAdaptor
ERROR: Unsupported instruction:   %X.promoted = load atomic i32, ptr @X unordered, align 4
-- 186. PassManager<Function> : Skipping NOP
ERROR: Unsupported instruction:   %X.promoted = load atomic i32, ptr @X unordered, align 4
-- 187. PassManager<Function> : Skipping NOP
-- 188. FunctionToLoopPassAdaptor

----------------------------------------
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void

Early:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 189. PassManager<Function> : Skipping NOP
-- 190. LoopSimplifyPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void

Early:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 191. LoopSimplifyPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void

Early:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 192. LCSSAPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void

Early:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 193. LCSSAPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void

Early:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 194. PassManager<Function> : Skipping NOP
-- 195. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 196. LICMPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void

Early:
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 197. LICMPass

----------------------------------------
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  br label %Loop

Loop:
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x = load i32, ptr @X, align 4
  %x2 = add i32 %x, 1
  store i32 %x2, ptr @X, align 4
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  ret void

Early:
  ret void
}
=>
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  %X.promoted = load i32, ptr @X, align 4
  br label %Loop

Loop:
  %x21 = phi i32 [ %X.promoted, %Entry ], [ %x2, %body ]
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x2 = add i32 %x21, 1
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  %x2.lcssa = phi i32 [ %x2, %body ]
  store i32 %x2.lcssa, ptr @X, align 4
  ret void

Early:
  %x21.lcssa = phi i32 [ %x21, %Loop ]
  store i32 %x21.lcssa, ptr @X, align 4
  ret void
}

****************************************
WARNING: Source function is always UB.
It can be refined by any target function.
Please make sure this is what you wanted.
****************************************

Transformation doesn't verify! (not unsound)
ERROR: The source program doesn't reach a return instruction.
Consider increasing the unroll factor if it has loops
-- 198. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 199. FunctionToLoopPassAdaptor

----------------------------------------
@X = global 4 bytes, align 4

define void @test11(i32 %i) {
Entry:
  %X.promoted = load i32, ptr @X, align 4
  br label %Loop

Loop:
  %x21 = phi i32 [ %X.promoted, %Entry ], [ %x2, %body ]
  %j = phi i32 [ 0, %Entry ], [ %Next, %body ]
  %early.test = icmp ult i32 %j, 32
  br i1 %early.test, label %body, label %Early

body:
  %x2 = add i32 %x21, 1
  %Next = add i32 %j, 1
  %cond = icmp eq i32 %Next, 0
  br i1 %cond, label %Out, label %Loop

Out:
  %x2.lcssa = phi i32 [ %x2, %body ]
  store i32 %x2.lcssa, ptr @X, align 4
  ret void

Early:
  %x21.lcssa = phi i32 [ %x21, %Loop ]
  store i32 %x21.lcssa, ptr @X, align 4
  ret void
}
Transformation seems to be correct! (syntactically equal)

-- 200. PassManager<Function> : Skipping NOP
-- 201. PassManager<Function> : Skipping NOP
-- 202. FunctionToLoopPassAdaptor

----------------------------------------
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  br label %loop.header

loop.header:
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  %div = sdiv i8 %i, 3
  %inc = load i8, ptr dereferenceable(8) %ptr, align 1
  store i8 %inc, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc
  br label %loop.header

exit:
  ret i8 %i
}
Transformation seems to be correct! (syntactically equal)

-- 203. PassManager<Function> : Skipping NOP
-- 204. LoopSimplifyPass

----------------------------------------
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  br label %loop.header

loop.header:
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  %div = sdiv i8 %i, 3
  %inc = load i8, ptr dereferenceable(8) %ptr, align 1
  store i8 %inc, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc
  br label %loop.header

exit:
  ret i8 %i
}
Transformation seems to be correct! (syntactically equal)

-- 205. LoopSimplifyPass

----------------------------------------
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  br label %loop.header

loop.header:
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  %div = sdiv i8 %i, 3
  %inc = load i8, ptr dereferenceable(8) %ptr, align 1
  store i8 %inc, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc
  br label %loop.header

exit:
  ret i8 %i
}
Transformation seems to be correct! (syntactically equal)

-- 206. LCSSAPass

----------------------------------------
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  br label %loop.header

loop.header:
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  %div = sdiv i8 %i, 3
  %inc = load i8, ptr dereferenceable(8) %ptr, align 1
  store i8 %inc, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc
  br label %loop.header

exit:
  ret i8 %i
}
Transformation seems to be correct! (syntactically equal)

-- 207. LCSSAPass

----------------------------------------
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  br label %loop.header

loop.header:
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  %div = sdiv i8 %i, 3
  %inc = load i8, ptr dereferenceable(8) %ptr, align 1
  store i8 %inc, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc
  br label %loop.header

exit:
  ret i8 %i
}
=>
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  br label %loop.header

loop.header:
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  %div = sdiv i8 %i, 3
  %inc = load i8, ptr dereferenceable(8) %ptr, align 1
  store i8 %inc, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc
  br label %loop.header

exit:
  %i.lcssa = phi i8 [ %i, %loop.header ]
  ret i8 %i.lcssa
}
Transformation seems to be correct!

-- 208. PassManager<Function> : Skipping NOP
-- 209. PassManager<Loop, AnalysisManager<Loop, LoopStandardAnalysisResults&>, LoopStandardAnalysisResults&, LPMUpdater&> : Skipping NOP
-- 210. LICMPass

----------------------------------------
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  br label %loop.header

loop.header:
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  %div = sdiv i8 %i, 3
  %inc = load i8, ptr dereferenceable(8) %ptr, align 1
  store i8 %inc, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc
  br label %loop.header

exit:
  %i.lcssa = phi i8 [ %i, %loop.header ]
  ret i8 %i.lcssa
}
Transformation seems to be correct! (syntactically equal)

-- 211. LICMPass

----------------------------------------
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  br label %loop.header

loop.header:
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  %div = sdiv i8 %i, 3
  %inc = load i8, ptr dereferenceable(8) %ptr, align 1
  store i8 %inc, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc
  br label %loop.header

exit:
  %i.lcssa = phi i8 [ %i, %loop.header ]
  ret i8 %i.lcssa
}
=>
define i8 @test_hoistable_existing_load_sinkable_store_writeonly(ptr dereferenceable(8) %ptr, i8 %start) memory(write) {
entry:
  %ptr.promoted = load i8, ptr dereferenceable(8) %ptr, align 1
  br label %loop.header

loop.header:
  %inc1 = phi i8 [ %ptr.promoted, %entry ], [ %inc1, %loop.latch ]
  %i = phi i8 [ %start, %entry ], [ %add, %loop.latch ]
  %cmp = icmp ult i8 %i, 4
  br i1 %cmp, label %loop.latch, label %exit

loop.latch:
  store i8 %inc1, ptr dereferenceable(8) %ptr, align 1
  %add = add i8 %i, %inc1
  br label %loop.header

exit:
  %i.lcssa = phi i8 [ %i, %loop.header ]
  ret i8 %i.lcssa
}
Transformation doesn't verify! (unsound)
ERROR: Source is more defined than target

Example:
ptr dereferenceable(8) %ptr = pointer(non-local, block_id=1, offset=1, attrs=1)
i8 %start = #x04 (4)

Source:
  >> Jump to %loop.header
i8 %i = #x04 (4)
i1 %cmp = #x0 (0)
  >> Jump to %exit
i8 %i.lcssa = #x04 (4)

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

Target:
i8 %ptr.promoted = UB triggered!


Pass: LICMPass
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=licm' '-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_d02VwZ9Q_5ndn.bc"


------------------- SMT STATS -------------------
Num queries: 24
Num invalid: 0
Num skips:   0
Num trivial: 30 (55.6%)
Num timeout: 0 (0.0%)
Num errors:  0 (0.0%)
Num SAT:     18 (75.0%)
Num UNSAT:   6 (25.0%)
Alive2: Transform doesn't verify; aborting!

stderr:

RUN: at line 2: /home/nlopes/alive2/build/opt-alive.sh < /bitbucket/nlopes/llvm/llvm/test/Transforms/LICM/scalar-promote.ll -passes=licm -S | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/LICM/scalar-promote.ll
+ /home/nlopes/alive2/build/opt-alive.sh -passes=licm -S
+ /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/LICM/scalar-promote.ll

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/LICM/scalar-promote.ll

 

<-- Back