| ; RUN: llc -verify-machineinstrs %s -mtriple=powerpc64-unknown-linux-gnu -O2 -o - -optimize-regalloc=false -regalloc=fast | FileCheck %s |
| |
| declare void @func(i8*, i64, i64) |
| |
| define void @test(i8* %context, i32** %elementArrayPtr, i32 %value) { |
| entry: |
| %cmp = icmp eq i32 %value, 0 |
| br i1 %cmp, label %lreturn, label %lnext |
| |
| lnext: |
| %elementArray = load i32*, i32** %elementArrayPtr, align 8 |
| ; CHECK: lwz [[LDREG:[0-9]+]], 124(1) # 4-byte Folded Reload |
| ; CHECK: # implicit-def: $x[[TEMPREG:[0-9]+]] |
| %element = load i32, i32* %elementArray, align 4 |
| ; CHECK: mr [[TEMPREG]], [[LDREG]] |
| ; CHECK: clrldi 4, [[TEMPREG]], 32 |
| %element.ext = zext i32 %element to i64 |
| %value.ext = zext i32 %value to i64 |
| call void @func(i8* %context, i64 %value.ext, i64 %element.ext) |
| br label %lreturn |
| |
| lreturn: |
| ret void |
| } |
