| Justin Bogner | e0ccdb1 | 2013-11-04 16:13:23 +0000 | [diff] [blame^] | 1 | // RUN: %clang %s -O0 -emit-llvm -S -o - | FileCheck %s |
| 2 | |||||
| 3 | void foo(); | ||||
| 4 | void bar(); | ||||
| 5 | |||||
| 6 | void fold_if(int a, int b) { | ||||
| 7 | // CHECK: define {{.*}} @fold_if( | ||||
| 8 | // CHECK-NOT: = phi | ||||
| 9 | // CHECK: } | ||||
| 10 | if (a && b) | ||||
| 11 | foo(); | ||||
| 12 | else | ||||
| 13 | bar(); | ||||
| 14 | } | ||||
| 15 | |||||
| 16 | void fold_for(int a, int b) { | ||||
| 17 | // CHECK: define {{.*}} @fold_for( | ||||
| 18 | // CHECK-NOT: = phi | ||||
| 19 | // CHECK: } | ||||
| 20 | for (int i = 0; a && i < b; ++i) foo(); | ||||
| 21 | for (int i = 0; a || i < b; ++i) bar(); | ||||
| 22 | } | ||||