llvm-project/llvm/test/Assembler/2007-03-18-InvalidNumberedV...

; PR 1258
; RUN: not llvm-as < %s >/dev/null 2> %t
; RUN: grep "'%0' defined with type 'i1'" %t

define i32 @test1(i32 %a, i32 %b) {
entry:
  icmp eq i32 %b, %a              ; <i1>:0 [#uses=1]
  zext i1 %0 to i32               ; <i32>:0 [#uses=1]
  ret i32 %0                      ; Invalid Type for %0
}
For PR1258: Test that invalid numbered value references get an error message. llvm-svn: 35175 2007-03-20 02:41:37 +08:00			`; PR 1258`
Make tests which first provide a negative assertion via 'not', then a pipeline, and then a positive assertion via grep, use two RUN lines instead. Supporting these complex ideas of 'success' and 'failure' across multiple stages of a pipeline is brittle in the shell world, and would block switching to ShTest format; it only worked due to contrivances introduced by the TclTest format. Writing this as two separate RUN lines seems clearer in any event. This is another step toward completely removing TclTests from lit. llvm-svn: 159524 2012-07-02 20:23:19 +08:00			`; RUN: not llvm-as < %s >/dev/null 2> %t`
			`; RUN: grep "'%0' defined with type 'i1'" %t`
For PR1258: Test that invalid numbered value references get an error message. llvm-svn: 35175 2007-03-20 02:41:37 +08:00
			`define i32 @test1(i32 %a, i32 %b) {`
			`entry:`
			`icmp eq i32 %b, %a ; <i1>:0 [#uses=1]`
			`zext i1 %0 to i32 ; <i32>:0 [#uses=1]`
			`ret i32 %0 ; Invalid Type for %0`
			`}`