diff options
| -rw-r--r-- | test/Transforms/LCSSA/2006-06-03-IncorrectIDFPhis.ll | 26 | ||||
| -rw-r--r-- | test/Transforms/LCSSA/basictest.ll | 4 |
2 files changed, 28 insertions, 2 deletions
diff --git a/test/Transforms/LCSSA/2006-06-03-IncorrectIDFPhis.ll b/test/Transforms/LCSSA/2006-06-03-IncorrectIDFPhis.ll new file mode 100644 index 0000000..e2c73f8 --- /dev/null +++ b/test/Transforms/LCSSA/2006-06-03-IncorrectIDFPhis.ll @@ -0,0 +1,26 @@ +; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%SJE.0.0.lcssa = phi .struct.SetJmpMapEntry" && +; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%SJE.0.0.lcssa1 = phi .struct.SetJmpMapEntry" + +%struct.SetJmpMapEntry = type { sbyte*, uint, %struct.SetJmpMapEntry* } + +implementation ; Functions: + +void %__llvm_sjljeh_try_catching_longjmp_exception() { +entry: + br bool false, label %UnifiedReturnBlock, label %no_exit + +no_exit: ; preds = %endif, %entry + %SJE.0.0 = phi %struct.SetJmpMapEntry* [ %tmp.24, %endif ], [ null, %entry ] ; <%struct.SetJmpMapEntry*> [#uses=1] + br bool false, label %then, label %endif + +then: ; preds = %no_exit + %tmp.20 = getelementptr %struct.SetJmpMapEntry* %SJE.0.0, int 0, uint 1 ; <uint*> [#uses=0] + ret void + +endif: ; preds = %no_exit + %tmp.24 = load %struct.SetJmpMapEntry** null ; <%struct.SetJmpMapEntry*> [#uses=1] + br bool false, label %UnifiedReturnBlock, label %no_exit + +UnifiedReturnBlock: ; preds = %endif, %entry + ret void +} diff --git a/test/Transforms/LCSSA/basictest.ll b/test/Transforms/LCSSA/basictest.ll index 747080b..e0a8eae 100644 --- a/test/Transforms/LCSSA/basictest.ll +++ b/test/Transforms/LCSSA/basictest.ll @@ -1,5 +1,5 @@ -; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%lcssa = phi int" && -; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%X4 = add int 3, %lcssa" +; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "X3.lcssa = phi int" && +; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%X4 = add int 3, %X3.lcssa" void %lcssa(bool %S2) { entry: |