1; RUN: opt < %s -instsimplify -S | FileCheck %s
2
3define double @fdiv_of_undef(double %X) {
4; CHECK-LABEL: @fdiv_of_undef(
5; undef / X -> undef
6  %r = fdiv double undef, %X
7  ret double %r
8; CHECK: ret double undef
9}
10
11define double @fdiv_by_undef(double %X) {
12; CHECK-LABEL: @fdiv_by_undef(
13; X / undef -> undef
14  %r = fdiv double %X, undef
15  ret double %r
16; CHECK: ret double undef
17}
18