|  | ; RUN: not llvm-as < %s >/dev/null 2> %t | 
|  | ; RUN: FileCheck %s < %t | 
|  | ; Test that a vector pointer may be used with a scalar index. | 
|  | ; Test that a vector pointer and vector index should have the same vector width | 
|  |  | 
|  | ; This code is correct | 
|  | define <2 x i32*> @test2(<2 x i32*> %a) { | 
|  | %w = getelementptr i32, <2 x i32*> %a, i32 2 | 
|  | ret <2 x i32*> %w | 
|  | } | 
|  |  | 
|  | ; This code is correct | 
|  | define <2 x i32*> @test3(i32* %a) { | 
|  | %w = getelementptr i32, i32* %a, <2 x i32> <i32 2, i32 2> | 
|  | ret <2 x i32*> %w | 
|  | } | 
|  |  | 
|  | ; CHECK: getelementptr vector index has a wrong number of elements | 
|  |  | 
|  | define <2 x i32> @test1(<2 x i32*> %a) { | 
|  | %w = getelementptr i32, <2 x i32*> %a, <4 x i32><i32 2, i32 2, i32 2, i32 2> | 
|  | ret <2 x i32> %w | 
|  | } | 
|  |  |