|  | ; RUN: llc --filetype=asm %s -o - | FileCheck %s | 
|  | target triple = "dxil-unknown-shadermodel6.7-library" | 
|  |  | 
|  | define i64 @test(ptr %p) { | 
|  | store i32 0, ptr %p | 
|  | %v = load i64, ptr %p | 
|  | ret i64 %v | 
|  | } | 
|  |  | 
|  | ; CHECK: define i64 @test(ptr %p) { | 
|  | ; CHECK-NEXT: %1 = bitcast ptr %p to ptr | 
|  | ; CHECK-NEXT: store i32 0, ptr %1, align 4 | 
|  | ; CHECK-NEXT: %2 = bitcast ptr %p to ptr | 
|  | ; CHECK-NEXT: %3 = load i64, ptr %2, align 8 | 
|  |  | 
|  | define i64 @testGEP(ptr %p) { | 
|  | %ptr = getelementptr i32, ptr %p, i32 4 | 
|  | %val = load i64, ptr %p | 
|  | ret i64 %val | 
|  | } | 
|  |  | 
|  | ; CHECK: define i64 @testGEP(ptr %p) { | 
|  | ; CHECK-NEXT:   %1 = bitcast ptr %p to ptr | 
|  | ; CHECK-NEXT:   %ptr = getelementptr i32, ptr %1, i32 4 | 
|  | ; CHECK-NEXT:   %2 = bitcast ptr %p to ptr | 
|  | ; CHECK-NEXT:   %3 = load i64, ptr %2, align 8 |