diff options
author | Chris Lattner <sabre@nondot.org> | 2011-04-16 23:15:35 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2011-04-16 23:15:35 +0000 |
commit | c6bea67efc38b075c401ebdb6ae97afa08cbb51d (patch) | |
tree | 3bd202d5bec2af1b8341fff28d39254bbedb3a56 /test/CodeGen/conditional.c | |
parent | 32ac00d05b3e12bb155f95dfcede7e66ab26c234 (diff) | |
download | clang-c6bea67efc38b075c401ebdb6ae97afa08cbb51d.tar.gz |
fix rdar://9289603 - clang should fold trivial ?: for enums as well as integer constants into select at -O0
by making the isCheapEnoughToEvaluateUnconditionally predicate handle anything that folds to a constant. In particular, we now fold enums.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129649 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/conditional.c')
-rw-r--r-- | test/CodeGen/conditional.c | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/test/CodeGen/conditional.c b/test/CodeGen/conditional.c index d079aafd78..15e15f11e3 100644 --- a/test/CodeGen/conditional.c +++ b/test/CodeGen/conditional.c @@ -1,4 +1,4 @@ -// RUN: %clang_cc1 -emit-llvm %s -o %t +// RUN: %clang_cc1 -emit-llvm %s -o - | FileCheck %s float test1(int cond, float a, float b) { return cond ? a : b; @@ -47,3 +47,22 @@ void test9(struct test9 *p) { p ? p : test9spare(); } +// CHECK: @test10 +// CHECK: select i1 {{.*}}, i32 4, i32 5 +int test10(int c) { + return c ? 4 : 5; +} +enum { Gronk = 5 }; + +// rdar://9289603 +// CHECK: @test11 +// CHECK: select i1 {{.*}}, i32 4, i32 5 +int test11(int c) { + return c ? 4 : Gronk; +} + +// CHECK: @test12 +// CHECK: select i1 {{.*}}, double 4.0{{.*}}, double 2.0 +double test12(int c) { + return c ? 4.0 : 2.0; +} |