| Vyacheslav Klochkov | 68a677a | 2016-11-22 20:23:04 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -reassociate -S | FileCheck %s |
| Vyacheslav Klochkov | 68a677a | 2016-11-22 20:23:04 +0000 | [diff] [blame] | 2 | |
| 3 | define double @func(double %a, double %b) { |
| Sanjay Patel | b5d2e11 | 2017-11-09 22:41:39 +0000 | [diff] [blame] | 4 | ; CHECK-LABEL: @func( |
| 5 | ; CHECK-NEXT: [[TMP1:%.*]] = fmul fast double %b, %a |
| 6 | ; CHECK-NEXT: [[TMP2:%.*]] = fmul fast double [[TMP1]], [[TMP1]] |
| 7 | ; CHECK-NEXT: ret double [[TMP2]] |
| 8 | ; |
| Vyacheslav Klochkov | 68a677a | 2016-11-22 20:23:04 +0000 | [diff] [blame] | 9 | %mul1 = fmul fast double %a, %a |
| 10 | %mul2 = fmul fast double %b, %b |
| 11 | %mul3 = fmul fast double %mul1, %mul2 |
| 12 | ret double %mul3 |
| 13 | } |