This is an archive of the discontinued LLVM Phabricator instance.

Differential D33960

ErrorHandling: report_fatal_error: call abort() instead of exit()
Needs RevisionPublic

Authored by MatzeB on Jun 6 2017, 2:22 PM.

Details

Reviewers
chandlerc
echristo
dblaikie
zturner
mehdi_amini
filcab
davide
rnk
Summary

report_fatal_error(): Call abort() instead of exit(); this allows
debuggers, crashtracers etc. to show the point in the compiler where the
problem occured.

Note that this change will not affect clang or other frontends that
register a fatal_error_handler that exits the program by other means.

Diff Detail

Repository
rL LLVM

Event Timeline

MatzeB created this revision.Jun 6 2017, 2:22 PM
Herald added a subscriber: mcrosier. · View Herald TranscriptJun 6 2017, 2:22 PM
dblaikie accepted this revision.Jun 7 2017, 8:25 AM

Seems OK to me. Any reason not to use abort always? (probably is a good reason - just curious to hear/understand/have it written down)

This revision is now accepted and ready to land.Jun 7 2017, 8:25 AM
MatzeB updated this revision to Diff 114098.Sep 6 2017, 4:41 PM
MatzeB retitled this revision from ErrorHandling: Replace exit() with abort() for debug builds. to ErrorHandling: report_fatal_error: call abort() instead of exit().
MatzeB edited the summary of this revision. (Show Details)

Turns out this affects a bunch of testcases. Updating them here.

  • There is a problem with test/Other/close-stderr.ll which expected an exit(1) when printing to stderr fails. With this patch in place we do report_fatal_error() that the write to stderr failed and end up in an abort() again. Is it okay to remove the test?
  • I decided that it may be best to always call abort(). This avoid an unnecessary discrepancy between release/debug builds and it turns out that frontends like clang or swift registers a custom handlers for fatal errors anyway and are not affected by this change.
Herald added subscribers: fedor.sergeev, kbarton, eraman and 8 others. · View Herald TranscriptSep 6 2017, 4:41 PM
MatzeB requested review of this revision.Sep 6 2017, 4:41 PM
MatzeB edited edge metadata.
MatzeB added a subscriber: atrick.
atrick added a comment.Sep 6 2017, 4:46 PM

Please add a comment that abort() also causes any signal handlers registered with LLVM such as PrettyStackTrace to run, which is important for compiler debugging.

dblaikie added a comment.Sep 6 2017, 4:48 PM

Hrm.

Seeing that closing stderr test - I wouldn't mind some more eyes on this change. There's a fair amount of report_fatal_error usage in LLVM tools that probably aren't abort-worthy? But I'm not sure. But maybe that's OK (I mean they're mostly internal tools anyway)

MatzeB added a comment.Sep 6 2017, 4:53 PM
In D33960#862837, @dblaikie wrote:

Hrm.

Seeing that closing stderr test - I wouldn't mind some more eyes on this change. There's a fair amount of report_fatal_error usage in LLVM tools that probably aren't abort-worthy? But I'm not sure. But maybe that's OK (I mean they're mostly internal tools anyway)

Many of the report_fatal_errors in LLVM are abort worthy in my opinion.
There are indeed some like the bitcode parsing failures that really should rather use one of the other mechanisms available such as passing an Error() value to the caller or at least using LLVMContext::diagnose(). I hope this won't stop this patch, in fact it may be nice that this patch makes these things more obvious and hopefully brings people to use more apropriate APIs there.

chandlerc accepted this revision.Sep 7 2017, 4:40 PM
In D33960#862838, @MatzeB wrote:
In D33960#862837, @dblaikie wrote:

Hrm.

Seeing that closing stderr test - I wouldn't mind some more eyes on this change. There's a fair amount of report_fatal_error usage in LLVM tools that probably aren't abort-worthy? But I'm not sure. But maybe that's OK (I mean they're mostly internal tools anyway)

I agree that some of the LLVM tools probably need to move to other error reporting mechanisms.

Many of the report_fatal_errors in LLVM are abort worthy in my opinion.

I suspect essentially all of the ones in libraries are. =]

There are indeed some like the bitcode parsing failures that really should rather use one of the other mechanisms available such as passing an Error() value to the caller or at least using LLVMContext::diagnose(). I hope this won't stop this patch, in fact it may be nice that this patch makes these things more obvious and hopefully brings people to use more apropriate APIs there.

I think this change is probably a good starting point. I see David's point in that I think we may want to revisit some uses of report_fatal_error in tools. But as he says, they're internal tools, and so I feel like we can incrementally go after the ones that are indeed inappropriate to use 'abort()'. We can even to quick fixes by setting up a custom handler much like frontends do.

This revision is now accepted and ready to land.Sep 7 2017, 4:40 PM
rnk added reviewers: filcab, davide.Sep 7 2017, 4:55 PM
rnk requested changes to this revision.Sep 7 2017, 4:59 PM
rnk added a subscriber: rnk.

I'm not sure this is a good idea. For years, report_fatal_error outside clang hasn't printed a stack trace or a banner, and that's intentional behavior.

I think the question is, is a report_fatal_error exit indicative of a bug, or is it possibly working as intended? For a long time we've treated it as a valid (but lazy and crappy) way to handle errors in library code. Are we changing that? I could be OK with that as long as its announced. If we want to do this, we should announce it as a new direction for the project on llvm-dev.

This revision now requires changes to proceed.Sep 7 2017, 4:59 PM
chandlerc added a comment.Sep 7 2017, 5:06 PM
In D33960#864213, @rnk wrote:

I'm not sure this is a good idea. For years, report_fatal_error outside clang hasn't printed a stack trace or a banner, and that's intentional behavior.

I agree it has been the behavior, but I'm not sure how intentional it has been... =[

I think the question is, is a report_fatal_error exit indicative of a bug, or is it possibly working as intended? For a long time we've treated it as a valid (but lazy and crappy) way to handle errors in library code. Are we changing that? I could be OK with that as long as its announced. If we want to do this, we should announce it as a new direction for the project on llvm-dev.

I feel like almost every time I have hit report_fatal_error, I have wanted it to break in a debugger and potentially provide a stack trace. Maybe I'm weird though.

But I don't see how library code calling exit(1) is *ever* going to be a useful error handling mechanism. So I think any place we do this in libraries is either trying to do something like abort() (and reasonable) or trying to propagate an error and needs to be fixed pretty badly. Maybe by making it print stack traces and such we will actually be better at going and fixing these issues.

All that said I'm pretty happy asking for somewhat widespread communication of the fact that this is changing. It *is* a change, and we shouldn't paper over that. I just think it is probably the right direction.

MatzeB added a comment.Sep 7 2017, 5:12 PM
In D33960#864222, @chandlerc wrote:

I think the question is, is a report_fatal_error exit indicative of a bug, or is it possibly working as intended? For a long time we've treated it as a valid (but lazy and crappy) way to handle errors in library code. Are we changing that? I could be OK with that as long as its announced. If we want to do this, we should announce it as a new direction for the project on llvm-dev.

I feel like almost every time I have hit report_fatal_error, I have wanted it to break in a debugger and potentially provide a stack trace. Maybe I'm weird though.

Exactly the same for me and that was my motivation for this patch.

But I don't see how library code calling exit(1) is *ever* going to be a useful error handling mechanism. So I think any place we do this in libraries is either trying to do something like abort() (and reasonable) or trying to propagate an error and needs to be fixed pretty badly. Maybe by making it print stack traces and such we will actually be better at going and fixing these issues.

All that said I'm pretty happy asking for somewhat widespread communication of the fact that this is changing. It *is* a change, and we shouldn't paper over that. I just think it is probably the right direction.

I agree.

atrick added a comment.Sep 7 2017, 5:14 PM

Note that you can get the stack trace just call RunSignalHandlers before calling exit(1)...

But, I wholeheartedly agree with Chandler's evaluation. exit() makes no sense for a library error. Announce it to the community and fix the behavior.

rnk added a comment.Sep 7 2017, 5:24 PM

Oh yeah, the reason I added @filcab: People have been "fixing" AFL and other fuzzer bugs by adding turning asserts into if (X) report_fatal_error("invalid input");. See rL238272, rL238269, rL238268, etc. If you call abort, these will be treated as fuzzer bugs. Maybe that's what you want (for people to actually handle errors), but that's not the status quo.

Another way of looking at it is, does LLVM really need an assert that doesn't compile out in release builds? That's kind of what it will become with this patch.

Re: stopping in the debugger, just do catch syscall exit + exit_group. gdb's behavior of disposing of the inferior after it exits always struck me as weird.

MatzeB added a comment.Sep 7 2017, 5:31 PM

Did a quick ad-hoc and incomplete survey of report_fatal_error usage in LLVM.

Abort Worthy:

  • Situations where IR/MI violated assumptions: IR/Verifier, MachineVerifier, WinEHPrepare, LiveRangeCalc, TargetLoweringObjFile, Coro*, Analysis,
  • Unimplemented functionality: Support/YAMLParser,
  • Out of resources/memory: MachineOutliner
  • Internal compiler problems: Expected passes not in pipeline, target callbacks mibehaving: SafeStack, SplitKit, TargetInstrInfo

User/Input errors:

  • Wrong options: TargetPassConfig
  • Parse Errors: Bitcode/Reader, IR/DataLayout
  • Impossible to allocate registers for function: RegAllocBase
  • Target doesn't support a feature/calling convention/address space/...: TargetLoweringObjectFile, various target files

So far I'd say the ones in the second category really shouldn't be use report_fatal_error.

arphaman added a subscriber: arphaman.Sep 8 2017, 1:36 AM
In D33960#864273, @MatzeB wrote:

Did a quick ad-hoc and incomplete survey of report_fatal_error usage in LLVM.

Abort Worthy:

  • Situations where IR/MI violated assumptions: IR/Verifier, MachineVerifier, WinEHPrepare, LiveRangeCalc, TargetLoweringObjFile, Coro*, Analysis,
  • Unimplemented functionality: Support/YAMLParser,
  • Out of resources/memory: MachineOutliner
  • Internal compiler problems: Expected passes not in pipeline, target callbacks mibehaving: SafeStack, SplitKit, TargetInstrInfo

User/Input errors:

  • Wrong options: TargetPassConfig
  • Parse Errors: Bitcode/Reader, IR/DataLayout

I would like to work on getting rid of report_fatal_error from the Bitstream reader sometime this year / next year as it's used for Clang's serialized diagnostics and report_fatal_error can bring down Xcode if the diagnostics are malformed.

  • Impossible to allocate registers for function: RegAllocBase
  • Target doesn't support a feature/calling convention/address space/...: TargetLoweringObjectFile, various target files

So far I'd say the ones in the second category really shouldn't be use report_fatal_error.

ychen mentioned this in D67847: [Support] make report_fatal_error `abort` instead of `exit`.Oct 2 2019, 11:11 AM
ychen mentioned this in rG647c3f4e47de: [Support] make report_fatal_error `abort` instead of `exit`.Jan 15 2020, 5:11 PM

Revision Contents

PathSize
lib/
Support/
4 lines
test/
Assembler/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
Bitcode/
12 lines
CodeGen/
AArch64/
GlobalISel/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
4 lines
2 lines
AMDGPU/
2 lines
4 lines
4 lines
2 lines
2 lines
2 lines
ARM/
4 lines
4 lines
4 lines
4 lines
4 lines
2 lines
4 lines
2 lines
2 lines
4 lines
4 lines
2 lines
4 lines
4 lines
4 lines
2 lines
BPF/
2 lines
Generic/
12 lines
2 lines
MIR/
X86/
2 lines
2 lines
Mips/
Fast-ISel/
2 lines
2 lines
4 lines
4 lines
2 lines
2 lines
2 lines
mips32r6/
2 lines
mips64r6/
2 lines
msa/
2 lines
2 lines
NVPTX/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
PowerPC/
6 lines
2 lines
4 lines
4 lines
2 lines
2 lines
SPARC/
4 lines
2 lines
SystemZ/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
X86/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
4 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
XCore/
2 lines
4 lines
2 lines
LTO/
X86/
2 lines
8 lines
MC/
ARM/
Windows/
2 lines
AsmParser/
2 lines
COFF/
2 lines
2 lines
2 lines
Disassembler/
AMDGPU/
2 lines
ELF/
ARM/
2 lines
4 lines
2 lines
2 lines
MachO/
2 lines
Mips/
4 lines
PowerPC/
4 lines
4 lines
2 lines
X86/
AlignedBundling/
4 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
Object/
2 lines
2 lines
2 lines
Other/
2 lines
Transforms/
GCOVProfiling/
4 lines
Verifier/
2 lines
tools/
llvm-lto2/
X86/
4 lines

Diff 114098

lib/Support/ErrorHandling.cpp

Show First 20 Lines • Show All 117 Lines • ▼ Show 20 Lines if (handler) {
(void)written; // If something went wrong, we deliberately just give up. (void)written; // If something went wrong, we deliberately just give up.
} }
// If we reached here, we are failing ungracefully. Run the interrupt handlers // If we reached here, we are failing ungracefully. Run the interrupt handlers
// to make sure any special cleanups get done, in particular that we remove // to make sure any special cleanups get done, in particular that we remove
// files registered with RemoveFileOnSignal. // files registered with RemoveFileOnSignal.
sys::RunInterruptHandlers(); sys::RunInterruptHandlers();
exit(1); // Call abort() instead of exit() so debugger and crashdumps show where inside
// the compiler the fatal error happened.
abort();
} }
void llvm::install_bad_alloc_error_handler(fatal_error_handler_t handler, void llvm::install_bad_alloc_error_handler(fatal_error_handler_t handler,
void *user_data) { void *user_data) {
#if LLVM_ENABLE_THREADS == 1 #if LLVM_ENABLE_THREADS == 1
std::lock_guard<std::mutex> Lock(BadAllocErrorHandlerMutex); std::lock_guard<std::mutex> Lock(BadAllocErrorHandlerMutex);
#endif #endif
assert(!ErrorHandler && "Bad alloc error handler already registered!\n"); assert(!ErrorHandler && "Bad alloc error handler already registered!\n");
▲ Show 20 Lines • Show All 144 Lines • Show Last 20 Lines

test/Assembler/getInt.ll

; RUN: not opt < %s 2>&1 | grep 'not a number, or does not fit in an unsigned int' ; RUN: not --crash opt < %s 2>&1 | grep 'not a number, or does not fit in an unsigned int'
target datalayout = "p:4294967296:64:64" target datalayout = "p:4294967296:64:64"

test/Assembler/invalid-datalayout-alloca-addrspace.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "A16777216" target datalayout = "A16777216"
; CHECK: Invalid address space, must be a 24bit integer ; CHECK: Invalid address space, must be a 24bit integer

test/Assembler/invalid-datalayout1.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "^" target datalayout = "^"
; CHECK: Unknown specifier in datalayout string ; CHECK: Unknown specifier in datalayout string

test/Assembler/invalid-datalayout10.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "m" target datalayout = "m"
; CHECK: Expected mangling specifier in datalayout string ; CHECK: Expected mangling specifier in datalayout string

test/Assembler/invalid-datalayout11.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "m." target datalayout = "m."
; CHECK: Unexpected trailing characters after mangling specifier in datalayout string ; CHECK: Unexpected trailing characters after mangling specifier in datalayout string

test/Assembler/invalid-datalayout12.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "f" target datalayout = "f"
; CHECK: Missing alignment specification in datalayout string ; CHECK: Missing alignment specification in datalayout string

test/Assembler/invalid-datalayout13.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = ":32" target datalayout = ":32"
; CHECK: Expected token before separator in datalayout string ; CHECK: Expected token before separator in datalayout string

test/Assembler/invalid-datalayout14.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "i64:64:16" target datalayout = "i64:64:16"
; CHECK: Preferred alignment cannot be less than the ABI alignment ; CHECK: Preferred alignment cannot be less than the ABI alignment

test/Assembler/invalid-datalayout15.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "i64:16:16777216" target datalayout = "i64:16:16777216"
; CHECK: Invalid preferred alignment, must be a 16bit integer ; CHECK: Invalid preferred alignment, must be a 16bit integer

test/Assembler/invalid-datalayout16.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "i64:16777216:16777216" target datalayout = "i64:16777216:16777216"
; CHECK: Invalid ABI alignment, must be a 16bit integer ; CHECK: Invalid ABI alignment, must be a 16bit integer

test/Assembler/invalid-datalayout17.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "i16777216:16:16" target datalayout = "i16777216:16:16"
; CHECK: Invalid bit width, must be a 24bit integer ; CHECK: Invalid bit width, must be a 24bit integer

test/Assembler/invalid-datalayout18.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "p:32:32:16" target datalayout = "p:32:32:16"
; CHECK: Preferred alignment cannot be less than the ABI alignment ; CHECK: Preferred alignment cannot be less than the ABI alignment

test/Assembler/invalid-datalayout19.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "p:0:32:32" target datalayout = "p:0:32:32"
; CHECK: Invalid pointer size of 0 bytes ; CHECK: Invalid pointer size of 0 bytes

test/Assembler/invalid-datalayout2.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "m:v" target datalayout = "m:v"
; CHECK: Unknown mangling in datalayout string ; CHECK: Unknown mangling in datalayout string

test/Assembler/invalid-datalayout20.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "p:64:24:64" target datalayout = "p:64:24:64"
; CHECK: Pointer ABI alignment must be a power of 2 ; CHECK: Pointer ABI alignment must be a power of 2

test/Assembler/invalid-datalayout21.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "p:64:64:24" target datalayout = "p:64:64:24"
; CHECK: Pointer preferred alignment must be a power of 2 ; CHECK: Pointer preferred alignment must be a power of 2

test/Assembler/invalid-datalayout22.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "v128:0:128" target datalayout = "v128:0:128"
; CHECK: ABI alignment specification must be >0 for non-aggregate types ; CHECK: ABI alignment specification must be >0 for non-aggregate types

test/Assembler/invalid-datalayout23.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "i32:24:32" target datalayout = "i32:24:32"
; CHECK: Invalid ABI alignment, must be a power of 2 ; CHECK: Invalid ABI alignment, must be a power of 2

test/Assembler/invalid-datalayout24.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "i32:32:24" target datalayout = "i32:32:24"
; CHECK: Invalid preferred alignment, must be a power of 2 ; CHECK: Invalid preferred alignment, must be a power of 2

test/Assembler/invalid-datalayout3.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "n0" target datalayout = "n0"
; CHECK: Zero width native integer type in datalayout string ; CHECK: Zero width native integer type in datalayout string

test/Assembler/invalid-datalayout4.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "p16777216:64:64:64" target datalayout = "p16777216:64:64:64"
; CHECK: Invalid address space, must be a 24bit integer ; CHECK: Invalid address space, must be a 24bit integer

test/Assembler/invalid-datalayout5.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "a1:64" target datalayout = "a1:64"
; CHECK: Sized aggregate specification in datalayout string ; CHECK: Sized aggregate specification in datalayout string

test/Assembler/invalid-datalayout6.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "a:" target datalayout = "a:"
; CHECK: Trailing separator in datalayout string ; CHECK: Trailing separator in datalayout string

test/Assembler/invalid-datalayout7.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "p:52" target datalayout = "p:52"
; CHECK: number of bits must be a byte width multiple ; CHECK: number of bits must be a byte width multiple

test/Assembler/invalid-datalayout8.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "e-p" target datalayout = "e-p"
; CHECK: Missing size specification for pointer in datalayout string ; CHECK: Missing size specification for pointer in datalayout string

test/Assembler/invalid-datalayout9.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not --crash llvm-as < %s 2>&1 | FileCheck %s
target datalayout = "e-p:64" target datalayout = "e-p:64"
; CHECK: Missing alignment specification for pointer in datalayout string ; CHECK: Missing alignment specification for pointer in datalayout string

test/Bitcode/invalid.test

RUN: not llvm-dis -disable-output %p/Inputs/invalid-empty.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-empty.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-EMPTY %s RUN: FileCheck --check-prefix=INVALID-EMPTY %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-pr20485.bc 2>&1 | \ RUN: not --crash llvm-dis -disable-output %p/Inputs/invalid-pr20485.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-ENCODING %s RUN: FileCheck --check-prefix=INVALID-ENCODING %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev.bc 2>&1 | \
RUN: FileCheck --check-prefix=BAD-ABBREV %s RUN: FileCheck --check-prefix=BAD-ABBREV %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-unexpected-eof.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-unexpected-eof.bc 2>&1 | \
RUN: FileCheck --check-prefix=UNEXPECTED-EOF %s RUN: FileCheck --check-prefix=UNEXPECTED-EOF %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-bad-abbrev-number.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-bad-abbrev-number.bc 2>&1 | \
RUN: FileCheck --check-prefix=BAD-ABBREV-NUMBER %s RUN: FileCheck --check-prefix=BAD-ABBREV-NUMBER %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-type-table-forward-ref.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-type-table-forward-ref.bc 2>&1 | \
▲ Show 20 Lines • Show All 59 Lines • ▼ Show 20 Lines
NO-MODULE: Expected a single module NO-MODULE: Expected a single module
RUN: not llvm-dis -disable-output %p/Inputs/invalid-fp-shift.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-fp-shift.bc 2>&1 | \
RUN: FileCheck --check-prefix=FP-SHIFT %s RUN: FileCheck --check-prefix=FP-SHIFT %s
FP-SHIFT: Invalid record FP-SHIFT: Invalid record
RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-vbr-size-too-big.bc 2>&1 | \ RUN: not --crash llvm-dis -disable-output %p/Inputs/invalid-abbrev-vbr-size-too-big.bc 2>&1 | \
RUN: FileCheck --check-prefix=HUGE-ABBREV-OP %s RUN: FileCheck --check-prefix=HUGE-ABBREV-OP %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-fixed-size-too-big.bc 2>&1 | \ RUN: not --crash llvm-dis -disable-output %p/Inputs/invalid-abbrev-fixed-size-too-big.bc 2>&1 | \
RUN: FileCheck --check-prefix=HUGE-ABBREV-OP %s RUN: FileCheck --check-prefix=HUGE-ABBREV-OP %s
HUGE-ABBREV-OP: Fixed or VBR abbrev record with size > MaxChunkData HUGE-ABBREV-OP: Fixed or VBR abbrev record with size > MaxChunkData
RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-type.bc 2>&1 | \ RUN: not --crash llvm-dis -disable-output %p/Inputs/invalid-array-type.bc 2>&1 | \
RUN: FileCheck --check-prefix=ARRAY-TYPE %s RUN: FileCheck --check-prefix=ARRAY-TYPE %s
ARRAY-TYPE: Array element type can't be an Array or a Blob ARRAY-TYPE: Array element type can't be an Array or a Blob
RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-extractelement.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-extractelement.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-TYPE %s RUN: FileCheck --check-prefix=INVALID-TYPE %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-insertelement.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-insertelement.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-TYPE %s RUN: FileCheck --check-prefix=INVALID-TYPE %s
Show All 21 Lines
ELEMENT-TYPE: Invalid type ELEMENT-TYPE: Invalid type
RUN: not llvm-dis -disable-output %p/Inputs/invalid-cast.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-cast.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-CAST %s RUN: FileCheck --check-prefix=INVALID-CAST %s
INVALID-CAST: Invalid cast INVALID-CAST: Invalid cast
RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-op-not-2nd-to-last.bc 2>&1 | \ RUN: not --crash llvm-dis -disable-output %p/Inputs/invalid-array-op-not-2nd-to-last.bc 2>&1 | \
RUN: FileCheck --check-prefix=ARRAY-NOT-2LAST %s RUN: FileCheck --check-prefix=ARRAY-NOT-2LAST %s
ARRAY-NOT-2LAST: Array op not second to last ARRAY-NOT-2LAST: Array op not second to last
RUN: not llvm-dis -disable-output %p/Inputs/invalid-too-big-fwdref.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-too-big-fwdref.bc 2>&1 | \
RUN: FileCheck --check-prefix=HUGE-FWDREF %s RUN: FileCheck --check-prefix=HUGE-FWDREF %s
HUGE-FWDREF: Invalid record HUGE-FWDREF: Invalid record
▲ Show 20 Lines • Show All 43 Lines • ▼ Show 20 Lines
INVALID-FCOMDAT-ID: Malformed block INVALID-FCOMDAT-ID: Malformed block
RUN: not llvm-dis -disable-output %p/Inputs/invalid-global-var-comdat-id.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-global-var-comdat-id.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-GVCOMDAT-ID %s RUN: FileCheck --check-prefix=INVALID-GVCOMDAT-ID %s
INVALID-GVCOMDAT-ID: Invalid global variable comdat ID INVALID-GVCOMDAT-ID: Invalid global variable comdat ID
RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-no-operands.bc 2>&1 | \ RUN: not --crash llvm-dis -disable-output %p/Inputs/invalid-abbrev-no-operands.bc 2>&1 | \
RUN: FileCheck --check-prefix=ABBREV-NO-OPS %s RUN: FileCheck --check-prefix=ABBREV-NO-OPS %s
ABBREV-NO-OPS: Abbrev record with no operands ABBREV-NO-OPS: Abbrev record with no operands
RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-operand-encoding.bc 2>&1 | \ RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-operand-encoding.bc 2>&1 | \
RUN: FileCheck --check-prefix=ARRAY-OP-ENC %s RUN: FileCheck --check-prefix=ARRAY-OP-ENC %s
ARRAY-OP-ENC: Malformed block ARRAY-OP-ENC: Malformed block
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

test/CodeGen/AArch64/GlobalISel/arm64-fallback.ll

; RUN: not llc -O0 -global-isel -verify-machineinstrs %s -o - 2>&1 | FileCheck %s --check-prefix=ERROR ; RUN: not --crash llc -O0 -global-isel -verify-machineinstrs %s -o - 2>&1 | FileCheck %s --check-prefix=ERROR
; RUN: llc -O0 -global-isel -global-isel-abort=0 -verify-machineinstrs %s -o - 2>&1 | FileCheck %s --check-prefix=FALLBACK ; RUN: llc -O0 -global-isel -global-isel-abort=0 -verify-machineinstrs %s -o - 2>&1 | FileCheck %s --check-prefix=FALLBACK
; RUN: llc -O0 -global-isel -global-isel-abort=2 -pass-remarks-missed='gisel*' -verify-machineinstrs %s -o %t.out 2> %t.err ; RUN: llc -O0 -global-isel -global-isel-abort=2 -pass-remarks-missed='gisel*' -verify-machineinstrs %s -o %t.out 2> %t.err
; RUN: FileCheck %s --check-prefix=FALLBACK-WITH-REPORT-OUT < %t.out ; RUN: FileCheck %s --check-prefix=FALLBACK-WITH-REPORT-OUT < %t.out
; RUN: FileCheck %s --check-prefix=FALLBACK-WITH-REPORT-ERR < %t.err ; RUN: FileCheck %s --check-prefix=FALLBACK-WITH-REPORT-ERR < %t.err
; This file checks that the fallback path to selection dag works. ; This file checks that the fallback path to selection dag works.
; The test is fragile in the sense that it must be updated to expose ; The test is fragile in the sense that it must be updated to expose
; something that fails with global-isel. ; something that fails with global-isel.
; When we cannot produce a test case anymore, that means we can remove ; When we cannot produce a test case anymore, that means we can remove
▲ Show 20 Lines • Show All 160 Lines • Show Last 20 Lines

test/CodeGen/AArch64/GlobalISel/verify-regbankselected.mir

# RUN: not llc -verify-machineinstrs -run-pass none -o /dev/null %s 2>&1 | FileCheck %s # RUN: not --crash llc -verify-machineinstrs -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
--- | --- |
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
target triple = "aarch64--" target triple = "aarch64--"
define void @test() { ret void } define void @test() { ret void }
... ...
Show All 13 Lines

test/CodeGen/AArch64/GlobalISel/verify-selected.mir

# RUN: not llc -verify-machineinstrs -run-pass none -o /dev/null %s 2>&1 | FileCheck %s # RUN: not --crash llc -verify-machineinstrs -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
--- | --- |
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
target triple = "aarch64--" target triple = "aarch64--"
define void @test() { ret void } define void @test() { ret void }
... ...
Show All 23 Lines

test/CodeGen/AArch64/aarch64-named-reg-w18.ll

; RUN: not llc -mtriple=aarch64-fuchsia -o - %s 2>&1 | FileCheck %s --check-prefix=ERROR ; RUN: not --crash llc -mtriple=aarch64-fuchsia -o - %s 2>&1 | FileCheck %s --check-prefix=ERROR
; RUN: llc -mtriple=aarch64-fuchsia -mattr=+reserve-x18 -o - %s ; RUN: llc -mtriple=aarch64-fuchsia -mattr=+reserve-x18 -o - %s
define void @set_w18(i32 %x) { define void @set_w18(i32 %x) {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; ERROR: Invalid register name "w18". ; ERROR: Invalid register name "w18".
tail call void @llvm.write_register.i32(metadata !0, i32 %x) tail call void @llvm.write_register.i32(metadata !0, i32 %x)
ret void ret void
} }
declare void @llvm.write_register.i32(metadata, i32) nounwind declare void @llvm.write_register.i32(metadata, i32) nounwind
!0 = !{!"w18"} !0 = !{!"w18"}

test/CodeGen/AArch64/aarch64-named-reg-x18.ll

; RUN: not llc -mtriple=aarch64-fuchsia -o - %s 2>&1 | FileCheck %s --check-prefix=ERROR ; RUN: not --crash llc -mtriple=aarch64-fuchsia -o - %s 2>&1 | FileCheck %s --check-prefix=ERROR
; RUN: llc -mtriple=aarch64-fuchsia -mattr=+reserve-x18 -o - %s ; RUN: llc -mtriple=aarch64-fuchsia -mattr=+reserve-x18 -o - %s
define void @set_x18(i64 %x) { define void @set_x18(i64 %x) {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; ERROR: Invalid register name "x18". ; ERROR: Invalid register name "x18".
tail call void @llvm.write_register.i64(metadata !0, i64 %x) tail call void @llvm.write_register.i64(metadata !0, i64 %x)
ret void ret void
} }
declare void @llvm.write_register.i64(metadata, i64) nounwind declare void @llvm.write_register.i64(metadata, i64) nounwind
!0 = !{!"x18"} !0 = !{!"x18"}

test/CodeGen/AArch64/arm64-anyregcc-crash.ll

; RUN: not llc < %s -mtriple=arm64-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm64-apple-darwin 2>&1 | FileCheck %s
; ;
; Check that misuse of anyregcc results in a compile time error. ; Check that misuse of anyregcc results in a compile time error.
; CHECK: LLVM ERROR: ran out of registers during register allocation ; CHECK: LLVM ERROR: ran out of registers during register allocation
define i64 @anyreglimit(i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6, i64 %v7, i64 %v8, define i64 @anyreglimit(i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6, i64 %v7, i64 %v8,
i64 %v9, i64 %v10, i64 %v11, i64 %v12, i64 %v13, i64 %v14, i64 %v15, i64 %v16, i64 %v9, i64 %v10, i64 %v11, i64 %v12, i64 %v13, i64 %v14, i64 %v15, i64 %v16,
i64 %v17, i64 %v18, i64 %v19, i64 %v20, i64 %v21, i64 %v22, i64 %v23, i64 %v24, i64 %v17, i64 %v18, i64 %v19, i64 %v20, i64 %v21, i64 %v22, i64 %v23, i64 %v24,
i64 %v25, i64 %v26, i64 %v27, i64 %v28, i64 %v29, i64 %v30, i64 %v31, i64 %v32) { i64 %v25, i64 %v26, i64 %v27, i64 %v28, i64 %v29, i64 %v30, i64 %v31, i64 %v32) {
Show All 10 Lines

test/CodeGen/AArch64/arm64-named-reg-alloc.ll

; RUN: not llc < %s -mtriple=arm64-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm64-apple-darwin 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=arm64-linux-gnueabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm64-linux-gnueabi 2>&1 | FileCheck %s
define i32 @get_stack() nounwind { define i32 @get_stack() nounwind {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; CHECK: Invalid register name "x5". ; CHECK: Invalid register name "x5".
%sp = call i32 @llvm.read_register.i32(metadata !0) %sp = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %sp ret i32 %sp
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"x5\00"} !0 = !{!"x5\00"}

test/CodeGen/AArch64/arm64-named-reg-notareg.ll

; RUN: not llc < %s -mtriple=arm64-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm64-apple-darwin 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=arm64-linux-gnueabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm64-linux-gnueabi 2>&1 | FileCheck %s
define i32 @get_stack() nounwind { define i32 @get_stack() nounwind {
entry: entry:
; CHECK: Invalid register name "notareg". ; CHECK: Invalid register name "notareg".
%sp = call i32 @llvm.read_register.i32(metadata !0) %sp = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %sp ret i32 %sp
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"notareg\00"} !0 = !{!"notareg\00"}

test/CodeGen/AArch64/fast-isel-sp-adjust.ll

; RUN: llc -O0 -mtriple=aarch64-apple-ios -o - %s | FileCheck %s ; RUN: llc -O0 -mtriple=aarch64-apple-ios -o - %s | FileCheck %s
; RUN: not llc -O0 -mtriple=aarch64-apple-ios -o /dev/null -fast-isel-abort=3 %s 2> %t ; RUN: not --crash llc -O0 -mtriple=aarch64-apple-ios -o /dev/null -fast-isel-abort=3 %s 2> %t
; RUN: FileCheck %s --check-prefix=CHECK-ERRORS < %t ; RUN: FileCheck %s --check-prefix=CHECK-ERRORS < %t
; The issue here is that FastISel cannot emit an ADDrr where one of the inputs ; The issue here is that FastISel cannot emit an ADDrr where one of the inputs
; is SP. This only ever crops up with function calls, and then only if the ; is SP. This only ever crops up with function calls, and then only if the
; argument is at an offset > 2^12 * size from SP. ; argument is at an offset > 2^12 * size from SP.
; If FastISel ever starts coping with this and emits an "add xD, sp, xM" it's ; If FastISel ever starts coping with this and emits an "add xD, sp, xM" it's
; critical to check the encoding as well as the textual assembly. An ADDXrs with ; critical to check the encoding as well as the textual assembly. An ADDXrs with
▲ Show 20 Lines • Show All 278 Lines • Show Last 20 Lines

test/CodeGen/AMDGPU/branch-relax-spill.ll

; RUN: not llc -march=amdgcn -verify-machineinstrs -amdgpu-s-branch-bits=4 < %s 2>&1 | FileCheck -check-prefix=FAIL %s ; RUN: not --crash llc -march=amdgcn -verify-machineinstrs -amdgpu-s-branch-bits=4 < %s 2>&1 | FileCheck -check-prefix=FAIL %s
; FIXME: This should be able to compile, but requires inserting an ; FIXME: This should be able to compile, but requires inserting an
; extra block to restore the scavenged register. ; extra block to restore the scavenged register.
; FAIL: LLVM ERROR: Error while trying to spill VCC from class SReg_64: Cannot scavenge register without an emergency spill slot! ; FAIL: LLVM ERROR: Error while trying to spill VCC from class SReg_64: Cannot scavenge register without an emergency spill slot!
define amdgpu_kernel void @spill(i32 addrspace(1)* %arg, i32 %cnd) #0 { define amdgpu_kernel void @spill(i32 addrspace(1)* %arg, i32 %cnd) #0 {
entry: entry:
▲ Show 20 Lines • Show All 229 Lines • Show Last 20 Lines

test/CodeGen/AMDGPU/lds-initializer.ll

; RUN: not llc -march=amdgcn -mcpu=tahiti < %s 2>&1 | FileCheck %s ; RUN: not --crash llc -march=amdgcn -mcpu=tahiti < %s 2>&1 | FileCheck %s
; RUN: not llc -march=amdgcn -mcpu=tonga < %s 2>&1 | FileCheck %s ; RUN: not --crash llc -march=amdgcn -mcpu=tonga < %s 2>&1 | FileCheck %s
; CHECK: in function load_init_lds_global{{.*}}: unsupported initializer for address space ; CHECK: in function load_init_lds_global{{.*}}: unsupported initializer for address space
@lds = addrspace(3) global [8 x i32] [i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8] @lds = addrspace(3) global [8 x i32] [i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8]
define amdgpu_kernel void @load_init_lds_global(i32 addrspace(1)* %out, i1 %p) { define amdgpu_kernel void @load_init_lds_global(i32 addrspace(1)* %out, i1 %p) {
%gep = getelementptr [8 x i32], [8 x i32] addrspace(3)* @lds, i32 0, i32 10 %gep = getelementptr [8 x i32], [8 x i32] addrspace(3)* @lds, i32 0, i32 10
%ld = load i32, i32 addrspace(3)* %gep %ld = load i32, i32 addrspace(3)* %gep
store i32 %ld, i32 addrspace(1)* %out store i32 %ld, i32 addrspace(1)* %out
ret void ret void
} }

test/CodeGen/AMDGPU/lds-zero-initializer.ll

; RUN: not llc -march=amdgcn -mcpu=tahiti < %s 2>&1 | FileCheck %s ; RUN: not --crash llc -march=amdgcn -mcpu=tahiti < %s 2>&1 | FileCheck %s
; RUN: not llc -march=amdgcn -mcpu=tonga < %s 2>&1 | FileCheck %s ; RUN: not --crash llc -march=amdgcn -mcpu=tonga < %s 2>&1 | FileCheck %s
; CHECK: in function load_zeroinit_lds_global{{.*}}: unsupported initializer for address space ; CHECK: in function load_zeroinit_lds_global{{.*}}: unsupported initializer for address space
@lds = addrspace(3) global [256 x i32] zeroinitializer @lds = addrspace(3) global [256 x i32] zeroinitializer
define amdgpu_kernel void @load_zeroinit_lds_global(i32 addrspace(1)* %out, i1 %p) { define amdgpu_kernel void @load_zeroinit_lds_global(i32 addrspace(1)* %out, i1 %p) {
%gep = getelementptr [256 x i32], [256 x i32] addrspace(3)* @lds, i32 0, i32 10 %gep = getelementptr [256 x i32], [256 x i32] addrspace(3)* @lds, i32 0, i32 10
%ld = load i32, i32 addrspace(3)* %gep %ld = load i32, i32 addrspace(3)* %gep
store i32 %ld, i32 addrspace(1)* %out store i32 %ld, i32 addrspace(1)* %out
ret void ret void
} }

test/CodeGen/AMDGPU/read-register-invalid-subtarget.ll

; RUN: not llc -march=amdgcn -mcpu=tahiti -verify-machineinstrs < %s 2>&1 | FileCheck %s ; RUN: not --crash llc -march=amdgcn -mcpu=tahiti -verify-machineinstrs < %s 2>&1 | FileCheck %s
; CHECK: invalid register "flat_scratch_lo" for subtarget. ; CHECK: invalid register "flat_scratch_lo" for subtarget.
declare i32 @llvm.read_register.i32(metadata) #0 declare i32 @llvm.read_register.i32(metadata) #0
define amdgpu_kernel void @test_invalid_read_flat_scratch_lo(i32 addrspace(1)* %out) nounwind { define amdgpu_kernel void @test_invalid_read_flat_scratch_lo(i32 addrspace(1)* %out) nounwind {
store volatile i32 0, i32 addrspace(3)* undef store volatile i32 0, i32 addrspace(3)* undef
%m0 = call i32 @llvm.read_register.i32(metadata !0) %m0 = call i32 @llvm.read_register.i32(metadata !0)
store i32 %m0, i32 addrspace(1)* %out store i32 %m0, i32 addrspace(1)* %out
ret void ret void
} }
!0 = !{!"flat_scratch_lo"} !0 = !{!"flat_scratch_lo"}

test/CodeGen/AMDGPU/read-register-invalid-type-i32.ll

; RUN: not llc -march=amdgcn -verify-machineinstrs < %s 2>&1 | FileCheck %s ; RUN: not --crash llc -march=amdgcn -verify-machineinstrs < %s 2>&1 | FileCheck %s
; CHECK: invalid type for register "exec". ; CHECK: invalid type for register "exec".
declare i32 @llvm.read_register.i32(metadata) #0 declare i32 @llvm.read_register.i32(metadata) #0
define amdgpu_kernel void @test_invalid_read_exec(i32 addrspace(1)* %out) nounwind { define amdgpu_kernel void @test_invalid_read_exec(i32 addrspace(1)* %out) nounwind {
store volatile i32 0, i32 addrspace(3)* undef store volatile i32 0, i32 addrspace(3)* undef
%m0 = call i32 @llvm.read_register.i32(metadata !0) %m0 = call i32 @llvm.read_register.i32(metadata !0)
store i32 %m0, i32 addrspace(1)* %out store i32 %m0, i32 addrspace(1)* %out
ret void ret void
} }
!0 = !{!"exec"} !0 = !{!"exec"}

test/CodeGen/AMDGPU/read-register-invalid-type-i64.ll

; RUN: not llc -march=amdgcn -verify-machineinstrs < %s 2>&1 | FileCheck %s ; RUN: not --crash llc -march=amdgcn -verify-machineinstrs < %s 2>&1 | FileCheck %s
; CHECK: invalid type for register "m0". ; CHECK: invalid type for register "m0".
declare i64 @llvm.read_register.i64(metadata) #0 declare i64 @llvm.read_register.i64(metadata) #0
define amdgpu_kernel void @test_invalid_read_m0(i64 addrspace(1)* %out) #0 { define amdgpu_kernel void @test_invalid_read_m0(i64 addrspace(1)* %out) #0 {
%exec = call i64 @llvm.read_register.i64(metadata !0) %exec = call i64 @llvm.read_register.i64(metadata !0)
store i64 %exec, i64 addrspace(1)* %out store i64 %exec, i64 addrspace(1)* %out
ret void ret void
} }
!0 = !{!"m0"} !0 = !{!"m0"}

test/CodeGen/ARM/cdp.ll

; RUN: not llc < %s -mtriple=armv7-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=armv7-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=thumbv7-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=thumbv7-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.cdp ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.cdp
define void @cdp(i32 %a) #0 { define void @cdp(i32 %a) #0 {
%a.addr = alloca i32, align 4 %a.addr = alloca i32, align 4
store i32 %a, i32* %a.addr, align 4 store i32 %a, i32* %a.addr, align 4
%1 = load i32, i32* %a.addr, align 4 %1 = load i32, i32* %a.addr, align 4
call void @llvm.arm.cdp(i32 %1, i32 2, i32 3, i32 4, i32 5, i32 6) call void @llvm.arm.cdp(i32 %1, i32 2, i32 3, i32 4, i32 5, i32 6)
ret void ret void
} }
declare void @llvm.arm.cdp(i32, i32, i32, i32, i32, i32) nounwind declare void @llvm.arm.cdp(i32, i32, i32, i32, i32, i32) nounwind

test/CodeGen/ARM/cdp2.ll

; RUN: not llc < %s -mtriple=armv7-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=armv7-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=thumbv7-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=thumbv7-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.cdp2 ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.cdp2
define void @cdp2(i32 %a) #0 { define void @cdp2(i32 %a) #0 {
%a.addr = alloca i32, align 4 %a.addr = alloca i32, align 4
store i32 %a, i32* %a.addr, align 4 store i32 %a, i32* %a.addr, align 4
%1 = load i32, i32* %a.addr, align 4 %1 = load i32, i32* %a.addr, align 4
call void @llvm.arm.cdp2(i32 %1, i32 2, i32 3, i32 4, i32 5, i32 6) call void @llvm.arm.cdp2(i32 %1, i32 2, i32 3, i32 4, i32 5, i32 6)
ret void ret void
} }
declare void @llvm.arm.cdp2(i32, i32, i32, i32, i32, i32) nounwind declare void @llvm.arm.cdp2(i32, i32, i32, i32, i32, i32) nounwind

test/CodeGen/ARM/ldc2l.ll

; RUN: not llc < %s -mtriple=armv8-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=armv8-eabi 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=thumbv8-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=thumbv8-eabi 2>&1 | FileCheck %s
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.ldc2l ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.ldc2l
define void @ldc2l(i8* %i) nounwind { define void @ldc2l(i8* %i) nounwind {
entry: entry:
call void @llvm.arm.ldc2l(i32 1, i32 2, i8* %i) nounwind call void @llvm.arm.ldc2l(i32 1, i32 2, i8* %i) nounwind
ret void ret void
} }
declare void @llvm.arm.ldc2l(i32, i32, i8*) nounwind declare void @llvm.arm.ldc2l(i32, i32, i8*) nounwind

test/CodeGen/ARM/named-reg-alloc.ll

; RUN: not llc < %s -mtriple=arm-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm-apple-darwin 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=arm-linux-gnueabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm-linux-gnueabi 2>&1 | FileCheck %s
define i32 @get_stack() nounwind { define i32 @get_stack() nounwind {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; CHECK: Invalid register name "r5". ; CHECK: Invalid register name "r5".
%sp = call i32 @llvm.read_register.i32(metadata !0) %sp = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %sp ret i32 %sp
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"r5\00"} !0 = !{!"r5\00"}

test/CodeGen/ARM/named-reg-notareg.ll

; RUN: not llc < %s -mtriple=arm-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm-apple-darwin 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=arm-linux-gnueabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=arm-linux-gnueabi 2>&1 | FileCheck %s
define i32 @get_stack() nounwind { define i32 @get_stack() nounwind {
entry: entry:
; CHECK: Invalid register name "notareg". ; CHECK: Invalid register name "notareg".
%sp = call i32 @llvm.read_register.i32(metadata !0) %sp = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %sp ret i32 %sp
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"notareg\00"} !0 = !{!"notareg\00"}

test/CodeGen/ARM/special-reg-acore.ll

; RUN: llc < %s -mtriple=arm-none-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s --check-prefix=ACORE ; RUN: llc < %s -mtriple=arm-none-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s --check-prefix=ACORE
; RUN: not llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m4 2>&1 | FileCheck %s --check-prefix=MCORE ; RUN: not --crash llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m4 2>&1 | FileCheck %s --check-prefix=MCORE
; MCORE: LLVM ERROR: Invalid register name "cpsr". ; MCORE: LLVM ERROR: Invalid register name "cpsr".
define i32 @read_cpsr() nounwind { define i32 @read_cpsr() nounwind {
; ACORE-LABEL: read_cpsr: ; ACORE-LABEL: read_cpsr:
; ACORE: mrs r0, apsr ; ACORE: mrs r0, apsr
%reg = call i32 @llvm.read_register.i32(metadata !1) %reg = call i32 @llvm.read_register.i32(metadata !1)
ret i32 %reg ret i32 %reg
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

test/CodeGen/ARM/special-reg-mcore.ll

; RUN: llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m4 --show-mc-encoding 2>&1 | FileCheck %s --check-prefix=MCORE ; RUN: llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m4 --show-mc-encoding 2>&1 | FileCheck %s --check-prefix=MCORE
; RUN: not llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m3 2>&1 | FileCheck %s --check-prefix=M3CORE ; RUN: not --crash llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m3 2>&1 | FileCheck %s --check-prefix=M3CORE
; RUN: not llc < %s -mtriple=arm-none-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s --check-prefix=ACORE ; RUN: not --crash llc < %s -mtriple=arm-none-eabi -mcpu=cortex-a8 2>&1 | FileCheck %s --check-prefix=ACORE
; ACORE: LLVM ERROR: Invalid register name "control". ; ACORE: LLVM ERROR: Invalid register name "control".
; M3CORE: LLVM ERROR: Invalid register name "xpsr_nzcvqg". ; M3CORE: LLVM ERROR: Invalid register name "xpsr_nzcvqg".
define i32 @read_mclass_registers() nounwind { define i32 @read_mclass_registers() nounwind {
entry: entry:
; MCORE-LABEL: read_mclass_registers: ; MCORE-LABEL: read_mclass_registers:
; MCORE: mrs r0, apsr @ encoding: [0xef,0xf3,0x00,0x80] ; MCORE: mrs r0, apsr @ encoding: [0xef,0xf3,0x00,0x80]
▲ Show 20 Lines • Show All 132 Lines • Show Last 20 Lines

test/CodeGen/ARM/special-reg-v8m-base.ll

; RUN: not llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m4 2>&1 | FileCheck %s --check-prefix=V7M ; RUN: not --crash llc < %s -mtriple=thumb-none-eabi -mcpu=cortex-m4 2>&1 | FileCheck %s --check-prefix=V7M
; RUN: llc < %s -mtriple=thumbv8m.base-none-eabi 2>&1 | FileCheck %s ; RUN: llc < %s -mtriple=thumbv8m.base-none-eabi 2>&1 | FileCheck %s
; V7M: LLVM ERROR: Invalid register name "sp_ns". ; V7M: LLVM ERROR: Invalid register name "sp_ns".
define i32 @read_mclass_registers() nounwind { define i32 @read_mclass_registers() nounwind {
entry: entry:
; CHECK-LABEL: read_mclass_registers: ; CHECK-LABEL: read_mclass_registers:
; CHECK: mrs r0, apsr ; CHECK: mrs r0, apsr
▲ Show 20 Lines • Show All 133 Lines • Show Last 20 Lines

test/CodeGen/ARM/special-reg-v8m-main.ll

; RUN: not llc < %s -mtriple=thumbv8m.base-none-eabi 2>&1 | FileCheck %s --check-prefix=BASELINE ; RUN: not --crash llc < %s -mtriple=thumbv8m.base-none-eabi 2>&1 | FileCheck %s --check-prefix=BASELINE
; RUN: llc < %s -mtriple=thumbv8m.main-none-eabi -mattr=+dsp 2>&1 | FileCheck %s --check-prefix=MAINLINE ; RUN: llc < %s -mtriple=thumbv8m.main-none-eabi -mattr=+dsp 2>&1 | FileCheck %s --check-prefix=MAINLINE
; BASELINE: LLVM ERROR: Invalid register name "faultmask_ns". ; BASELINE: LLVM ERROR: Invalid register name "faultmask_ns".
define i32 @read_mclass_registers() nounwind { define i32 @read_mclass_registers() nounwind {
entry: entry:
; MAINLINE-LABEL: read_mclass_registers: ; MAINLINE-LABEL: read_mclass_registers:
; MAINLINE: mrs r0, apsr ; MAINLINE: mrs r0, apsr
▲ Show 20 Lines • Show All 199 Lines • Show Last 20 Lines

test/CodeGen/ARM/ssat-lower.ll

; RUN: not llc < %s -O1 -mtriple=armv6-none-none-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -O1 -mtriple=armv6-none-none-eabi 2>&1 | FileCheck %s
; RUN: not llc < %s -O1 -mtriple=thumbv7-none-none-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -O1 -mtriple=thumbv7-none-none-eabi 2>&1 | FileCheck %s
; immediate argument < lower-bound ; immediate argument < lower-bound
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.ssat ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.ssat
define i32 @ssat1() nounwind { define i32 @ssat1() nounwind {
%tmp = call i32 @llvm.arm.ssat(i32 128, i32 0) %tmp = call i32 @llvm.arm.ssat(i32 128, i32 0)
ret i32 %tmp ret i32 %tmp
} }
declare i32 @llvm.arm.ssat(i32, i32) nounwind readnone declare i32 @llvm.arm.ssat(i32, i32) nounwind readnone

test/CodeGen/ARM/ssat-upper.ll

; RUN: not llc < %s -O1 -mtriple=armv6-none-none-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -O1 -mtriple=armv6-none-none-eabi 2>&1 | FileCheck %s
; RUN: not llc < %s -O1 -mtriple=thumbv7-none-none-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -O1 -mtriple=thumbv7-none-none-eabi 2>&1 | FileCheck %s
; immediate argument > upper-bound ; immediate argument > upper-bound
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.ssat ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.ssat
define i32 @ssat1() nounwind { define i32 @ssat1() nounwind {
%tmp = call i32 @llvm.arm.ssat(i32 128, i32 33) %tmp = call i32 @llvm.arm.ssat(i32 128, i32 33)
ret i32 %tmp ret i32 %tmp
} }
declare i32 @llvm.arm.ssat(i32, i32) nounwind readnone declare i32 @llvm.arm.ssat(i32, i32) nounwind readnone

test/CodeGen/ARM/ssat-v4t.ll

; RUN: not llc -O1 -mtriple=armv4t-none-none-eabi %s -o - 2>&1 | FileCheck %s ; RUN: not --crash llc -O1 -mtriple=armv4t-none-none-eabi %s -o - 2>&1 | FileCheck %s
; CHECK: Cannot select: intrinsic %llvm.arm.ssat ; CHECK: Cannot select: intrinsic %llvm.arm.ssat
define i32 @ssat() nounwind { define i32 @ssat() nounwind {
%tmp = call i32 @llvm.arm.ssat(i32 128, i32 1) %tmp = call i32 @llvm.arm.ssat(i32 128, i32 1)
ret i32 %tmp ret i32 %tmp
} }
declare i32 @llvm.arm.ssat(i32, i32) nounwind readnone declare i32 @llvm.arm.ssat(i32, i32) nounwind readnone

test/CodeGen/ARM/stc2.ll

; RUN: not llc < %s -mtriple=armv8-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=armv8-eabi 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=thumbv8-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=thumbv8-eabi 2>&1 | FileCheck %s
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.stc2 ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.stc2
define void @stc2(i8* %i) nounwind { define void @stc2(i8* %i) nounwind {
entry: entry:
call void @llvm.arm.stc2(i32 1, i32 2, i8* %i) nounwind call void @llvm.arm.stc2(i32 1, i32 2, i8* %i) nounwind
ret void ret void
} }
declare void @llvm.arm.stc2(i32, i32, i8*) nounwind declare void @llvm.arm.stc2(i32, i32, i8*) nounwind

test/CodeGen/ARM/usat-lower.ll

; RUN: not llc < %s -O1 -mtriple=armv6-none-none-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -O1 -mtriple=armv6-none-none-eabi 2>&1 | FileCheck %s
; RUN: not llc < %s -O1 -mtriple=thumbv7-none-none-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -O1 -mtriple=thumbv7-none-none-eabi 2>&1 | FileCheck %s
; immediate argument < lower-bound ; immediate argument < lower-bound
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.usat ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.usat
define i32 @usat1() nounwind { define i32 @usat1() nounwind {
%tmp = call i32 @llvm.arm.usat(i32 128, i32 -1) %tmp = call i32 @llvm.arm.usat(i32 128, i32 -1)
ret i32 %tmp ret i32 %tmp
} }
declare i32 @llvm.arm.usat(i32, i32) nounwind readnone declare i32 @llvm.arm.usat(i32, i32) nounwind readnone

test/CodeGen/ARM/usat-upper.ll

; RUN: not llc < %s -O1 -mtriple=armv6-none-none-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -O1 -mtriple=armv6-none-none-eabi 2>&1 | FileCheck %s
; RUN: not llc < %s -O1 -mtriple=thumbv7-none-none-eabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -O1 -mtriple=thumbv7-none-none-eabi 2>&1 | FileCheck %s
; immediate argument > upper-bound ; immediate argument > upper-bound
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.usat ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.usat
define i32 @usat1() nounwind { define i32 @usat1() nounwind {
%tmp = call i32 @llvm.arm.usat(i32 128, i32 32) %tmp = call i32 @llvm.arm.usat(i32 128, i32 32)
ret i32 %tmp ret i32 %tmp
} }
declare i32 @llvm.arm.usat(i32, i32) nounwind readnone declare i32 @llvm.arm.usat(i32, i32) nounwind readnone

test/CodeGen/ARM/usat-v4t.ll

; RUN: not llc -O1 -mtriple=armv4t-none-none-eabi %s -o - 2>&1 | FileCheck %s ; RUN: not --crash llc -O1 -mtriple=armv4t-none-none-eabi %s -o - 2>&1 | FileCheck %s
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.usat ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.arm.usat
define i32 @usat1() nounwind { define i32 @usat1() nounwind {
%tmp = call i32 @llvm.arm.usat(i32 128, i32 31) %tmp = call i32 @llvm.arm.usat(i32 128, i32 31)
ret i32 %tmp ret i32 %tmp
} }
declare i32 @llvm.arm.usat(i32, i32) nounwind readnone declare i32 @llvm.arm.usat(i32, i32) nounwind readnone

test/CodeGen/BPF/sdiv_error.ll

; RUN: not llc -march=bpf < %s 2> %t1 ; RUN: not --crash llc -march=bpf < %s 2> %t1
; RUN: FileCheck %s < %t1 ; RUN: FileCheck %s < %t1
; CHECK: Unsupport signed division ; CHECK: Unsupport signed division
; Function Attrs: norecurse nounwind readnone ; Function Attrs: norecurse nounwind readnone
define i32 @test(i32 %len) #0 { define i32 @test(i32 %len) #0 {
%1 = srem i32 %len, 15 %1 = srem i32 %len, 15
ret i32 %1 ret i32 %1
} }

test/CodeGen/Generic/llc-start-stop.ll

Show All 17 Lines
; START-AFTER-NEXT: Lower Garbage Collection Instructions ; START-AFTER-NEXT: Lower Garbage Collection Instructions
; RUN: llc < %s -debug-pass=Structure -start-before=loop-reduce -o /dev/null 2>&1 | FileCheck %s -check-prefix=START-BEFORE ; RUN: llc < %s -debug-pass=Structure -start-before=loop-reduce -o /dev/null 2>&1 | FileCheck %s -check-prefix=START-BEFORE
; START-BEFORE: -machine-branch-prob -domtree ; START-BEFORE: -machine-branch-prob -domtree
; START-BEFORE: FunctionPass Manager ; START-BEFORE: FunctionPass Manager
; START-BEFORE: Loop Strength Reduction ; START-BEFORE: Loop Strength Reduction
; START-BEFORE-NEXT: Lower Garbage Collection Instructions ; START-BEFORE-NEXT: Lower Garbage Collection Instructions
; RUN: not llc < %s -start-before=nonexistent -o /dev/null 2>&1 | FileCheck %s -check-prefix=NONEXISTENT-START-BEFORE ; RUN: not --crash llc < %s -start-before=nonexistent -o /dev/null 2>&1 | FileCheck %s -check-prefix=NONEXISTENT-START-BEFORE
; RUN: not llc < %s -stop-before=nonexistent -o /dev/null 2>&1 | FileCheck %s -check-prefix=NONEXISTENT-STOP-BEFORE ; RUN: not --crash llc < %s -stop-before=nonexistent -o /dev/null 2>&1 | FileCheck %s -check-prefix=NONEXISTENT-STOP-BEFORE
; RUN: not llc < %s -start-after=nonexistent -o /dev/null 2>&1 | FileCheck %s -check-prefix=NONEXISTENT-START-AFTER ; RUN: not --crash llc < %s -start-after=nonexistent -o /dev/null 2>&1 | FileCheck %s -check-prefix=NONEXISTENT-START-AFTER
; RUN: not llc < %s -stop-after=nonexistent -o /dev/null 2>&1 | FileCheck %s -check-prefix=NONEXISTENT-STOP-AFTER ; RUN: not --crash llc < %s -stop-after=nonexistent -o /dev/null 2>&1 | FileCheck %s -check-prefix=NONEXISTENT-STOP-AFTER
; NONEXISTENT-START-BEFORE: "nonexistent" pass is not registered. ; NONEXISTENT-START-BEFORE: "nonexistent" pass is not registered.
; NONEXISTENT-STOP-BEFORE: "nonexistent" pass is not registered. ; NONEXISTENT-STOP-BEFORE: "nonexistent" pass is not registered.
; NONEXISTENT-START-AFTER: "nonexistent" pass is not registered. ; NONEXISTENT-START-AFTER: "nonexistent" pass is not registered.
; NONEXISTENT-STOP-AFTER: "nonexistent" pass is not registered. ; NONEXISTENT-STOP-AFTER: "nonexistent" pass is not registered.
; RUN: not llc < %s -start-before=loop-reduce -start-after=loop-reduce -o /dev/null 2>&1 | FileCheck %s -check-prefix=DOUBLE-START ; RUN: not --crash llc < %s -start-before=loop-reduce -start-after=loop-reduce -o /dev/null 2>&1 | FileCheck %s -check-prefix=DOUBLE-START
; RUN: not llc < %s -stop-before=loop-reduce -stop-after=loop-reduce -o /dev/null 2>&1 | FileCheck %s -check-prefix=DOUBLE-STOP ; RUN: not --crash llc < %s -stop-before=loop-reduce -stop-after=loop-reduce -o /dev/null 2>&1 | FileCheck %s -check-prefix=DOUBLE-STOP
; DOUBLE-START: start-before and start-after specified! ; DOUBLE-START: start-before and start-after specified!
; DOUBLE-STOP: stop-before and stop-after specified! ; DOUBLE-STOP: stop-before and stop-after specified!

test/CodeGen/Generic/opt-codegen-no-target-machine.ll

; RUN: not opt %s -dwarfehprepare -o - 2>&1 | FileCheck %s ; RUN: not --crash opt %s -dwarfehprepare -o - 2>&1 | FileCheck %s
; CHECK: Trying to construct TargetPassConfig without a target machine. Scheduling a CodeGen pass without a target triple set? ; CHECK: Trying to construct TargetPassConfig without a target machine. Scheduling a CodeGen pass without a target triple set?

test/CodeGen/MIR/X86/machine-verifier.mir

# RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s # RUN: not --crash llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
# This test ensures that the MIR parser runs the machine verifier after parsing. # This test ensures that the MIR parser runs the machine verifier after parsing.
--- | --- |
define i32 @inc(i32 %a) { define i32 @inc(i32 %a) {
entry: entry:
ret i32 %a ret i32 %a
} }
Show All 14 Lines

test/CodeGen/MIR/X86/tied-physical-regs-match.mir

# RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s # RUN: not --crash llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
# This test ensures that the Machine Verifier detects tied physical registers # This test ensures that the Machine Verifier detects tied physical registers
# that doesn't match. # that doesn't match.
--- | --- |
define i32 @foo() { define i32 @foo() {
entry: entry:
ret i32 0 ret i32 0
Show All 13 Lines

test/CodeGen/Mips/Fast-ISel/double-arg.ll

; RUN: not llc -march=mipsel -mcpu=mips32r2 -mattr=+fp64 \ ; RUN: not --crash llc -march=mipsel -mcpu=mips32r2 -mattr=+fp64 \
; RUN: -O0 -relocation-model=pic -fast-isel-abort=3 < %s ; RUN: -O0 -relocation-model=pic -fast-isel-abort=3 < %s
; Check that FastISel aborts when we have 64bit FPU registers. FastISel currently ; Check that FastISel aborts when we have 64bit FPU registers. FastISel currently
; supports AFGR64 only, which uses paired 32 bit registers. ; supports AFGR64 only, which uses paired 32 bit registers.
define zeroext i1 @f(double %value) { define zeroext i1 @f(double %value) {
entry: entry:
; CHECK-LABEL: f: ; CHECK-LABEL: f:
; CHECK: sdc1 ; CHECK: sdc1
%value.addr = alloca double, align 8 %value.addr = alloca double, align 8
store double %value, double* %value.addr, align 8 store double %value, double* %value.addr, align 8
ret i1 false ret i1 false
} }

test/CodeGen/Mips/Fast-ISel/fast-isel-softfloat-lower-args.ll

; RUN: not llc -march=mipsel -mcpu=mips32r2 -mattr=+soft-float \ ; RUN: not --crash llc -march=mipsel -mcpu=mips32r2 -mattr=+soft-float \
; RUN: -O0 -fast-isel-abort=3 -relocation-model=pic < %s ; RUN: -O0 -fast-isel-abort=3 -relocation-model=pic < %s
; Test that FastISel aborts instead of trying to lower arguments for soft-float. ; Test that FastISel aborts instead of trying to lower arguments for soft-float.
define void @__signbit(double %__x) { define void @__signbit(double %__x) {
entry: entry:
%__x.addr = alloca double, align 8 %__x.addr = alloca double, align 8
store double %__x, double* %__x.addr, align 8 store double %__x, double* %__x.addr, align 8
ret void ret void
} }

test/CodeGen/Mips/fp64a.ll

Show All 11 Lines
; this check here. ; this check here.
; RUN: llc -march=mips -mcpu=mips32r2 -mattr=fp64 < %s | FileCheck %s -check-prefixes=ALL,32R2-NO-FP64A-BE ; RUN: llc -march=mips -mcpu=mips32r2 -mattr=fp64 < %s | FileCheck %s -check-prefixes=ALL,32R2-NO-FP64A-BE
; RUN: llc -march=mips -mcpu=mips32r2 -mattr=fp64,nooddspreg < %s | FileCheck %s -check-prefixes=ALL,32R2-FP64A ; RUN: llc -march=mips -mcpu=mips32r2 -mattr=fp64,nooddspreg < %s | FileCheck %s -check-prefixes=ALL,32R2-FP64A
; RUN: llc -march=mipsel -mcpu=mips32r2 -mattr=fp64 < %s | FileCheck %s -check-prefixes=ALL,32R2-NO-FP64A-LE ; RUN: llc -march=mipsel -mcpu=mips32r2 -mattr=fp64 < %s | FileCheck %s -check-prefixes=ALL,32R2-NO-FP64A-LE
; RUN: llc -march=mipsel -mcpu=mips32r2 -mattr=fp64,nooddspreg < %s | FileCheck %s -check-prefixes=ALL,32R2-FP64A ; RUN: llc -march=mipsel -mcpu=mips32r2 -mattr=fp64,nooddspreg < %s | FileCheck %s -check-prefixes=ALL,32R2-FP64A
; RUN: llc -march=mips64 -mcpu=mips64 -mattr=fp64 < %s | FileCheck %s -check-prefixes=ALL,64-NO-FP64A ; RUN: llc -march=mips64 -mcpu=mips64 -mattr=fp64 < %s | FileCheck %s -check-prefixes=ALL,64-NO-FP64A
; RUN: not llc -march=mips64 -mcpu=mips64 -mattr=fp64,nooddspreg < %s 2>&1 | FileCheck %s -check-prefix=64-FP64A ; RUN: not --crash llc -march=mips64 -mcpu=mips64 -mattr=fp64,nooddspreg < %s 2>&1 | FileCheck %s -check-prefix=64-FP64A
; RUN: llc -march=mips64el -mcpu=mips64 -mattr=fp64 < %s | FileCheck %s -check-prefixes=ALL,64-NO-FP64A ; RUN: llc -march=mips64el -mcpu=mips64 -mattr=fp64 < %s | FileCheck %s -check-prefixes=ALL,64-NO-FP64A
; RUN: not llc -march=mips64el -mcpu=mips64 -mattr=fp64,nooddspreg < %s 2>&1 | FileCheck %s -check-prefix=64-FP64A ; RUN: not --crash llc -march=mips64el -mcpu=mips64 -mattr=fp64,nooddspreg < %s 2>&1 | FileCheck %s -check-prefix=64-FP64A
; 64-FP64A: LLVM ERROR: -mattr=+nooddspreg requires the O32 ABI. ; 64-FP64A: LLVM ERROR: -mattr=+nooddspreg requires the O32 ABI.
declare double @dbl(); declare double @dbl();
define double @call1(double %d, ...) { define double @call1(double %d, ...) {
ret double %d ret double %d
▲ Show 20 Lines • Show All 131 Lines • Show Last 20 Lines

test/CodeGen/Mips/fpxx.ll

; RUN: llc -march=mipsel -mcpu=mips32 < %s | FileCheck %s -check-prefixes=ALL,32-NOFPXX ; RUN: llc -march=mipsel -mcpu=mips32 < %s | FileCheck %s -check-prefixes=ALL,32-NOFPXX
; RUN: llc -march=mipsel -mcpu=mips32 -mattr=fpxx < %s | FileCheck %s -check-prefixes=ALL,32-FPXX ; RUN: llc -march=mipsel -mcpu=mips32 -mattr=fpxx < %s | FileCheck %s -check-prefixes=ALL,32-FPXX
; RUN: llc -march=mipsel -mcpu=mips32r2 < %s | FileCheck %s -check-prefixes=ALL,32R2-NOFPXX ; RUN: llc -march=mipsel -mcpu=mips32r2 < %s | FileCheck %s -check-prefixes=ALL,32R2-NOFPXX
; RUN: llc -march=mipsel -mcpu=mips32r2 -mattr=fpxx < %s | FileCheck %s -check-prefixes=ALL,32R2-FPXX ; RUN: llc -march=mipsel -mcpu=mips32r2 -mattr=fpxx < %s | FileCheck %s -check-prefixes=ALL,32R2-FPXX
; RUN: llc -march=mips64 -mcpu=mips4 < %s | FileCheck %s -check-prefixes=ALL,4-NOFPXX ; RUN: llc -march=mips64 -mcpu=mips4 < %s | FileCheck %s -check-prefixes=ALL,4-NOFPXX
; RUN: not llc -march=mips64 -mcpu=mips4 -mattr=fpxx < %s 2>&1 | FileCheck %s -check-prefix=4-FPXX ; RUN: not --crash llc -march=mips64 -mcpu=mips4 -mattr=fpxx < %s 2>&1 | FileCheck %s -check-prefix=4-FPXX
; RUN: llc -march=mips64 -mcpu=mips64 < %s | FileCheck %s -check-prefixes=ALL,64-NOFPXX ; RUN: llc -march=mips64 -mcpu=mips64 < %s | FileCheck %s -check-prefixes=ALL,64-NOFPXX
; RUN: not llc -march=mips64 -mcpu=mips64 -mattr=fpxx < %s 2>&1 | FileCheck %s -check-prefix=64-FPXX ; RUN: not --crash llc -march=mips64 -mcpu=mips64 -mattr=fpxx < %s 2>&1 | FileCheck %s -check-prefix=64-FPXX
; RUN-TODO: llc -march=mips64 -mcpu=mips4 -target-abi o32 < %s | FileCheck %s -check-prefixes=ALL,4-O32-NOFPXX ; RUN-TODO: llc -march=mips64 -mcpu=mips4 -target-abi o32 < %s | FileCheck %s -check-prefixes=ALL,4-O32-NOFPXX
; RUN-TODO: llc -march=mips64 -mcpu=mips4 -target-abi o32 -mattr=fpxx < %s | FileCheck %s -check-prefixes=ALL,4-O32-FPXX ; RUN-TODO: llc -march=mips64 -mcpu=mips4 -target-abi o32 -mattr=fpxx < %s | FileCheck %s -check-prefixes=ALL,4-O32-FPXX
; RUN-TODO: llc -march=mips64 -mcpu=mips64 -target-abi o32 < %s | FileCheck %s -check-prefixes=ALL,64-O32-NOFPXX ; RUN-TODO: llc -march=mips64 -mcpu=mips64 -target-abi o32 < %s | FileCheck %s -check-prefixes=ALL,64-O32-NOFPXX
; RUN-TODO: llc -march=mips64 -mcpu=mips64 -target-abi o32 -mattr=fpxx < %s | FileCheck %s -check-prefixes=ALL,64-O32-FPXX ; RUN-TODO: llc -march=mips64 -mcpu=mips64 -target-abi o32 -mattr=fpxx < %s | FileCheck %s -check-prefixes=ALL,64-O32-FPXX
declare double @dbl(); declare double @dbl();
▲ Show 20 Lines • Show All 202 Lines • Show Last 20 Lines

test/CodeGen/Mips/interrupt-attr-64-error.ll

; RUN: not llc -mcpu=mips64r6 -march=mipsel -target-abi n64 -relocation-model=static < %s 2>%t ; RUN: not --crash llc -mcpu=mips64r6 -march=mipsel -target-abi n64 -relocation-model=static < %s 2>%t
; RUN: FileCheck %s < %t ; RUN: FileCheck %s < %t
; CHECK: LLVM ERROR: "interrupt" attribute is only supported for the O32 ABI on MIPS32R2+ at the present time. ; CHECK: LLVM ERROR: "interrupt" attribute is only supported for the O32 ABI on MIPS32R2+ at the present time.
define i32 @isr_sw0() #0 { define i32 @isr_sw0() #0 {
ret i32 0 ret i32 0
} }
attributes #0 = { "interrupt"="sw0" } attributes #0 = { "interrupt"="sw0" }

test/CodeGen/Mips/interrupt-attr-args-error.ll

; RUN: not llc -mcpu=mips32r2 -march=mipsel -relocation-model=static < %s 2> %t ; RUN: not --crash llc -mcpu=mips32r2 -march=mipsel -relocation-model=static < %s 2> %t
; RUN: FileCheck %s < %t ; RUN: FileCheck %s < %t
; CHECK: LLVM ERROR: Functions with the interrupt attribute cannot have arguments! ; CHECK: LLVM ERROR: Functions with the interrupt attribute cannot have arguments!
define i32 @isr_sw0(i8 signext %n) #0 { define i32 @isr_sw0(i8 signext %n) #0 {
ret i32 0 ret i32 0
} }
attributes #0 = { "interrupt"="sw0" } attributes #0 = { "interrupt"="sw0" }

test/CodeGen/Mips/interrupt-attr-error.ll

; RUN: not llc -mcpu=mips32 -march=mipsel -relocation-model=static < %s 2>%t ; RUN: not --crash llc -mcpu=mips32 -march=mipsel -relocation-model=static < %s 2>%t
; RUN: FileCheck %s < %t ; RUN: FileCheck %s < %t
; CHECK: LLVM ERROR: "interrupt" attribute is not supported on pre-MIPS32R2 or MIPS16 targets. ; CHECK: LLVM ERROR: "interrupt" attribute is not supported on pre-MIPS32R2 or MIPS16 targets.
define i32 @isr_sw0() #0 { define i32 @isr_sw0() #0 {
ret i32 0 ret i32 0
} }
attributes #0 = { "interrupt"="sw0" } attributes #0 = { "interrupt"="sw0" }

test/CodeGen/Mips/mips32r6/compatibility.ll

; RUN: llc -march=mipsel -mcpu=mips32r6 < %s | FileCheck %s ; RUN: llc -march=mipsel -mcpu=mips32r6 < %s | FileCheck %s
; RUN: not llc -march=mipsel -mcpu=mips32r6 -mattr=+dsp < %s 2>&1 | FileCheck --check-prefix=DSP %s ; RUN: not --crash llc -march=mipsel -mcpu=mips32r6 -mattr=+dsp < %s 2>&1 | FileCheck --check-prefix=DSP %s
; CHECK: foo: ; CHECK: foo:
; DSP: MIPS32r6 is not compatible with the DSP ASE ; DSP: MIPS32r6 is not compatible with the DSP ASE
define void @foo() nounwind { define void @foo() nounwind {
ret void ret void
} }

test/CodeGen/Mips/mips64r6/compatibility.ll

; RUN: llc -march=mipsel -mcpu=mips64r6 -target-abi n64 < %s | FileCheck %s ; RUN: llc -march=mipsel -mcpu=mips64r6 -target-abi n64 < %s | FileCheck %s
; RUN: not llc -march=mipsel -mcpu=mips64r6 -target-abi n64 -mattr=+dsp < %s 2>&1 | FileCheck --check-prefix=DSP %s ; RUN: not --crash llc -march=mipsel -mcpu=mips64r6 -target-abi n64 -mattr=+dsp < %s 2>&1 | FileCheck --check-prefix=DSP %s
; CHECK: foo: ; CHECK: foo:
; DSP: MIPS64r6 is not compatible with the DSP ASE ; DSP: MIPS64r6 is not compatible with the DSP ASE
define void @foo() nounwind { define void @foo() nounwind {
ret void ret void
} }

test/CodeGen/Mips/msa/3r-a.ll

; Test the MSA intrinsics that are encoded with the 3R instruction format. ; Test the MSA intrinsics that are encoded with the 3R instruction format.
; There are lots of these so this covers those beginning with 'a' ; There are lots of these so this covers those beginning with 'a'
; RUN: llc -march=mips -mattr=+msa,+fp64 -relocation-model=pic < %s | FileCheck %s ; RUN: llc -march=mips -mattr=+msa,+fp64 -relocation-model=pic < %s | FileCheck %s
; RUN: llc -march=mipsel -mattr=+msa,+fp64 -relocation-model=pic < %s | FileCheck %s ; RUN: llc -march=mipsel -mattr=+msa,+fp64 -relocation-model=pic < %s | FileCheck %s
; It should fail to compile without fp64. ; It should fail to compile without fp64.
; RUN: not llc -march=mips -mattr=+msa < %s 2>&1 | \ ; RUN: not --crash llc -march=mips -mattr=+msa < %s 2>&1 | \
; RUN: FileCheck -check-prefix=FP32ERROR %s ; RUN: FileCheck -check-prefix=FP32ERROR %s
; FP32ERROR: LLVM ERROR: MSA requires a 64-bit FPU register file (FR=1 mode). ; FP32ERROR: LLVM ERROR: MSA requires a 64-bit FPU register file (FR=1 mode).
@llvm_mips_add_a_b_ARG1 = global <16 x i8> <i8 0, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, align 16 @llvm_mips_add_a_b_ARG1 = global <16 x i8> <i8 0, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, align 16
@llvm_mips_add_a_b_ARG2 = global <16 x i8> <i8 16, i8 17, i8 18, i8 19, i8 20, i8 21, i8 22, i8 23, i8 24, i8 25, i8 26, i8 27, i8 28, i8 29, i8 30, i8 31>, align 16 @llvm_mips_add_a_b_ARG2 = global <16 x i8> <i8 16, i8 17, i8 18, i8 19, i8 20, i8 21, i8 22, i8 23, i8 24, i8 25, i8 26, i8 27, i8 28, i8 29, i8 30, i8 31>, align 16
@llvm_mips_add_a_b_RES = global <16 x i8> <i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, align 16 @llvm_mips_add_a_b_RES = global <16 x i8> <i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, align 16
define void @llvm_mips_add_a_b_test() nounwind { define void @llvm_mips_add_a_b_test() nounwind {
▲ Show 20 Lines • Show All 1,175 Lines • Show Last 20 Lines

test/CodeGen/Mips/msa/immediates-bad.ll

; RUN: not llc -march=mips -mattr=+msa,+fp64 -relocation-model=pic < %s 2> %t1 ; RUN: not --crash llc -march=mips -mattr=+msa,+fp64 -relocation-model=pic < %s 2> %t1
; RUN: FileCheck %s < %t1 ; RUN: FileCheck %s < %t1
; Test that the immediate intrinsics with out of range values trigger an error. ; Test that the immediate intrinsics with out of range values trigger an error.
define void @binsli_b(<16 x i8> * %ptr) { define void @binsli_b(<16 x i8> * %ptr) {
entry: entry:
%a = load <16 x i8>, <16 x i8> * %ptr, align 16 %a = load <16 x i8>, <16 x i8> * %ptr, align 16
▲ Show 20 Lines • Show All 1,672 Lines • Show Last 20 Lines

test/CodeGen/NVPTX/alias.ll

; RUN: not llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s
; Check that llc dies gracefully when given an alias. ; Check that llc dies gracefully when given an alias.
define i32 @a() { ret i32 0 } define i32 @a() { ret i32 0 }
; CHECK: ERROR: Module has aliases ; CHECK: ERROR: Module has aliases
@b = internal alias i32 (), i32 ()* @a @b = internal alias i32 (), i32 ()* @a

test/CodeGen/NVPTX/fcos-no-fast-math.ll

; RUN: not llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s
; Check that we fail to select fcos without fast-math enabled ; Check that we fail to select fcos without fast-math enabled
declare float @llvm.cos.f32(float) declare float @llvm.cos.f32(float)
; CHECK: LLVM ERROR: Cannot select: {{.*}}: f32 = fcos ; CHECK: LLVM ERROR: Cannot select: {{.*}}: f32 = fcos
; CHECK: In function: test_fcos_safe ; CHECK: In function: test_fcos_safe
define float @test_fcos_safe(float %a) #0 { define float @test_fcos_safe(float %a) #0 {
%r = tail call float @llvm.cos.f32(float %a) %r = tail call float @llvm.cos.f32(float %a)
ret float %r ret float %r
} }
attributes #0 = { "unsafe-fp-math" = "false" } attributes #0 = { "unsafe-fp-math" = "false" }

test/CodeGen/NVPTX/fsin-no-fast-math.ll

; RUN: not llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s
; Check that we fail to select fsin without fast-math enabled ; Check that we fail to select fsin without fast-math enabled
declare float @llvm.sin.f32(float) declare float @llvm.sin.f32(float)
; CHECK: LLVM ERROR: Cannot select: {{.*}}: f32 = fsin ; CHECK: LLVM ERROR: Cannot select: {{.*}}: f32 = fsin
; CHECK: In function: test_fsin_safe ; CHECK: In function: test_fsin_safe
define float @test_fsin_safe(float %a) #0 { define float @test_fsin_safe(float %a) #0 {
%r = tail call float @llvm.sin.f32(float %a) %r = tail call float @llvm.sin.f32(float %a)
ret float %r ret float %r
} }
attributes #0 = { "unsafe-fp-math" = "false" } attributes #0 = { "unsafe-fp-math" = "false" }

test/CodeGen/NVPTX/global-ctor.ll

; RUN: not llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s
; Check that llc dies when given a nonempty global ctor. ; Check that llc dies when given a nonempty global ctor.
@llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @foo, i8* null }] @llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @foo, i8* null }]
; CHECK: ERROR: Module has a nontrivial global ctor ; CHECK: ERROR: Module has a nontrivial global ctor
define internal void @foo() { define internal void @foo() {
ret void ret void
} }

test/CodeGen/NVPTX/global-dtor.ll

; RUN: not llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -march=nvptx -mcpu=sm_20 2>&1 | FileCheck %s
; Check that llc dies when given a nonempty global dtor. ; Check that llc dies when given a nonempty global dtor.
@llvm.global_dtors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @foo, i8* null }] @llvm.global_dtors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @foo, i8* null }]
; CHECK: ERROR: Module has a nontrivial global dtor ; CHECK: ERROR: Module has a nontrivial global dtor
define internal void @foo() { define internal void @foo() {
ret void ret void
} }

test/CodeGen/NVPTX/zero-cs.ll

; RUN: not llc < %s -march=nvptx 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -march=nvptx 2>&1 | FileCheck %s
; used to seqfault and now fails with a "Cannot select" ; used to seqfault and now fails with a "Cannot select"
; CHECK: LLVM ERROR: Cannot select: {{t7|0x[0-9a-f]+}}: i32 = ExternalSymbol'__powidf2' ; CHECK: LLVM ERROR: Cannot select: {{t7|0x[0-9a-f]+}}: i32 = ExternalSymbol'__powidf2'
define double @powi() { define double @powi() {
%1 = call double @llvm.powi.f64(double 1.000000e+00, i32 undef) %1 = call double @llvm.powi.f64(double 1.000000e+00, i32 undef)
ret double %1 ret double %1
} }
declare double @llvm.powi.f64(double, i32) nounwind readnone declare double @llvm.powi.f64(double, i32) nounwind readnone

test/CodeGen/PowerPC/named-reg-alloc-r0.ll

; RUN: not llc < %s -mtriple=powerpc-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=powerpc-apple-darwin 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=powerpc-unknown-linux-gnu 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=powerpc-unknown-linux-gnu 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s
define i32 @get_reg() nounwind { define i32 @get_reg() nounwind {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; CHECK: Invalid register name global variable ; CHECK: Invalid register name global variable
%reg = call i32 @llvm.read_register.i32(metadata !0) %reg = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %reg ret i32 %reg
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"r0\00"} !0 = !{!"r0\00"}

test/CodeGen/PowerPC/named-reg-alloc-r13.ll

; RUN: not llc < %s -mtriple=powerpc-apple-darwin 2>&1 | FileCheck %s --check-prefix=CHECK-DARWIN ; RUN: not --crash llc < %s -mtriple=powerpc-apple-darwin 2>&1 | FileCheck %s --check-prefix=CHECK-DARWIN
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu 2>&1 | FileCheck %s ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu 2>&1 | FileCheck %s
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s
define i32 @get_reg() nounwind { define i32 @get_reg() nounwind {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; CHECK-DARWIN: Invalid register name global variable ; CHECK-DARWIN: Invalid register name global variable
%reg = call i32 @llvm.read_register.i32(metadata !0) %reg = call i32 @llvm.read_register.i32(metadata !0)
Show All 9 Lines

test/CodeGen/PowerPC/named-reg-alloc-r2-64.ll

; RUN: not llc < %s -mtriple=powerpc64-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=powerpc64-apple-darwin 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s
define i64 @get_reg() nounwind { define i64 @get_reg() nounwind {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; CHECK: Invalid register name global variable ; CHECK: Invalid register name global variable
%reg = call i64 @llvm.read_register.i64(metadata !0) %reg = call i64 @llvm.read_register.i64(metadata !0)
ret i64 %reg ret i64 %reg
} }
declare i64 @llvm.read_register.i64(metadata) nounwind declare i64 @llvm.read_register.i64(metadata) nounwind
!0 = !{!"r2\00"} !0 = !{!"r2\00"}

test/CodeGen/PowerPC/named-reg-alloc-r2.ll

; RUN: not llc < %s -mtriple=powerpc-apple-darwin 2>&1 | FileCheck %s --check-prefix=CHECK-NOTPPC32 ; RUN: not --crash llc < %s -mtriple=powerpc-apple-darwin 2>&1 | FileCheck %s --check-prefix=CHECK-NOTPPC32
; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu 2>&1 | FileCheck %s ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s --check-prefix=CHECK-NOTPPC32 ; RUN: not --crash llc < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s --check-prefix=CHECK-NOTPPC32
define i32 @get_reg() nounwind { define i32 @get_reg() nounwind {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; CHECK-NOTPPC32: Invalid register name global variable ; CHECK-NOTPPC32: Invalid register name global variable
%reg = call i32 @llvm.read_register.i32(metadata !0) %reg = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %reg ret i32 %reg
; CHECK-LABEL: @get_reg ; CHECK-LABEL: @get_reg
; CHECK: mr 3, 2 ; CHECK: mr 3, 2
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"r2\00"} !0 = !{!"r2\00"}

test/CodeGen/PowerPC/ppc64-anyregcc-crash.ll

; RUN: not llc < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=powerpc64-unknown-linux-gnu 2>&1 | FileCheck %s
; ;
; Check that misuse of anyregcc results in a compile time error. ; Check that misuse of anyregcc results in a compile time error.
; CHECK: LLVM ERROR: ran out of registers during register allocation ; CHECK: LLVM ERROR: ran out of registers during register allocation
define i64 @anyreglimit(i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6, i64 %v7, i64 %v8, define i64 @anyreglimit(i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6, i64 %v7, i64 %v8,
i64 %v9, i64 %v10, i64 %v11, i64 %v12, i64 %v13, i64 %v14, i64 %v15, i64 %v16, i64 %v9, i64 %v10, i64 %v11, i64 %v12, i64 %v13, i64 %v14, i64 %v15, i64 %v16,
i64 %v17, i64 %v18, i64 %v19, i64 %v20, i64 %v21, i64 %v22, i64 %v23, i64 %v24, i64 %v17, i64 %v18, i64 %v19, i64 %v20, i64 %v21, i64 %v22, i64 %v23, i64 %v24,
i64 %v25, i64 %v26, i64 %v27, i64 %v28, i64 %v29, i64 %v30, i64 %v31, i64 %v32) { i64 %v25, i64 %v26, i64 %v27, i64 %v28, i64 %v29, i64 %v30, i64 %v31, i64 %v32) {
Show All 10 Lines

test/CodeGen/PowerPC/ppc64-icbt-pwr7.ll

; Test the ICBT instruction is not emitted on POWER7 ; Test the ICBT instruction is not emitted on POWER7
; Based on the ppc64-prefetch.ll test ; Based on the ppc64-prefetch.ll test
; RUN: not llc -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 < %s 2>&1 | FileCheck %s ; RUN: not --crash llc -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 < %s 2>&1 | FileCheck %s
declare void @llvm.prefetch(i8*, i32, i32, i32) declare void @llvm.prefetch(i8*, i32, i32, i32)
define void @test(i8* %a, ...) nounwind { define void @test(i8* %a, ...) nounwind {
entry: entry:
call void @llvm.prefetch(i8* %a, i32 0, i32 3, i32 0) call void @llvm.prefetch(i8* %a, i32 0, i32 3, i32 0)
ret void ret void
; FIXME: Crashing is not really the correct behavior here, we really should just emit nothing ; FIXME: Crashing is not really the correct behavior here, we really should just emit nothing
; CHECK: Cannot select: {{0x[0-9,a-f]+|t[0-9]+}}: ch = Prefetch ; CHECK: Cannot select: {{0x[0-9,a-f]+|t[0-9]+}}: ch = Prefetch
; CHECK: {{0x[0-9,a-f]+|t[0-9]+}}: i32 = Constant<0> ; CHECK: {{0x[0-9,a-f]+|t[0-9]+}}: i32 = Constant<0>
; CHECK-NEXT: {{0x[0-9,a-f]+|t[0-9]+}}: i32 = Constant<3> ; CHECK-NEXT: {{0x[0-9,a-f]+|t[0-9]+}}: i32 = Constant<3>
; CHECK-NEXT: {{0x[0-9,a-f]+|t[0-9]+}}: i32 = Constant<0> ; CHECK-NEXT: {{0x[0-9,a-f]+|t[0-9]+}}: i32 = Constant<0>
} }

test/CodeGen/SPARC/fail-alloca-align.ll

;; Sparc backend can't currently handle variable allocas with ;; Sparc backend can't currently handle variable allocas with
;; alignment greater than the stack alignment. This code ought to ;; alignment greater than the stack alignment. This code ought to
;; compile, but doesn't currently. ;; compile, but doesn't currently.
;; RUN: not llc -march=sparc < %s 2>&1 | FileCheck %s ;; RUN: not --crash llc -march=sparc < %s 2>&1 | FileCheck %s
;; RUN: not llc -march=sparcv9 < %s 2>&1 | FileCheck %s ;; RUN: not --crash llc -march=sparcv9 < %s 2>&1 | FileCheck %s
;; CHECK: ERROR: Function {{.*}} required stack re-alignment ;; CHECK: ERROR: Function {{.*}} required stack re-alignment
define void @variable_alloca_with_overalignment(i32 %num) { define void @variable_alloca_with_overalignment(i32 %num) {
%aligned = alloca i32, align 64 %aligned = alloca i32, align 64
%var_size = alloca i8, i32 %num, align 4 %var_size = alloca i8, i32 %num, align 4
call void @foo(i32* %aligned, i8* %var_size) call void @foo(i32* %aligned, i8* %var_size)
ret void ret void
} }
Show All 9 Lines

test/CodeGen/SPARC/sret-secondary.ll

; RUN: not llc -march=sparc < %s -o /dev/null 2>&1 | FileCheck %s ; RUN: not --crash llc -march=sparc < %s -o /dev/null 2>&1 | FileCheck %s
; CHECK: sparc only supports sret on the first parameter ; CHECK: sparc only supports sret on the first parameter
define void @foo(i32 %a, i32* sret %out) { define void @foo(i32 %a, i32* sret %out) {
store i32 %a, i32* %out store i32 %a, i32* %out
ret void ret void
} }

test/CodeGen/SystemZ/vec-args-error-01.ll

; Verify that we detect unsupported single-element vector types. ; Verify that we detect unsupported single-element vector types.
; RUN: not llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s
define void @foo(<1 x i128>) { define void @foo(<1 x i128>) {
ret void ret void
} }
; CHECK: LLVM ERROR: Unsupported vector argument or return type ; CHECK: LLVM ERROR: Unsupported vector argument or return type

test/CodeGen/SystemZ/vec-args-error-02.ll

; Verify that we detect unsupported single-element vector types. ; Verify that we detect unsupported single-element vector types.
; RUN: not llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s
define <1 x i128> @foo() { define <1 x i128> @foo() {
ret <1 x i128><i128 0> ret <1 x i128><i128 0>
} }
; CHECK: LLVM ERROR: Unsupported vector argument or return type ; CHECK: LLVM ERROR: Unsupported vector argument or return type

test/CodeGen/SystemZ/vec-args-error-03.ll

; Verify that we detect unsupported single-element vector types. ; Verify that we detect unsupported single-element vector types.
; RUN: not llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s
declare void @bar(<1 x i128>) declare void @bar(<1 x i128>)
define void @foo() { define void @foo() {
call void @bar (<1 x i128> <i128 0>) call void @bar (<1 x i128> <i128 0>)
ret void ret void
} }
; CHECK: LLVM ERROR: Unsupported vector argument or return type ; CHECK: LLVM ERROR: Unsupported vector argument or return type

test/CodeGen/SystemZ/vec-args-error-04.ll

; Verify that we detect unsupported single-element vector types. ; Verify that we detect unsupported single-element vector types.
; RUN: not llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s
declare <1 x i128> @bar() declare <1 x i128> @bar()
define void @foo() { define void @foo() {
%res = call <1 x i128> @bar () %res = call <1 x i128> @bar ()
ret void ret void
} }
; CHECK: LLVM ERROR: Unsupported vector argument or return type ; CHECK: LLVM ERROR: Unsupported vector argument or return type

test/CodeGen/SystemZ/vec-args-error-05.ll

; Verify that we detect unsupported single-element vector types. ; Verify that we detect unsupported single-element vector types.
; RUN: not llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s
define void @foo(<1 x fp128>) { define void @foo(<1 x fp128>) {
ret void ret void
} }
; CHECK: LLVM ERROR: Unsupported vector argument or return type ; CHECK: LLVM ERROR: Unsupported vector argument or return type

test/CodeGen/SystemZ/vec-args-error-06.ll

; Verify that we detect unsupported single-element vector types. ; Verify that we detect unsupported single-element vector types.
; RUN: not llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s
define <1 x fp128> @foo() { define <1 x fp128> @foo() {
ret <1 x fp128><fp128 0xL00000000000000000000000000000000> ret <1 x fp128><fp128 0xL00000000000000000000000000000000>
} }
; CHECK: LLVM ERROR: Unsupported vector argument or return type ; CHECK: LLVM ERROR: Unsupported vector argument or return type

test/CodeGen/SystemZ/vec-args-error-07.ll

; Verify that we detect unsupported single-element vector types. ; Verify that we detect unsupported single-element vector types.
; RUN: not llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s
declare void @bar(<1 x fp128>) declare void @bar(<1 x fp128>)
define void @foo() { define void @foo() {
call void @bar (<1 x fp128> <fp128 0xL00000000000000000000000000000000>) call void @bar (<1 x fp128> <fp128 0xL00000000000000000000000000000000>)
ret void ret void
} }
; CHECK: LLVM ERROR: Unsupported vector argument or return type ; CHECK: LLVM ERROR: Unsupported vector argument or return type

test/CodeGen/SystemZ/vec-args-error-08.ll

; Verify that we detect unsupported single-element vector types. ; Verify that we detect unsupported single-element vector types.
; RUN: not llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 2>&1 | FileCheck %s
declare <1 x fp128> @bar() declare <1 x fp128> @bar()
define void @foo() { define void @foo() {
%res = call <1 x fp128> @bar () %res = call <1 x fp128> @bar ()
ret void ret void
} }
; CHECK: LLVM ERROR: Unsupported vector argument or return type ; CHECK: LLVM ERROR: Unsupported vector argument or return type

test/CodeGen/X86/AppendingLinkage.ll

; RUN: not llc < %s -mtriple=i686-- 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=i686-- 2>&1 | FileCheck %s
; CHECK: unknown special variable ; CHECK: unknown special variable
@foo = appending constant [1 x i32 ]zeroinitializer @foo = appending constant [1 x i32 ]zeroinitializer

test/CodeGen/X86/anyregcc-crash.ll

; RUN: not llc < %s -mtriple=x86_64-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=x86_64-apple-darwin 2>&1 | FileCheck %s
; ;
; Check that misuse of anyregcc results in a compile time error. ; Check that misuse of anyregcc results in a compile time error.
; CHECK: LLVM ERROR: ran out of registers during register allocation ; CHECK: LLVM ERROR: ran out of registers during register allocation
define i64 @anyreglimit(i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6, define i64 @anyreglimit(i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6,
i64 %v7, i64 %v8, i64 %v9, i64 %v10, i64 %v11, i64 %v12, i64 %v7, i64 %v8, i64 %v9, i64 %v10, i64 %v11, i64 %v12,
i64 %v13, i64 %v14, i64 %v15, i64 %v16) { i64 %v13, i64 %v14, i64 %v15, i64 %v16) {
entry: entry:
%result = tail call anyregcc i64 (i64, i32, i8*, i32, ...) @llvm.experimental.patchpoint.i64(i64 12, i32 15, i8* inttoptr (i64 0 to i8*), i32 16, %result = tail call anyregcc i64 (i64, i32, i8*, i32, ...) @llvm.experimental.patchpoint.i64(i64 12, i32 15, i8* inttoptr (i64 0 to i8*), i32 16,
i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6, i64 %v1, i64 %v2, i64 %v3, i64 %v4, i64 %v5, i64 %v6,
i64 %v7, i64 %v8, i64 %v9, i64 %v10, i64 %v11, i64 %v12, i64 %v7, i64 %v8, i64 %v9, i64 %v10, i64 %v11, i64 %v12,
i64 %v13, i64 %v14, i64 %v15, i64 %v16) i64 %v13, i64 %v14, i64 %v15, i64 %v16)
ret i64 %result ret i64 %result
} }
declare i64 @llvm.experimental.patchpoint.i64(i64, i32, i8*, i32, ...) declare i64 @llvm.experimental.patchpoint.i64(i64, i32, i8*, i32, ...)

test/CodeGen/X86/coff-comdat2.ll

; RUN: not llc %s -o /dev/null 2>&1 | FileCheck %s ; RUN: not --crash llc %s -o /dev/null 2>&1 | FileCheck %s
target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32" target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32"
target triple = "i686-pc-windows-msvc" target triple = "i686-pc-windows-msvc"
$foo = comdat largest $foo = comdat largest
@foo = global i32 0 @foo = global i32 0
@bar = global i32 0, comdat($foo) @bar = global i32 0, comdat($foo)
; CHECK: Associative COMDAT symbol 'foo' is not a key for its COMDAT. ; CHECK: Associative COMDAT symbol 'foo' is not a key for its COMDAT.

test/CodeGen/X86/coff-comdat3.ll

; RUN: not llc %s -o /dev/null 2>&1 | FileCheck %s ; RUN: not --crash llc %s -o /dev/null 2>&1 | FileCheck %s
target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32" target datalayout = "e-m:w-p:32:32-i64:64-f80:32-n8:16:32-S32"
target triple = "i686-pc-windows-msvc" target triple = "i686-pc-windows-msvc"
$foo = comdat largest $foo = comdat largest
@bar = global i32 0, comdat($foo) @bar = global i32 0, comdat($foo)
; CHECK: Associative COMDAT symbol 'foo' does not exist. ; CHECK: Associative COMDAT symbol 'foo' does not exist.

test/CodeGen/X86/equiv_with_fndef.ll

; RUN: not llc < %s 2>&1 | FileCheck %s ; RUN: not --crash llc < %s 2>&1 | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
module asm ".equiv pselect, __pselect" module asm ".equiv pselect, __pselect"
define void @pselect() { define void @pselect() {
ret void ret void
} }
; CHECK: 'pselect' is a protected alias ; CHECK: 'pselect' is a protected alias

test/CodeGen/X86/equiv_with_vardef.ll

; RUN: not llc < %s 2>&1 | FileCheck %s ; RUN: not --crash llc < %s 2>&1 | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
module asm ".equiv var, __var" module asm ".equiv var, __var"
@var = global i32 0 @var = global i32 0
; CHECK: symbol 'var' is already defined ; CHECK: symbol 'var' is already defined

test/CodeGen/X86/fast-isel-args-fail2.ll

; RUN: not llc < %s -fast-isel -fast-isel-abort=2 -mtriple=x86_64-apple-darwin10 ; RUN: not --crash llc < %s -fast-isel -fast-isel-abort=2 -mtriple=x86_64-apple-darwin10
; REQUIRES: asserts ; REQUIRES: asserts
%struct.s0 = type { x86_fp80, x86_fp80 } %struct.s0 = type { x86_fp80, x86_fp80 }
; FastISel cannot handle this case yet. Make sure that we abort. ; FastISel cannot handle this case yet. Make sure that we abort.
define i8* @args_fail(%struct.s0* byval nocapture readonly align 16 %y) { define i8* @args_fail(%struct.s0* byval nocapture readonly align 16 %y) {
%1 = bitcast %struct.s0* %y to i8* %1 = bitcast %struct.s0* %y to i8*
ret i8* %1 ret i8* %1
} }

test/CodeGen/X86/inalloca-regparm.ll

; RUN: llc -mtriple=i686-windows-msvc < %s -o /dev/null ; RUN: llc -mtriple=i686-windows-msvc < %s -o /dev/null
; RUN: not llc -mtriple=x86_64-windows-msvc %s -o /dev/null 2>&1 | FileCheck %s ; RUN: not --crash llc -mtriple=x86_64-windows-msvc %s -o /dev/null 2>&1 | FileCheck %s
; This will compile successfully on x86 but not x86_64, because %b will become a ; This will compile successfully on x86 but not x86_64, because %b will become a
; register parameter. ; register parameter.
declare x86_thiscallcc i32 @f(i32 %a, i32* inalloca %b) declare x86_thiscallcc i32 @f(i32 %a, i32* inalloca %b)
define void @g() { define void @g() {
%b = alloca inalloca i32 %b = alloca inalloca i32
store i32 2, i32* %b store i32 2, i32* %b
call x86_thiscallcc i32 @f(i32 0, i32* inalloca %b) call x86_thiscallcc i32 @f(i32 0, i32* inalloca %b)
ret void ret void
} }
; CHECK: cannot use inalloca attribute on a register parameter ; CHECK: cannot use inalloca attribute on a register parameter

test/CodeGen/X86/invalid-liveness.mir

# RUN: not llc -mtriple=i686-- -run-pass liveintervals -o - %s 2>&1 | FileCheck %s # RUN: not --crash llc -mtriple=i686-- -run-pass liveintervals -o - %s 2>&1 | FileCheck %s
# REQUIRES: asserts # REQUIRES: asserts
--- | --- |
define void @func() { ret void } define void @func() { ret void }
... ...
--- ---
# Liveness calculation should detect that we do not have a definition for vreg0 # Liveness calculation should detect that we do not have a definition for vreg0
# on all paths; In this example a def for vreg0 is missing when jumping from # on all paths; In this example a def for vreg0 is missing when jumping from
Show All 20 Lines

test/CodeGen/X86/label-redefinition.ll

; PR7054 ; PR7054
; RUN: not llc %s -o - 2>&1 | grep "'_foo' label emitted multiple times to assembly" ; RUN: not --crash llc %s -o - 2>&1 | grep "'_foo' label emitted multiple times to assembly"
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32"
target triple = "i386-apple-darwin10.0.0" target triple = "i386-apple-darwin10.0.0"
define i32 @"\01_foo"() { define i32 @"\01_foo"() {
unreachable unreachable
} }
define i32 @foo() { define i32 @foo() {
entry: entry:
unreachable unreachable
} }
declare i32 @xstat64(i32, i8*, i8*) declare i32 @xstat64(i32, i8*, i8*)

test/CodeGen/X86/macho-comdat.ll

; RUN: not llc -mtriple x86_64-apple-darwin < %s 2> %t ; RUN: not --crash llc -mtriple x86_64-apple-darwin < %s 2> %t
; RUN: FileCheck < %t %s ; RUN: FileCheck < %t %s
$f = comdat any $f = comdat any
@v = global i32 0, comdat($f) @v = global i32 0, comdat($f)
; CHECK: LLVM ERROR: MachO doesn't support COMDATs, 'f' cannot be lowered. ; CHECK: LLVM ERROR: MachO doesn't support COMDATs, 'f' cannot be lowered.

test/CodeGen/X86/named-reg-alloc.ll

; RUN: not llc < %s -mtriple=x86_64-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=x86_64-apple-darwin 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=x86_64-linux-gnueabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=x86_64-linux-gnueabi 2>&1 | FileCheck %s
define i32 @get_stack() nounwind { define i32 @get_stack() nounwind {
entry: entry:
; FIXME: Include an allocatable-specific error message ; FIXME: Include an allocatable-specific error message
; CHECK: Invalid register name global variable ; CHECK: Invalid register name global variable
%sp = call i32 @llvm.read_register.i32(metadata !0) %sp = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %sp ret i32 %sp
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"eax\00"} !0 = !{!"eax\00"}

test/CodeGen/X86/named-reg-notareg.ll

; RUN: not llc < %s -mtriple=x86_64-apple-darwin 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=x86_64-apple-darwin 2>&1 | FileCheck %s
; RUN: not llc < %s -mtriple=x86_64-linux-gnueabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=x86_64-linux-gnueabi 2>&1 | FileCheck %s
define i32 @get_stack() nounwind { define i32 @get_stack() nounwind {
entry: entry:
; CHECK: Invalid register name global variable ; CHECK: Invalid register name global variable
%sp = call i32 @llvm.read_register.i32(metadata !0) %sp = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %sp ret i32 %sp
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"notareg\00"} !0 = !{!"notareg\00"}

test/CodeGen/X86/nonconst-static-ev.ll

; RUN: not llc -mtriple=i686-linux-gnu < %s 2> %t ; RUN: not --crash llc -mtriple=i686-linux-gnu < %s 2> %t
; RUN: FileCheck --check-prefix=CHECK-ERRORS < %t %s ; RUN: FileCheck --check-prefix=CHECK-ERRORS < %t %s
@0 = global i8 extractvalue ([1 x i8] select (i1 ptrtoint (i32* @1 to i1), [1 x i8] [ i8 1 ], [1 x i8] [ i8 2 ]), 0) @0 = global i8 extractvalue ([1 x i8] select (i1 ptrtoint (i32* @1 to i1), [1 x i8] [ i8 1 ], [1 x i8] [ i8 2 ]), 0)
@1 = external global i32 @1 = external global i32
; CHECK-ERRORS: Unsupported expression in static initializer: extractvalue ; CHECK-ERRORS: Unsupported expression in static initializer: extractvalue

test/CodeGen/X86/nonconst-static-iv.ll

; RUN: not llc -mtriple=i686-linux-gnu < %s 2> %t ; RUN: not --crash llc -mtriple=i686-linux-gnu < %s 2> %t
; RUN: FileCheck --check-prefix=CHECK-ERRORS < %t %s ; RUN: FileCheck --check-prefix=CHECK-ERRORS < %t %s
@0 = global i8 insertvalue( { i8 } select (i1 ptrtoint (i32* @1 to i1), { i8 } { i8 1 }, { i8 } { i8 2 }), i8 0, 0) @0 = global i8 insertvalue( { i8 } select (i1 ptrtoint (i32* @1 to i1), { i8 } { i8 1 }, { i8 } { i8 2 }), i8 0, 0)
@1 = external global i32 @1 = external global i32
; CHECK-ERRORS: Unsupported expression in static initializer: insertvalue ; CHECK-ERRORS: Unsupported expression in static initializer: insertvalue

test/CodeGen/X86/pr33772.ll

; RUN: not llc < %s -mcpu=skylake-avx512 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mcpu=skylake-avx512 2>&1 | FileCheck %s
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; make sure we don't crash if scale for gather isn't constant. ; make sure we don't crash if scale for gather isn't constant.
; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.x86.avx512.gather.dpi.512 ; CHECK: LLVM ERROR: Cannot select: intrinsic %llvm.x86.avx512.gather.dpi.512
declare <16 x i32> @llvm.x86.avx512.gather.dpi.512(<16 x i32>, i8*, <16 x i32>, i16, i32) declare <16 x i32> @llvm.x86.avx512.gather.dpi.512(<16 x i32>, i8*, <16 x i32>, i16, i32)
define internal <16 x i32> @__gather_base_offsets32_i32(i8* readonly %ptr, i32 %offset_scale, <16 x i32> %offsets, <16 x i8> %vecmask) { define internal <16 x i32> @__gather_base_offsets32_i32(i8* readonly %ptr, i32 %offset_scale, <16 x i32> %offsets, <16 x i8> %vecmask) {
%mask_vec_i1.i.i = icmp ne <16 x i8> %vecmask, zeroinitializer %mask_vec_i1.i.i = icmp ne <16 x i8> %vecmask, zeroinitializer
%mask_i16.i = bitcast <16 x i1> %mask_vec_i1.i.i to i16 %mask_i16.i = bitcast <16 x i1> %mask_vec_i1.i.i to i16
%res = tail call <16 x i32> @llvm.x86.avx512.gather.dpi.512(<16 x i32> undef, i8* %ptr, <16 x i32> %offsets, i16 %mask_i16.i, i32 %offset_scale) %res = tail call <16 x i32> @llvm.x86.avx512.gather.dpi.512(<16 x i32> undef, i8* %ptr, <16 x i32> %offsets, i16 %mask_i16.i, i32 %offset_scale)
ret <16 x i32> %res ret <16 x i32> %res
} }

test/CodeGen/X86/read-fp-no-frame-pointer.ll

; RUN: not llc < %s -mtriple=x86_64-linux-gnueabi 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -mtriple=x86_64-linux-gnueabi 2>&1 | FileCheck %s
define i32 @get_frame() nounwind { define i32 @get_frame() nounwind {
entry: entry:
; CHECK: register ebp is allocatable: function has no frame pointer ; CHECK: register ebp is allocatable: function has no frame pointer
%fp = call i32 @llvm.read_register.i32(metadata !0) %fp = call i32 @llvm.read_register.i32(metadata !0)
ret i32 %fp ret i32 %fp
} }
declare i32 @llvm.read_register.i32(metadata) nounwind declare i32 @llvm.read_register.i32(metadata) nounwind
!0 = !{!"ebp\00"} !0 = !{!"ebp\00"}

test/CodeGen/X86/segmented-stacks.ll

Show All 16 Lines
; RUN: llc < %s -mcpu=generic -mtriple=i686-darwin -filetype=obj -o /dev/null ; RUN: llc < %s -mcpu=generic -mtriple=i686-darwin -filetype=obj -o /dev/null
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-darwin -filetype=obj -o /dev/null ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-darwin -filetype=obj -o /dev/null
; RUN: llc < %s -mcpu=generic -mtriple=i686-mingw32 -filetype=obj -o /dev/null ; RUN: llc < %s -mcpu=generic -mtriple=i686-mingw32 -filetype=obj -o /dev/null
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-freebsd -filetype=obj -o /dev/null ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-freebsd -filetype=obj -o /dev/null
; RUN: llc < %s -mcpu=generic -mtriple=i686-dragonfly -filetype=obj -o /dev/null ; RUN: llc < %s -mcpu=generic -mtriple=i686-dragonfly -filetype=obj -o /dev/null
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-dragonfly -filetype=obj -o /dev/null ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-dragonfly -filetype=obj -o /dev/null
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-mingw32 -filetype=obj -o /dev/null ; RUN: llc < %s -mcpu=generic -mtriple=x86_64-mingw32 -filetype=obj -o /dev/null
; RUN: not llc < %s -mcpu=generic -mtriple=x86_64-solaris 2> %t.log ; RUN: not --crash llc < %s -mcpu=generic -mtriple=x86_64-solaris 2> %t.log
; RUN: FileCheck %s -input-file=%t.log -check-prefix=X64-Solaris ; RUN: FileCheck %s -input-file=%t.log -check-prefix=X64-Solaris
; RUN: not llc < %s -mcpu=generic -mtriple=i686-freebsd 2> %t.log ; RUN: not --crash llc < %s -mcpu=generic -mtriple=i686-freebsd 2> %t.log
; RUN: FileCheck %s -input-file=%t.log -check-prefix=X32-FreeBSD ; RUN: FileCheck %s -input-file=%t.log -check-prefix=X32-FreeBSD
; X64-Solaris: Segmented stacks not supported on this platform ; X64-Solaris: Segmented stacks not supported on this platform
; X32-FreeBSD: Segmented stacks not supported on FreeBSD i386 ; X32-FreeBSD: Segmented stacks not supported on FreeBSD i386
; Just to prevent the alloca from being optimized away ; Just to prevent the alloca from being optimized away
declare void @dummy_use(i32*, i32) declare void @dummy_use(i32*, i32)
▲ Show 20 Lines • Show All 608 Lines • Show Last 20 Lines

test/CodeGen/X86/sha.ll

; RUN: llc < %s -mattr=+sha -mtriple=x86_64-unknown-unknown | FileCheck %s ; RUN: llc < %s -mattr=+sha -mtriple=x86_64-unknown-unknown | FileCheck %s
; RUN: not llc < %s -mtriple=x86_64-unknown-unknown ; RUN: not --crash llc < %s -mtriple=x86_64-unknown-unknown
declare <4 x i32> @llvm.x86.sha1rnds4(<4 x i32>, <4 x i32>, i8) nounwind readnone declare <4 x i32> @llvm.x86.sha1rnds4(<4 x i32>, <4 x i32>, i8) nounwind readnone
define <4 x i32> @test_sha1rnds4rr(<4 x i32> %a, <4 x i32> %b) nounwind uwtable { define <4 x i32> @test_sha1rnds4rr(<4 x i32> %a, <4 x i32> %b) nounwind uwtable {
entry: entry:
%0 = tail call <4 x i32> @llvm.x86.sha1rnds4(<4 x i32> %a, <4 x i32> %b, i8 3) %0 = tail call <4 x i32> @llvm.x86.sha1rnds4(<4 x i32> %a, <4 x i32> %b, i8 3)
ret <4 x i32> %0 ret <4 x i32> %0
; CHECK: test_sha1rnds4rr ; CHECK: test_sha1rnds4rr
▲ Show 20 Lines • Show All 129 Lines • Show Last 20 Lines

test/CodeGen/XCore/alignment.ll

; RUN: not llc < %s -march=xcore 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -march=xcore 2>&1 | FileCheck %s
; CHECK: emitPrologue unsupported alignment: 8 ; CHECK: emitPrologue unsupported alignment: 8
define void @f() nounwind { define void @f() nounwind {
entry: entry:
%BadAlignment = alloca i64, align 8 %BadAlignment = alloca i64, align 8
ret void ret void
} }

test/CodeGen/XCore/codemodel.ll

; RUN: not llc < %s -march=xcore -code-model=medium 2>&1 | FileCheck %s -check-prefix=BAD_CM ; RUN: not --crash llc < %s -march=xcore -code-model=medium 2>&1 | FileCheck %s -check-prefix=BAD_CM
; RUN: not llc < %s -march=xcore -code-model=kernel 2>&1 | FileCheck %s -check-prefix=BAD_CM ; RUN: not --crash llc < %s -march=xcore -code-model=kernel 2>&1 | FileCheck %s -check-prefix=BAD_CM
; BAD_CM: Target only supports CodeModel Small or Large ; BAD_CM: Target only supports CodeModel Small or Large
; RUN: llc < %s -march=xcore | FileCheck %s ; RUN: llc < %s -march=xcore | FileCheck %s
; RUN: llc < %s -march=xcore -code-model=small | FileCheck %s ; RUN: llc < %s -march=xcore -code-model=small | FileCheck %s
; RUN: llc < %s -march=xcore -code-model=large | FileCheck %s -check-prefix=LARGE ; RUN: llc < %s -march=xcore -code-model=large | FileCheck %s -check-prefix=LARGE
▲ Show 20 Lines • Show All 202 Lines • Show Last 20 Lines

test/CodeGen/XCore/section-name.ll

; RUN: not llc < %s -march=xcore 2>&1 | FileCheck %s ; RUN: not --crash llc < %s -march=xcore 2>&1 | FileCheck %s
@bar = internal global i32 zeroinitializer @bar = internal global i32 zeroinitializer
define void @".dp.bss"() { define void @".dp.bss"() {
ret void ret void
} }
; CHECK: LLVM ERROR: invalid symbol redefinition ; CHECK: LLVM ERROR: invalid symbol redefinition

test/LTO/X86/attrs.ll

; RUN: llvm-as < %s >%t1 ; RUN: llvm-as < %s >%t1
; RUN: llvm-lto -exported-symbol=test_x86_aesni_aeskeygenassist -mattr=+aes -o %t2 %t1 ; RUN: llvm-lto -exported-symbol=test_x86_aesni_aeskeygenassist -mattr=+aes -o %t2 %t1
; RUN: llvm-objdump -d %t2 | FileCheck -check-prefix=WITH_AES %s ; RUN: llvm-objdump -d %t2 | FileCheck -check-prefix=WITH_AES %s
; RUN: not llvm-lto -exported-symbol=test_x86_aesni_aeskeygenassist -mattr=-aes -o %t3 %t1 2>&1 | FileCheck -check-prefix=WITHOUT_AES %s ; RUN: not --crash llvm-lto -exported-symbol=test_x86_aesni_aeskeygenassist -mattr=-aes -o %t3 %t1 2>&1 | FileCheck -check-prefix=WITHOUT_AES %s
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
declare <2 x i64> @llvm.x86.aesni.aeskeygenassist(<2 x i64>, i8) declare <2 x i64> @llvm.x86.aesni.aeskeygenassist(<2 x i64>, i8)
define <2 x i64> @test_x86_aesni_aeskeygenassist(<2 x i64> %a0) { define <2 x i64> @test_x86_aesni_aeskeygenassist(<2 x i64> %a0) {
; WITH_AES: test_x86_aesni_aeskeygenassist ; WITH_AES: test_x86_aesni_aeskeygenassist
; WITH_AES: aeskeygenassist ; WITH_AES: aeskeygenassist
%res = call <2 x i64> @llvm.x86.aesni.aeskeygenassist(<2 x i64> %a0, i8 7) %res = call <2 x i64> @llvm.x86.aesni.aeskeygenassist(<2 x i64> %a0, i8 7)
ret <2 x i64> %res ret <2 x i64> %res
} }
; WITHOUT_AES: LLVM ERROR: Cannot select: intrinsic %llvm.x86.aesni.aeskeygenassist ; WITHOUT_AES: LLVM ERROR: Cannot select: intrinsic %llvm.x86.aesni.aeskeygenassist

test/LTO/X86/strip-debug-info.ll

; RUN: llvm-as -disable-verify %s -o %t.bc ; RUN: llvm-as -disable-verify %s -o %t.bc
; ---- Full LTO --------------------------------------------- ; ---- Full LTO ---------------------------------------------
; RUN: not llvm-lto -lto-strip-invalid-debug-info=false \ ; RUN: not --crash llvm-lto -lto-strip-invalid-debug-info=false \
; RUN: -o %t.o %t.bc 2>&1 | \ ; RUN: -o %t.o %t.bc 2>&1 | \
; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-ERR ; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-ERR
; RUN: llvm-lto -lto-strip-invalid-debug-info=true \ ; RUN: llvm-lto -lto-strip-invalid-debug-info=true \
; RUN: -exported-symbol foo -exported-symbol _foo \ ; RUN: -exported-symbol foo -exported-symbol _foo \
; RUN: -o %t.o %t.bc 2>&1 | \ ; RUN: -o %t.o %t.bc 2>&1 | \
; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-WARN ; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-WARN
; RUN: llvm-nm %t.o | FileCheck %s ; RUN: llvm-nm %t.o | FileCheck %s
; ---- Thin LTO (codegen only) ------------------------------ ; ---- Thin LTO (codegen only) ------------------------------
; RUN: not llvm-lto -thinlto -thinlto-action=codegen \ ; RUN: not --crash llvm-lto -thinlto -thinlto-action=codegen \
; RUN: -lto-strip-invalid-debug-info=false \ ; RUN: -lto-strip-invalid-debug-info=false \
; RUN: %t.bc -disable-verify 2>&1 | \ ; RUN: %t.bc -disable-verify 2>&1 | \
; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-ERR ; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-ERR
; RUN: llvm-lto -thinlto -thinlto-action=codegen \ ; RUN: llvm-lto -thinlto -thinlto-action=codegen \
; RUN: -lto-strip-invalid-debug-info=true \ ; RUN: -lto-strip-invalid-debug-info=true \
; RUN: %t.bc -disable-verify 2>&1 | \ ; RUN: %t.bc -disable-verify 2>&1 | \
; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-WARN ; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-WARN
; ---- Thin LTO (optimize, strip main file) ----------------- ; ---- Thin LTO (optimize, strip main file) -----------------
; RUN: opt -disable-verify -module-summary %s -o %t.bc ; RUN: opt -disable-verify -module-summary %s -o %t.bc
; RUN: opt -disable-verify -module-summary %S/Inputs/strip-debug-info-bar.ll \ ; RUN: opt -disable-verify -module-summary %S/Inputs/strip-debug-info-bar.ll \
; RUN: -o %t2.bc ; RUN: -o %t2.bc
; RUN: not llvm-lto -thinlto -thinlto-action=run \ ; RUN: not --crash llvm-lto -thinlto -thinlto-action=run \
; RUN: -lto-strip-invalid-debug-info=false \ ; RUN: -lto-strip-invalid-debug-info=false \
; RUN: %t.bc -disable-verify 2>&1 | \ ; RUN: %t.bc -disable-verify 2>&1 | \
; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-ERR ; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-ERR
; RUN: llvm-lto -thinlto -thinlto-action=run \ ; RUN: llvm-lto -thinlto -thinlto-action=run \
; RUN: -lto-strip-invalid-debug-info=true \ ; RUN: -lto-strip-invalid-debug-info=true \
; RUN: %t.bc -disable-verify 2>&1 | \ ; RUN: %t.bc -disable-verify 2>&1 | \
; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-WARN ; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-WARN
; ---- Thin LTO (optimize, strip imported file) ------------- ; ---- Thin LTO (optimize, strip imported file) -------------
; RUN: opt -disable-verify -strip-debug -module-summary %t.bc -o %t-stripped.bc ; RUN: opt -disable-verify -strip-debug -module-summary %t.bc -o %t-stripped.bc
; RUN: llvm-lto -thinlto-action=thinlink -o %t.index.bc %t-stripped.bc %t2.bc ; RUN: llvm-lto -thinlto-action=thinlink -o %t.index.bc %t-stripped.bc %t2.bc
; RUN: not llvm-lto -thinlto -thinlto-action=import \ ; RUN: not --crash llvm-lto -thinlto -thinlto-action=import \
; RUN: -thinlto-index=%t.index.bc \ ; RUN: -thinlto-index=%t.index.bc \
; RUN: -lto-strip-invalid-debug-info=false \ ; RUN: -lto-strip-invalid-debug-info=false \
; RUN: -exported-symbol foo -exported-symbol _foo \ ; RUN: -exported-symbol foo -exported-symbol _foo \
; RUN: %t-stripped.bc -disable-verify 2>&1 | \ ; RUN: %t-stripped.bc -disable-verify 2>&1 | \
; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-ERR ; RUN: FileCheck %s -allow-empty -check-prefix=CHECK-ERR
; RUN: llvm-lto -thinlto -thinlto-action=import \ ; RUN: llvm-lto -thinlto -thinlto-action=import \
; RUN: -lto-strip-invalid-debug-info=true \ ; RUN: -lto-strip-invalid-debug-info=true \
; RUN: -thinlto-index=%t.index.bc \ ; RUN: -thinlto-index=%t.index.bc \
Show All 23 Lines

test/MC/ARM/Windows/invalid-relocation.s

# RUN: not llvm-mc -triple thumbv7-windows -incremental-linker-compatible -filetype obj -o /dev/null 2>&1 %s \ # RUN: not --crash llvm-mc -triple thumbv7-windows -incremental-linker-compatible -filetype obj -o /dev/null 2>&1 %s \
# RUN: | FileCheck %s # RUN: | FileCheck %s
.def invalid_relocation .def invalid_relocation
.type 32 .type 32
.scl 2 .scl 2
.endef .endef
.global invalid_relocation .global invalid_relocation
.thumb_func .thumb_func
invalid_relocation: invalid_relocation:
adr r0, invalid_relocation+1 adr r0, invalid_relocation+1
# CHECK: LLVM ERROR: unsupported relocation type: fixup_t2_adr_pcrel_12 # CHECK: LLVM ERROR: unsupported relocation type: fixup_t2_adr_pcrel_12

test/MC/AsmParser/cfi-unfinished-frame.s

// RUN: not llvm-mc -filetype=asm -triple x86_64-pc-linux-gnu %s -o %t 2>%t.out // RUN: not --crash llvm-mc -filetype=asm -triple x86_64-pc-linux-gnu %s -o %t 2>%t.out
// RUN: FileCheck -input-file=%t.out %s // RUN: FileCheck -input-file=%t.out %s
.cfi_startproc .cfi_startproc
// CHECK: Unfinished frame // CHECK: Unfinished frame

test/MC/COFF/section-comdat-conflict.s

// RUN: not llvm-mc -triple i386-pc-win32 -filetype=obj < %s 2>&1 | FileCheck %s // RUN: not --crash llvm-mc -triple i386-pc-win32 -filetype=obj < %s 2>&1 | FileCheck %s
// CHECK: conflicting sections for symbol // CHECK: conflicting sections for symbol
.section .xyz .section .xyz
.global bar .global bar
bar: bar:
.long 42 .long 42
.section .abcd,"xr",discard,bar .section .abcd,"xr",discard,bar
.global foo .global foo
foo: foo:
.long 42 .long 42

test/MC/COFF/section-comdat-conflict2.s

// RUN: not llvm-mc -triple i386-pc-win32 -filetype=obj < %s 2>&1 | FileCheck %s // RUN: not --crash llvm-mc -triple i386-pc-win32 -filetype=obj < %s 2>&1 | FileCheck %s
// CHECK: two sections have the same comdat // CHECK: two sections have the same comdat
.section .xyz,"xr",discard,bar .section .xyz,"xr",discard,bar
.section .abcd,"xr",discard,bar .section .abcd,"xr",discard,bar

test/MC/COFF/seh-stackalloc-zero.s

// RUN: not llvm-mc -triple x86_64-pc-win32 -filetype=obj %s -o %t.o 2>&1 | FileCheck %s // RUN: not --crash llvm-mc -triple x86_64-pc-win32 -filetype=obj %s -o %t.o 2>&1 | FileCheck %s
// CHECK: Allocation size must be non-zero! // CHECK: Allocation size must be non-zero!
.globl smallFunc .globl smallFunc
.def smallFunc; .scl 2; .type 32; .endef .def smallFunc; .scl 2; .type 32; .endef
.seh_proc smallFunc .seh_proc smallFunc
.seh_stackalloc 0 .seh_stackalloc 0
smallFunc: smallFunc:
ret ret
.seh_endproc .seh_endproc

test/MC/Disassembler/AMDGPU/si-support.txt

# RUN: not llvm-mc -arch=amdgcn -mcpu=tahiti -disassemble < %s 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -arch=amdgcn -mcpu=tahiti -disassemble < %s 2>&1 | FileCheck %s
# CHECK: LLVM ERROR: Disassembly not yet supported for subtarget # CHECK: LLVM ERROR: Disassembly not yet supported for subtarget
0x00 0x00 0x00 0x7e 0x00 0x00 0x00 0x7e

test/MC/ELF/ARM/bss-non-zero-value.s

// RUN: not llvm-mc -filetype=obj -triple arm-linux-gnu %s -o %t 2>%t.out // RUN: not --crash llvm-mc -filetype=obj -triple arm-linux-gnu %s -o %t 2>%t.out
// RUN: FileCheck --input-file=%t.out %s // RUN: FileCheck --input-file=%t.out %s
// CHECK: non-zero initializer found in section '.bss' // CHECK: non-zero initializer found in section '.bss'
.bss .bss
.globl a .globl a
.align 2 .align 2
a: a:
.long 1 .long 1
.size a, 4 .size a, 4

test/MC/ELF/common-error3.s

# RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux %s 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux %s 2>&1 | FileCheck %s
# CHECK: Symbol: C redeclared as different type # CHECK: Symbol: C redeclared as different type
.comm C,4,4 .comm C,4,4
.comm C,8,4 .comm C,8,4
No newline at end of file

test/MC/ELF/invalid-symver.s

// RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o %t 2> %t.out // RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o %t 2> %t.out
// RUN: FileCheck --input-file=%t.out %s // RUN: FileCheck --input-file=%t.out %s
// CHECK: A @@ version cannot be undefined // CHECK: A @@ version cannot be undefined
.symver undefined, foo@@bar .symver undefined, foo@@bar
.long undefined .long undefined

test/MC/ELF/section-numeric-invalid-type.s

// RUN: llvm-mc -filetype=obj -triple=x86_64-pc-linux-gnu %s -o - \ // RUN: llvm-mc -filetype=obj -triple=x86_64-pc-linux-gnu %s -o - \
// RUN: | llvm-readobj -s -t | FileCheck --check-prefix=OBJ %s // RUN: | llvm-readobj -s -t | FileCheck --check-prefix=OBJ %s
// RUN: not llvm-mc -filetype=asm -triple=x86_64-pc-linux-gnu %s -o - 2>&1 \ // RUN: not --crash llvm-mc -filetype=asm -triple=x86_64-pc-linux-gnu %s -o - 2>&1 \
// RUN: | FileCheck --check-prefix=ASM %s // RUN: | FileCheck --check-prefix=ASM %s
.section .sec,"a",@0x7fffffff .section .sec,"a",@0x7fffffff
// OBJ: Section { // OBJ: Section {
// OBJ: Name: .sec // OBJ: Name: .sec
// OBJ-NEXT: Type: Unknown (0x7FFFFFFF) // OBJ-NEXT: Type: Unknown (0x7FFFFFFF)
// OBJ: } // OBJ: }
// ASM: unsupported type 0x7fffffff for section .sec // ASM: unsupported type 0x7fffffff for section .sec

test/MC/MachO/variable-errors.s

// RUN: not llvm-mc -triple x86_64-apple-darwin10 %s -filetype=obj -o %t.o 2> %t.err // RUN: not --crash llvm-mc -triple x86_64-apple-darwin10 %s -filetype=obj -o %t.o 2> %t.err
// RUN: FileCheck < %t.err %s // RUN: FileCheck < %t.err %s
.data .data
t0_a: t0_a:
t0_x = t0_a - t0_b t0_x = t0_a - t0_b
// CHECK: unable to evaluate offset to undefined symbol 't0_b' // CHECK: unable to evaluate offset to undefined symbol 't0_b'
.long t0_x .long t0_x

test/MC/Mips/nooddspreg-cmdarg.s

# RUN: llvm-mc %s -arch=mips -mcpu=mips32 -mattr=+fp64,+nooddspreg | \ # RUN: llvm-mc %s -arch=mips -mcpu=mips32 -mattr=+fp64,+nooddspreg | \
# RUN: FileCheck %s -check-prefix=CHECK-ASM # RUN: FileCheck %s -check-prefix=CHECK-ASM
# #
# RUN: llvm-mc %s -arch=mips -mcpu=mips32 -mattr=+fp64,+nooddspreg -filetype=obj -o - | \ # RUN: llvm-mc %s -arch=mips -mcpu=mips32 -mattr=+fp64,+nooddspreg -filetype=obj -o - | \
# RUN: llvm-readobj -sections -section-data -section-relocations - | \ # RUN: llvm-readobj -sections -section-data -section-relocations - | \
# RUN: FileCheck %s -check-prefix=CHECK-OBJ # RUN: FileCheck %s -check-prefix=CHECK-OBJ
# RUN: not llvm-mc %s -arch=mips -mcpu=mips64 -target-abi n32 -mattr=+nooddspreg 2> %t0 # RUN: not --crash llvm-mc %s -arch=mips -mcpu=mips64 -target-abi n32 -mattr=+nooddspreg 2> %t0
# RUN: FileCheck %s -check-prefix=INVALID < %t0 # RUN: FileCheck %s -check-prefix=INVALID < %t0
# #
# RUN: not llvm-mc %s -arch=mips -mcpu=mips64 -target-abi n64 -mattr=+nooddspreg 2> %t0 # RUN: not --crash llvm-mc %s -arch=mips -mcpu=mips64 -target-abi n64 -mattr=+nooddspreg 2> %t0
# RUN: FileCheck %s -check-prefix=INVALID < %t0 # RUN: FileCheck %s -check-prefix=INVALID < %t0
# #
# CHECK-ASM-NOT: .module nooddspreg # CHECK-ASM-NOT: .module nooddspreg
# Checking if the Mips.abiflags were correctly emitted. # Checking if the Mips.abiflags were correctly emitted.
# CHECK-OBJ: Section { # CHECK-OBJ: Section {
# CHECK-OBJ: Index: 5 # CHECK-OBJ: Index: 5
# CHECK-OBJ-LABEL: Name: .MIPS.abiflags (12) # CHECK-OBJ-LABEL: Name: .MIPS.abiflags (12)
Show All 23 Lines

test/MC/PowerPC/ppc64-localentry-error1.s

# RUN: not llvm-mc -triple powerpc64-unknown-unknown -filetype=obj < %s 2> %t # RUN: not --crash llvm-mc -triple powerpc64-unknown-unknown -filetype=obj < %s 2> %t
# RUN: FileCheck < %t %s # RUN: FileCheck < %t %s
# RUN: not llvm-mc -triple powerpc64le-unknown-unknown -filetype=obj < %s 2> %t # RUN: not --crash llvm-mc -triple powerpc64le-unknown-unknown -filetype=obj < %s 2> %t
# RUN: FileCheck < %t %s # RUN: FileCheck < %t %s
sym: sym:
.localentry sym, 123 .localentry sym, 123
# CHECK: LLVM ERROR: .localentry expression cannot be encoded. # CHECK: LLVM ERROR: .localentry expression cannot be encoded.

test/MC/PowerPC/ppc64-localentry-error2.s

# RUN: not llvm-mc -triple powerpc64-unknown-unknown -filetype=obj < %s 2> %t # RUN: not --crash llvm-mc -triple powerpc64-unknown-unknown -filetype=obj < %s 2> %t
# RUN: FileCheck < %t %s # RUN: FileCheck < %t %s
# RUN: not llvm-mc -triple powerpc64le-unknown-unknown -filetype=obj < %s 2> %t # RUN: not --crash llvm-mc -triple powerpc64le-unknown-unknown -filetype=obj < %s 2> %t
# RUN: FileCheck < %t %s # RUN: FileCheck < %t %s
.globl remote_sym .globl remote_sym
sym: sym:
.localentry sym, remote_sym .localentry sym, remote_sym
# CHECK: LLVM ERROR: .localentry expression must be absolute. # CHECK: LLVM ERROR: .localentry expression must be absolute.

test/MC/PowerPC/pr24686.s

# RUN: not llvm-mc -triple=powerpc64le-unknown-linux-gnu -filetype=obj %s \ # RUN: not --crash llvm-mc -triple=powerpc64le-unknown-linux-gnu -filetype=obj %s \
# RUN: 2>&1 | FileCheck %s # RUN: 2>&1 | FileCheck %s
_stext: _stext:
ld %r5, p_end - _stext(%r5) ld %r5, p_end - _stext(%r5)
# CHECK: LLVM ERROR: Invalid PC-relative half16ds relocation # CHECK: LLVM ERROR: Invalid PC-relative half16ds relocation

test/MC/X86/AlignedBundling/bundle-group-too-large-error.s

# RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s
# RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu -mc-relax-all %s -o - 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu -mc-relax-all %s -o - 2>&1 | FileCheck %s
# CHECK: ERROR: Fragment can't be larger than a bundle size # CHECK: ERROR: Fragment can't be larger than a bundle size
.text .text
foo: foo:
.bundle_align_mode 4 .bundle_align_mode 4
pushq %rbp pushq %rbp
.bundle_lock .bundle_lock
pushq %r14 pushq %r14
callq bar callq bar
callq bar callq bar
callq bar callq bar
callq bar callq bar
.bundle_unlock .bundle_unlock

test/MC/X86/AlignedBundling/bundle-lock-option-error.s

# RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s
# Missing .bundle_align_mode argument # Missing .bundle_align_mode argument
# CHECK: error: invalid option # CHECK: error: invalid option
.bundle_align_mode 4 .bundle_align_mode 4
.bundle_lock 5 .bundle_lock 5
imull $17, %ebx, %ebp imull $17, %ebx, %ebp
.bundle_unlock .bundle_unlock

test/MC/X86/AlignedBundling/lock-without-bundle-mode-error.s

# RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s
# .bundle_lock can't come without a .bundle_align_mode before it # .bundle_lock can't come without a .bundle_align_mode before it
# CHECK: ERROR: .bundle_lock forbidden when bundling is disabled # CHECK: ERROR: .bundle_lock forbidden when bundling is disabled
imull $17, %ebx, %ebp imull $17, %ebx, %ebp
.bundle_lock .bundle_lock

test/MC/X86/AlignedBundling/switch-section-locked-error.s

# RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s
# This test invokes .bundle_lock and then switches to a different section # This test invokes .bundle_lock and then switches to a different section
# w/o the appropriate unlock. # w/o the appropriate unlock.
# CHECK: ERROR: Unterminated .bundle_lock # CHECK: ERROR: Unterminated .bundle_lock
.bundle_align_mode 3 .bundle_align_mode 3
.section text1, "x" .section text1, "x"
imull $17, %ebx, %ebp imull $17, %ebx, %ebp
.bundle_lock .bundle_lock
imull $17, %ebx, %ebp imull $17, %ebx, %ebp
.section text2, "x" .section text2, "x"
imull $17, %ebx, %ebp imull $17, %ebx, %ebp

test/MC/X86/AlignedBundling/unlock-without-lock-error.s

# RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - 2>&1 | FileCheck %s
# .bundle_unlock can't come without a .bundle_lock before it # .bundle_unlock can't come without a .bundle_lock before it
# CHECK: ERROR: .bundle_unlock without matching lock # CHECK: ERROR: .bundle_unlock without matching lock
.bundle_align_mode 3 .bundle_align_mode 3
imull $17, %ebx, %ebp imull $17, %ebx, %ebp
.bundle_unlock .bundle_unlock

test/MC/X86/encoder-fail.s

// RUN: not llvm-mc -triple x86_64-unknown-unknown --show-encoding %s 2>&1 | FileCheck %s // RUN: not --crash llvm-mc -triple x86_64-unknown-unknown --show-encoding %s 2>&1 | FileCheck %s
// CHECK: LLVM ERROR: Cannot encode high byte register in REX-prefixed instruction // CHECK: LLVM ERROR: Cannot encode high byte register in REX-prefixed instruction
movzx %dh, %rsi movzx %dh, %rsi

test/MC/X86/invalid-sleb.s

// RUN: not llvm-mc -filetype=obj -triple x86_64-pc-linux %s -o %t 2>&1 | FileCheck %s // RUN: not --crash llvm-mc -filetype=obj -triple x86_64-pc-linux %s -o %t 2>&1 | FileCheck %s
// CHECK: sleb128 and uleb128 expressions must be absolute // CHECK: sleb128 and uleb128 expressions must be absolute
.sleb128 undefined .sleb128 undefined

test/MC/X86/reloc-bss.s

# RUN: not llvm-mc -filetype=obj -triple=x86_64-linux-gnu %s 2>&1 | FileCheck %s # RUN: not --crash llvm-mc -filetype=obj -triple=x86_64-linux-gnu %s 2>&1 | FileCheck %s
# CHECK: LLVM ERROR: cannot have fixups in virtual section! # CHECK: LLVM ERROR: cannot have fixups in virtual section!
.section .init_array,"awT",@nobits .section .init_array,"awT",@nobits
.hidden patatino .hidden patatino
.globl patatino .globl patatino
patatino: patatino:
movl __init_array_start, %eax movl __init_array_start, %eax

test/Object/coff-invalid.test

RUN: llvm-readobj -s %p/Inputs/invalid-bad-section-address.coff 2>&1 | \ RUN: llvm-readobj -s %p/Inputs/invalid-bad-section-address.coff 2>&1 | \
RUN: FileCheck --check-prefix=SECTIONS %s RUN: FileCheck --check-prefix=SECTIONS %s
SECTIONS: Section { SECTIONS: Section {
SECTIONS-NEXT: Number: 1 SECTIONS-NEXT: Number: 1
SECTIONS-NEXT: Name: .text (2E 74 65 78 74 00 00 00) SECTIONS-NEXT: Name: .text (2E 74 65 78 74 00 00 00)
SECTIONS-NEXT: VirtualSize: 0x0 SECTIONS-NEXT: VirtualSize: 0x0
SECTIONS-NEXT: VirtualAddress: 0x1000000 SECTIONS-NEXT: VirtualAddress: 0x1000000
RUN: not llvm-readobj -r %p/Inputs/invalid-bad-section-address.coff 2>&1 | \ RUN: not --crash llvm-readobj -r %p/Inputs/invalid-bad-section-address.coff 2>&1 | \
RUN: FileCheck %s RUN: FileCheck %s
CHECK: Sections with relocations should have an address of 0 CHECK: Sections with relocations should have an address of 0

test/Object/corrupt.test

Show All 32 Lines
STRTAB: Invalid dynamic string table reference STRTAB: Invalid dynamic string table reference
RUN: not llvm-readobj -program-headers \ RUN: not llvm-readobj -program-headers \
RUN: %p/Inputs/corrupt-invalid-phentsize.elf.x86-64 2>&1 | \ RUN: %p/Inputs/corrupt-invalid-phentsize.elf.x86-64 2>&1 | \
RUN: FileCheck --check-prefix=PHENTSIZE %s RUN: FileCheck --check-prefix=PHENTSIZE %s
PHENTSIZE: invalid e_phentsize PHENTSIZE: invalid e_phentsize
RUN: not llvm-readobj -dynamic-table \ RUN: not --crash llvm-readobj -dynamic-table \
RUN: %p/Inputs/corrupt-invalid-virtual-addr.elf.x86-64 2>&1 | \ RUN: %p/Inputs/corrupt-invalid-virtual-addr.elf.x86-64 2>&1 | \
RUN: FileCheck --check-prefix=VIRTADDR %s RUN: FileCheck --check-prefix=VIRTADDR %s
VIRTADDR: Virtual address is not in any segment VIRTADDR: Virtual address is not in any segment
RUN: not llvm-readobj -dyn-relocations \ RUN: not llvm-readobj -dyn-relocations \
RUN: %p/Inputs/corrupt-invalid-relocation-size.elf.x86-64 2>&1 | \ RUN: %p/Inputs/corrupt-invalid-relocation-size.elf.x86-64 2>&1 | \
Show All 23 Lines

test/Object/invalid.test

RUN: not llvm-dwarfdump %p/Inputs/invalid-bad-rel-type.elf 2>&1 | FileCheck %s RUN: not --crash llvm-dwarfdump %p/Inputs/invalid-bad-rel-type.elf 2>&1 | FileCheck %s
RUN: not llvm-objdump -s %p/Inputs/invalid-strtab-type.elf 2>&1 | FileCheck %s RUN: not llvm-objdump -s %p/Inputs/invalid-strtab-type.elf 2>&1 | FileCheck %s
RUN: not llvm-objdump -s %p/Inputs/invalid-strtab-size.elf 2>&1 | FileCheck %s RUN: not llvm-objdump -s %p/Inputs/invalid-strtab-size.elf 2>&1 | FileCheck %s
RUN: not llvm-objdump -s %p/Inputs/invalid-strtab-zero-size.elf 2>&1 | FileCheck %s RUN: not llvm-objdump -s %p/Inputs/invalid-strtab-zero-size.elf 2>&1 | FileCheck %s
CHECK: Invalid data was encountered while parsing the file CHECK: Invalid data was encountered while parsing the file
RUN: not llvm-objdump -s %p/Inputs/invalid-strtab-non-null.elf 2>&1 | FileCheck --check-prefix=NON-NULL %s RUN: not llvm-objdump -s %p/Inputs/invalid-strtab-non-null.elf 2>&1 | FileCheck --check-prefix=NON-NULL %s
NON-NULL: Invalid data was encountered while parsing the file NON-NULL: Invalid data was encountered while parsing the file
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines

test/Other/close-stderr.ll

  • This file was deleted.
; RUN: sh -c 'opt --reject-this-option 2>&-; echo $?; opt -o /dev/null /dev/null 2>&-; echo $?;' \
; RUN: | FileCheck %s
; CHECK: {{^1$}}
; On valgrind, we got 127 here.
; XFAIL: valgrind
; CHECK: {{^0$}}
; XFAIL: vg_leak
; REQUIRES: shell
; Test that the error handling when writing to stderr fails exits the
; program cleanly rather than aborting.

test/Other/optimization-remarks-inline.ll

; RUN: opt < %s -inline -pass-remarks='inline' -S 2>&1 | FileCheck %s ; RUN: opt < %s -inline -pass-remarks='inline' -S 2>&1 | FileCheck %s
; RUN: opt < %s -inline -pass-remarks='inl.*' -S 2>&1 | FileCheck %s ; RUN: opt < %s -inline -pass-remarks='inl.*' -S 2>&1 | FileCheck %s
; RUN: opt < %s -inline -pass-remarks='vector' -pass-remarks='inl' -S 2>&1 | FileCheck %s ; RUN: opt < %s -inline -pass-remarks='vector' -pass-remarks='inl' -S 2>&1 | FileCheck %s
; These two should not yield an inline remark for the same reason. ; These two should not yield an inline remark for the same reason.
; In the first command, we only ask for vectorizer remarks, in the ; In the first command, we only ask for vectorizer remarks, in the
; second one we ask for the inliner, but we then ask for the vectorizer ; second one we ask for the inliner, but we then ask for the vectorizer
; (thus overriding the first flag). ; (thus overriding the first flag).
; RUN: opt < %s -inline -pass-remarks='vector' -S 2>&1 | FileCheck --check-prefix=REMARKS %s ; RUN: opt < %s -inline -pass-remarks='vector' -S 2>&1 | FileCheck --check-prefix=REMARKS %s
; RUN: opt < %s -inline -pass-remarks='inl' -pass-remarks='vector' -S 2>&1 | FileCheck --check-prefix=REMARKS %s ; RUN: opt < %s -inline -pass-remarks='inl' -pass-remarks='vector' -S 2>&1 | FileCheck --check-prefix=REMARKS %s
; RUN: opt < %s -inline -S 2>&1 | FileCheck --check-prefix=REMARKS %s ; RUN: opt < %s -inline -S 2>&1 | FileCheck --check-prefix=REMARKS %s
; RUN: not opt < %s -pass-remarks='(' 2>&1 | FileCheck --check-prefix=BAD-REGEXP %s ; RUN: not --crash opt < %s -pass-remarks='(' 2>&1 | FileCheck --check-prefix=BAD-REGEXP %s
define i32 @foo(i32 %x, i32 %y) #0 { define i32 @foo(i32 %x, i32 %y) #0 {
entry: entry:
%x.addr = alloca i32, align 4 %x.addr = alloca i32, align 4
%y.addr = alloca i32, align 4 %y.addr = alloca i32, align 4
store i32 %x, i32* %x.addr, align 4 store i32 %x, i32* %x.addr, align 4
store i32 %y, i32* %y.addr, align 4 store i32 %y, i32* %y.addr, align 4
%0 = load i32, i32* %x.addr, align 4 %0 = load i32, i32* %x.addr, align 4
Show All 19 Lines

test/Transforms/GCOVProfiling/version.ll

; RUN: rm -rf %t && mkdir -p %t ; RUN: rm -rf %t && mkdir -p %t
; RUN: echo '!9 = !{!"%/t/version.ll", !0}' > %t/1 ; RUN: echo '!9 = !{!"%/t/version.ll", !0}' > %t/1
; RUN: cat %s %t/1 > %t/2 ; RUN: cat %s %t/1 > %t/2
; RUN: opt -insert-gcov-profiling -disable-output < %t/2 ; RUN: opt -insert-gcov-profiling -disable-output < %t/2
; RUN: head -c8 %t/version.gcno | grep '^oncg.204' ; RUN: head -c8 %t/version.gcno | grep '^oncg.204'
; RUN: rm %t/version.gcno ; RUN: rm %t/version.gcno
; RUN: not opt -insert-gcov-profiling -default-gcov-version=asdfasdf -disable-output < %t/2 ; RUN: not --crash opt -insert-gcov-profiling -default-gcov-version=asdfasdf -disable-output < %t/2
; RUN: opt -insert-gcov-profiling -default-gcov-version=407* -disable-output < %t/2 ; RUN: opt -insert-gcov-profiling -default-gcov-version=407* -disable-output < %t/2
; RUN: head -c8 %t/version.gcno | grep '^oncg.704' ; RUN: head -c8 %t/version.gcno | grep '^oncg.704'
; RUN: rm %t/version.gcno ; RUN: rm %t/version.gcno
; RUN: opt -passes=insert-gcov-profiling -disable-output < %t/2 ; RUN: opt -passes=insert-gcov-profiling -disable-output < %t/2
; RUN: head -c8 %t/version.gcno | grep '^oncg.204' ; RUN: head -c8 %t/version.gcno | grep '^oncg.204'
; RUN: rm %t/version.gcno ; RUN: rm %t/version.gcno
; RUN: not opt -passes=insert-gcov-profiling -default-gcov-version=asdfasdf -disable-output < %t/2 ; RUN: not --crash opt -passes=insert-gcov-profiling -default-gcov-version=asdfasdf -disable-output < %t/2
; RUN: opt -passes=insert-gcov-profiling -default-gcov-version=407* -disable-output < %t/2 ; RUN: opt -passes=insert-gcov-profiling -default-gcov-version=407* -disable-output < %t/2
; RUN: head -c8 %t/version.gcno | grep '^oncg.704' ; RUN: head -c8 %t/version.gcno | grep '^oncg.704'
; RUN: rm %t/version.gcno ; RUN: rm %t/version.gcno
define void @test() !dbg !5 { define void @test() !dbg !5 {
ret void, !dbg !8 ret void, !dbg !8
} }
Show All 15 Lines

test/Verifier/test_g_phi.mir

#RUN: not llc -o - -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s #RUN: not --crash llc -o - -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
# REQUIRES: global-isel, aarch64-registered-target # REQUIRES: global-isel, aarch64-registered-target
--- | --- |
; ModuleID = 'test.ll' ; ModuleID = 'test.ll'
source_filename = "test.ll" source_filename = "test.ll"
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
target triple = "aarch64-unknown-unknown" target triple = "aarch64-unknown-unknown"
define i32 @test_phi(i32 %argc) { define i32 @test_phi(i32 %argc) {
▲ Show 20 Lines • Show All 70 Lines • Show Last 20 Lines

test/tools/llvm-lto2/X86/pipeline.ll

Show All 22 Linesdefine void @patatino() {
ret void ret void
} }
; CUSTOM: define void @patatino() { ; CUSTOM: define void @patatino() {
; CUSTOM-NEXT: ret void ; CUSTOM-NEXT: ret void
; CUSTOM-NEXT: } ; CUSTOM-NEXT: }
; Check that invalid pipelines are caught as errors. ; Check that invalid pipelines are caught as errors.
; RUN: not llvm-lto2 run %t1.bc -o %t.o \ ; RUN: not --crash llvm-lto2 run %t1.bc -o %t.o \
; RUN: -r %t1.bc,patatino,px -opt-pipeline foogoo 2>&1 | \ ; RUN: -r %t1.bc,patatino,px -opt-pipeline foogoo 2>&1 | \
; RUN: FileCheck %s --check-prefix=ERR ; RUN: FileCheck %s --check-prefix=ERR
; ERR: LLVM ERROR: unable to parse pass pipeline description: foogoo ; ERR: LLVM ERROR: unable to parse pass pipeline description: foogoo
; RUN: not llvm-lto2 run %t1.bc -o %t.o \ ; RUN: not --crash llvm-lto2 run %t1.bc -o %t.o \
; RUN: -r %t1.bc,patatino,px -aa-pipeline patatino \ ; RUN: -r %t1.bc,patatino,px -aa-pipeline patatino \
; RUN: -opt-pipeline loweratomic 2>&1 | \ ; RUN: -opt-pipeline loweratomic 2>&1 | \
; RUN: FileCheck %s --check-prefix=AAERR ; RUN: FileCheck %s --check-prefix=AAERR
; AAERR: LLVM ERROR: unable to parse AA pipeline description: patatino ; AAERR: LLVM ERROR: unable to parse AA pipeline description: patatino
test/Object/corrupt.test