Frits van Bommel | 1fca2c3 | 2011-01-29 15:26:31 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instsimplify -S | FileCheck %s |
2 | |||||
3 | define double @fdiv_of_undef(double %X) { | ||||
4 | ; CHECK: @fdiv_of_undef | ||||
5 | ; undef / X -> undef | ||||
6 | %r = fdiv double undef, %X | ||||
7 | ret double %r | ||||
8 | ; CHECK: ret double undef | ||||
9 | } | ||||
10 | |||||
11 | define double @fdiv_by_undef(double %X) { | ||||
12 | ; CHECK: @fdiv_by_undef | ||||
13 | ; X / undef -> undef | ||||
14 | %r = fdiv double %X, undef | ||||
15 | ret double %r | ||||
16 | ; CHECK: ret double undef | ||||
17 | } |