60 lines · plain
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s2 3; Ensure that volatile loads followed by a bitcast don't get transformed into a4; volatile load of the bitcast-target type. This is unlikely to provide much in5; terms of optimizations, and might break the programmer's expectation for code6; generation, however brittle that expectation might be.7;8; See llvm.org/D75644 and llvm.org/D755059target datalayout = "e-p:64:64-i32:32:32-i64:64:64-f32:32:32-f64:64:64"10 11define float @float_load(ptr %addr) {12; CHECK-LABEL: @float_load(13; CHECK: %i32 = load volatile i32, ptr %addr, align 414; CHECK-NEXT: %float = bitcast i32 %i32 to float15; CHECK-NEXT: ret float %float16 %i32 = load volatile i32, ptr %addr, align 417 %float = bitcast i32 %i32 to float18 ret float %float19}20 21define i32 @i32_load(ptr %addr) {22; CHECK-LABEL: @i32_load(23; CHECK: %float = load volatile float, ptr %addr, align 424; CHECK-NEXT: %i32 = bitcast float %float to i3225; CHECK-NEXT: ret i32 %i3226 %float = load volatile float, ptr %addr, align 427 %i32 = bitcast float %float to i3228 ret i32 %i3229}30 31define double @double_load(ptr %addr) {32; CHECK-LABEL: @double_load(33; CHECK: %i64 = load volatile i64, ptr %addr, align 834; CHECK-NEXT: %double = bitcast i64 %i64 to double35; CHECK-NEXT: ret double %double36 %i64 = load volatile i64, ptr %addr, align 837 %double = bitcast i64 %i64 to double38 ret double %double39}40 41define i64 @i64_load(ptr %addr) {42; CHECK-LABEL: @i64_load(43; CHECK: %double = load volatile double, ptr %addr, align 844; CHECK-NEXT: %i64 = bitcast double %double to i6445; CHECK-NEXT: ret i64 %i6446 %double = load volatile double, ptr %addr, align 847 %i64 = bitcast double %double to i6448 ret i64 %i6449}50 51define ptr @ptr_load(ptr %addr) {52; CHECK-LABEL: @ptr_load(53; CHECK: %i64 = load volatile i64, ptr %addr, align 854; CHECK-NEXT: %ptr = inttoptr i64 %i64 to ptr55; CHECK-NEXT: ret ptr %ptr56 %i64 = load volatile i64, ptr %addr, align 857 %ptr = inttoptr i64 %i64 to ptr58 ret ptr %ptr59}60