| Matt Arsenault | 80ecd77 | 2013-08-28 23:04:41 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 2 | ; CHECK: select | ||||
| Chris Lattner | 710b441 | 2008-01-28 00:58:18 +0000 | [diff] [blame] | 3 | |
| 4 | define double @fold(i1 %a, double %b) { | ||||
| 5 | %s = select i1 %a, double 0., double 1. | ||||
| 6 | %c = fdiv double %b, %s | ||||
| 7 | ret double %c | ||||
| 8 | } | ||||