Ignore:
Timestamp:
Jul 13, 2015, 2:11:13 PM (4 years ago)
Author:
cameron
Message:

Upgrade LLVM to 3.6.1

Location:
icGREP/icgrep-devel/llvm-3.6.1.src
Files:
1 edited
1 moved

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/llvm-3.6.1.src/test/Transforms/GVN/edge.ll

    r4574 r4664  
    6060}
    6161
    62 define double @fcmp_oeq(double %x, double %y) {
     62define double @fcmp_oeq_not_zero(double %x, double %y) {
    6363entry:
    6464  %cmp = fcmp oeq double %y, 2.0
     
    7373  ret double %retval
    7474
    75 ; CHECK-LABEL: define double @fcmp_oeq(
     75; CHECK-LABEL: define double @fcmp_oeq_not_zero(
    7676; CHECK: %div = fdiv double %x, 2.0
    7777}
    7878
    79 define double @fcmp_une(double %x, double %y) {
     79define double @fcmp_une_not_zero(double %x, double %y) {
    8080entry:
    8181  %cmp = fcmp une double %y, 2.0
     
    9090  ret double %retval
    9191
    92 ; CHECK-LABEL: define double @fcmp_une(
     92; CHECK-LABEL: define double @fcmp_une_not_zero(
    9393; CHECK: %div = fdiv double %x, 2.0
    9494}
     
    130130; CHECK: %div = fdiv double %x, %y
    131131}
     132
     133; We also cannot propagate a value if it's not a constant.
     134; This is because the value could be 0.0 or -0.0.
     135
     136define double @fcmp_oeq_maybe_zero(double %x, double %y, double %z1, double %z2) {
     137entry:
     138 %z = fadd double %z1, %z2
     139 %cmp = fcmp oeq double %y, %z
     140 br i1 %cmp, label %if, label %return
     141
     142if:
     143 %div = fdiv double %x, %z
     144 br label %return
     145
     146return:
     147 %retval = phi double [ %div, %if ], [ %x, %entry ]
     148 ret double %retval
     149
     150; CHECK-LABEL: define double @fcmp_oeq_maybe_zero(
     151; CHECK: %div = fdiv double %x, %z
     152}
     153
     154define double @fcmp_une_maybe_zero(double %x, double %y, double %z1, double %z2) {
     155entry:
     156 %z = fadd double %z1, %z2
     157 %cmp = fcmp une double %y, %z
     158 br i1 %cmp, label %return, label %else
     159
     160else:
     161 %div = fdiv double %x, %z
     162 br label %return
     163
     164return:
     165 %retval = phi double [ %div, %else ], [ %x, %entry ]
     166 ret double %retval
     167
     168; CHECK-LABEL: define double @fcmp_une_maybe_zero(
     169; CHECK: %div = fdiv double %x, %z
     170}
Note: See TracChangeset for help on using the changeset viewer.