| ; RUN: llc --filetype=asm %s -o - | FileCheck %s |
| target triple = "dxil-unknown-unknown" |
| |
| 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 |