[llvm-bugs] [Bug 32569] New: CoroFrame inserts spills non-determinstically

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=32569

            Bug ID: 32569
           Summary: CoroFrame inserts spills non-determinstically
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P
         Component: Transformation Utilities
          Assignee: unassignedbugs at nondot.org
          Reporter: rnk at google.com
                CC: llvm-bugs at lists.llvm.org

The easy way to observe this is to extract the command from
test/Transforms/Coroutines/coro-spill-after-phi.ll and run it a few times with
-debug-only coro-frame until you observe the different ordering:

$ "C:/src/llvm-project/build/./bin\opt.EXE" "-coro-split" "-S" <
'C:\src\llvm-project\llvm\test\Transforms\Coroutines\coro-spill-after-phi.ll'
-debug-only coro-frame |& grep -A4 Spills
------------- Spills--------------
  %phi2 = phi i32 [ %.begin3, %begin.from.entry ], [ %.begin1, %begin.from.alt
]
   user:   %2 = call i32 @print(i32 %phi2)
  %phi1 = phi i32 [ %.begin2, %begin.from.entry ], [ %.begin, %begin.from.alt ]
   user:   %1 = call i32 @print(i32 %phi1)

$ "C:/src/llvm-project/build/./bin\opt.EXE" "-coro-split" "-S" <
'C:\src\llvm-project\llvm\test\Transforms\Coroutines\coro-spill-after-phi.ll'
-debug-only coro-frame |& grep -A4 Spills
------------- Spills--------------
  %phi1 = phi i32 [ %.begin2, %begin.from.entry ], [ %.begin, %begin.from.alt ]
   user:   %1 = call i32 @print(i32 %phi1)
  %phi2 = phi i32 [ %.begin3, %begin.from.entry ], [ %.begin1, %begin.from.alt
]
   user:   %2 = call i32 @print(i32 %phi2)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170407/5c454f40/attachment.html>