diff --git a/llvm/test/Transforms/InstCombine/volatile_load_cast.ll b/llvm/test/Transforms/InstCombine/volatile_load_cast.ll --- a/llvm/test/Transforms/InstCombine/volatile_load_cast.ll +++ b/llvm/test/Transforms/InstCombine/volatile_load_cast.ll @@ -1,21 +1,53 @@ ; RUN: opt < %s -instcombine -S | FileCheck %s +target datalayout = "e-p:64:64-i32:32:32-i64:64:64-f32:32:32-f64:64:64" + define float @float_load(i32* %addr) { ; CHECK-LABEL: @float_load( -; CHECK: %int = load volatile i32, i32* %addr, align 4 -; CHECK-NEXT: %float = bitcast i32 %int to float +; CHECK: %i32 = load volatile i32, i32* %addr, align 4 +; CHECK-NEXT: %float = bitcast i32 %i32 to float ; CHECK-NEXT: ret float %float - %int = load volatile i32, i32* %addr, align 4 - %float = bitcast i32 %int to float + %i32 = load volatile i32, i32* %addr, align 4 + %float = bitcast i32 %i32 to float ret float %float } -define i32 @int_load(float* %addr) { -; CHECK-LABEL: @int_load( +define i32 @i32_load(float* %addr) { +; CHECK-LABEL: @i32_load( ; CHECK: %float = load volatile float, float* %addr, align 4 -; CHECK-NEXT: %int = bitcast float %float to i32 -; CHECK-NEXT: ret i32 %int +; CHECK-NEXT: %i32 = bitcast float %float to i32 +; CHECK-NEXT: ret i32 %i32 %float = load volatile float, float* %addr, align 4 - %int = bitcast float %float to i32 - ret i32 %int + %i32 = bitcast float %float to i32 + ret i32 %i32 +} + +define double @double_load(i64* %addr) { +; CHECK-LABEL: @double_load( +; CHECK: %i64 = load volatile i64, i64* %addr, align 8 +; CHECK-NEXT: %double = bitcast i64 %i64 to double +; CHECK-NEXT: ret double %double + %i64 = load volatile i64, i64* %addr, align 8 + %double = bitcast i64 %i64 to double + ret double %double +} + +define i64 @i64_load(double* %addr) { +; CHECK-LABEL: @i64_load( +; CHECK: %double = load volatile double, double* %addr, align 8 +; CHECK-NEXT: %i64 = bitcast double %double to i64 +; CHECK-NEXT: ret i64 %i64 + %double = load volatile double, double* %addr, align 8 + %i64 = bitcast double %double to i64 + ret i64 %i64 +} + +define i8* @ptr_load(i64* %addr) { +; CHECK-LABEL: @ptr_load( +; CHECK: %i64 = load volatile i64, i64* %addr, align 8 +; CHECK-NEXT: %ptr = inttoptr i64 %i64 to i8* +; CHECK-NEXT: ret i8* %ptr + %i64 = load volatile i64, i64* %addr, align 8 + %ptr = inttoptr i64 %i64 to i8* + ret i8* %ptr }