llvm-mirror/test/Verifier/bitcast-address-space-through-gep.ll

; RUN: not llvm-as -disable-output %s 2>&1 | FileCheck %s

target datalayout = "e-p:32:32:32-p1:16:16:16-p2:8:8:8-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n8:16:32"

%struct.Foo = type { i32 addrspace(1)* }


@as2_array = addrspace(2) global [32 x i32] zeroinitializer

; CHECK: error: invalid cast opcode for cast from 'i32 addrspace(2)*' to 'i32 addrspace(1)*'

; Make sure we still reject the bitcast after the value is accessed through a GEP
@bitcast_after_gep = global %struct.Foo { i32 addrspace(1)* bitcast (i32 addrspace(2)* getelementptr ([32 x i32], [32 x i32] addrspace(2)* @as2_array, i32 0, i32 8) to i32 addrspace(1)*) }
Fix all the verifier tests I added for address spaces. I originally had these using opt -verify, and I never removed the -verify when converting them to use llvm-as instead, so these were failing because of using the -verify argument which llvm-as doesn't have instead of what it's actually supposed to be testing. llvm-svn: 198352 2014-01-02 22:09:05 +01:00			`; RUN: not llvm-as -disable-output %s 2>&1 \| FileCheck %s`
Reject bitcasts between address spaces with different sizes llvm-svn: 187506 2013-07-31 19:49:08 +02:00
			`target datalayout = "e-p:32:32:32-p1:16:16:16-p2:8:8:8-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n8:16:32"`

			`%struct.Foo = type { i32 addrspace(1)* }`


			`@as2_array = addrspace(2) global [32 x i32] zeroinitializer`

Fix all the verifier tests I added for address spaces. I originally had these using opt -verify, and I never removed the -verify when converting them to use llvm-as instead, so these were failing because of using the -verify argument which llvm-as doesn't have instead of what it's actually supposed to be testing. llvm-svn: 198352 2014-01-02 22:09:05 +01:00			`; CHECK: error: invalid cast opcode for cast from 'i32 addrspace(2)' to 'i32 addrspace(1)'`

Reject bitcasts between address spaces with different sizes llvm-svn: 187506 2013-07-31 19:49:08 +02:00			`; Make sure we still reject the bitcast after the value is accessed through a GEP`
[opaque pointer type] Add textual IR support for explicit type parameter to gep operator Similar to gep (r230786) and load (r230794) changes. Similar migration script can be used to update test cases, which successfully migrated all of LLVM and Polly, but about 4 test cases needed manually changes in Clang. (this script will read the contents of stdin and massage it into stdout - wrap it in the 'apply.sh' script shown in previous commits + xargs to apply it over a large set of test cases) import fileinput import sys import re rep = re.compile(r"(getelementptr(?:\s+inbounds)?\s\()((<\d\s+x\s+)?([^@]?)(\|\saddrspace\(\d+\))\s\(?(3)>)\s*)(?=$\|%\|@\|null\|undef\|blockaddress\|getelementptr\|addrspacecast\|bitcast\|inttoptr\|zeroinitializer\|<\|\[\[[a-zA-Z]\|\{\{)", re.MULTILINE \| re.DOTALL) def conv(match): line = match.group(1) line += match.group(4) line += ", " line += match.group(2) return line line = sys.stdin.read() off = 0 for match in re.finditer(rep, line): sys.stdout.write(line[off:match.start()]) sys.stdout.write(conv(match)) off = match.end() sys.stdout.write(line[off:]) llvm-svn: 232184 2015-03-13 19:20:45 +01:00			`@bitcast_after_gep = global %struct.Foo { i32 addrspace(1)* bitcast (i32 addrspace(2)* getelementptr ([32 x i32], [32 x i32] addrspace(2)* @as2_array, i32 0, i32 8) to i32 addrspace(1)*) }`
Reject bitcasts between address spaces with different sizes llvm-svn: 187506 2013-07-31 19:49:08 +02:00