diff options
Diffstat (limited to 'llvm/test/Transforms/GVN/propagate-ir-flags.ll')
| -rw-r--r-- | llvm/test/Transforms/GVN/propagate-ir-flags.ll | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/llvm/test/Transforms/GVN/propagate-ir-flags.ll b/llvm/test/Transforms/GVN/propagate-ir-flags.ll new file mode 100644 index 00000000000..07367a2ec51 --- /dev/null +++ b/llvm/test/Transforms/GVN/propagate-ir-flags.ll @@ -0,0 +1,29 @@ + +; RUN: opt < %s -gvn -S | FileCheck %s + +; CHECK-LABEL: func_fast +; CHECK: fadd fast double +; CHECK-NEXT: store +; CHECK-NEXT: ret +define double @func_fast(double %a, double %b) { +entry: + %a.addr = alloca double, align 8 + %add = fadd fast double %b, 3.000000e+00 + store double %add, double* %a.addr, align 8 + %load_add = load double, double* %a.addr, align 8 + ret double %load_add +} + +; CHECK-LABEL: func_no_fast +; CHECK: fadd double +; CHECK-NEXT: store +; CHECK-NEXT: ret +define double @func_no_fast(double %a, double %b) { +entry: + %a.addr = alloca double, align 8 + %add = fadd fast double %b, 3.000000e+00 + store double %add, double* %a.addr, align 8 + %duplicated_add = fadd double %b, 3.000000e+00 + ret double %duplicated_add +} + |
