test/Transforms/MergeFunc/undef-different-types.ll

   1 ; RUN: opt -mergefunc -S < %s | FileCheck %s
   2 ; RUN: opt -mergefunc -S < %s | FileCheck -check-prefix=MERGE %s
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   4
   5 ; Cfunc and Dfunc differ only in that one returns i64, the other a pointer, and
   6 ; both return undef. They should be merged. Note undef cannot be merged with
   7 ; anything else, because this implies the ordering will be inconsistent (i.e.
   8 ; -1 == undef and undef == 1, but -1 < 1, so we must have undef != <any int>).
   9 define internal i64 @Cfunc(i32* %P, i32* %Q) {
  10 ; CHECK-LABEL: define internal i64 @Cfunc
  11   store i32 4, i32* %P
  12   store i32 6, i32* %Q
  13   ret i64 undef
  14 }
  15
  16 define internal i64* @Dfunc(i32* %P, i32* %Q) {
  17 ; MERGE-NOT: @Dfunc
  18   store i32 4, i32* %P
  19   store i32 6, i32* %Q
  20   ret i64* undef
  21 }