diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-08 22:30:05 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-08 22:30:05 +0000 |
| commit | 2710f1b049adf2c9b0161c5b5b2347a7019bbe32 (patch) | |
| tree | a6fe199e9d30e822006eb17f1017b97887012786 /llvm/test/Transforms | |
| parent | e3333d69db6890bda76b888aab3b8f970f567ff3 (diff) | |
| download | bcm5719-llvm-2710f1b049adf2c9b0161c5b5b2347a7019bbe32.tar.gz bcm5719-llvm-2710f1b049adf2c9b0161c5b5b2347a7019bbe32.zip | |
canonicalize:
-%a + 42
into
42 - %a
previously we were emitting:
-(%a + 42)
This fixes the infinite loop in PR12338. The generated code is still not perfect, though.
Will work on that next
llvm-svn: 158237
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/pr12338.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/pr12338.ll b/llvm/test/Transforms/InstCombine/pr12338.ll new file mode 100644 index 00000000000..2b5c8f8a74e --- /dev/null +++ b/llvm/test/Transforms/InstCombine/pr12338.ll @@ -0,0 +1,24 @@ +; RUN: opt < %s -instcombine -S | FileCheck %s + +define void @entry() nounwind {
+entry:
+ br label %for.cond
+
+for.cond:
+ %local = phi <1 x i32> [ <i32 0>, %entry ], [ %phi2, %cond.end47 ] +; CHECK: sub <1 x i32> <i32 92>, %local
+ %phi3 = sub <1 x i32> zeroinitializer, %local
+ br label %cond.end
+
+cond.false:
+ br label %cond.end
+
+cond.end:
+ %cond = phi <1 x i32> [ %phi3, %for.cond ], [ undef, %cond.false ]
+ br label %cond.end47
+
+cond.end47:
+ %sum = add <1 x i32> %cond, <i32 92>
+ %phi2 = sub <1 x i32> zeroinitializer, %sum
+ br label %for.cond
+}
|
