// RUN: %clang_cc1 -triple mips64-unknown-linux -O2 -target-abi n64 -S -emit-llvm %s -o - | FileCheck %s -check-prefix=N64
// RUN: %clang_cc1 -triple mips64-unknown-linux -O2 -target-abi n32 -S -emit-llvm %s -o - | FileCheck %s -check-prefix=N32
// RUN: %clang_cc1 -triple mips-unknown-linux -O2 -target-abi o32 -S -emit-llvm %s -o - | FileCheck %s -check-prefix=O32

#include <stdarg.h>

unsigned foo(int x, ...) {
  va_list valist;
  va_start(valist, x);
  unsigned a;
  a = va_arg(valist, unsigned);
  return a;
}

void foo1(void) {
  unsigned f = 0xffffffe0;
  foo(1,f);
}

//N64: call signext i32 (i32, ...) @foo(i32 signext poison, i32 noundef signext -32)
//N32: call signext i32 (i32, ...) @foo(i32 signext poison, i32 noundef signext -32)
//O32: call i32 (i32, ...) @foo(i32 signext poison, i32 noundef signext -32)