; REQUIRES: asserts
; RUN: llc -mtriple=powerpc64le-unknown-unknown -debug-only=legalize-types \
; RUN:   < %s -o /dev/null 2>&1 | FileCheck %s

define i64 @testAddeReturnType(i64 %X, i64 %Z) {
; CHECK: Legally typed node: {{.*}}: i64,glue = adde {{.*}} 
  %cmp = icmp ne i64 %Z, 0
  %conv1 = zext i1 %cmp to i64
  %add = add nsw i64 %conv1, %X
  ret i64 %add
}